Matthews, D. C. J.: "A persistent storage system for Poly and ML". Technical Report TR-102, Computer Laboratory, University of Cambridge, January 1987. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework Based on Design Patterns for Providing.. - Kienzle, Romanovsky (2000) (1 citation) (Correct)
....to provide orthogonal persistence, PSAlgol [5] was conceived in order to add persistence to an existing language with minimal perturbation of its initial semantics and implementation. There are persistent versions of functional programming languages, such as Persistent Poly [6] and Poly ML [7]. There has also been research done on adding orthogonal persistence to widely used pro Page 2 gramming languages. Probably the most interesting project at the moment is PJava [8] a project that aims at providing orthogonal persistence to the Java [9] programming language. As orthogonal ....
Matthews, D. C. J.: "A persistent storage system for Poly and ML". Technical Report TR-102, Computer Laboratory, University of Cambridge, January 1987.
A Framework Based on Design Patterns for Providing.. - Kienzle, Romanovsky (2000) (1 citation) (Correct)
....language providing orthogonal persistence, PS Algol [3] was conceived in order to add persistence to an existing language with minimal perturbation to its initial semantics and implementation. There are persistent versions of functional programming languages such as Persistent Poly and Poly ML [4]. There has also been work on adding orthogonal persistence to widely used programming languages. Probably the most interesting project nowadays is PJava [5] a project that aims at providing orthogonal persistence to the Java [6] programming language. Due to the demanding requirements of ....
Matthews, D. C.J.: "A persistent storage system for Poly and ML". Technical Report TR-102, Computer Laboratory, University of Cambridge, January 1987. page 13
Persistence + Undoability = Transactions - Nettles, Wing (Correct)
.... root, and forcing the user to always explicitly move, upon each access or modification, values to and from persistent storage by name, e.g. by providing make persistent make volatile operations [8] Our approach, which is similar to that taken in other languages and systems like Poly ML [17], Galileo [2] and Staple [10] gives programmers some control over naming and managing persistent values. It also lets us implement persistent storage management efficiently. 2.3 Implementation 2.3.1 SML Veneer In our implementation we represent persistent memory as part of a persistent heap ....
....(this is what undoability provides) Then we can put the two properties together to give transactional semantics. Support for just persistence needs no motivation as witnessed by the existence of a multitude of persistent programming languages and systems (e.g. PS Algol [4] Napier [20] Poly ML [17], Amber[6] Galileo [2] Exodus [7] Argus [15] Avalon [11] Mneme [22] see [5] for a survey) Support for undoability, aside from transactions, is useful for applications like interactive debuggers, backtracking programs, and database systems using optimistic concurrency control; they share a ....
[Article contains additional citation context not shown here]
David C.J. Matthews. A persistent storage system for Poly and ML. Technical Report 102, University of Cambridge, Cambridge, UK, January 1987.
The Poly and ML System: Low Level Support - David Matthews Self-citation (Matthews) (Correct)
....being less than 65536. Addresses may be either local store addresses or persistent addresses. Persistent addresses arise from the persistent storage system which is a kind of demand paging of objects from a database into main store. The persistent storage system is described in a separate report[3] and as far as the compiler is concerned all addresses can be treated as local addresses, with transfers from backing store being done transparently. The only places where the persistent storage system has to be taken notice of is where a persistent store trap might cause a garbage collection to ....
David C.J. Matthews, A Persistent Storage System for Poly and ML, Technical report 102, University of Cambridge Computer Laboratory, January 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC