Abstrakt. Vi introducerar begreppet släpphänthet i transaktionsminnen (TM). Intuitivt är en TM eftergiven om den aldrig avbryter en transaktion när den inte behöver. Mer specifikt är en TM eftergiven med avseende på en säkerhetsfastighet p om TM accepterar varje historia som uppfyller p. Övergivenhet, som säkerhet och livlighet, kan användas som ett mått för att jämföra TMs. Vi illustrerar att det är opraktiskt att uppnå släpphänthet deterministiskt, och sedan visa hur randomisering kan användas för att uppnå släpphänthet effektivt. Vi introducerar Adaptive Validation STM (AVSTM), som är probabilistiskt tolerant med avseende på opacitet; det vill säga, varje ogenomskinlig historia accepteras av AVSTM med positiv sannolikhet. Dessutom garanterar AVSTM låsfrihet. På grund av sin släpphänthet överträffar AVSTM andra STM med upp till 40 % i läsdominerade arbetsbelastningar i höga stridsscenarier. Men i låga tvistescenarier gör bokföringen som görs av AVSTM för att uppnå släpphänthet den i genomsnitt 20-30 % värre än befintliga STM:er.
I REF definieras en TM att vara efterlåten med avseende på serialiserbarhet om den avbryter en transaktion endast om det skulle bryta serialiserbarheten om den begicks.
Permissiveness in Transactional Memories ?
{'venue': 'In PPoPP', 'journal': None, 'mag_field_of_study': ['Computer Science']}