atomicity

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.

Vanilla-OS/ABRoot

ABRoot is a utility that 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.

arkanelinux/arkdep

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

nette/safe-stream

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

macmade/AtomicKit

Concurrency made simple in Swift.

AtomicReact/AtomicReact

Framework to build web apps with atomicity concept.

twtrubiks/django-transactions-tutorial

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

macmade/CPPAtomic

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

hlovatt/Concurrency-Utilities

NO LONGER MAINTAINED! Atomics, Futures, and Reactive-Streams for Swift

nightlyone/atomic

Atomic operations as methods on types

arturalbov/atomicf

Go package for ensure files with atomic writing

MASTAR-LAST/Science

An advanced scientific library specialized in thermomechanics and atomic sciences

connellr023/transient-os

A robust time-sharing operating system designed for building concurrent systems on the Raspberry Pi 3.

harmim/infer

A static analyzer for Java, C, C++, and Objective-C.

brandaof/brcache-server

Servidor BRCache

harmim/vut-dip

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

harmim/vut-ibt

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

jenyaalexanov/DistributedLock.MongoDatabase

This library allows you not to worry about multiple instances and easily block sections of code by identifier.

macmade/objc-semaphore

Semaphores for Objective-C and Swift

shilangyu/register-transformations

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

dj1095/two-phase-distributed-commit

An implementation of the Two-Phase Commit protocol for distributed systems, ensuring atomicity in transactions. Robust, fault-tolerant, and scalable.

harmim/vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser

JasmeetSinghBali/Microservices

🎠 Microservices Architecture Boilerplates| POC's

PHPComponent/AtomicFile

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.

bhuvansingla/aerodrome-roadrunner

Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework

kpapadatos/locki

A redis-backed lock broker that manages groups of S/X locks with atomic lua scripts.

kysely/atomicloop

Create atomic loop iterations (let the current iteration finish even when interrupted)

SOHAIBALOUSSI/Dining-Philosophers

Dining philosophers problem solution in C

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.

ChandanKhamitkar/Software-Engineering-Lab-Tasks

All lab tasks of the | Software Engineering | will be stored here 🏪

harmim/vut-excel-at-fit-2019

Excel@FIT 2019

harmim/vut-excel-at-fit-2021

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

kweeuhree/distributed-rate-limiter

This repository contains a Redis-based rate limiter implementing Token Bucket algorithm

rjacquinot/Synchronization

Swift generic wrappers to help enforce thread-safe access to properties.