atomicity

There are 0 repository under atomicity topic.

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.
lsm-tree key-value-store atomicity consistency durability isolation key-value-database database linux binary-tree iterator persistence concurrent cloud-disk library multi-threaded recoverable concurrency-control transactional microservices
Language:C# 444
caching
nette / caching
⏱ Caching library with easy-to-use API and many cache backends.
nette nette-framework php cache storage expiration memcached atomicity
Language:PHP 433
ABRoot
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.
immutability atomicity linux transactions hacktoberfest vanillaos command-line vib
Language:Go 358
arkanelinux / arkdep
Toolkit for building, deploying and maintaining an immutable, atomic, btrfs-based system
atomicity command-line immutability linux
Language:Shell 164
safe-stream
nette / safe-stream
SafeStream: atomic and safe manipulation with files via native PHP functions.
nette nette-framework php multiple-threads atomicity filesystem isolation
Language:PHP 117
macmade / AtomicKit
Concurrency made simple in Swift.
swift concurrency thread thread-safety atomic atomicity lock mutex semaphore property
Language:Swift 94
AtomicReact / AtomicReact
Framework to build web apps with atomicity concept.
atomicreact webapp atomic atomicity framework atoms-concept frontend declarative ui library javascript
Language:JavaScript 54
twtrubiks / django-transactions-tutorial
django-transactions-tutorial 基本教學 - 了解 transactions 概念 📝
django transactions acid atomicity consistency isolation mysql
Language:Python 44
macmade / CPPAtomic
Replacement of std::atomic supporting non trivially-copyable types
atomic atomicity c-plus-plus generic lock
Language:C++ 16
hlovatt / Concurrency-Utilities
NO LONGER MAINTAINED! Atomics, Futures, and Reactive-Streams for Swift
concurrency atomic futures reactive-streams swift actors atomicity thread actor-library actor-model reactive
Language:Swift 5
nightlyone / atomic
Atomic operations as methods on types
atomicity go golang
Language:Go 5
arturalbov / atomicf
Go package for ensure files with atomic writing
golang atomicity files file go
Language:Go 4
connellr023 / transient-os
A robust time-sharing operating system designed for building concurrent systems on the Raspberry Pi 3.
aarch64 assembly atomicity concurrency concurrent-programming cpp library mutex operating-system time-sharing raspberry-pi-3 armv8 armv8-assembly clang cpu-scheduling
Language:C++ 4
MASTAR-LAST / Science
An advanced scientific library specialized in thermomechanics and atomic sciences
atomic atomic-physics atomicity library package python3 science thermomechanical math mathematics science-research sicencefiction python
Language:Python 4
infer
harmim / infer
A static analyzer for Java, C, C++, and Objective-C.
abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs cpp facebook facebook-infer java ocaml program-analysis static-analysis
Language:OCaml 3
brandaof / brcache-server
Servidor BRCache
atomicity cache cache-server cache-storage disk-cache java memory-cache php transactional transactional-cache
Language:Java 2
vut-dip
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
Language:C 2
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
Language:C 2
jenyaalexanov / DistributedLock.MongoDatabase
This library allows you not to worry about multiple instances and easily block sections of code by identifier.
async asynchrony atomicity await aws containers data database distributedlock docker instances lambdas lock mongodb multithreading parallel serverless
Language:C# 2
macmade / objc-semaphore
Semaphores for Objective-C and Swift
objective-c swift semaphore macos ios threading mutex atomicity ipc
Language:Objective-C 2
shilangyu / register-transformations
Showcases the transformations needed to go from one wait-free register to a different one.
atomicity concurrent-computing registers wait-free
Language:TypeScript 2
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.
atomicity client-server distributed-systems fault-tolerance java8 multithreading rpc-framework scalability two-phase-commit
Language:Java 1
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
Language:Java 1
JasmeetSinghBali / Microservices
🎠 Microservices Architecture Boilerplates| POC's
microservices rest-api docker mongoose monorepo nestjs-backend oops rabbitmq atomicity events message-broker transaction-processing golang solid-principles gorilla microservices-architecture swagger-documentation http-client go-graphql typescript
Language:TypeScript 1
PHPComponent / AtomicFile
files atomicity atomic-operation file-operations thread-safe
Language:PHP 1
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
Language:JavaScript 1
bhuvansingla / aerodrome-roadrunner
Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework
roadrunner atomicity-violation atomicity dynamic-analysis concurrent-programming
Language:Java 0
kpapadatos / locki
A redis-backed lock broker that manages groups of S/X locks with atomic lua scripts.
redis locks dlm lock atomicity consistency
Language:TypeScript 0
kysely / atomicloop
Create atomic loop iterations (let the current iteration finish even when interrupted)
atomic atomicity atomic-loop delayed linearizability sigint sigterm machine-learning iteration reinforcement-learning python graceful-shutdown
Language:Python 0
SOHAIBALOUSSI / Dining-Philosophers
Dining philosophers problem solution in C
atomicity concurrency multiprocessing multithreading parrallelism threadsafe
Language:C 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.
atomicity constraints datamodeling indexing oltp plpgsql postgresql python rollback stored-procedures triggers
Language:Python 0
ahauschulte / concurrency-demo
Java Concurrency Demos
atomicity data-race java java-memory-model race-conditions reordering visibility concurrency threads threadsafety
Language:Java
ChandanKhamitkar / Software-Engineering-Lab-Tasks
All lab tasks of the | Software Engineering | will be stored here 🏪
acid atomicity consistency durability isolation python software-engineering testing
Language:Roff
harmim / vut-excel-at-fit-2019
Excel@FIT 2019
abstract-interpretation article atomicity bachelor-thesis deadlock excel-at-fit facebook facebook-infer static-analysis vut vut-fit worst-case-const
Language:TeX
harmim / vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
vut article excel-at-fit facebook static-analysis ocaml concurrency program-analysis atomicity atomicity-violation abstract-interpretation vut-fit facebook-infer c java cpp concurrent-programs atomer contracts-for-concurrency
Language:TeX
kolesnikova-dev / distributed-rate-limiter
This repository contains a Redis-based rate limiter implementing Token Bucket algorithm
go rate-limiter redis atomicity docker lua optimized-performance
Language:Go

atomicity

koculu / ZoneTree

nette / caching

Vanilla-OS / ABRoot

arkanelinux / arkdep

nette / safe-stream

macmade / AtomicKit

AtomicReact / AtomicReact

twtrubiks / django-transactions-tutorial

macmade / CPPAtomic

hlovatt / Concurrency-Utilities

nightlyone / atomic

arturalbov / atomicf

connellr023 / transient-os

MASTAR-LAST / Science

harmim / infer

brandaof / brcache-server

harmim / vut-dip

harmim / vut-ibt

jenyaalexanov / DistributedLock.MongoDatabase

macmade / objc-semaphore

shilangyu / register-transformations

dj1095 / two-phase-distributed-commit

harmim / vut-pp1

JasmeetSinghBali / Microservices

PHPComponent / AtomicFile

RishiGaneshe / Authorization-Based-Authentication-System

bhuvansingla / aerodrome-roadrunner

kpapadatos / locki

kysely / atomicloop

SOHAIBALOUSSI / Dining-Philosophers

sravanigodavarthi / OLTP-Banking-Database

ahauschulte / concurrency-demo

ChandanKhamitkar / Software-Engineering-Lab-Tasks

harmim / vut-excel-at-fit-2019

harmim / vut-excel-at-fit-2021

kolesnikova-dev / distributed-rate-limiter