Concurrency and Distributed Systems Techniques

The Lamport timestamp algorithm is a simple logical clock algorithm used to determine the order of events in a distributed computer system.

Peterson's algorithm (or Peterson's solution) is a concurrent programming algorithm for mutual exclusion

Operational transformation (OT) is a technology for supporting a range of collaboration functionalities in advanced collaborative software systems.

The Chandy-Lamport algorithm is a snapshot algorithm that is used in distributed systems for recording a consistent global state of an asynchronous system.

Lamport's bakery algorithm is one of many mutual exclusion algorithms designed to prevent concurrent threads entering critical sections of code concurrently

In computer science, a lock or mutex (from mutual exclusion) is a synchronization primitive that prevents state from being modified or accessed by multiple threads of execution at once.

In computer science, a semaphore is a synchronization device used to control access to a common resource by multiple threads or processes in a concurrent system, such as a multitasking operating system.

A vector clock is a data structure used for determining the partial ordering of events in a distributed system and detecting causality violations.

A database shard, or simply a shard, is a horizontal partition of data within a database or search engine.

In computing, load balancing is the process of distributing a set of tasks over a set of resources (computing units) with the aim of making their overall processing more efficient.

In distributed computing, leader election is the process of designating a single process as the organizer of some task distributed among several computers (nodes).

A gossip protocol or epidemic protocol is a procedure or process of computer peer-to-peer communication that is based on the way epidemics spread.