Live briefing
Everything about Jinx Debugger
Concurrency debugger
Jinx was a concurrency debugger that deterministically controlled 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. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Jinx DebuggerA 5-minute orientation
- Go sideways: Concurrent testingA closely related topic
- Go sideways: Testing high-performance computing applicationsA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
- No matching papers found.
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- Concurrent testing Research and literature on concurrency testing and concurrent testing typically focuses on testing software and systems that use concurrent computing.…
- Testing high-performance computing applications High-performance computing applications run on massively parallel supercomputers consist of concurrent programs designed using multi-threaded, multi-process…
- Race condition A race condition or race hazard is the condition of an electronics, software, or other system where the system's substantive behavior is dependent on the…
- Sequential consistency Sequential consistency is a consistency model used in the domain of concurrent computing (e.g. in distributed shared memory, distributed transactions,…
- Concurrent computing Concurrent computing is a form of computing in which several computations are executed concurrently—during overlapping time periods, instead of sequentially—wit…
- Thread (computing) In computer science, a thread of execution is the smallest sequence of programmed instructions that can be managed independently by a scheduler, which…
- Java memory model The Java memory model describes how threads in the Java programming language interact through memory. Together with the description of single-threaded…
- Dynamic program analysis Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute…