Allowing Atomic Objects to Coexist with Sequentially Consistent Objects
Michel Raynal, Marc Le Roy
Abstract
Michel Raynal, Marc Le Roy
Abstract
A concurrent object is an object that can be concurrently accessed by several processes. Two well known consistency criteria for such objects are atomic consistency (also called linearizability)andsequential consistency. Both criteria require that all the operations on all the concurrent objects be totally ordered in such a way that each read operation obtains the last value written into the corresponding object. They
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A concurrent object is an object that can be concurrently accessed by several processes. Two well known consistency criteria for such objects are atomic consistency (also called linearizability)andsequential consistency. Both criteria require that all the operations on all the concurrent objects be totally ordered in such a way that each read operation obtains the last value written into the corresponding object. They
Key concepts: Linearizability, Sequential consistency, Computer science, Consistency (knowledge bases), Consistency model, Asynchronous communication, Object (grammar), Protocol (science)