Icke-blockerande datastrukturer möjliggör skalbar och trådsäker åtkomst till delade data. De tillhandahåller enskilda operationer som verkar utföra atomiskt. Det är dock ofta önskvärt att utföra flera operationer atomärt på ett transaktionsmässigt sätt. Tidigare lösningar, såsom programvara transaktionsminne (STM) och transaktionshöjande, hantera transaktionssynkronisering i ett externt lager separerat från datastrukturens egna trådnivåkonvergenskontroll. Även om detta minskar programmeringen, leder det till overhead i samband med ytterligare synkronisering och behovet av att rulla tillbaka aborterade transaktioner. I detta arbete presenterar vi en ny metod för att omvandla högpresterande låsfria länkade datastrukturer till högpresterande låsfria transaktionskopplade datastrukturer utan att förnya datastrukturernas ursprungliga synkroniseringsdesign. Vårt tillvägagångssätt utnyttjar den semantiska kunskapen om datastrukturen för att eliminera omkostnaderna för falska konflikter och upprullningar. Vi inkapslar alla transaktioner, operander och transaktionsstatus i en transaktionsdeskriptor, som delas mellan de noder som nås av samma transaktion. Vi koordinerar trådar för att hjälpa till att avsluta de kvarvarande transaktionerna av försenade transaktioner baserat på deras transaktionsdeskriptorer. När transaktionen misslyckas återvinner vi det korrekta abstrakta tillståndet genom att omvänt tolka den logiska statusen för en nod. I vår experimentella utvärdering med hjälp av transaktioner med slumpmässigt genererade transaktioner, våra låsfria transaktionslistor och skiplist överträffar de transaktionsstärkta med 40% i genomsnitt och så mycket som 125% för stora transaktioner. De överträffar också de alternativa STM-baserade tillvägagångssätten med en faktor på 3 till 10 i alla scenarier. Ännu viktigare, vi uppnår 4 till 6 storleksordningar mindre falska aborter än alternativen.
Lock-free Transactional Transaction Transformation REF föreslår en låsfri transaktionssynkroniseringsmetod för icke-kommutativa operationer samtidigt som behovet av en fysisk upprullning elimineras genom en logisk tolkning av det korrekta abstrakta tillståndet.
Lock-free Transactions without Rollbacks for Linked Data Structures
{'venue': "SPAA '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}