2008 · 498 citations · 23 references
ComputingComputer ScienceFormal MethodsOperating SystemsProgramming LanguagesConcurrency ControlConcurrent ModelingConcurrent ProgrammingMemory Consistency ModelsSynchronization PrimitivesThread ProgrammingConcurrency SemanticsConsistencyData Race ConditionsData-race FreedomRace ConditionsSequential ConsistencySequentially Consistent Data-race FreedomShared-memory Concurrency Semantics
Currently multi-threaded C or C++ programs combine a single-threaded programming language with a separate threads library. This is not entirely sound [7].
23
Shared memory consistency models: a tutorial
Sarita V. Adve, Kourosh Gharachorloo · Computer · 1996 · 1.1K citations
Jeremy Manson, William Pugh, Sarita V. Adve · 2005 · 732 citations · Full text
Weak ordering—a new definition
Sarita V. Adve · 1998 · 449 citations