Invention Grant
- Patent Title: Systems and methods for supporting software transactional memory using inconsistency-aware compilers and libraries
- Patent Title (中): 使用不一致的编译器和库来支持软件事务内存的系统和方法
-
Application No.: US12242551Application Date: 2008-09-30
-
Publication No.: US08214833B2Publication Date: 2012-07-03
- Inventor: Mark S. Moir , Daniel S. Nussbaum
- Applicant: Mark S. Moir , Daniel S. Nussbaum
- Applicant Address: US CA Redwood City
- Assignee: Oracle America, Inc.
- Current Assignee: Oracle America, Inc.
- Current Assignee Address: US CA Redwood City
- Agency: Meyertons, Hood, Kivlin, Kowert & Goetzel, P.C.
- Agent Robert C. Kowert
- Main IPC: G06F12/00
- IPC: G06F12/00 ; G06F13/00

Abstract:
Systems and methods may reduce overhead associated with read set consistency validation in software transactional memory implementations. These systems and methods may employ an inconsistency-aware compiler-library technique, in which an inconsistency-aware compiler communicates to various inconsistency-aware library functions knowledge about whether a given transaction has read consistent values to date. The inconsistency-aware library functions may exploit this information to avoid the need to validate the transaction, or portions thereof. If read set values are known to be consistent prior to the function call, the compiler may pass a parameter value to the function indicating as much. Otherwise, it may pass a value indicating that the read set values may be inconsistent. An inconsistency-aware function may determine that it will not perform a dangerous action, even though its parameters may not be consistent. Otherwise, the inconsistency-aware function may invoke a validation operation, or may perform other error avoidance operations.
Public/Granted literature
Information query