I de senaste förslagen till programvarutransaktionsminne är det en tvistehanterare som ansvarar för att systemet som helhet gör framsteg. Ett antal algoritmer för stridsledare har föreslagits och utvärderats empiriskt. I detta dokument lägger vi en del grunder för en teori om tvistehantering. Vi presenterar den giriga tvistehanteraren, den första som kombinerar icke-triviala bevisbara egenskaper med god praktisk prestation. I en modell där transaktionsförseningar är ändliga garanterar den girige chefen att varje transaktion begår inom en begränsad tid, och tiden för att slutföra n samtidiga transaktioner som delar objekt ligger inom en faktor av s (s + 1)/2 av den tid som skulle ha tagits av en optimal offline lista schemaläggare. Ingen tvistehandläggare granskad i litteraturen uppfyller båda fastigheterna. Riktmärkena visar att vi hävdar att den girige managern är praktisk.
Guerraoui m.fl. REF tillhandahöll den första teoretiska analysen av tvistehanterare, som visar att Greedys tvistehanterare är O(s 2 ) konkurrenskraftig i förhållande till en optimal offline schemaläggare, där s är antalet delade dataobjekt.
Toward a theory of transactional contention managers
{'venue': "PODC '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}