4 repositorios
Awesome GitHub RepositoriesInter-Process Shared Memory
Low-level primitives for creating shared data buffers and pipes for high-performance communication between processes.
Distinguishing note: None of the candidates cover generic IPC shared memory buffers; they focus on disk buffering or GPU-specific allocators.
Explore 4 awesome GitHub repositories matching operating systems & systems programming · Inter-Process Shared Memory. Refine with filters or upvote what's useful.
Awesome Inter-Process Shared Memory GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- angrave/systemprogramming
angrave/SystemProgramming
5,734Ver en GitHubThis is an open-source, crowd-sourced wiki textbook that teaches Linux system programming in C. It covers the core operating system concepts of process management through the fork-exec-wait model, dynamic memory allocation using implicit free list heap allocators, inode-based file systems, inter-process communication via pipes and shared memory, POSIX threads with synchronization primitives, signal-based asynchronous notification, virtual memory with page table translation, and runtime diagnostics using Valgrind and GDB. The textbook distinguishes itself by providing practical, implementation
Teaches shared memory as a key inter-process communication mechanism.
- sel4/sel4
seL4/seL4
5,583Ver en GitHubseL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Provides kernel-level shared memory buffers between protection domains with notification signaling for data availability.
Cmicrokernelossel4 - apache/nuttx
apache/nuttx
3,912Ver en GitHubNuttX is a POSIX-compliant real-time operating system designed for microcontrollers ranging from 8-bit to 64-bit architectures. It provides a deterministic execution environment with a real-time task scheduler and a POSIX embedded kernel to ensure portable code execution across diverse hardware targets. The project distinguishes itself through a comprehensive hardware abstraction layer that provides standardized drivers for I2C, SPI, CAN, and USB across various semiconductor chipsets. It also features an embedded networking stack supporting TCP, UDP, IPv4, and IPv6, alongside industrial proto
Provides low-level primitives for creating shared memory regions for high-performance communication between processes.
Cembeddedmcumicrocontroller - kiwibrowser/src
kiwibrowser/src
2,948Ver en GitHubThis project is a Chromium-based mobile browser and rendering engine designed for mobile platforms. It functions as a web extension host, allowing the execution of browser extensions within a mobile environment to provide custom functionality. The project distinguishes itself through custom user interface modifications, such as the implementation of a specialized night mode and the relocation of the address bar for improved ergonomics. It also includes a remote debugging interface and protocol that allow an external developer console to connect to a live browser instance for inspecting and tr
Implements shared buffers and message pipes for low-level data exchange between threads and isolated processes.
