Transaktionsminne (TM) uppfattas som ett tilltalande alternativ till kritiska sektioner för allmän samtidig programmering. Trots den stora mängd arbete som nyligen gjorts med TM-genomföranden har dock mycket få ansträngningar gjorts för att exakt fastställa vilka garantier dessa genomföranden bör ge. En formell beskrivning av sådana garantier är nödvändig för att kontrollera att TM-systemen är korrekta, samt för att fastställa TM-optimalitetsresultat och inneboende kompromisser. I detta dokument presenteras opacitet, ett kriterium för kandidatens korrekthet för TM-genomföranden. Vi definierar opacitet som en egenskap hos samtidig transaktion historia och ger dess graf teoretisk tolkning. Opacitet fångar exakt de korrekthetskrav som intuitivt har beskrivits av många TM-designers. De flesta TM-system vi känner till säkerställer ogenomskinlighet. Vid en allra första approximation kan opacitet ses som en utvidgning av den klassiska databasen serializability egenskap med det ytterligare kravet att även icke-godkända transaktioner hindras från att få tillgång till inkonsekventa stater. Att fånga detta krav exakt, inom ramen för allmänna objekt, och utan att hindra pragmatiska strategier som ofta används av moderna TM implementationer, såsom versionsläsning, osynliga avläsningar, lata uppdateringar och öppen häckning, är inte trivialt. Som ett användningsfall av opacitet, visar vi den första lägre gränsen på komplexiteten i TM-implementeringar. I grund och botten visar vi att varje enskild version TM-system som använder osynliga avläsningar och inte avbryter icke-konflikterande transaktioner kräver, i värsta fall, steg för en operation att avsluta, där k är det totala antalet objekt som delas med transaktioner. Denna (täta) bunden exakt fångar en inneboende kompromiss i utformningen av TM-system. Gränsen belyser också en grundläggande klyfta mellan system där transaktioner kan vara helt isolerade från omvärlden, t.ex. databaser eller vissa specialiserade transaktionsspråk, och system som saknar sådan isoleringskapacitet, t.ex. allmänna TM-ramar.
Oberoende av detta har Ref nyligen föreslagit begreppet "opacitet" som ett alternativt semantikkriterium för transaktioner.
On the correctness of transactional memory
{'venue': 'PPOPP', 'journal': None, 'mag_field_of_study': ['Computer Science']}