Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Jinx_Debugger> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Jinx_Debugger abstract "Jinx was a concurrency debugger that deterministically controls the interleaving of workloads across processor cores, focusing on shared memory interactions. Using this deterministic approach, Jinx aimed to increase the frequency of occurrence of elusive shared memory bugs, sometimes called Heisenbugs. Jinx is no longer available. Corensic, the company that was developing Jinx, was bought by F5 Networks and the Jinx project was cancelled.Jinx worked 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 tested 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 did not require the specification of a model. Unlike dynamic and static code analysis methods, Jinx was notable in that it produced no false positives (spurious bug reports). This was because Jinx tested 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 was implemented as a hypervisor, giving it the ability to observe the effects of all elements of the software environment on thread interleaving. Jinx operated independently of any programming language or threading libraries or tools.Jinx was developed by a (now defunct) company named 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 wikiPageLength "2095".
- Jinx_Debugger wikiPageOutDegree "11".
- Jinx_Debugger wikiPageRevisionID "626817448".
- Jinx_Debugger wikiPageWikiLink Category:Debuggers.
- Jinx_Debugger wikiPageWikiLink Concurrency_(computer_science).
- Jinx_Debugger wikiPageWikiLink Deadlock.
- Jinx_Debugger wikiPageWikiLink Debugger.
- Jinx_Debugger wikiPageWikiLink Dynamic_program_analysis.
- Jinx_Debugger wikiPageWikiLink F5_Networks.
- Jinx_Debugger wikiPageWikiLink Heisenbug.
- Jinx_Debugger wikiPageWikiLink Hypervisor.
- Jinx_Debugger wikiPageWikiLink Multiprocessing.
- Jinx_Debugger wikiPageWikiLink Race_condition.
- Jinx_Debugger wikiPageWikiLink Static_code_analysis.
- Jinx_Debugger wikiPageWikiLink Static_program_analysis.
- Jinx_Debugger wikiPageWikiLink Unusual_software_bug.
- Jinx_Debugger wikiPageWikiLinkText "Jinx Debugger".
- Jinx_Debugger wikiPageWikiLinkText "Jinx".
- Jinx_Debugger hasPhotoCollection Jinx_Debugger.
- Jinx_Debugger wikiPageUsesTemplate Template:Portal.
- Jinx_Debugger wikiPageUsesTemplate Template:Reflist.
- Jinx_Debugger subject Category:Debuggers.
- Jinx_Debugger hypernym Debugger.
- Jinx_Debugger type Software.
- Jinx_Debugger comment "Jinx was a concurrency debugger that deterministically controls the interleaving of workloads across processor cores, focusing on shared memory interactions. Using this deterministic approach, Jinx aimed to increase the frequency of occurrence of elusive shared memory bugs, sometimes called Heisenbugs. Jinx is no longer available.".
- Jinx_Debugger label "Jinx Debugger".
- Jinx_Debugger sameAs m.09v2y5_.
- Jinx_Debugger sameAs Q6202857.
- Jinx_Debugger sameAs Q6202857.
- Jinx_Debugger wasDerivedFrom Jinx_Debugger?oldid=626817448.
- Jinx_Debugger isPrimaryTopicOf Jinx_Debugger.