Dimmunix 1.0

Dimmunix is a tool for imparting deadlock immunity to Java/C/C++ software (both legacy and new) without any assistance from programmers or users.<br /><br />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.<br /><br />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 only modest performance overhead.<br /><br />Recently, Dimmunix has been augmented with a vaccination framework. The vaccine leverages application communities - networked computer nodes running the same program - to collectively boost the immunity of all members of that community. Antibodies can be shared by mutually untrusting members of the community, and a three-stage static analysis filter enables each node to verify these antibodies before using them.

Requirements:	No special requirements
Platforms:	Mac, Mac OSX
Keyword:	Application,  Augmented,  Avoid,  Communities,  Community,  Deadlock,  Dimmunix,  Framework,  Immunity,  Introducing,  Leverages,  Members,  Mysql,  Pattern,  Posix,  Programs,  Software,  Threads,  Vaccination,  Vaccine
Users rating:	0/10