论文信息 - Extensions to Standard ML to Support Transactions

Extensions to Standard ML to Support Transactions

A transaction is a control abstraction that lets programmers treat a sequence of operations as an atomic ("all-or-nothing") unit. This paper describes our progress on on-going work to extend SML with transactions. What is novel about our work on transactions is support for multi-threaded concurrent transactions. We use SML''s modules facility to reflect explicitly orthogonal concepts heretofore inseparable in other transaction-based programming languages.

Manuel Fähndrich | Jeannette M. Wing | Scott Nettles | J. G Morrisett

[1] Jeannette M. Wing,et al. Persistence+undoability=transactions , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[2] Mahadev Satyanarayanan,et al. Coda: A Highly Available File System for a Distributed Workstation Environment , 1990, IEEE Trans. Computers.

[3] Alfred Z. Spector,et al. Support for Distributed Transactions in the TABS Prototype , 1985, IEEE Transactions on Software Engineering.

[4] Lily B. Mummert,et al. Camelot and Avalon: A Distributed Transaction Facility , 1991 .

[5] E. B. Moss,et al. Nested Transactions: An Approach to Reliable Distributed Computing , 1985 .

[6] Andrew W. Appel,et al. Debugging standard ML without reverse engineering , 1990, LISP and Functional Programming.

[7] Jeannette M. Wing,et al. Inheritance of synchronization and recovery properties in Avalon/C++ , 1988 .

[8] J. Gregory Morrisett,et al. Adding threads to Standard ML , 1990 .

[9] Barbara Liskov,et al. Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.