Transaktionella minnessystem som ger ögonblicksbildsisolering möjliggör samtidig åtkomst till delade data utan att orsaka avbrott vid läs-skriv konflikter. Att minska aborter är ytterst relevant eftersom det leder till högre samstämmighet, bättre prestanda och bättre förutsägbarhet. Tyvärr, ögonblicksbild isolering ger inte serializability eftersom det tillåter vissa anomalier som kan leda till subtil konsekvens överträdelser. Även om vissa mekanismer har föreslagits för att verifiera riktigheten av ett program som använder ögonblicksbild isolering transaktioner, är det fortfarande svårt att reparera felaktiga program. För att minska programmerarens börda i detta fall presenterar vi en teknik baserad på dynamisk kod- och grafberoendeanalys som automatiskt korrigerar befintliga avvikelser i ögonblicksbildsisolering i transaktionsminnesprogram. Vår utvärdering visar att korrigerade applikationer behåller de prestandafördelar som är karakteristiska för ögonblicksbildsisolering över konventionella transaktionsminnessystem.
Litz m.fl. REF presenterar ett verktyg som automatiskt korrigerar ögonblicksbildsisolering (SI) avvikelser i transaktionsminnesprogram.
Efficient Correction of Anomalies in Snapshot Isolation Transactions
{'venue': 'TACO', 'journal': None, 'mag_field_of_study': ['Computer Science']}