GitHub topics: atomicity

Repositories

nette/caching

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

Language: PHP - Size: 700 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 420 - Forks: 44

arkanelinux/arkdep

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

Language: Shell - Size: 410 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 130 - Forks: 11

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.

Language: Go - Size: 15.6 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 328 - Forks: 27

nette/safe-stream

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

Language: PHP - Size: 84 KB - Last synced at: 1 day ago - Pushed at: 22 days ago - Stars: 115 - Forks: 14

macmade/CPPAtomic

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

Language: C++ - Size: 250 KB - Last synced at: 2 days ago - Pushed at: 12 months ago - Stars: 16 - Forks: 4

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.

Language: JavaScript - Size: 59.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

macmade/AtomicKit

Concurrency made simple in Swift.

Language: Swift - Size: 1.64 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 94 - Forks: 14

hlovatt/Concurrency-Utilities

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

Language: Swift - Size: 139 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

connellr023/transient-os

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

Language: C++ - Size: 258 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

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.

Language: C# - Size: 1.39 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 349 - Forks: 32

SOHAIBALOUSSI/Dining-Philosophers

Dining philosophers problem solution in C

Language: C - Size: 762 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 469 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

ChandanKhamitkar/Software-Engineering-Lab-Tasks

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

Language: Roff - Size: 24.4 KB - Last synced at: 26 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

twtrubiks/django-transactions-tutorial

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

Language: Python - Size: 15.6 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 11

arturalbov/atomicf

Go package for ensure files with atomic writing

Language: Go - Size: 8.79 KB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 1

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.

Language: Java - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

shilangyu/register-transformations

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

Language: TypeScript - Size: 275 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

bhuvansingla/aerodrome-roadrunner

Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework

Language: Java - Size: 101 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

harmim/infer Fork of facebook/infer

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

Language: OCaml - Size: 149 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

harmim/vut-ibt

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

Language: C - Size: 33.8 MB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

AtomicReact/AtomicReact

Framework to build web apps with atomicity concept.

Language: JavaScript - Size: 1.49 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 54 - Forks: 2

brandaof/brcache-server 📦

Servidor BRCache

Language: Java - Size: 402 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

Related Keywords

atomicity 35 concurrency 9 atomicity-violation 6 abstract-interpretation 6 facebook 6 facebook-infer 6 static-analysis 6 atomic 6 ocaml 5 program-analysis 5 vut 5 vut-fit 5 python 4 cpp 4 library 4 isolation 4 consistency 4 lock 4 java 4 multithreading 3 swift 3 atomer 3 mutex 3 c 3 concurrent-programs 3 php 3 golang 3 linux 3 transactions 3 acid 2 microservices 2 docker 2 transactional 2 durability 2 database 2 contracts-for-concurrency 2 files 2 go 2 concurrent-programming 2 cache 2 nette 2 nette-framework 2 command-line 2 immutability 2 bachelor-thesis 2 redis 2 semaphore 2 thread 2 article 2 excel-at-fit 2 microservices-architecture 1 message-broker 1 http-client 1 gorilla 1 expiration 1 go-graphql 1 javascript 1 events 1 serverless 1 memory-cache 1 parallel 1 mongodb 1 lambdas 1 instances 1 ui 1 transactional-cache 1 async 1 webapp 1 cache-server 1 asynchrony 1 await 1 distributedlock 1 data 1 aws 1 disk-cache 1 containers 1 cache-storage 1 mongoose 1 thread-safe 1 dlm 1 locks 1 deadlock 1 worst-case-const 1 ios 1 ipc 1 macos 1 objective-c 1 threading 1 atomic-loop 1 delayed 1 graceful-shutdown 1 iteration 1 linearizability 1 machine-learning 1 reinforcement-learning 1 sigint 1 sigterm 1 asyncio 1 coroutine 1 gevent 1