Factory > Showcase > Dimmunix
Name:
Dimmunix
Description:
Protection against deadlock bugs
Professor — Lab:
George Candea — Dependable Systems Lab
Contact:
Horatiu Jula
Home page:
Dimmunix
Layman description:
Enables general-purpose applications to defend themselves against deadlock bugs, i.e. avoid deadlocks that they previously encountered.
Papers:
Project status:
inactive — entered showcase: 2019-03-18 — entry updated: 2022-07-05
Source code:
Google Code - last commit: 2012-04-24
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Library
Programming language:
C, C++, Java