Concepedia

Dynamic synthesis for relaxed memory models

Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev, Eran Yahav

2012 · 76 citations · 24 references

Concepts

EngineeringComputer EngineeringComputer ScienceComputer ArchitectureMemoryInstruction Set ArchitectureMemory HierarchyMemory Hierarchy DesignMemory ModelingMemory Subsystem DesignSpeculative ExecutionAtomic Memory OperationsFence InstructionsFence SemanticsMemory FencesMemory Model SemanticsNon-atomic Memory ModelsRelaxed Memory ModelsSynthesizable Memory Models

Abstract

Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, allowing control of this behavior.

References

24

The implementation of the Cilk-5 multithreaded language

Matteo Frigo, Charles E. Leiserson, Keith H. Randall · 1998 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +17

Shared memory consistency models: a tutorial

Sarita V. Adve, Kourosh Gharachorloo · Computer · 1996 · 1.1K citations

Engineering, Computer Science, Computer Systems +16

Simple, fast, and practical non-blocking and blocking concurrent queue algorithms

Maged M. Michael, Michael L. Scott · 1996 · 791 citations · Full text

Computing, Computer Science, Algorithms +8

Software and the Concurrency Revolution

Herb Sutter, James R. Larus · Queue · 2005 · 498 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Efficient and correct execution of parallel programs that share memory

Dennis Shasha, Marc Snir · ACM Transactions on Programming Languages and Systems · 1988 · 419 citations · Full text

Computing, Computer Engineering, Computer Science +16