资 源 简 介
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-source.
Dimmunix is well suited for general purpose software: desktop and enterprise applications, server software, etc. Dimmunix is available for Java, Linux NPTL (POSIX Threads), and FreeBSD libthr (POSIX Threads). Dimmunix was shown to work on real systems (JBoss, MySQL, ActiveMQ, Apache httpd, MySQL JDBC, Java JDK, Limewire) and effectively avoid real, reported deadlock bugs, while introducing o
