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.
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Implementation of AeroDrome tool in the RoadRunner Dynamic Analysis Framework
Atomics, Futures, and Reactive-Streams for Swift
Excel@FIT 2019
Swift generic wrappers to help enforce thread-safe access to properties.
Servidor BRCache
Showcases the transformations needed to go from one wait-free register to a different one.
🎠 Microservices Architecture Boilerplates| POC's
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
This library allows you not to worry about multiple instances and easily block sections of code by identifier.
Project Practice 1 - Atomer: Atomicity Violations Analyser
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Create atomic loop iterations (let the current iteration finish even when interrupted)
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."