Publication

Consensus inside

Rachid Guerraoui
2014
Conference Papers

Abstract

Scaling to a large number of cores with non-uniform communication latency and unpredictable response time may call for viewing a modern many-core architecture as a distributed system. In this view, the cores replicate shared data and ensure consistency among replicas through a message-passing based agreement protocol. In this paper, we present the first in-depth study of messagepassing agreement on many-cores. In particular, we focus on the possibility of such a protocol being non-blocking. We highlight a number of optimizations that are specific to the many-core environment and present 1Paxos, a new nonblocking agreement protocol that takes up the challenges of this environment. Copyright © 2014 ACM.

Official source

https://infoscience.epfl.ch/entities/publication/3086d48c-7d7a-4efc-a81d-01e7fdbea464

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

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.

Rachid Guerraoui
2014
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/3086d48c-7d7a-4efc-a81d-01e7fdbea464

About this result

Related concepts (32)

Multi-core processor

A multi-core processor is a microprocessor on a single integrated circuit with two or more separate processing units, called cores, each of which reads and executes program instructions. The instructions are ordinary CPU instructions (such as add, move data, and branch) but the single processor can run instructions on separate cores at the same time, increasing overall speed for programs that support multithreading or other parallel computing techniques.

Message Passing Interface

Message Passing Interface (MPI) is a standardized and portable message-passing standard designed to function on parallel computing architectures. The MPI standard defines the syntax and semantics of library routines that are useful to a wide range of users writing portable message-passing programs in C, C++, and Fortran. There are several open-source MPI implementations, which fostered the development of a parallel software industry, and encouraged development of portable and scalable large-scale parallel applications.

Communication protocol

A communication protocol is a system of rules that allows two or more entities of a communications system to transmit information via any variation of a physical quantity. The protocol defines the rules, syntax, semantics, and synchronization of communication and possible error recovery methods. Protocols may be implemented by hardware, software, or a combination of both. Communicating systems use well-defined formats for exchanging various messages.

Related publications (9)

Consensus inside

Chat with Graph Search

K-Waay: Fast and Deniable Post-Quantum X3DH without Ring Signatures

Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms

How Fast can a Distributed Atomic Read be?