[go: up one dir, main page]

Boehm et al., 2022 - Google Patents

Foundations of Persistent Programming (Dagstuhl Seminar 21462)

Boehm et al., 2022

View PDF
Document ID
1506305846900995776
Author
Boehm H
Lahav O
Raad A
Publication year
Publication venue
Dagstuhl Reports

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 drops.dagstuhl.de (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
Lahav et al. Taming release-acquire consistency
Chen et al. Using Crash Hoare logic for certifying the FSCQ file system
Carlsson et al. SICStus Prolog—the first 25 years
West et al. Automatic incremental state saving
US5764989A (en) Interactive software development system
US20110083124A1 (en) Software Verification Using Two-State Invariants
Demsky et al. Goal-directed reasoning for specification-based data structure repair
US20090320007A1 (en) Local metadata for external components
Vulov et al. The backstroke framework for source level reverse computation applied to parallel discrete event simulation
WO2014159147A1 (en) Diagnostics of state transitions
Bodenmüller et al. A fully verified persistency library
Chajed et al. Certifying a file system using crash hoare logic: correctness in the presence of crashes
Vindum et al. Spirea: A mechanized concurrent separation logic for weak persistent memory
Bila et al. Modularising verification of durable opacity
Pfähler et al. Modular verification of order-preserving write-back caches
Raad et al. Intel PMDK transactions: specification, validation and concurrency
Assa et al. A Programming Model for Disaggregated Memory over CXL
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