An implementation of the Two-Phase Commit protocol for distributed systems, ensuring atomicity in transactions. Robust, fault-tolerant, and scalable.
-
Updated
Feb 29, 2024 - Java
An implementation of the Two-Phase Commit protocol for distributed systems, ensuring atomicity in transactions. Robust, fault-tolerant, and scalable.
Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework
Excel@FIT 2019
Swift generic wrappers to help enforce thread-safe access to properties.
Create atomic loop iterations (let the current iteration finish even when interrupted)
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Project Practice 1 - Atomer: Atomicity Violations Analyser
🎠 Microservices Architecture Boilerplates| POC's
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Showcases the transformations needed to go from one wait-free register to a different one.
Servidor BRCache
This library allows you not to worry about multiple instances and easily block sections of code by identifier.
An advanced scientific library specialized in thermomechanics and atomic sciences
A static analyzer for Java, C, C++, and Objective-C.
Add a description, image, and links to the atomicity topic page so that developers can more easily learn about it.
To associate your repository with the atomicity topic, visit your repo's landing page and select "manage topics."