Dimmunix outil pour la transmission de l'immunité de blocage au logiciel Java / C / C ++ sans aucune aide de programmeurs ou d'utilisateurs
Télécharger maintenant

Dimmunix Classement & Résumé

Dimmunix Mots clés

Java C ++ Système d'immunité deadlock Immunité Deadlock Java C ++ Immunité Deadlock impasse

Dimmunix La description

Outil permettant de transmettre une immunité de blocage au logiciel Java / C / C ++ sans aucune aide de programmeurs ou d'utilisateurs DimMunix est un outil gratuit développé dans le laboratoire de systèmes fiable de l'EPFL pour donner aux systèmes logiciels un système immunitaire sur une impasse, sans aucune aide de programmeurs ou d'utilisateurs. Immunité Deadlock est une propriété par laquelle des programmes, une fois affligés par un motif d'impasse, développent la capacité d'éviter les occurrences futures de ce modèle d'impasse. Au fil du temps, les programmes dotés d'un "système immunitaire" augmentent progressivement leur résistance à des cadavres.dimmunix convient parfaitement aux logiciels à usage général (applications de bureau et d'entreprise, logiciels de serveur, etc.) mais non encore adaptés à la réalité ou à la sécurité. Systèmes. DimMunix est disponible pour Java, Linux NPTL (threads POSIX) et FreeBSD Libth (threads POSIX). DimMunix a été démontré pour travailler sur des systèmes réels (JBoss, MySQL, ActiveMQ, Apache httpd, MySQL JDBC, Java JDK, Limewire) et évite efficacement les bugs d'impasse réels, tout en introduisant uniquement les frais de performance modestes.

Dimmunix Logiciels associés