preserving context-independence

[Jonathan S. Shapiro]

There remains an unresolved question.

Consider an address space that is an LSS 6 node (28 bits).  Let slot 0
of that node holding a red segment key to a kept red segment whose
format key says it is LSS 4 (20 bits).

Which keeper gets invoked when the following code is executed:


	int i = *((int *) (1 << 20))

the domain keeper, or the red segment keeper?

Note that the address specified falls just outside the LSS 4 segment,
but within the range that should have been covered by that slot of the 
LSS 6 node.


shap