Lecture

Distributed Transactions: Architectures and Protocols

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Related lectures (64)

Dining philosopher problem

Presents an algorithm to prevent starvation and maximize philosophers eating simultaneously.

Sequential consistency: Basic Concepts

Explains the Sequential Consistency model in concurrency and parallelism, covering program order, atomicity, and performance implications.

Parallel Programming I

Covers the basics of parallel programming, including concurrency, forms of parallelism, synchronization, and programming models like PThreads and OpenMP.

Introduction to Concurrency

Covers the basics of concurrency, its importance, and how to write concurrent programs.

Relational Databases: Fundamentals and ACID Properties MOOC: Geographical Information Systems 1

Covers relational databases, transactions, and data consistency in the context of historical database typologies.

One-place Buffer: Monitor-based Implementation

Discusses the implementation of a one-place buffer using monitors in a concurrent environment.

Relational Databases: Fundamentals MOOC: Geographical Information Systems 1

Covers relational and spatial databases, including storage, management systems, ACID properties, historical typologies, primary and foreign keys, and spatial functions.

Atomic Operations: Basics and Applications

Covers the basics of atomic operations in concurrency and parallelism, including hardware-provided operations and synchronized algorithms.

Concurrency Semantics and Verification

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.

Database Systems: Overview

Introduces database systems, covering DBMS ecosystem, relational model, course overview, prerequisites, course outline, grading scheme, projects, and teaching methods.

Introduction to Database Systems

Covers the fundamentals of database systems, including data modeling, information processing, and the challenges of managing large volumes of data.

Akka Streams: Programming Reactive Systems

Covers Akka Streams basics, stream stages concurrency, materialized values, and more.

Hardware Verification using High-Level Design Languages

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Introduction to Multicore Processors

Covers the shift to multicore processors, processor-memory architecture, concurrency challenges, and synchronization problems in modern computing.

Relational Model: Basics

Introduces the relational model, SQL, keys, integrity constraints, ER translation, weak entities, ISA hierarchies, and SQL vs. noSQL.

Parallel Computation: Tasks

Explores parallel computation using tasks for concurrent execution and demonstrates their implementation in practice.

Concurrency and Mutual Exclusion

Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.

Optimistic Concurrency Control: Timestamp Ordering & Validation

Explores Optimistic Concurrency Control, tests for conflicts, critical sections, overheads, Multiversion Concurrency Control, Snapshot Isolation, and transaction performance enhancements.

Eventual Consistency: NoSQL, CAP Theorem, and BASE

Explores NoSQL databases, CAP theorem, BASE principles, and eventual consistency in distributed systems.

Lock-Free Synchronization: Practical Insights

Explores the significance of lock-free synchronization for achieving low latency in distributed systems and discusses practical solutions for unique identifier generation and messaging queues.