Search Results for "deadlock"

...HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

Pcynlitx is an innovative open-source multi-thread software development platform and it is an outcome of a scientific research study that is carried out by Erkam Murat Bozkurt who is a research engineer in ISTANBUL/TURKEY. Basically, Pcynlitx is not a threading library. Instead, Pcynlitx is a threading library generator and it produces an application specific multi-threading library specialized based on its user needs. The library produced by Pcynlitx acts as an autonomuous thread...

A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.

A cross-platform implementation of a mutex, that automatically checks for everything, you might be doing wrong: - DeadLocks - Invalid mutex leave order - Thread Shutdown, while still holding mutex locks - Destroying a locked mutex - (Un)Locking a destroyed mutex - UnLocking an unlocked mutex - UnLocking an mutex locked by another thread - Locking a non-recursive, locked mutex - Not destroying all mutexes before application termination Every abnormal produces a console...

Await && Locks is a library that contains easy-to-use thread synchronization tools for C++. It helps to write understandable and robust multithreaded programs. Features: simplicity, expressiveness, platform independence, deadlock detection.