EP 1913473 A1 20080423 - AVOIDING LOCKS BY TRANSACTIONALLY EXECUTING CRITICAL SECTIONS
Title (en)
AVOIDING LOCKS BY TRANSACTIONALLY EXECUTING CRITICAL SECTIONS
Title (de)
VERMEIDUNG VON VERRIEGELUNGEN DURCH TRANSAKTIONALES AUSFÜHREN KRITISCHER SEKTIONEN
Title (fr)
ELIMINATION DES VERROUS AU MOYEN DE L'EXECUTION TRANSACTIONNELLE DE SECTIONS CRITIQUES
Publication
Application
Priority
- US 2006028152 W 20060721
- US 19509305 A 20050801
Abstract (en)
[origin: WO2007015925A1] A system that avoids locks by transactionally executing critical sections. The system receives a program which includes critical sections which are protected by locks. The system modifies the program so that the critical sections are executed transactionally without acquiring locks. The program is modified so that: (1) during transactional execution of a critical section, the program first determines if a lock associated with the critical section is held by another process and if so aborts the transactional execution; (2) if the transactional execution completes without encountering an interfering data access from another process, the program commits changes made during the transactional execution and optionally resumes normal non-transactional execution of the program past the critical section; and (3) if an interfering data access from another process is encountered during transactional execution, the program discards changes made during the transactional execution, and attempts to re-execute the critical section.
IPC 8 full level
CPC (source: EP)
G06F 9/3004 (2013.01); G06F 9/30087 (2013.01); G06F 9/3834 (2013.01); G06F 9/38585 (2023.08); G06F 9/467 (2013.01); G06F 9/528 (2013.01); G06F 8/52 (2013.01)
Citation (search report)
See references of WO 2007015925A1
Designated contracting state (EPC)
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LI LT LU LV MC NL PL PT RO SE SI SK TR
DOCDB simple family (publication)
WO 2007015925 A1 20070208; EP 1913473 A1 20080423; JP 2009508187 A 20090226
DOCDB simple family (application)
US 2006028152 W 20060721; EP 06787947 A 20060721; JP 2008524994 A 20060721