2 Repos
Coordinating concurrent access to shared data structures using spinlocks, atomic operations, or lock-free techniques.
Distinct from Shared Memory Management: Distinct from Shared Memory Management: focuses on synchronization primitives for kernel data structures, not general shared memory segments.
Explore 2 awesome GitHub repositories matching software engineering & architecture · Kernel Synchronization Primitives. Refine with filters or upvote what's useful.
CppGuide is a curated collection of educational resources and practical guides focused on C++ server development, Linux kernel internals, concurrent programming, network protocols, and security exploitation. It provides structured learning paths for backend developers, covering everything from interview preparation to building high-performance network servers and understanding operating system fundamentals. The guide distinguishes itself by offering in-depth, hands-on tutorials that walk through real-world implementations, including building a Redis-like server from scratch, designing custom
Covers spinlocks, atomic operations, and lock-free techniques for kernel data structure synchronization.
Asterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se
Implements synchronization primitives to manage preemption and interrupt states for thread-safe access.