Search Results for "deadlock"

...It abstracts the complexity of the native process APIs by offering a composable model for configuring commands, arguments, working directories, and stream redirection. The library emphasizes reliability and developer ergonomics, including built-in support for piping, cancellation handling, and deadlock avoidance. CliWrap is fully asynchronous and designed with immutability principles, making it well suited for modern concurrent applications. It also includes flexible mechanisms for capturing standard output and error streams, enabling advanced automation scenarios. Overall, CliWrap simplifies process orchestration in .NET applications while maintaining strong safety and performance guarantees.

TechCPP is a comprehensive C++ learning and interview guide aimed at back-end and systems developers preparing for professional roles. It gathers frequently asked concepts and deep dives—value categories (lvalue/rvalue), perfect forwarding, casts, memory models, atomics, and more—into a structured, readable format. The material goes beyond syntax to discuss performance, optimization techniques, and how standard library containers are implemented under the hood. You’ll also find practical...

Sokoban YASC - Yet Another Sokoban Clone - for Windows. A wealth of features, e.g., deadlock detection, reverse mode, and replay mode. Good import functions and highly configurable, e.g., skins. Tools: Editor, solver, optimizer, generator, capture, duplicate finder.

...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.

JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more.

Freely redistributable open source 100% pure Java for mutual exclusion. Read-write and read-only reentrant lock, condition variable, atomic wraps for Boolean, Integer, Long, and Reference. Cell pool with optional locking, object exchanger, Intersect.

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...

JChart2D is a easy to use component for displaying two- dimensional traces in a coordinate system written in Java. It supports real-time (animated) charting, custom trace rendering, Multithreading, viewports, automatic scaling and labels. Former UI controls (right click context menu, file menu) have been ported to the subproject jchart2d-uimenu (https://sourceforge.net/projects/jchart2d-uimenu.jchart2d.p/) for the benefit of having no dependencies to 3rd party libraries.

Concurrent agents for Java. Create multithreaded active objects using standard Java interfaces and classes without explicit use of threads, synchronization, or other concurrency primitives.

Java Matrix object. Thread safe with deadlock avoidance. Matrix Multiply, Add, Subtract, Cross product, Dot Product, norm, normalize, angle between vectors and MANY data manipulation functions. This would make a great graphics addin...

A deadlock detection software which detects the deadlock in given multiple resource of each resource types. Source Presented by http://standaloneinstaller.com

Jarrut is a tool that makes developing and debugging Java ME applications (application using CLDC to be more specific) a bit less of a pain. Jarrut enables proper stack traces for exceptions, also when running a MIDlet on a real device

This project uses pvm environment to show how to detect deadlock in model k of r, ring architecture.

A FIFO implementation using circular buffers. Portable C code for embedded systems. Deadlock free and re-entrant.

Deadlock is a powerful, fully featured user management system primarily written to protect web directories and documents using Apache's htaccess and htpasswd. Deadlock is written in PHP and uses a MySQL database.

LibCMT stands for Composable Memory Transactions Library. It implements a transactional model of concurrency using Glib, where deadlock is not possible (because there are not locks at all) and transactions are composable.

Deadlock is a 2D top-down adventure game. In this game you play a hero who is part of a tribe that struggles a war against an evil fire demon. You are the only hope to restore peace and prosperity to your people.

"Deadlock" is a artillery combat game for Windows. It's very similar to Schorched Earth but is built using more modern technology (DirectX9). The last tank alive is the winner.

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.

TX4J is a lightweight local transaction framework that allows you to make your Java code transactional. It supports isolation level 0 - 3. TX4J includes a lock manager and a deadlock detection/resolving mechanism.

A simple MUD with an experimental Scheme - structured database. The game theme is magical combat. An attempt to use the Scheme language as the basis of a logical game magic system.