Dynamic synchronization object pool management
US-2017046207-A1 · Feb 16, 2017 · US
Exposing and reproducing software race conditions
US2020210318A1 · US · A1
| Field | Value |
|---|---|
| Publication number | US-2020210318-A1 |
| Application number | US-201816236028-A |
| Country | US |
| Kind code | A1 |
| Filing date | Dec 28, 2018 |
| Priority date | Dec 28, 2018 |
| Publication date | Jul 2, 2020 |
| Grant date | — |
How to read this patent
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
- Title
What the patent document calls the invention.
- Abstract
A short plain-language summary of the technical disclosure.
- Assignees and inventors
Who owns or filed the patent and who is credited as inventor.
- Key dates
Filing, priority, publication, and grant dates set the timeline.
- First independent claim
The legal scope of protection — read this for what is actually claimed.
- CPC / IPC classifications
Technology tags used to group this patent with similar filings.
- Citations and related patents
Prior art links and similar publications in this corpus.
Abstract
Official abstract text for this publication.
Exposing and reproduction of race conditions is presented herein. The method comprises identifying a synchronization mechanism of a grouping of operating system synchronization mechanisms; based on a tunable probability value, adjusting a race window associated with the synchronization mechanism; and based on the race window, raising a likelihood of revealing a race condition.
First claim
Opening claim text (preview).
What is claimed is: 1 . A system, comprising: a processor; and a memory that stores executable instructions that, when executed by the processor, facilitate performance of operations, comprising: identifying a synchronization mechanism of a grouping of operating system synchronization mechanisms; based on a tunable probability value, adjusting a race window associated with the synchronization mechanism; and based on the race window, increasing a likelihood of revealing a race condition. 2 . The system of claim 1 , wherein a software in execution comprises the synchronization mechanism. 3 . The system of claim 1 , wherein the operations further comprise assigning the tunable probability value to the synchronization mechanism. 4 . The system of claim 1 , wherein the synchronization mechanism is an operating system resource allocation lock request. 5 . The system of claim 1 , wherein the synchronization mechanism is an operating system lock acquisition request. 6 . The system of claim 1 , wherein the synchronization mechanism is a conditional variable event associated with a sleep state. 7 . The system of claim 1 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a sleep time period to place use of the synchronization mechanism in a hiatus state. 8 . The system of claim 1 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a spin time period within which use of the synchronization mechanism is adjusted. 9 . A method, comprising: identifying, by the device, a synchronization mechanism of a grouping of operating system synchronization mechanisms; based on a tunable probability value, adjusting, by the device, a race window associated with the synchronization mechanism; and based on the race window, increasing, by the device, a likelihood of exposing a race condition. 10 . The method of claim 9 , wherein a software in execution comprises the synchronization mechanism. 11 . The method of claim 9 , further comprising allocating, by the device, the tunable probability value to the synchronization mechanism. 12 . The method of claim 9 , wherein the synchronization mechanism is an operating system resource allocation lock request. 13 . The method of claim 9 , wherein the synchronization mechanism is an operating system lock acquisition request. 14 . The method of claim 9 , wherein the synchronization mechanism is a conditional variable event associated with a sleep state. 15 . The method of claim 9 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a stasis time period to elapse prior to facilitating use of the synchronization mechanism. 16 . The method of claim 9 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a lag time period during which use of the synchronization mechanism is operational. 17 . A machine-readable storage medium comprising instructions that, in response to execution, cause a system comprising a processor to perform operations, comprising: identifying a synchronization mechanism of a grouping of operating system synchronization mechanisms; based on a tunable probability value, adjusting a race window associated with the synchronization mechanism; and based on the race window, raising a likelihood of revealing a race condition. 18 . The machine-readable storage medium of claim 17 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a stasis time period needed to elapse prior to facilitating use of the synchronization mechanism. 19 . The machine-readable storage medium of claim 17 , wherein the adjusting the race window comprises adjusting the race window as a function of defining a spin time period during which use of the synchronization mechanism is operational. 20 . The machine-readable storage medium of claim 17 , wherein a software in execution comprises the synchronization mechanism.
Assignees
Inventors
Classifications
- G06F11/3632Primary
of specific synchronisation aspects · CPC title
Patent family
Related publications grouped by family.
External sources
Frequently asked questions
Answers are generated from the same data shown on this page.
- What does patent US2020210318A1 cover?
- Exposing and reproduction of race conditions is presented herein. The method comprises identifying a synchronization mechanism of a grouping of operating system synchronization mechanisms; based on a tunable probability value, adjusting a race window associated with the synchronization mechanism; and based on the race window, raising a likelihood of revealing a race condition.
- Who is the assignee on this patent?
- Emc Ip Holding Co Llc
- What technology area does this patent fall under?
- Primary CPC classification G06F11/3632. Mapped technology areas include Physics.
- When was this patent published?
- Publication date Thu Jul 02 2020 00:00:00 GMT+0000 (Coordinated Universal Time) (A1). Legal status and post-grant events are not shown on this page.
- What related patents are in patentsdb?
- We list 2 related publications on this page (citations in our corpus or others sharing the same primary CPC).