2 Repos
Analyzing kernel lock acquisition patterns to identify potential circular dependencies and order inversions.
Distinct from Deadlock Detection Systems: Candidates refer to distributed transactions or AI, not kernel mutex/lock wait graphs.
Explore 2 awesome GitHub repositories matching operating systems & systems programming · Kernel Deadlock Detection. Refine with filters or upvote what's useful.
BCC is an eBPF development toolkit and tracing framework used for monitoring and analyzing the Linux kernel. It functions as a performance analysis tool and debugging utility to capture system events, measure kernel latency, and provide network observability. The project distinguishes itself by providing a build system that integrates with LLVM to compile C-like code into BPF bytecode at runtime. It utilizes BPF Type Format data for relocations to maintain cross-kernel compatibility and extracts kernel headers to ensure the generated programs match the specific kernel version. The toolkit co
Traces mutex lock and unlock calls to build wait graphs and detect lock order inversions.
This project is a comprehensive technical interview preparation resource and computer science interview guide. It serves as an educational reference for developers to study core software engineering fundamentals and common coding patterns required for employment screenings. The repository provides detailed guides and references covering data structures and algorithms, networking and security, operating systems, and web development. It specifically focuses on the implementation and complexity analysis of sorting, searching, and graph algorithms. The material encompasses a wide breadth of comp
Discusses detecting deadlocks via allocation graphs and recovering by terminating processes.