[Jonathan S Shapiro]
> 3. For any microkernel operation, the portion of the operation that
> performs semantically observable mutations to system state must
> be atomic.
I'll try to get back to providing some comment when I get the time.
However, I'm really curious about how you view this atomicity
requirement in the light of MP systems. Do you require that all
observable mutations to system state are synchronized across all CPUs?
eSk
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
