Dimmunix. Strumento per impartire l'immunità del deadlock al software Java / C / C ++ senza assistenza da programmatori o utenti
Scarica ora

Dimmunix. Classifica e riepilogo

Dimmunix. Tag

Giava C ++. Sistema di immunità deadlock. Immunità Deadlock Java Immunità di deadlock C ++ deadlock

Dimmunix. Descrizione

Strumento per impartire l'immunità di deadlock a software Java / C / C ++ senza assistenza da programmatori o utenti Dimmunix è uno strumento gratuito sviluppato nel laboratorio di sistemi affidabili presso EPFL per dare sistemi software un sistema immunitario contro il deadlock, senza alcuna assistenza da parte di programmatori o utenti. L'immunità del deadlock è una proprietà con cui i programmi, una volta afflitti da uno schema deadlock, sviluppano la capacità di evitare future occorrenze di quel modello di deadlock. Nel tempo, i programmi con un tale "sistema immunitario" aumentano progressivamente la loro resistenza a deadlocks.Dimmunix è adatto per il software generale per scopi generali (Desktop e Enterprise Applicazioni, software server, ecc.) Ma non ancora adatto per il tempo reale o la sicurezza-critico sistemi. Dimmunix è disponibile per Java, Linux NPTL (fili POSIX) e FreeBSD Libthr (fili POSIX). Dimmunix è stato dimostrato di lavorare su sistemi reali (JBoss, MySQL, ActiveMQ, Apache httpd, MySQL JDBC, Java JDK, Limewire) ed evitando efficacemente gli insetti deadlock reali e riportati, mentre introducono solo un sovraccarico di prestazioni modeste.

Dimmunix. Software correlato