Deadlock Dungeons

  •        0

A simple MUD with an experimental Scheme - structured database. The game theme is magical combat. An attempt to use the Scheme language as the basis of a logical game magic system.



Related Projects

Sokoban YASC

Sokoban YASC - Yet Another Sokoban Clone - for Windows. A wealth of features, e.g., deadlock detection, reverse mode, and replay mode. Good import functions and highly configurable, e.g., skins. Tools: Editor, solver, optimizer, and generator.


JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more.

Dlocker - Simple Java deadlock checker

Simple deadlock checker for java code.

Serwer-semaforow - Server hosting semaphores

Server which hosts semaphores. Connects by TCP/IP. Has a capability to detect deadlocks.

Dimmunix - Deadlock immunity system for Java/C/C++ software

Dimmunix is a tool for imparting deadlock immunity to Java/C/C++ software (both legacy and new) without any assistance from programmers or users. 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 "immune system" progressively increase their resistance to deadlocks. Dimmunix was originally developed in the Dependable Systems Lab at EPFL and is now open-

Mrdiningphilosophers - The Chandy / Misra solution to the Dining Philosophers problem

A Java application that shows the Dining Philosophers problem using the Chandy / Misra solution.

CHESS: Systematic Concurrency Testing

CHESS is a tool for systematic and disciplined concurrency testing. Given a concurrent test, CHESS systematically enumerates the possible thread schedules to find hard-to-find concurrency errors, including assertion violations, deadlocks, data-races, and atomicity violations.

Cs480gp4 - Unix COMmands (UCOM)

MotivationThis is a class project for CS 480: Database Systems done by students from University of Illinois, Chicago for Spring 2010. Project DescriptionA database driven *nix Command Usage Application. We start off with nine users and close to 250,000 UNIX commands history and try to analyze the usage patterns of these users. Another aspect of the project would be to inspect deadlocks in databases. The complete project specification can be found at