Paxos-based weighted argumentation framework approach to distributed consensus

Paxos is regarded as one of the most important protocols for distributed consensus in the presence of failures. It uses a number of 2f+1 processes to tolerate the benign failure of f processes, by splitting them into different roles with tailored tasks. The protocol presents multiple engineering challenges, two of which are pinpointing the cause for stalling and identifying the faulty processes. In this paper, we propose an alternative solution based on weighted argumentation frameworks by introducing Distributed Dispute Trees and a new role (the Skeptic) which ensures safety by attacking each condition that is not met in the Paxos protocol. The other processes must collaborate to defeat the Skeptic and achieve consensus.

[1]  Costin Badica,et al.  Bringing Paxos Consensus in Multi-agent Systems , 2014, WIMS '14.

[2]  Marek Karpinski.  Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory , 1983 .

[3]  Mahadev Konar,et al.  ZooKeeper: Wait-free Coordination for Internet-scale Systems , 2010, USENIX ATC.

[4]  Francesca Toni,et al.  Online Argumentation-Based Platform for Recommending Medical Literature , 2016 .

[5]  Michael J. Fischer,et al.  The Consensus Problem in Unreliable Distributed Systems (A Brief Survey) , 1983, FCT.

[6]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[7]  André Schiper,et al.  Optimizing Paxos with batching and pipelining , 2013, Theor. Comput. Sci..

[8]  Leslie Lamport,et al.  Paxos Made Simple , 2001 .

[9]  Michael Wooldridge,et al.  Inconsistency tolerance in weighted argument systems , 2009, AAMAS.

[10]  Brett D. Fleisch,et al.  The Chubby lock service for loosely-coupled distributed systems , 2006, OSDI '06.

[11]  Robbert van Renesse,et al.  Paxos Made Moderately Complex , 2015, ACM Comput. Surv..

[12]  Francesca Toni,et al.  Quaestio-it.com: a social intelligent debating platform , 2014, J. Decis. Syst..

[13]  Jeremy V. Pitt,et al.  Institutionalised Paxos Consensus , 2012, ECAI.

[14]  Phan Minh Dung,et al.  Assumption-Based Argumentation , 2009, Argumentation in Artificial Intelligence.

[15]  Marie-Laure Mugnier,et al.  An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy , 2013, Expert Syst. Appl..

[16]  Paul-Amaury Matt,et al.  A Game-Theoretic Measure of Argument Strength for Abstract Argumentation , 2008, JELIA.

[17]  Stefan Woltran,et al.  Methods for solving reasoning problems in abstract argumentation – A survey , 2015, Artif. Intell..

[18]  Stefano Bistarelli,et al.  A Common Computational Framework for Semiring-based Argumentation Systems , 2010, ECAI.

[19]  Michael Isard,et al.  Autopilot: automatic data center management , 2007, OPSR.

[20]  Leslie Lamport,et al.  Generalized Consensus and Paxos , 2005 .

[21]  Robert Griesemer,et al.  Paxos made live: an engineering perspective , 2007, PODC '07.

[22]  Costin Badica,et al.  Scrutable Multi-agent Hazard Rescue System , 2015, IDC.

[23]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[24]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.