Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.652.884 Times

Dimmunix 1.0

Company: Dependable Systems Lab
Date Added: September 04, 2013  |  Visits: 174

Dimmunix

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



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

License: Freeware Size: 51.2 KB
USER REVIEWS
More Reviews or Write Review


DIMMUNIX RELATED
Calendar  -  Comendar 1.4RC2 1.0
Comendar (short for "community calendar") is a free, GPL web application to generate a community event calendar web site. It: - enables members of a community to share information about forthcoming activities - enables a community to publicise...
 
Portal  -  ASP Nuke 0.8
ASP Nuke is an open-source software application for running a community-based web site on a web server. By open-source, it means that the code is freely available for others to read, modify and use in accordance with the software license. ASP Nuke...
 
Libraries  -  Porcupine 0.1
Porcupine is a web application server that provides an object oriented framework for developing web applications rapidly. Many of the tasks required for building web applications as you know them, are either eliminated or simplified. For...
266.24 KB  
Development Editors  -  Xinity BASE 2.2
Xinity BASE (Business Application Standard Environment) is a Java-based framework that allows easy development and integration of databased rich-applications using xml. a set of modules already ship with the framework like a CMS, HRM & some...
18.24 MB  
ActiveX Components  -  Object Join,View and Binding Framework for .NET 0.8
Object Joining View and Binding framework for .NET 1.1.OJVB is a purely object oriented design approach to provide .NET application developers a Typed DataSet like class framework with built-in support for object join view at run-time. OJVB...
240 KB  
Libraries  -  GUPnP 0.4
GUPnP application is an object-oriented open source framework for creating UPnP devices and control points, written in C using GObject and libsoup. The GUPnP API is intended to be easy to use, efficient and flexible. The GUPnP framework consists...
409.6 KB  
Development Tools  -  FreeEnergy 1.0
FreeEnergy is the PHP 5 framework for web applications using MySQL. The FreeEnergy methodology has been used to build applications for Autodesk, John Muir Health, AG Ferrari, Thrasher Magazine and many others. The FreeEnergy system breaks Web...
 
Travel  -  Cycle Repair Map 1.0.0.0
Cycle Repair Map is the first interactive offline map application for the Cyclist Community of Bangladesh to help them explore and search all the available cycle repair shops in Bangladesh. This app doesn't need any internet connection so, you can...
1024 KB  
Development Tools  -  Kaolak Community System 291003
Kaolak is a web-based community sytem running on Apache with PHP4 and MySql.A community is defined by its users and documents and forms a kaolak branch. Kaolak is designed to handle many branches transparently from each other.
92.16 KB  
Music  -  Access FM Radio Player 2.0
The Access FM radio player is an iPhone listening application for Bridgwater's community radio station Streaming the station output along with useful information about what is currently on air. Requirements: iOS 6.1 or later. Compatible with...
6.6 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX DVD Ripper Mac Free Edition 4.2.3
MacX DVD Ripper Mac Free Edition is the best free DVD ripper for Mac that can fulfill any of your DVD backup and ripping demands for free. It allows you to rip homemade and protected DVDs to MOV, MP4, M4V, etc for playing on iPhone, iPod, iPad,...
35.88 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB