Skip to search formSkip to main contentSkip to account menu

Memory semantics (computing)

Known as: Memory semantics 
In computing and parallel processing, memory semantics refers to the process logic used to control access to shared memory locations, or at a higher… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Consistency modelLock (computer science)Parallel computingTransactional memory

Broader (1)

Transaction processing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
A promising semantics for relaxed-memory concurrency
Despite many years of research, it has proven very difficult to develop a memory model for concurrent programming languages that… 
Highly Cited
2017
Highly Cited
2017
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
This artifact provides the soundness proofs for the encodings in Iris the RSL and GPS logics, as well as the verification for all… 
2015
2015
Relaxing safely: verified on-the-fly garbage collection for x86-TSO
We report on a machine-checked verification of safety for a state-of-the-art, on-the-fly, concurrent, mark-sweep garbage… 
Highly Cited
2011
Highly Cited
2011
Relaxed-memory concurrency and verified compilation
In this paper, we consider the semantic design and verified compilation of a C-like programming language for concurrent shared… 
Highly Cited
2006
Highly Cited
2006
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics
We propose a memory abstraction able to lift existing numerical static analyses to C programs containing union types, pointer… 
2001
2001
Simulation Fidelity Metrics for Virtual Environments Based on Memory Semantics Speaker
1998
1998
Sirocco: cost-effective fine-grain distributed shared memory
Software fine-grain distributed shared memory (FGDSM) provides a simplified shared-memory programming interface with minimal or… 
Highly Cited
1998
Highly Cited
1998
Retrospective: weak ordering—a new definition
Review
1995
Review
1995
Reflective-memory multiprocessor
Reflective memory may be thought of as hardware-supported replication of data on multiple computers. This simple mechanism has… 
Highly Cited
1994
Highly Cited
1994
Application-specific protocols for user-level shared memory
Recent distributed shared memory (DSM) systems and proposed shared-memory machines have implemented some or all of their cache… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)