isolation-levels

A lightweight, multi-layer Linux sandbox combining namespaces, pivot_root, seccomp-bpf, capability dropping, and an evidence-based verdict engine (Truthimatics Public Version) for secure, auditable code execution.

Extract some insightful technical points from the book.

A professional SQL project demonstrating core database transaction concepts including ACID properties, Isolation Levels, Rollbacks, and Concurrency Handling using a practical banking system example.

A declarative transaction management library for Drizzle ORM with decorator support, propagation types, isolation levels, and lifecycle hooks. Provides enterprise-grade transaction handling with async context management.

In this project we have a look at two isolation levels: read committed and repeatable read. We will demonstrate their guarantees using different types of locks on these anomalies: nonrepeatable read, lost updates, and write skew.

2025 Papers on Verification of Transactional Isolation Levels

This project demonstrates the behavior of various database isolation levels

📚 Database Internals: Transactions, Concurrency Control & Crash Recovery - Comprehensive lecture notes covering ACID, isolation levels, locking protocols (2PL), MVCC, timestamp ordering, WAL, and ARIES recovery. Uses real world examples. PostgreSQL-focused.

A double-entry ledger with no stored balances. 200 concurrent transfers against one account, four concurrency-control strategies, one benchmark table — including the naive strategy that overdraws the account on purpose.

🐳 A docker wannabe that creates a container-like environment with some isolation levels

Concurrency control for AI agents that share state: snapshot isolation, conflict detection, tool-call compensation, and serializability checked on every run.

Postgres playground for features implementation

Measuring the retry tax: how a bounded retry budget changes the isolation-level trade-off on PostgreSQL (SmallBank harness, 960 configurations, full results + report)

Exploration of database transaction models, isolation levels, and consistency guarantees.

NodeJs Database Concurrency explores strategies to handle multiples users in high concurrency. Here I explore NodeJs, Typescript, PostgreSql with different packages including pg and Prisma ORM.

School's SQL bootcamp (12 projects, 2 of them in a group)

Learn database transactions from verified, runnable examples. Every claim proven against a real PostgreSQL/MySQL database.

Runs concurrent JDBC transactions one statement at a time and reports orders that no serial execution could produce

About Databases

Project for my DBMS course at university.