发明名称 |
Initialization safety |
摘要 |
Embodiments of the disclosure are directed to inserting a declaration of a non-overwritable variable pointing to a current object in a source code, and inserting a code of storing a value referencing the current object to the non-overwritable variable. Embodiments of the disclosure are directed to converting a source code to generate a shared object in a lock-free mode by inserting a declaration of a non-overwritable variable pointing to a current object in the source code, and inserting a code of storing a value referencing the current object to the non-overwritable variable. |
申请公布号 |
US8930893(B2) |
申请公布日期 |
2015.01.06 |
申请号 |
US201213536270 |
申请日期 |
2012.06.28 |
申请人 |
International Business Machines Corporation |
发明人 |
Ogasawara Takeshi |
分类号 |
G06F15/16;G06F17/30;G06F13/28;G06F13/00;G06F9/44 |
主分类号 |
G06F15/16 |
代理机构 |
Cantor Colburn LLP |
代理人 |
Cantor Colburn LLP ;Alexanian Vazken |
主权项 |
1. A system, comprising:
at least one processor configured to execute a plurality of threads, where each thread of the plurality of threads is configured to access an object in a lock-free mode based on an insertion of a declaration of a non-overwritable variable pointing to a current object in a source code and a storage of a value referencing the current object to the non-overwritable variable; wherein a first thread of the plurality of threads, when executed by the at least one processor, causes the system to:
lock a shared list;allocate the object;modify a value of the object; andput the object corresponding to the modified value at a head of the shared list. |
地址 |
Armonk NY US |