Change Key Atomicity to Serializability

[LANDAU_CHARLES@Tandem.COM]

  >The issue is not operations on a particular key, but operations on
   any key naming a particular object.

You are straying slightly from the true KeyKOS religion. Objects do not
exist. Only keys exist. Objects are merely the novice programmer's way
of understanding the side effects of invoking keys. Any description
which relies on the notion of objects is probably misguided.

The confusion that can be generated by imagining that objects exist can
be seen by considering the start key. In KeyKOS, from the kernel
perspective, an invocation of a start key is atomic. The execution of
the target domain certainly isn't.

Your notion might be rewritten as:

For any sequence of operations performed by the kernel, there must exist
some serial ordering of the operations that would produce the same
results.

For operations on "different objects", any ordering will do.