Projects in Awesome Lists tagged with atomicity

https://github.com/nette/caching

⏱ Caching library with easy-to-use API and many cache backends.

atomicity cache expiration memcached nette nette-framework php storage

Last synced: 26 Feb 2026

https://github.com/koculu/ZoneTree

ZoneTree is a persistent, high-performance, transactional, and ACID-compliant ordered key-value database for .NET. It operates seamlessly both in-memory and on local/cloud storage, making it an ideal choice for a wide range of applications requiring efficient data management.

atomicity binary-tree cloud-disk concurrency-control concurrent consistency database durability isolation iterator key-value-database key-value-store library linux lsm-tree microservices multi-threaded persistence recoverable transactional

Last synced: 14 Mar 2025

https://github.com/vanilla-os/abroot

ABRoot is utility which provides full immutability and atomicity to a Linux system, by transacting between two root filesystems. Updates are performed using OCI images, to ensure that the system is always in a consistent state.

atomicity command-line hacktoberfest immutability linux transactions vanillaos

Last synced: 12 Apr 2025

https://github.com/Vanilla-OS/ABRoot

ABRoot is utility which provides full immutability and atomicity to a Linux system, by transacting between two root filesystems. Updates are performed using OCI images, to ensure that the system is always in a consistent state.

atomicity command-line hacktoberfest immutability linux transactions vanillaos

Last synced: 03 Apr 2025

https://github.com/nette/safe-stream

SafeStream: atomic and safe manipulation with files via native PHP functions.

atomicity filesystem isolation multiple-threads nette nette-framework php

Last synced: 15 May 2025

https://github.com/arkanelinux/arkdep

Toolkit for building, deploying and maintaining an immutable, atomic, btrfs-based system

atomicity command-line immutability linux

Last synced: 26 Jul 2025

https://github.com/macmade/atomickit

Concurrency made simple in Swift.

atomic atomicity concurrency lock mutex property semaphore swift thread thread-safety

Last synced: 17 Jun 2025

https://github.com/twtrubiks/django-transactions-tutorial

django-transactions-tutorial 基本教學 - 了解 transactions 概念 📝

acid atomicity consistency django isolation mysql transactions

Last synced: 15 Apr 2025

https://github.com/macmade/cppatomic

Replacement of std::atomic supporting non trivially-copyable types

atomic atomicity c-plus-plus generic lock

Last synced: 19 Apr 2025

https://github.com/religiya-serdtsa/libttak

LibTTAK: Next Generation Memory Model

arena-allocator atomicity c concurrency deterministic gc-free lock-free memory-leak memory-safety minimalistic modern-c open-source optimization threading virtual-memory

Last synced: 30 May 2026

https://github.com/nightlyone/atomic

Atomic operations as methods on types

atomicity go golang

Last synced: 29 Jan 2026

https://github.com/harmim/vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

abstract-interpretation atomicity atomicity-violation bachelor-thesis concurrency facebook facebook-infer ocaml program-analysis static-analysis vut vut-fit

Last synced: 16 May 2026

https://github.com/shilangyu/register-transformations

Showcases the transformations needed to go from one wait-free register to a different one.

atomicity concurrent-computing registers wait-free

Last synced: 10 Jul 2025

https://github.com/harmim/vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp facebook facebook-infer java master-thesis ocaml program-analysis static-analysis vut vut-fit

Last synced: 29 Apr 2026

https://github.com/macmade/objc-semaphore

Semaphores for Objective-C and Swift

atomicity ios ipc macos mutex objective-c semaphore swift threading

Last synced: 06 May 2026

https://github.com/connellr023/transient-os

A work in progress time-sharing operating system for concurrency on the Raspberry Pi 3.

aarch64 armv8 armv8-assembly assembly atomicity clang concurrency concurrent-programming cpp cpu-scheduling library mutex operating-system raspberry-pi-3 time-sharing

Last synced: 08 May 2026

https://github.com/rishiganeshe/authorization-based-authentication-system

A secure and scalable authentication system implementing role-based authorization, JWT authentication, and Redis-based token blacklisting. Designed for production-grade applications, this system ensures data consistency, security, and atomic operations with database transactions.

atomicity authorization expressjs jwt-authentication mongodb-atlas nodejs redis sendgrid transactions

Last synced: 06 Apr 2026

https://github.com/harmim/vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser

abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit

Last synced: 28 Apr 2026

https://github.com/harmim/vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit

Last synced: 07 May 2026

https://github.com/sravanigodavarthi/oltp-banking-database

An OLTP banking system is implemented, emphasizing data integrity and atomicity, and leveraging constraints, triggers, stored procedures, views, and indexing to enhance query performance.

atomicity constraints datamodeling indexing oltp plpgsql postgresql python rollback stored-procedures triggers