Back to Results
First PageMeta Content
Information / Transaction processing / Data management / Two-phase commit protocol / Distributed algorithms / Data synchronization / Paxos / Consensus / Replication / Fault-tolerant computer systems / Computing / Data


I Do Declare: Consensus in a Logic Language∗ Peter Alvaro Tyson Condie Neil Conway Joseph M. Hellerstein Russell Sears
Add to Reading List

Document Date: 2009-08-31 01:17:53

Open Document

File Size: 221,57 KB

Share Result on Facebook

City

Timeout / /

Company

Sun Microsystems Inc. / Microsoft Corporation / /

Currency

pence / USD / /

/

Facility

building Paxos / Johns Hopkins University / /

IndustryTerm

declarative networking language / consensus algorithm / complicated protocol / unreliable distributed systems / abstract systems / leader election protocol / classical distributed systems protocols / faulttolerant distributed systems / real time / 2PC coordinator protocol / distributed computing / distributed systems / paxos algorithm / consensus protocols / 2PC protocol / election protocols / complicated consensus protocol / consensus protocol / /

Organization

National Science Foundation / UC Berkeley / Johns Hopkins University / Nuclear Regulatory Commission / University of California MICRO / /

Person

Jim Gray / Joseph M. Hellerstein Russell Sears / S. Mullender / Sara Alspaugh / Peer / Dmitriy Ryaboy / Vote / Peter Alvaro Tyson Condie Neil Conway Joseph / /

Position

2PC Coordinator / editor / single head / minister / Coordinator / Leader Election Leader / /

Product

Microsoft Corporation Portable Audio Device / /

ProgrammingLanguage

Datalog / /

Technology

consensus protocols / leader election protocol / two-phase commit protocol / 2PC coordinator protocol / Paxos algorithm / classical distributed systems protocols / Paxos protocol / basic Paxos algorithm / two-phase commit / 3.4 Leader Election Leader election protocols / complicated consensus protocol / consensus protocol / implementing consensus protocols / INTRODUCTION Consensus protocols / consensus algorithm / flow control / database management system / UC Berkeley ABSTRACT The Paxos consensus protocol / Synod protocol / 2PC protocol / http / network protocols / /

URL

www.scs.stanford.edu/~dm/home/papers/paxos.pdf / http /

SocialTag