From: Chuck Reeves (creeves_at_windows.microsoft.com)
Date: Sun Jan 11 2004 - 21:36:44 PST
Written by Dennis and Van Horn in 1966, Programming Semantics for
Multiprogrammed Computations appears to establish some of the
fundamental constructs needed to support the development of
multi-threaded software libraries that are extensible, secure and
modular. This includes the conceptual development of isolated
multi-threaded processes ( termed computations ). Each thread ( termed
process ) within a computation executes with a common set of privileges
( termed capabilities or c-list ). The set of privileges captured in a
c-list are abstracted as spheres. I found the author's decomposition of
privileges and executing code elegant. The process control description
proposed for debugging using this model was interesting. The
hierarchical naming scheme proposed would seem to be effective in
enabling the integration of systems development independently (with
potential name conflicts). I look forward to learning more about how the
model proposed here for protected entry points is leveraged today. It
seems quite cumbersome for execution of a single method invocation.
This archive was generated by hypermail 2.1.6 : Sun Jan 11 2004 - 21:36:53 PST