Jack B. Dennis and Earl C. Van Horn. Programming Semantics for Multiprogrammed Computations

From: Alexander G Balikov (alexgb_at_u.washington.edu)
Date: Mon Jan 12 2004 - 17:21:31 PST

  • Next message: Gail Rahn: "Review of Dennis and Van Horn's Programming Semantics paper..."

    In this paper the authors try to summarize the common features of the current (at the time the paper was written) existing mutiprogramming systems as a set of abstract meta operations. They also introduce the notion of capability lists to implement resource access protection and describe the way the introduced metadata operations iteract with these capability lists.

    I personally found the paper difficult to read and ultimately did not like it. The authors tried to introduce abstract meta operations not connected to any particular implementation, but then failed to convice me why this set of operations is sufficient to implement a multiprogramming system.


  • Next message: Gail Rahn: "Review of Dennis and Van Horn's Programming Semantics paper..."

    This archive was generated by hypermail 2.1.6 : Mon Jan 12 2004 - 17:21:32 PST