[go: up one dir, main page]

Boehm et al. - Google Patents

Foundations of Persistent Programming

Boehm et al.

View PDF
Document ID
3896555905756441091
Author
Boehm H
Lahav O
Raad A

External Links

Snippet

Although early electronic computers commonly had persistent core memory that retained its contents with power off, modern computers generally do not. DRAM loses its contents when power is lost. However, DRAM has been difficult to scale to smaller feature sizes and larger …
Continue reading at vetss.org.uk (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1402—Saving, restoring, recovering or retrying
    • G06F11/1405—Saving, restoring, recovering or retrying at machine instruction level
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G06F9/4428—Object-oriented
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F12/00—Accessing, addressing or allocating within memory systems or architectures
    • G06F12/02—Addressing or allocation; Relocation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring

Similar Documents

Publication Publication Date Title
Scargall Programming persistent memory: A comprehensive guide for developers
Pulte et al. Promising-ARM/RISC-V: a simpler and faster operational concurrency model
Chen et al. Using Crash Hoare logic for certifying the FSCQ file system
Carlsson et al. SICStus Prolog—the first 25 years
Lahav et al. Taming release-acquire consistency
West et al. Automatic incremental state saving
US5764989A (en) Interactive software development system
WO1997043711A1 (en) Incremental byte code compilation system
Demsky et al. Goal-directed reasoning for specification-based data structure repair
US20110083124A1 (en) Software Verification Using Two-State Invariants
US20090320007A1 (en) Local metadata for external components
Bodenmüller et al. A fully verified persistency library
Vindum et al. Spirea: A mechanized concurrent separation logic for weak persistent memory
Chajed et al. Certifying a file system using crash hoare logic: correctness in the presence of crashes
Bila et al. Modularising verification of durable opacity
Raad et al. Intel PMDK transactions: specification, validation and concurrency
Pfähler et al. Modular verification of order-preserving write-back caches
Tolmach Debugging standard ML
JPH03118635A (en) Incremental compiler for source code developing system
Boehm et al. Foundations of Persistent Programming (Dagstuhl Seminar 21462)
Pluquet et al. Executing code in the past: efficient in-memory object graph versioning
Nagar et al. Semantics, specification, and bounded verification of concurrent libraries in replicated systems
Boehm et al. Foundations of Persistent Programming
Arora et al. Disentanglement with futures, state, and interaction
Dokulil et al. The OCR-Vx experience: lessons learned from designing and implementing a task-based runtime system