Types and persistence in database programming languages

MP Atkinson, OP Buneman - ACM Computing Surveys (CSUR), 1987 - dl.acm.org
Traditionally, the interface between a programming language and a database has either
been through a set of relatively low-level subroutine calls, or it has required some form of …

Whole-system persistence

D Narayanan, O Hodson - Proceedings of the seventeenth international …, 2012 - dl.acm.org
Today's databases and key-value stores commonly keep all their data in main memory. A
single server can have over 100 GB of memory, and a cluster of such servers can have 10s …

[图书][B] Robust composition: Towards a uni ed approach to access control and concurrency control

M Miller - 2006 - jscholarship.library.jhu.edu
When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

Atomizer: a dynamic atomicity checker for multithreaded programs

C Flanagan, SN Freund - ACM SIGPLAN Notices, 2004 - dl.acm.org
Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected interactions between concurrent threads. Much previous work has focused on …

A type and effect system for atomicity

C Flanagan, S Qadeer - ACM SIGPLAN Notices, 2003 - dl.acm.org
Ensuring the correctness of multithreaded programs is difficult, due to the potential for
unexpected and nondeterministic interactions between threads. Previous work addressed …

Orthogonally persistent object systems

M Atkinson, R Morrison - The VLDB Journal, 1995 - Springer
Abstract Persistent Application Systems (PASs) are of increasing social and economic
importance. They have the potential to be long-lived, concurrently accessed, and consist of …

[PDF][PDF] Working with persistent objects: To swizzle or not to swizzle

JEB Moss - IEEE Transactions on Software Engineering, 1992 - Citeseer
Pointer swizzling3 is the conversion of database objects between an external form (object
identifiers) and an internal form (direct memory pointers). Swizzling is used in some object …

[PDF][PDF] A case for efficient hardware/software cooperative management of storage and memory

J Meza, Y Luo, S Khan, J Zhao, Y Xie, O Mutlu - 2013 - kilthub.cmu.edu
Most applications manipulate persistent data, yet traditional systems decouple data
manipulation from persistence in a two-level storage model. Programming languages and …

AutoPersist: An easy-to-use Java NVM framework based on reachability

T Shull, J Huang, J Torrellas - Proceedings of the 40th ACM SIGPLAN …, 2019 - dl.acm.org
Byte-addressable, non-volatile memory (NVM) is emerging as a revolutionary memory
technology that provides persistency, near-DRAM performance, and scalable capacity. To …

[PDF][PDF] Grasshopper: An orthogonally persistent operating system

A Dearle, R Di Bona, J Farrow, F Henskens… - Computing …, 1994 - academia.edu
For ten years researchers have been attempting to construct programming language
systems that support orthogonal persistence above conventional operating systems. This …