Parallel and Distributed Computing and Systems ~PDCS 2009~

Total Page:16

File Type:pdf, Size:1020Kb

Parallel and Distributed Computing and Systems ~PDCS 2009~ The Twenty First IASTED International Conference on Parallel and Distributed Computing and Systems ~PDCS 2009~ Cambridge, Massachusetts, USA November 2 – 4, 2009 PRELIMINARY CONFERENCE PROGRAM LOCATION Le Méridien Cambridge - MIT 20 Sidney Street Cambridge, MA 02139 USA Parallel and Distributed Computing and Systems ~PDCS 2009~ SPONSOR The International Association of Science and Technology for Development (IASTED) CONFERENCE CHAIR Dr. Teofilo Gonzalez – UC Santa Barbara, USA KEYNOTE SPEAKERS Prof. Charles E. Leiserson – MIT Computer Science and Artificial Intelligence Laboratory, USA Prof. Nancy Lynch – Massachusetts Institute of Technology, USA TUTORIAL CHAIR Prof. Serge Chaumette – LaBRI, University Bordeaux 1, France PLEASE NOTE Paper presentations are 15 minutes in length with an additional 5 minutes for questions. Report to your Session Chair 15 minutes before the session is scheduled to begin. Presentations should be loaded onto the presentation laptop in the appropriate room prior to your session. End times of sessions vary depending on the number of papers scheduled. 1 INTERNATIONAL PROGRAM COMMITTEE I. Ahmad – University of G. A. Gravvanis – Texas, Arlington, USA Democritus University of H. Ali – University of Thrace, Greece Nebraska at Omaha, USA D. Grosu – Wayne State B. O. Apduhan – Kyushu University, USA Sangyo University, Japan K. Hawick – Massey T. Baba – Utsunomiya University , New Zealand University, Japan H. Higaki – Tokyo Denki M. Cannataro – University University, Japan "Magna Græcia" of U. Hönig – University of Catanzaro, Italy Hagen, Germany P. Cappello – University of S. H. Hosseini – University California, Santa Barbara, of Wisconsin-Milwaukee, USA USA J. L. Chen – National D. Houatra – Orange Labs, Taiwan University of France Science & Technology, H. Jin – Huazhong Taiwan University of Science and P. J. Chuang – Tamkang Technology, PR China University, Taiwan H. D. Karatza – Aristotle G. Cong – IBM Research, University of Thessaloniki, USA Greece A. Córdoba Izaguirre – M. Kucera – University of Public University of Applied Sciences Navarra, Spain Regensburg, Germany A. Datta – University of K. Li – State University of Western Australia, New York, USA Australia K. C. Li – Providence F. F. de Vega – Centro University, Taiwan Universitario de Mérida, E. D. Moreno – Federal Spain University of Sergipe, E. Dekel – IBM Haifa Aracaju - Brazil, Brazil Research Lab., Israel T. O'Neil – University of E. D'Hollander – University Akron, USA of Ghent, Belgium J. Park – Boston University, M. J. Dominguez-Alda – USA University of Alcala, Spain L. Peng – Louisiana State M. Fernandez de Sevilla – University, USA University of Alcala, Spain M. Qiu – University of New Orleans, USA 2 J. Sang – Cleveland State Y. Zhu – University of University, USA Maine, USA E. Schikuta – University of Vienna, Austria Additional Paper D. C. Schmidt – Vanderbilt Reviewers University, USA D. Serpanos – University of F. Al-Hawari – Patras, Greece Northeastern University, R. Shankaran – Macquarie USA University, Australia K. Brzezinski – Warsaw H. Shen – University of University of Technology, Adelaide, Australia Poland H. Shi – University of L. Duan – LSU, USA Missouri-Columbia, USA J. Keller – Fern University, A. Sodan – University of Germany Windsor, Canada G. Khanna – University of E. G. Talbi – University of Massachusetts Dartmouth, Lille, France USA P. Trunfio – University of H. Lu – La Trobe Calabria, Italy University, Australia S. Venkatesan – University K. Ohno – Mie University, of Texas at Dallas, USA Japan L. Wang – Rochester R. Palaniappan – Institute of Technology, University of Central USA Florida, USA C. Wills – Worcester A. Sulistio – Hochschule Polytechnic Institute, USA Furtwangen University, Y. Wiseman – The Open Germany University, Israel Y. Wang – University of X. Wu – Texas A&M Alberta, Canada University, USA Y. Zhang – LSu, USA C. T. Yang – Tunghai S. Q. Zheng – The University, Taiwan University of Texas at L. T. Yang – St. Francis Dallas, USA Xavier University, Canada 3 PROGRAM OVERVIEW Monday, November 2, 2009 Tuesday, November 3, 2009 07:00 – Registration 09:00 – Session 5 – Grid and Cloud (Social Foyer) Computing (Hunsaker B Room) 08:15 – Joint PDCS & SEA Welcome 08:30 Address 10:00 – Coffee Break (Hunsaker B Room) 10:30 (Social Foyer) 09:00 – PDCS Keynote Speaker – 10:30 – Session 5 Continued ‖Cilk++‖ – Prof. Charles E. Leiserson 11:30 – Lunch Break (Hunsaker B Room) (Self-Catered) 10:00 – Coffee Break 13:00 – Session 3 – Fault Tolerance 10:30 (Social Foyer) and Network Performance and Multicore Systems 10:30 – Session 7 – Wireless and (Hunsaker B Room) Mobile Networks (Hunsaker B Room) 13:00 – Session 2 – Network Security (MacVicar Room) 12:30 – Lunch Break (Self-Catered) 15:00 – Coffee Break 15:30 (Social Foyer) 13:30 – PDCS Keynote Speaker – ―Abstract MAC Layers‖ – 15:30 – Session 8 – Applications and Prof. Nancy Lynch Tools (Hunsaker B Room) (Hunsaker B Room) 15:00 – Coffee Break 19:30 – Dinner Banquet 15:30 (Social Foyer) (Hunsaker Room) 15:30 – Session 1– Distributed Computing (Hunsaker B Room) 4 Wednesday, November 4, 2009 08:30 – Session 4 – Miscellaneous (Hunsaker B Room) 10:00 – Coffee Break 10:30 (Social Foyer) 10:30 – Session 4 Continued 12:00 – Lunch Break (Self-Catered) 13:30 – Session 6 – Distributed Computing and FPGA and GPU Processing (Hunsaker B Room) 15:00 – Coffee Break 15:30 (Social Foyer) 15:30 – Session 6 Continued 5 Monday, November 2, "hyperobjects," which allow 2009 races on nonlocal variables to be mitigated without lock 07:00 – REGISTRATION contention or restructuring of Location: Social Foyer code. This talk overviews the Cilk++ technology. 08:15 – 08:30 – JOINT PDCS & SEA WELCOME ADDRESS Cilk++ is owned by Intel Location: Hunsaker B Room Corporation, and Professor Leiserson is a Cilk++ paid Intel 09:00 – PDCS KEYNOTE – consultant. “Clik++” Presenter: Prof. Charles E. Prof. Charles E. Leiserson is a Leiserson Professor of Computer Science Location: Hunsaker B Room and Engineering in MIT's Department of Electrical Cilk++ is a small set of linguistic Engineering and Computer extensions to C++ focused on Science (EECS). He is a member Cilk++ making the of MIT's Computer Science and programming of multicore Artificial Intelligence computers easier. Like its Laboratory (CSAIL), a member progenitor Cilk, which was of the Lab's Theory of developed at MIT, Cilk++ Computation Group (TOC), and allows applications to be head of its Supercomputing multithreaded by embedding a Technologies Group handful of keywords in the (SuperTech). Professor program source. The Cilk++ Leiserson is currently on leave compiler and runtime platform from MIT at Cilk Arts, a work together to offer provably venture-backed start-up which good performance. The is commercializing the Cilk Cilkscreen race detector technology he developed at guarantees to find race bugs in MIT. Professor Leiserson is an ostensibly deterministic ACM Fellow. executions, thereby ensuring software reliability. The 10:00 – 10:30 – COFFEE BREAK Cilkview scalability analyzer Location: Social Foyer extrapolates application performance to large systems. To cope with legacy codes containing global variables, Cilk++ supports reducer 6 10:30 – SESSION 7 – 668-055 WIRELESS AND MOBILE Cost Performance Analysis in NETWORKS Parallel Computing Networks Chair: tba with Divisible Load Scheduling Location: Hunsaker B Room K. Choi and T.G. Robertazzi (USA) 668-079 Wireless Multihop 12:30 – LUNCH BREAK Communication with Pair of (Self-Catered) Uni-Directional Multihop Routes in Wireless Access 13:30 – PDCS KEYNOTE – Networks “ABSTRACT MAC LAYERS” S. Kushiya and H. Higaki (Japan) Presenter: Prof. Nancy Lynch Location: Hunsaker B Room 668-078 High Throughput and Highly In this talk, I will describe recent Reliable Wireless Multihop work that uses Abstract MAC Transmissions in MANET Layers to develop and analyze M. Kosugi and H. Higaki (Japan) algorithms for wireless networks. These algorithms are 668-014 intended to run in networks A Programming Model for with local radio broadcast High-Performance Adaptive communication, with a variety Applications on Pervasive of possible signal characteristics. Mobile Grids C. Bertolli, D. Buono, S. Lametti, Current work on wireless G. Mencagli, M. Meneghin, network algorithms is A. Pasucci, and M. Vanneschi complicated by a diversity of (Italy) low-level communication assumptions, including 668-028 assumptions about message Movement Aware Routing for collisions and other forms of VANETs interference, and about how the C. Wu and T. Kato (Japan) success of message delivery 668-010 depends on geographical Multi-Path Position-based distance. It is hard to Routing in Mobile Ad-Hoc understand how the results Networks depend on the particular K. Day (Oman), S. Harous (UAE), communication assumptions. B. Arafeh, and A. Touzene (Oman) Moreover, many algorithms use similar techniques to deal with the same network difficulties. 7 The result has been a rather Newport. Other collaborators complicated theory. on related projects include Alex Cornejo, Majid habbazian, To simplify matters, we propose Darek Kowalski, Saira Viqar, using Abstract MAC Layers to and Jennifer Welch. mask some of the complexities of the underlying networks. For Prof. Nancy Lynch is the NEC example, we have defined a Professor of Software Science layer that provides reliable local and Engineering in the broadcast communication, with Department of Electrical timing guarantees stated in Engineering and Computer terms of abstract delay Science at MIT. She
Recommended publications
  • Kein Folientitel
    182.703: Problems in Distributed Computing (Part 3) WS 2019 Ulrich Schmid Institute of Computer Engineering, TU Vienna Embedded Computing Systems Group E191-02 [email protected] Content (Part 3) The Role of Synchrony Conditions Failure Detectors Real-Time Clocks Partially Synchronous Models Models supporting lock-step round simulations Weaker partially synchronous models Dynamic distributed systems U. Schmid 182.703 PRDC 2 The Role of Synchrony Conditions U. Schmid 182.703 PRDC 3 Recall Distributed Agreement (Consensus) Yes No Yes NoYes? None? meet All meet Yes No No U. Schmid 182.703 PRDC 4 Recall Consensus Impossibility (FLP) Fischer, Lynch und Paterson [FLP85]: “There is no deterministic algorithm for solving consensus in an asynchronous distributed system in the presence of a single crash failure.” Key problem: Distinguish slow from dead! U. Schmid 182.703 PRDC 5 Consensus Solvability in ParSync [DDS87] (I) Dolev, Dwork and Stockmeyer investigated consensus solvability in Partially Synchronous Systems (ParSync), varying 5 „synchrony handles“ : • Processors synchronous / asynchronous • Communication synchronous / asynchronous • Message order synchronous (system-wide consistent) / asynchronous (out-of-order) • Send steps broadcast / unicast • Computing steps atomic rec+send / separate rec, send U. Schmid 182.703 PRDC 6 Consensus Solvability in ParSync [DDS87] (II) Wait-free consensus possible Consensus impossible s/r Consensus possible s+r for f=1 ucast bcast async sync Global message order message Global async sync Communication U. Schmid 182.703 PRDC 7 The Role of Synchrony Conditions Enable failure detection Enforce event ordering • Distinguish „old“ from „new“ • Ruling out existence of stale (in-transit) information • Distinguish slow from dead • Creating non-overlapping „phases of operation“ (rounds) U.
    [Show full text]
  • Distinguished Lecture Series
    DISTINGUISHED LECTURE SERIES NANCY LYNCH NEC Professor of Software Science and Engineering, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology “A Theoretical View of Distributed Systems” Thursday, January 30, 2020 • 2-3 p.m Donald Bren Hall, Room 6011 ABSTRACT For several decades, my collaborators, students, and I have worked on theory for distributed systems, in order to understand their capabilities and limitations in a rigorous, mathematical way. This work has produced many different kinds of results, including: • Abstract models for problems that are solved by distributed systems, and for the algorithms used to solve them, • Rigorous proofs of algorithm correctness and performance properties (also some error discoveries), • Impossibility results and lower bounds, expressing inherent limitations of distributed systems, • Some new algorithms, and • General mathematical foundations for modeling and analyzing distributed systems. These various results have spanned many different kinds of systems, ranging from distributed data- management systems, to communication systems, to biological systems such as insect colonies and brains. In this talk, I will overview some highlights of our work over many years on theory for distributed systems. I will break this down in terms of three intertwined “research threads”: algorithms for traditional distributed systems, impossibility results, and mathematical foundations. At the end, I will say something about ourrecent work on algorithms for new kinds of distributed systems. BIO Nancy Lynch is the NEC Professor of Software Science and Engineering in MIT’s EECS department. She heads the Theory of Distributed Systems research group in the Computer Science and AI Laboratory. She received her PhD from MIT and her BS from Brooklyn College, both in Mathematics Lynch has (co-)written many research articles about distributed algorithms and impossibility results, and about formal modeling and verification of distributed systems.
    [Show full text]
  • Chapter on Distributed Computing
    Chapter on Distributed Computing Leslie Lamport and Nancy Lynch February 3, 1989 Contents 1 What is Distributed Computing? 1 2 Models of Distributed Systems 2 2.1 Message-PassingModels . 2 2.1.1 Taxonomy......................... 2 2.1.2 MeasuringComplexity . 6 2.2 OtherModels........................... 8 2.2.1 SharedVariables . .. .. .. .. .. 8 2.2.2 Synchronous Communication . 9 2.3 FundamentalConcepts. 10 3 Reasoning About Distributed Algorithms 12 3.1 ASystemasaSetofBehaviors . 13 3.2 SafetyandLiveness. 14 3.3 DescribingaSystem . .. .. .. .. .. .. 14 3.4 AssertionalReasoning . 17 3.4.1 Simple Safety Properties . 17 3.4.2 Liveness Properties . 20 3.5 DerivingAlgorithms . 25 3.6 Specification............................ 26 4 Some Typical Distributed Algorithms 27 4.1 Shared Variable Algorithms . 28 4.1.1 MutualExclusion. 28 4.1.2 Other Contention Problems . 31 4.1.3 Cooperation Problems . 32 4.1.4 Concurrent Readers and Writers . 33 4.2 DistributedConsensus . 34 4.2.1 The Two-Generals Problem . 35 4.2.2 Agreement on a Value . 35 4.2.3 OtherConsensusProblems . 38 4.2.4 The Distributed Commit Problem . 41 4.3 Network Algorithms . 41 4.3.1 Static Algorithms . 42 4.3.2 Dynamic Algorithms . 44 4.3.3 Changing Networks . 47 4.3.4 LinkProtocols ...................... 48 i 4.4 Concurrency Control in Databases . 49 4.4.1 Techniques ........................ 50 4.4.2 DistributionIssues . 51 4.4.3 Nested Transactions . 52 ii Abstract Rigorous analysis starts with a precise model of a distributed system; the most popular models, differing in how they represent interprocess commu- nication, are message passing, shared variables, and synchronous communi- cation. The properties satisfied by an algorithm must be precisely stated and carefully proved; the most successful approach is based on assertional reasoning.
    [Show full text]
  • Easy Impossibility Proofs for Distributed Consensus Problems
    Distributed Computing (1986) 1:26 39 Easy impossibility proofs for distributed consensus problems Michael J. Fischer 1, Nancy A. Lynch 2, and Michael Merritt 3 Department of Computer Science, Yale University, P.O. Box 2158, New Haven, CT 06520, USA 2 Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, M A 02139, USA s AT & T Bell Laboratories, 600 Mountain Ave, Murray Hill, NJ 07974, USA and Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, M A 02139, US A Michael J. Fischer is cur- 1972. She has served on the .klculty of Tufts University, the rently Professor of Computer University of Southern California, Florida International Science at Yale University, University, Georgia Tech. New Haven, CT, where he heads the Theory of Compu- Michael Merritt is currently tation Group. He is also Edi- a member of the technical tor_in_Chief of the Journal of stq[] with AT& T Bell the Association .for Comput- Laboratories. During the 1984 ing Machinery. His research 85 academic year, he was interests include theory of a visiting lecturer at M.I.7:, distributed systems, crypto- sponsered by Bell Labs. His graphic protocols, and compu- research interests include dis- tational complexity. tributed computation, cryptog- Dr. Fischer received the raphy and security. Dr. Merritt B. S. degree in mathematics received the B. S. degree in j?om the University of Mi- computer science and philo- chigan, Ann Arbor, in 1963, sophy from Yale in 1978 and and the M. A. and Ph.D. degrees in applied mathematics the M. Sc.
    [Show full text]
  • Download The
    2018 Year in Review CONNECTOR News from the MIT Department of Electrical Engineering and Computer Science Year in Review: 2018 Connector The MIT Stephen A. Schwarzman College of Rising Stars, an academic-careers workshop Computing — established with a gift from the for women, brought 76 of the world’s top EECS co-founder, CEO, and chairman of Blackstone postdocs and grad students to MIT to hear — is scheduled to open in the fall of 2019. faculty talks, network with each other, and Photo: Courtesy of Blackstone. present their research. Photo: Gretchen Ertl CONTENTS 1 A Letter from the Department Head FACULTY FOCUS FEATURES 47 Faculty Awards 4 MIT Reshapes Itself to Shape the Future: EECS Leadership Update Asu Ozdaglar Introducing the MIT Stephen A. Schwarzman College of Computing 53 Asu Ozdaglar, Department Head Department Head 8 Artificial Intelligence in Action: Introducing the 54 Associate Department Heads MIT-IBM Watson AI Lab 55 Education and Undergraduate Officers Saman Amarasinghe 10 EECS Professor Antonio Torralba Appointed to 56 Faculty Research Innovation Fellowships (FRIFs) Associate Department Head Direct MIT Quest for Intelligence 57 Professorships 12 Summit Explores Pioneering Approaches for AI Nancy Lynch and Digital Technology for Health Care 62 Faculty Promotions Associate Department Head, 14 SuperUROP: Coding, Thinking, Sharing, 64 Tenured Faculty Building Strategic Directions 66 New Faculty 16 SuperUROP: CS+HASS Scholarship Program Debuts with Nine Projects 69 Remembering Professor Alan McWhorter, 1930-2018 Joel Voldman
    [Show full text]
  • Cynthia Dwork
    Cynthia Dwork Gordon McKay Professor of Computer Science, Harvard University Radcliffe Alumnae Professor, Radcliffe Institute for Advanced Study Professor by Affiliation, Harvard Law School Professor by Affiliation, Department of Statistics, Harvard University Distinguished Scientist, Microsoft Research Education: 1983: Ph.D. in Computer Science, Cornell University 1981: M.Sc. in Computer Science, Cornell University 1979: BSE (with Honors), in Electrical Engineering and Computer Science, Princeton Uni- versity Employment January, 2017 { present: Gordon McKay Professor of Computer Science at the Harvard Paulson School of Engineering and Radcliffe Alumnae Professor at the Radcliffe Institute for Advanced Study October, 2001 { present: Microsoft Research, Silicon Valley Campus; Current Title: Distin- guished Scientist June, 2000 { October, 2001: Compaq Systems Research Center; Staff Fellow August, 1985 { June, 2000: IBM Almaden Research Center, Research Staff Member May, 1983 - May, 1985 Post-Doctoral Research Fellow, MIT Laboratory for Computer Science Host: Nancy Lynch Other Professional Affiliations Consulting Professor, Stanford University, 1997 { 2006 1989-1990: Visiting Scientist, MIT Laboratory for Computer Science Bantrell Post-Doctoral Fellowship (at MIT), 1983-1985 Honors and Awards: Donald E. Knuth Prize, 2020 Doctorate Honoris Causa, Ecole´ Polytechnique F´ed´eralede Lausanne (EPFL), 2020 Institute of Electrical and Electronics Engineers (IEEE) Richard W. Hamming Medal, 2020 G¨odelPrize, 2017 1 Fellow of the American Philosophical Society, elected 2016 Fellow of the Association for Computing Machinery, elected 2016 Member of the National Academy of Sciences, elected 2014 Fellow of the American Academy of Arts and Sciences, elected 2008 Member of the National Academy of Engineering, elected 2008 Fellow of the Association for Computing Machinery, elevated 2015 Theory of Cryptography Conference Test of Time Award, 2016 PET Award for Outstanding Research in Privacy Enhancing Technologies, 2009 Edsger W.
    [Show full text]
  • CURRICULUM VITAE and LIST of PUBLICATIONS December 2019 Personal Details: Name: Shlomi (Shlomo) Dolev
    CURRICULUM VITAE AND LIST OF PUBLICATIONS December 2019 Personal Details: Name: Shlomi (Shlomo) Dolev. Date and place of birth: 5/12/58, Israel. Regular military service: 13/2/77 to 12/8/80 (Cap- tain). Address and telephone number at work: Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva 84105, Israel, Tel: 08-6472718, Fax: 08-6477650, Email: [email protected]. Parent of: Noa, Yorai, Hagar and Eden. Short Biography: Shlomi Dolev received his B.Sc. in Engineering and B.A. in Computer Science in 1984 and 1985, and his M.Sc. and D.Sc. in computer Science in 1990 and 1992 from the Technion Israel Institute of Technology. From 1992 to 1995 he was at Texas A&M University as a visiting research specialist. In 1995 he joined the Department of Mathematics and Computer Science at Ben-Gurion University. Shlomi is the founder and the first department head of the Computer Science Department at Ben-Gurion University, established in 2000. After just 15 years, the department has been ranked among the first 150 best departments in the world. He is the author of a book entitled Self-Stabilization published by MIT Press in 2000. His publications, more than three hundred conferences, journals and patents, include papers in JACM, SIAM journal on computing, Nature Photonics, Nature Communications, Physical Review, Journal of the Optical Society of America A, Distributed Computing, IEEE/ACM Trans. on Networking, ACM Trans. on Information and System Security, Journal of Cryptology, Journal of Computer and System Sciences, ACM Trans. on Knowledge Discovery from Data, ACM Trans.
    [Show full text]
  • Athena Lecturer” for Advances in Distributed Systems That Enable Dependable Internet and Wireless Network Applications
    acm The Association for Computing Machinery Advancing Computing as a Science & Profession Contact: Virginia Gold 212-626-0505 [email protected] ACM COUNCIL ON WOMEN HONORS LEADER IN RELIABILITY OF COMPUTER SYSTEMS MIT’s Lynch Named “Athena Lecturer” for Advances in Distributed Systems that Enable Dependable Internet and Wireless Network Applications NEW YORK, April 18, 2012 – The Association for Computing Machinery’s Council on Women in Computing (ACM-W) http://women.acm.org today named Nancy Lynch of the Massachusetts Institute of Technology as the 2012-2013 Athena Lecturer. She developed mathematical approaches to understanding the capabilities of distributed systems, which rely on multiple processors for computation and coordination. These systems include traditional wired networks, modern mobile communications, cloud computing systems, parallel computers, and embedded computers in factory machinery. Her contributions include modeling and proof techniques, algorithms, and impossibility results that are now in the toolbox of computer scientists who design distributed systems. The Athena Lecturer award celebrates women researchers who have made fundamental contributions to computer science. It includes a $10,000 honorarium provided by Google Inc. http://women.acm.org/participate/awards/athena_announcement.cfm “Lynch’s work has influenced both theoreticians and practitioners,” said Mary Jane Irwin, who heads the ACM-W Athena Lecturer award committee. “Her ability to formulate many of the core problems of the field in clear and precise ways has provided a foundation that allows computer system designers to find ways to work around the limitations she verified, and to solve problems with high probability.” In a career spanning more than 30 years, Lynch identified the boundaries between what is possible and provably impossible to solve in distributed settings.
    [Show full text]
  • Daniel Cason the Role of Synchrony on the Performance of Paxos O Papel Da Sincronia No Desempenho De Paxos
    Universidade Estadual de Campinas Instituto de Computação INSTITUTO DE COMPUTAÇÃO Daniel Cason The role of synchrony on the performance of Paxos O papel da sincronia no desempenho de Paxos CAMPINAS 2017 Daniel Cason The role of synchrony on the performance of Paxos O papel da sincronia no desempenho de Paxos Tese apresentada ao Instituto de Computação da Universidade Estadual de Campinas como parte dos requisitos para a obtenção do título de Doutor em Ciência da Computação. Dissertation presented to the Institute of Computing of the University of Campinas in partial fulfillment of the requirements for the degree of Doctor in Computer Science. Supervisor/Orientador: Prof. Dr. Luiz Eduardo Buzato Este exemplar corresponde à versão final da Tese defendida por Daniel Cason e orientada pelo Prof. Dr. Luiz Eduardo Buzato. CAMPINAS 2017 Agência(s) de fomento e nº(s) de processo(s): FAPESP, 2011/23705-4 ORCID: http://orcid.org/0000-0003-1598-106X Ficha catalográfica Universidade Estadual de Campinas Biblioteca do Instituto de Matemática, Estatística e Computação Científica Ana Regina Machado - CRB 8/5467 Cason, Daniel, 1987- C27r CasThe role of synchrony on the performance of Paxos / Daniel Cason. – Campinas, SP : [s.n.], 2017. CasOrientador: Luiz Eduardo Buzato. CasTese (doutorado) – Universidade Estadual de Campinas, Instituto de Computação. Cas1. Sistemas distribuídos. 2. Tolerância a falha (Computação). 3. Consenso distribuído (Computação). 4. Algoritmos de ordenação total. 5. Sincronização. I. Buzato, Luiz Eduardo,1961-. II. Universidade Estadual
    [Show full text]
  • Leaderless Byzantine Paxos
    Leaderless Byzantine Paxos Leslie Lamport Microsoft Research Appeared in Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag (2011) 141{142 Minor correction: 27 December 2011 Leaderless Byzantine Paxos Leslie Lamport Microsoft Research Abstract. The role of leader in an asynchronous Byzantine agreement algorithm is played by a virtual leader that is implemented using a syn- chronous Byzantine agreement algorithm. Agreement in a completely asynchronous distributed system is impossible in the presence of even a single fault [5]. Practical fault-tolerant \asynchronous" agreement algorithms assume some synchrony assumption to make progress, maintaining consistency even if that assumption is violated. Dependence on syn- chrony may be explicit [4], or may be built into reliance on a failure detector [2] or a leader-election algorithm. Algorithms that are based on leader election are called Paxos algorithms [6{8]. Byzantine Paxos algorithms are extensions of these algorithms to tolerate malicious failures [1, 9]. For Byzantine agreement, reliance on a leader is problematic. Existing algo- rithms have quite convincing proofs that a malicious leader cannot cause incon- sistency. However, arguments that a malicious leader cannot prevent progress are not so satisfactory. Castro and Liskov [1] describe a method by which the system can detect lack of progress and choose a new leader. However, their method is rather ad hoc. It is not clear how well it will work in practice, where it can be very difficult to distinguish malicious behavior from transient communication errors. The first Byzantine agreement algorithms, developed for process control ap- plications, did not require a leader [10].
    [Show full text]
  • The Theory of Timed I/O Automata Second Edition
    The Theory of Timed I/O Automata Second Edition Synthesis Lectures on Distributed Computing Theory Editor Nancy Lynch, Massachusetts Institute of Technology Synthesis Lectures on Distributed Computing Theory is edited by Nancy Lynch of the Massachusetts Institute of Technology. The series will publish 50- to 150 page publications on topics pertaining to distributed computing theory. The scope will largely follow the purview of premier information and computer science conferences, such as ACM PODC, DISC, SPAA, OPODIS, CONCUR, DialM-POMC, ICDCS, SODA, Sirocco, SSS, and related conferences. Potential topics include, but not are limited to: distributed algorithms and lower bounds, algorithm design methods, formal modeling and verification of distributed algorithms, and concurrent data structures. The Theory of Timed I/O Automata - Second Edition Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager 2010 Principles of Transactional Memory Rachid Guerraoui and Michal Kapalka 2010 Fault-tolerant Agreement in Synchronous Message-passing Systems Michel Raynal 2010 Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems Michel Raynal 2010 The Mobile Agent Rendezvous Problem in the Ring Evangelos Kranakis, Danny Krizanc, and Euripides Markou 2010 Copyright © 2011 by Morgan & Claypool All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means—electronic, mechanical, photocopy, recording, or any other except for brief
    [Show full text]
  • International Federation for Information Processing
    International Federation for Information Processing Annual Report 2018 / 2019 www.ifip.org @ifipnews International Federation for Information Processing, 2020 2. INTRODUCTION ............................................................................................................ 4 3. PRESIDENT’S REPORT ................................................................................................... 5 4. HONORARY SECRETARY'S REPORT ................................................................................ 7 5. HONORARY TREASURER'S REPORT ................................................................................ 8 6. IFIP HISTORIAN'S REPORT ........................................................................................... 12 7. INTERNATIONAL PROFESSIONAL PRACTICE PROGRAMME (IP3) ................................... 15 8. STANDING COMMITTEE REPORTS ............................................................................... 22 8.1 Admissions Committee ...................................................................................................... 22 8.2 Publications Committee .................................................................................................... 23 8.3 Digital Equity Committee .................................................................................................. 30 8.4 Finance Committee ........................................................................................................... 36 8.5 Membership and Marketing Committee ..........................................................................
    [Show full text]