From: Slavik Krassovsky (viatk_at_windows.microsoft.com)
Date: Mon Jan 12 2004 - 14:03:02 PST
In this almost 40 years old paper J. Dennis and E. Van Horn introduce
their meta-language suitable for formal description of design and
implementation of multiprogrammed computer systems.
This paper was presented at ACM programming languages conference, and
a lot of the scientific value is in the language itslf - instruction
like fork/join/quit, lock/unlock are essential in the parallel
programming; however the most of papers scientific value lies in the
operating systems space: concepts like capabilities and capabilities
list (was exploited heavily in the HYDRA design later), debugging
approach, protected entry points, approach to directory structure.
Overall I found this paper quite interesting, although difficult to
read mostly because the of the concepts names differs from the modern
convention.
This archive was generated by hypermail 2.1.6 : Mon Jan 12 2004 - 14:03:12 PST