In Keykos

I imagine a world within Keykos with these properties: The proc limit is already proposed as a kernel mod for other reasons. The normal environment widely available to Keykos apps would have to be cleansed of indirect access to these things. Nothing comes to mind. In such a world things happen in a deterministic order — one damn thing after another!

There is no multi processing, not even computing while a page fault is repaired. Events in the world have a predetermined simple time ordering. The ISA rules.

There is one new element, FE (faire ensemble) which is a function that takes two factories, creates one object from each, invokes those objects with given but vetted parameters, collects the two yields, and returns the two yields as a pair. The two objects run simultaneously as the FE is not constrained. “faire ensemble” is in tribute to a 1962 language called Gamma with the moral equivalent, I think. FE creates a meter for each of the two objects. Those meters each allow one process. FE deletes the meters as each object finishes. Thus do we multiprogram without introducing noise and indeterminacy.

Parameter to the obs are at least simple data and segments manifestly supplying only data. Perhaps there only sort of segment allowed in the world.

Much work to be done.