Obstruction-free Consensus: Part 2

In course

Description

This lecture covers the concept of obstruction-free consensus, focusing on processes proposing values and updating registers based on timestamps. It delves into the highest timestamp principle, value updates, and the return value in the context of consensus algorithms like Paxos.

Instructor

Official source

https://mediaspace.epfl.ch/media/0_x4fodugc

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.

Related concepts (13)

Real-time Transport Protocol

The Real-time Transport Protocol (RTP) is a network protocol for delivering audio and video over IP networks. RTP is used in communication and entertainment systems that involve streaming media, such as telephony, video teleconference applications including WebRTC, television services and web-based push-to-talk features. RTP typically runs over User Datagram Protocol (UDP). RTP is used in conjunction with the RTP Control Protocol (RTCP). While RTP carries the media streams (e.g.

Transmission Control Protocol

The Transmission Control Protocol (TCP) is one of the main protocols of the Internet protocol suite. It originated in the initial network implementation in which it complemented the Internet Protocol (IP). Therefore, the entire suite is commonly referred to as TCP/IP. TCP provides reliable, ordered, and error-checked delivery of a stream of octets (bytes) between applications running on hosts communicating via an IP network. Major internet applications such as the World Wide Web, email, remote administration, and rely on TCP, which is part of the Transport Layer of the TCP/IP suite.

Regular expression

A regular expression (shortened as regex or regexp; sometimes referred to as rational expression) is a sequence of characters that specifies a match pattern in text. Usually such patterns are used by string-searching algorithms for "find" or "find and replace" operations on strings, or for input validation. Regular expression techniques are developed in theoretical computer science and formal language theory. The concept of regular expressions began in the 1950s, when the American mathematician Stephen Cole Kleene formalized the concept of a regular language.

Sample-return mission

A sample-return mission is a spacecraft mission to collect and return samples from an extraterrestrial location to Earth for analysis. Sample-return missions may bring back merely atoms and molecules or a deposit of complex compounds such as loose material and rocks. These samples may be obtained in a number of ways, such as soil and rock excavation or a collector array used for capturing particles of solar wind or cometary debris. Nonetheless, concerns have been raised that the return of such samples to planet Earth may endanger Earth itself.

Yttrium barium copper oxide

Yttrium barium copper oxide (YBCO) is a family of crystalline chemical compounds that display high-temperature superconductivity; it includes the first material ever discovered to become superconducting above the boiling point of liquid nitrogen (77 K) at about . Many YBCO compounds have the general formula YBa2Cu3O7−x (also known as Y123), although materials with other Y:Ba:Cu ratios exist, such as YBa2Cu4Oy (Y124) or Y2Ba4Cu7Oy (Y247). At present, there is no singularly recognised theory for high-temperature superconductivity.