Determinism Nexus
The note here is to collect pointers on this site that raise the issue of Determinism.
In particular on how determinism may be imposed by meta code.
- Hardware Spectre notes
- Spectre is a hardware centered problem and software may help.
- a hardware strategy
- ??
- Random element to be unified
- IBM 370
- Fort
- Process Limit
- Early Keykos speculation
- to do
- Kernel Integrity
- bits in caps
- Covert nexus
- A whole other set of motivations
- early Spectre fix rush
- in particular
- language theory
- Genode
- terminology
- stoic
- Kolmogorov
- Over Allocation
Main recent conclusions perhaps