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 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. Dimmunix is well suited for general purpose software (desktop and enterprise applications, server software, etc.) but not yet suited for real-time or safety-critical systems.
You can download Dimmunix for Java/C/C++ from http://code.google.com/p/dimmunix/.
For more information, please see the Dimmunix project webpage.