Detta dokument studerar obstruktionsfria programvara transaktionsminnessystem (OFTMs). Dessa system är tilltalande, eftersom de kombinerar atomitet egendom transaktioner med en levande egendom som säkerställer engagemanget för varje transaktion som så småningom stöter på någon tvist. Vi definierar exakt OFTM:er och etablerar två av deras grundläggande egenskaper. För det första bevisar vi att konsensusantalet för sådana system är 2. Detta indikerar att OFTM:er inte kan implementeras med enkelt läs/skriv delat minne, å ena sidan, men å andra sidan kräver inte kraftfulla universella objekt, såsom jämförelse-och-swap. För det andra visar vi att OFTM:er inte kan garantera osammanhängande åtkomstparallellism (i strikt mening). Detta kan resultera i konstgjorda "hot spots" och därmed begränsa prestandan hos OFTMs.
Guerraoui och Kapalka REF bevisar att obstruktionsfria implementationer av programvarutransaktionsminne inte kan garantera strikt osammanhängande parallellism.
On obstruction-free transactions
{'venue': "SPAA '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}