[Haskell-cafe] CPU with Haskell support
jo at durchholz.org
Wed Jan 20 18:23:29 UTC 2016
Am 20.01.2016 um 18:09 schrieb Maurizio Vitale:
> As for modifying the instruction set of an Intel processor, I don't know
> how feasible it is.
Some CPUs allowed this. There were even designs that had PL/1
instructions implemented as assembly by way of microcode.
In theory it's possible for newer Intel CPUs.
One point against doing so is that the microcode updates are 2-8 kBytes
in size. You'd need to switch microcode with every context switch in the
The other point is that microcode updates are encrypted and signed. Only
Intel has the private keys needed to provide data so that an Intel CPU
will accept a microcode update (this is supposed to prevent tampering
with the microcode update data by malicious third parties).
pp. 338 ff. has infos about the general format of an update.
lists typical microcode update sizes near the end (not sure whether
these are in bytes or in DWORDs).
More information about the Haskell-Cafe