Limitations of Massively Parallel Computation on Distributed Environment

• Project/Area Number: 26330020
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Theory of informatics
• Research Institution: Hosei University
• Principal Investigator: WADA Koichi 法政大学, 理工学部, 教授 (90167198)
• Co-Investigator(Kenkyū-buntansha): DEFAGO Xavier 東京工業大学, 情報理工学院, 教授 (70333557)
• Project Period (FY): 2014-04-01 – 2017-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000); Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2015: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
• Keywords: MapReduce計算 / 並列複雑度 / 組合せ回路 / PRAM / 計算限界 / MapReduce / 分散計算 / 並列計算モデル / GPU

Outline of Final Research Achievements

In this research in order to create new massively parallel computational models for Bigdata Processing, we establish a theoretical model for MapReduce Computation and figure out limitation of its computation. We have mainly done the following research; (1) examination of relationship between previous models and our model, (2) establishment of a theoretical model of MapReduce computational, (3) Clarification of limitation of its computational power, and (4) examination of relationship of Bigdata processing and fault-tolerant computations.

Research Products

• [Journal Article] Flocking with Oblivious Robots, (2016)
  • Author(s): D. Canepa, X. Defago, T. Izumi, M. Potop-Butucaru
  • Journal Title: Stabilization, Safety, and Security of Distributed Systems, LNCS Volume: 10083 Pages: 94-108
  • DOI: 10.1007/978-3-319-49259-9_8
  • ISBN: 9783319492582, 9783319492599
  • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
• [Journal Article] Tight bound on mobile Byzantine Agreement (2016)
  • Author(s): F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
  • Journal Title: Theoretical Computer Science Volume: 609 Pages: 361-373
  • DOI: 10.1016/j.tcs.2015.10.019
  • NAID: 110010061343
  • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
• [Journal Article] Approximability of Minimum Certificate Dispersal with Tree Structures (2015)
  • Author(s): Ta. Izumi, To. Izumi, H. Ono, K. Wada
  • Journal Title: Theoretical Computer Science Volume: 591 Pages: 5-14
  • DOI: 10.1016/j.tcs.2015.01.007
  • Peer Reviewed / Open Access / Acknowledgement Compliant
• [Journal Article] Space-efficient Self-stabilizing Counting Population Protocols on mobile sensor networks (2014)
  • Author(s): Tomoko Izumi, Keigo Kinpara, Taisuke Izumi, Koichi Wada
  • Journal Title: Theoretical Computer Science Volume: 552 Pages: 99-108
  • DOI: 10.1016/j.tcs.2014.07.028
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Tight Bound on Mobile Byzantine Agreement (2014)
  • Author(s): F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
  • Journal Title: Lecture Notes in Computer Science Volume: 8784 Pages: 76-90
  • DOI: 10.1007/978-3-662-45174-8_6
  • NAID: 110010061343
  • ISBN: 9783662451731, 9783662451748
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Mitigating the Spread of a Virus in the Internet (2014)
  • Author(s): T. D. Nguyen, F. Bonnet, X. Defago
  • Journal Title: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW) Volume: none Pages: 14-19
  • DOI: 10.1109/srdsw.2014.26
  • NAID: 120006675658
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments (2014)
  • Author(s): G. D'Angelo, X. Defago, N. Nisse
  • Journal Title: 2014 Second International Symposium on Computing and Networking (CANDAR) Volume: none Pages: 50-59
  • DOI: 10.1109/candar.2014.95
  • Peer Reviewed / Acknowledgement Compliant
• [Presentation] Computational Power of Autonomous Mobile Robots with Lights - Boundary between Solvability and Unsolvability (2016)
  • Author(s): K. Wada
  • Organizer: The 4th International Symposium on Computing and Networking (CANDAR 2016)
  • Place of Presentation: Hiroshima, Japan
  • Year and Date: 2016-11-22
  • Int'l Joint Research / Invited
• [Presentation] Intrusion-tolerance and dynamic faults in the internet of things (2016)
  • Author(s): X. Defago
  • Organizer: AEARU Web Technology and Computer Science Workshop 2016 (WTCS2016),
  • Place of Presentation: Sendai, Japan
  • Year and Date: 2016-09-20
  • Int'l Joint Research
• [Presentation] Intrusion-Tolerance and Dynamic Faults in Distributed Systems (2016)
  • Author(s): X. Defago
  • Organizer: Japan-Taiwan Workshop on Secure and Dependable IoT Systems
  • Place of Presentation: Tokyo, Japan
  • Year and Date: 2016-07-24
  • Int'l Joint Research
• [Presentation] Parallel Complexity on MapReduce Computation (2016)
  • Author(s): K. Wada
  • Organizer: 1st International Conference on Advanced Information and Communication Technology 2016 (ICAICT 2016)
  • Place of Presentation: Chittagong, Bangladesh
  • Year and Date: 2016-05-16
  • Int'l Joint Research / Invited
• [Presentation] Parallel Complexity on MapReduce Computation (2016)
  • Author(s): K. Wada
  • Organizer: 1st International Conference on Advanced Information and Communication Technology 2016 (ICAICT 2016)
  • Place of Presentation: Chittagon, Bangladesh
  • Year and Date: 2016-05-16
  • Int'l Joint Research / Invited
• [Presentation] A New Model of Mobile Robots with Lights and Its Computational Power (2015)
  • Author(s): K. Wada, Y. Katayama, S. Terai
  • Organizer: 5th Workshop on Moving And Computing (MAC 2015)
  • Place of Presentation: Montreal, Canada
  • Year and Date: 2015-10-19
  • Int'l Joint Research
• [Presentation] A New Model for Autonomous Mobile Robots with Lights and Its Solvability of Gathering Problems (2015)
  • Author(s): S. Terai, K. Wada, Y. Katayama
  • Organizer: Workshop on Distributed Robotic Swarms (WDRS 2015) in DISC 2015
  • Place of Presentation: Tokyo, Japan
  • Year and Date: 2015-10-05
  • Int'l Joint Research
• [Presentation] Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures (2015)
  • Author(s): A. Maurer, S. Tixeuil, X. Defago
  • Organizer: SRDS 2015
  • Place of Presentation: Montreal, Canada
  • Year and Date: 2015-09-28
  • Int'l Joint Research
• [Presentation] Computational Models for Big Data Processing (2014)
  • Author(s): K. Wada
  • Organizer: 6th International Workshop on Parallel and Distributed Algorithms and Applications
  • Place of Presentation: 静岡県コンベンションアーツセンター グランシップ（静岡県 静岡市）
  • Year and Date: 2014-12-10 – 2014-12-12
  • Invited
• [Book] Atomic Broadcast (Encyclopedia of Algorithms) (2016)
  • Author(s): 編者 Ming-Yang Kao, 分担執筆著者 X. Defago
  • Total Pages: 2389
  • Publisher: Springer
• [Book] Causal Order, Logical Clocks, State Machine Replication (Encyclopedia of Algorithms) (2016)
  • Author(s): 編者 Ming-Yang Kao, 分担執筆著者 X. Defago
  • Total Pages: 2389
  • Publisher: Springer