Projects tagged ‘deadlock’

dlock : a lock debugging framework. Dlock is a tool to look for potential deadlocks in your code. It analizes the locking patterns you use, and will report potential problems (even if the deadlock doesn't actually happen).

JCarder is an open source tool for finding potential deadlocks in concurrent multi-threaded Java programs. It does this by instrumenting Java byte code dynamically (i.e., it is not a tool for static ... [More] code analysis) and looking for cycles in the graph of acquired locks. The only requirement is that the program you want to analyze can be run in an ordinary JVM (compliant with Java 5.0 or higher). There is no need to use a special JVM or build procedure. [Less]

Reporitory used by Deadlock patching system

Deadlock immunity is a property by which programs, once afflicted by a deadlock pattern, develop the ability to avoid future occurrences of that deadlock pattern. Over time, programs with such an ... [More] "immune system" progressively increase their resistance to deadlocks. Dimmunix is a tool developed in the Dependable Systems Lab at EPFL for giving software systems such an immune system against deadlock, without any assistance from programmers or users. [Less]

Simulator to attempt solving the Merlin-Rendell Problem of Train Journeys

Simulates the execution of multiple processes with respect to their resource allocation and resource release requests, and detect when (or if) deadlock occurs. If deadlock occurs, the program will ... [More] then display a list of the processes and resources involved in the deadlock. [Less]

Cliente Servidor e Moderador... Cliente - faz requisição de arquivo ao moderador Moderador - Faz tratamento de exclusão mutua e falso deadlock Servidor - Envia arquivo requisitado

MoonWalker is a software model checker which can automatically detect errors in CIL bytecode programs, i.e. applications written for the .NET platform. MoonWalker has been developed on the Mono ... [More] platform. The current version of MoonWalker is able to find deadlocks and assertion violations in CIL programs, generated with Mono's C# compiler. The design of MoonWalker is inspired by the Java PathFinder (JPF), a model checker for Java programs. The performance of MoonWalker is comparable to JPF. MoonWalker was formerly known as MMC, the Mono Model Checker. [Less]

Static deadlock detector that works by analyzing .NET assemblies

The ConMAn operators were developed for Java (J2SE 5.0). There are 24 ConMAn operators and each operator was based on real concurrency bug patterns. Each operator is implemented in TXL - a source ... [More] transformation language. The authors of ConMAn are: Jeremy S. Bradbury (University of Ontario Institute of Technology), James R. Cordy (Queen's University) and Juergen Dingel (Queen's University). [Less]