Map
Index
Random
Help
th

Quote: Sing# has formal message passing semantics; all processes run in one virtual address space without overwriting data; avoids kernel traps and context switches

QuoteRef: taneAS5_2006 , p. 49



Topic:
interprocess communication
Topic:
operating system kernel
Topic:
proving concurrent programs

Quotation Skeleton

[Microsoft Research's] Singularity is written almost entirely in Sing#, … whose semantics are defined by formal, written contracts. … a single virtual address space. This design leads … it eliminates kernel traps and context switches. … [Singularity] forbids dynamic process extensions. … [Loadable modules] must run as separate processes, completely walled … The trusted code [for Singularity] includes the hardware abstraction …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: interprocess communication (29 items)
Topic: operating system kernel (67 items)
Topic: proving concurrent programs (37 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.