A Deterministic Keykos
I have mentioned the possibility of deterministic execution several places.
Spectre has raised the importance considerably.
The original impetus was to fix about the only extant DoS attack thru kernel space exhaustion.
Some data base systems need reproducible execution of transactions.
The fort needs what it called “reproducibility”.
The 370 allowed these Indeterminacies.
The kernel modification to make the meter limit the number of processes under it needs the following enhancements:
- When a fork command would exceed the limit established in a meter, that meter’s keeper would get a restart key to the invoker after the invocation message had passed to the invokee.
- When a return to DK(0) decreases the procs under a meter, its keeper gets invoked again to restart some forkers.
The idea here is to establish under said meter keeper a deterministic realm.
This needs more thought.