词条 | Jinx Debugger |
释义 |
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[2] and initially presented at the ASPLOS conference of 2009. {{Portal|Software Testing}}References1. ^{{cite tweet|user=BartoszMilewski|author=Bartosz Milewski|number=514527768109801472|date=23 September 2014|title=@double_thunk Corensic was bought by F5 and Jinx got cancelled. Sorry!}} 2. ^http://sampa.cs.washington.edu/sampa/Projects#Deterministic_Shared_Memory_Multiprocessing_.28DMP.29 1 : Debuggers |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。