9 个仓库
Patterns and mechanisms for managing simultaneous access to shared resources to prevent data conflicts.
Distinguishing note: Focuses on the logic of preventing concurrent edits, distinct from general data synchronization or UI alerts.
Explore 9 awesome GitHub repositories matching software engineering & architecture · Concurrency Control. Refine with filters or upvote what's useful.
JavaFamily is a curated set of learning paths and reference guides for backend engineering, distributed systems, and virtual machine internals. It provides a structured curriculum covering the Java language, operating system concepts, and network protocols. The project features detailed study guides for the Java virtual machine architecture, including memory management and garbage collection. It also includes a comprehensive reference for distributed systems, covering microservices, remote procedure call frameworks, and scalable system design. The collection covers a broad range of technical
Provides patterns and mechanisms for managing simultaneous access to shared resources to prevent data conflicts.
This project is a technical reference and educational guide focused on the internal architecture of the Linux kernel. It serves as a low-level systems programming resource and documentation for operating system internals, detailing the implementation of core mechanisms within the kernel source code. The materials provide a detailed study of the Linux kernel, tracing behavior through actual C source and assembly. It specifically covers the progression from the bootloader and decompression to the final kernel entry point, alongside the management of hardware interrupts and symmetric multiproces
Details the use of spinlocks, mutexes, and Read-Copy-Update mechanisms to synchronize shared kernel resources.
React-admin is a framework for building data-driven administrative interfaces that connect to REST or GraphQL backends. It provides a comprehensive suite of tools for managing the full lifecycle of administrative applications, including resource-oriented routing, declarative form scaffolding, and context-driven state management. By utilizing a modular adapter-based architecture, the framework abstracts backend communication, allowing developers to build consistent CRUD interfaces that handle data fetching, authentication, and synchronization automatically. The project distinguishes itself thr
Prevents data conflicts by restricting access to editing records currently being modified by other users.
Vapor is a comprehensive server-side web framework designed for building scalable, high-performance applications and APIs in Swift. It provides a non-blocking, event-loop-based runtime that manages concurrent task processing, background job queues, and asynchronous request handling. The framework is built around a dependency injection container that manages the lifecycle and resolution of services, configurations, and database connections throughout the request pipeline. The framework distinguishes itself through a protocol-oriented design that emphasizes type safety across all layers of the
Provides locking mechanisms to ensure thread-safe execution of shared resources.
Proton GE Custom is a compatibility layer designed to execute Windows games on Linux by translating binary instructions and API calls. It focuses on improving game stability and performance through a Wine-based translation system. The project utilizes custom patches and per-game configuration overrides to resolve specific application crashes and glitches. It implements specialized media foundation patching to ensure stable playback of proprietary cinematic formats and adds support for High Dynamic Range output. The software covers a range of gaming optimizations, including raw input latency
Uses a specialized kernel module to synchronize execution primitives between guest applications and the host system.
xv6-riscv is a simplified Unix-like teaching operating system designed for the study of kernel design and hardware interaction. It provides a low-level RISC-V kernel implementation that serves as a bootable system image for execution and debugging within a virtual machine or emulator. The project focuses on educational instruction regarding the RISC-V architecture. It enables the study of operating system concepts through a minimal kernel that implements process management and memory handling. The system covers core kernel operations including multiprocessor resource management and the imple
Utilizes spinlocks as low-level synchronization primitives to manage shared data across multiple CPU cores.
Iceberg is an open table format and big data table manager designed for huge analytic datasets in cloud storage. It provides a specification for tracking large-scale datasets to maintain transactional consistency and structural integrity. The project utilizes a standardized REST catalog interface to manage table metadata, ensuring interoperability between different compute engines. This allows diverse query engines to connect to a single table interface and maintain consistency across different processing frameworks. Its core capabilities include managing large-scale analytic tables, coordin
Prevents data corruption by validating that no conflicting changes occurred between the start and commit of a transaction.
Taco is a sparse tensor algebra compiler that translates high-level tensor index expressions into optimized machine code. It functions as a numerical code generator, producing specialized C kernels designed to execute complex multidimensional array operations efficiently on both CPU and GPU hardware. The project distinguishes itself by allowing users to define custom tensor storage layouts by composing dimension-level formats, such as dense or compressed structures, to match the specific sparsity patterns of their datasets. By analyzing the mathematical structure of tensor operations at compi
Distributes tensor computations across multiple processor cores or graphics hardware by injecting synchronization primitives into the generated machine code.
This project provides a development framework for writing loadable Linux kernel modules using the Rust programming language. It establishes a methodology for safe systems programming by enforcing memory and thread safety within the restricted execution environment of the kernel, allowing developers to extend operating system functionality while preventing common memory corruption errors. The framework distinguishes itself through automated generation of type-safe foreign function interfaces, which bridge high-level code with low-level kernel headers and system structures. It maps high-level s
Maps high-level synchronization constructs to native kernel locking mechanisms for thread safety.