Abstrakt. Detta dokument ger en teoretisk och praktisk ram för kraschtåliga datastrukturer på en maskin med ihållande (icke-flyktiga) minne men övergående register och cache. I motsats till vissa tidigare arbeten, men i enlighet med "riktiga världen" system, antar vi en full-system felmodell, där alla övergående tillstånd (av alla processer) går förlorade vid en krasch. Vi introducerar begreppet varaktig linearizability för att styra säkerheten av samtidiga objekt under denna felmodell och en motsvarande avslappnad, bu-ered variant som säkerställer att den bestående tillstånd i händelse av en krasch är konsekvent men inte nödvändigtvis uppdaterad. På genomförandenivå presenterar vi en ny "minnesmodell", explicit epok ihärdighet, som bygger på och generaliserar tidigare arbete. Vår modell fångar både hårdvarubu med och helt avslappnad konsistens, och subsumerar både befintliga och föreslagna instruktionsuppsättning arkitekturer. Med hjälp av persistensmodellen presenterar vi en automatiserad transform för att omvandla alla linjäriserbara, icke-blockerande samtidiga objekt till ett som också är varaktigt linjäriserbara. Vi presenterar också ett mönster, analogt med linjäriseringspunkter, för konstruktion av andra, mer optimerade objekt. Slutligen diskuterar vi generiska optimeringar som kan förbättra prestandan samtidigt som vi bevarar både säkerhet och liv.
REF presenterade en allmän algoritm för att upprätthålla en hållbar linjärisering.
Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model
{'venue': 'DISC', 'journal': None, 'mag_field_of_study': ['Computer Science']}