Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jinx_Debugger> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Jinx_Debugger abstract "Jinx is a concurrency debugger that deterministically controls the interleaving of workloads across processor cores, focusing on shared memory interactions. Using this deterministic approach, Jinx is able to increase the frequency of occurrence of elusive shared memory bugs, sometimes called Heisenbugs. Jinx works by dynamically building a set of potential interleavings (i.e. alternate eventualities, or execution scenarios, that will occur under some future condition) that are most likely to result in concurrency faults, and quickly tests those execution paths to surface concurrency problems such as deadlocks, race conditions and atomicity violations that are found in multiprocessing applications.Unlike model checkers, Jinx does not require the specification of a model. Unlike dynamic and static code analysis methods, Jinx is notable in that it produces no false positives (spurious bug reports). This is because Jinx actually tests the scenarios that are likely to be bugs, as opposed to just inferring those scenarios by analyzing source code or observing the execution of a program.Jinx is implemented as a hypervisor, giving it the ability to observe the effects of all elements of the software environment on thread interleaving. Jinx operates independently of any programming language or threading libraries or tools.Jinx has been developed by Corensic in Seattle, Washington based on research performed at the University of Washington and initially presented at the ASPLOS conference of 2009.".
- Jinx_Debugger wikiPageID "25707083".
- Jinx_Debugger wikiPageRevisionID "427077886".
- Jinx_Debugger hasPhotoCollection Jinx_Debugger.
- Jinx_Debugger subject Category:Debuggers.
- Jinx_Debugger type Abstraction100002137.
- Jinx_Debugger type Code106355894.
- Jinx_Debugger type CodingSystem106353757.
- Jinx_Debugger type Communication100033020.
- Jinx_Debugger type Debugger106574334.
- Jinx_Debugger type Debuggers.
- Jinx_Debugger type Program106568978.
- Jinx_Debugger type Software106566077.
- Jinx_Debugger type Writing106359877.
- Jinx_Debugger type WrittenCommunication106349220.
- Jinx_Debugger comment "Jinx is a concurrency debugger that deterministically controls the interleaving of workloads across processor cores, focusing on shared memory interactions. Using this deterministic approach, Jinx is able to increase the frequency of occurrence of elusive shared memory bugs, sometimes called Heisenbugs. Jinx works by dynamically building a set of potential interleavings (i.e.".
- Jinx_Debugger label "Jinx Debugger".
- Jinx_Debugger sameAs m.09v2y5_.
- Jinx_Debugger sameAs Q6202857.
- Jinx_Debugger sameAs Q6202857.
- Jinx_Debugger sameAs Jinx_Debugger.
- Jinx_Debugger wasDerivedFrom Jinx_Debugger?oldid=427077886.
- Jinx_Debugger isPrimaryTopicOf Jinx_Debugger.