Seminar on Parallel and Distributed Systems (0368-4184) Fall 2016/2017

Adam Morrison

Wednesday, 16:00-18:00 at Kaplun 118

Overview

Parallel and distributed systems drive modern computing at every scale—from the multicore architecture of the individual machine to the geo-distributed systems hosting cloud computing services. The seminar will cover cutting-edge research on such systems. In each meeting, we'll discuss one paper published at a top systems conference (SOSP/OSDI/NSDI/EuroSys/etc.), which will be presented by one student.

Requirements and grading


Prerequisites

Schedule

Date Speaker Paper
Nov 2

Adam Morrison

Introduction and logistics

Nov 9

No meeting

Nov 16

No meeting

Nov 23

Adam Morrison

Background: distributed transactions

Nov 30

No meeting

Dec 7

Alon Resler

Extracting More Concurrency from Distributed Transactions (OSDI'14)

Dec 14

Adam Morrison

Background: big data systems

Dec 21

Adi Gilboa

Discretized Streams: Fault-Tolerant Streaming Computation at Scale (SOSP'13)

Dec 28

Eyal Agiv

Latency-Tolerant Software Distributed Shared Memory (USENIX ATC'16 best paper)

Jan 4

Adam Morrison

Background: multi-core

Jan 11

Nir David

Algorithmic Improvements for Fast Concurrent Cuckoo Hashing (EuroSys'14)

Paper Selection

We can discuss papers on one (or more) of the following topics: To decide which topics we will cover in the seminar, email me the following by Saturday, November 12th: Papers will be assigned once the the seminar's topic(s) are finalized. The assignment will not be on a first-come-first-served basis, so take your time and make the best choice of paper preferences.
A: Geo-Distributed Systems

Consolidating Concurrency Control and Consensus for Commits under Conflicts (OSDI'16)

Distributed transactions with strong consistency

Background:

Low-Latency Multi-Datacenter Databases using Replicated Commit

Spanner: Google's Globally-Distributed Database

Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks

Chain Replication for Supporting High Throughput and Availability

Building Consistent Transactions with Inconsistent Replication (SOSP'15)

Extracting More Concurrency from Distributed Transactions (OSDI'14)

MDCC: Multi-data center consistency (EuroSys'13)

Transaction Chains: Achieving Serializability with Low Latency in Geo-Distributed Storage Systems (SOSP'13)

Calvin: Fast distributed transactions for partitioned database systems (SIGMOD'12)

The SNOW Theorem and Latency-Optimal Read-Only Transactions (OSDI'16)

Trading off consistency for performance

Background:

Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS

Sinfonia: a new paradigm for building scalable distributed systems

Eventually Consistent

Stronger Semantics for Low-Latency Geo-Replicated Storage (NSDI'13)

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary (OSDI'12)

Transactional storage for geo-replicated systems (SOSP'11)

B: Big Data Computations

Gemini: A Computation-Centric Distributed Graph Processing System (OSDI'16)

Naiad: A Timely Dataflow System (SOSP'13 best paper)

Latency-Tolerant Software Distributed Shared Memory (USENIX ATC'16 best paper)

Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing (NSDI'12 best paper)

Spark papers

Background:

MapReduce: Simplified Data Processing on Large Clusters

Discretized Streams: Fault-Tolerant Streaming Computation at Scale (SOSP'13)

GraphX: Graph Processing in a Distributed Dataflow Framework (OSDI'14)

X-Stream: Edge-Centric Graph Processing using Streaming Partitions (SOSP'13)

Chaos: Scale-out Graph Processing from Secondary Storage (SOSP'15)

C: Datacenter-Scale Distributed Transactions

FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs (OSDI'16)

Background (or co-present):

FaRM: Fast remote memory (NSDI'14)

No compromises: distributed transactions with consistency, availability, and performance (SOSP'15)

Yesquel: Scalable SQL storage for Web applications (SOSP'15)

Fast In-memory Transaction Processing using RDMA and HTM (SOSP'15)

D: Multicore Systems (Mostly In-Memory Datastores)

Machine-Aware Atomic Broadcast Trees for Multicores (OSDI'16)

Speedy Transactions in Multicore In-Memory Databases (SOSP'13)

Scaling Multicore Databases via Constrained Parallel Execution (SIGMOD'16)

Phase Reconciliation for Contended In-Memory Transactions (OSDI'14)

Cache Craftiness for Fast Multicore Key-Value Storage (EuroSys'12)

Using Restricted Transactional Memory to Build a Scalable In-Memory Database (EuroSys'14)

MICA: A Holistic Approach to Fast In-Memory Key-Value Storage (NSDI'14)

Algorithmic Improvements for Fast Concurrent Cuckoo Hashing (EuroSys'14)