Ett samtidigt objekt är ett dataobjekt som delas av samtidiga processer. Linjäriserbarhet är ett korrekturtillstånd för samtidiga objekt som utnyttjar semantiken hos abstrakta datatyper. Det tillåter en hög grad av samstämmighet, men det tillåter programmerare att specificera och resonera om samtidiga objekt med hjälp av kända tekniker från den sekventiella domänen. Linjärisering ger illusionen att varje operation som tillämpas genom samtidiga processer träder i kraft omedelbart någon gång mellan dess anrop och dess svar, vilket innebär att betydelsen av ett samtidigt objekts verksamhet kan ges genom pre- och postvillkor. Detta dokument definierar linearizability, jämför det med andra korrekthet villkor, presenterar och visar en metod för att bevisa riktigheten av implementationer, och visar hur man resonerar om samtidiga objekt, med tanke på att de är linearizable.
Linjäriserbarhet REF beskriver illusionen att varje metod av ett objekt träder i kraft omedelbart någon gång mellan metoden anrop och retur.
Linearizability: a correctness condition for concurrent objects
{'venue': 'TOPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}