Interaction patterns of processes in distributed network environment

• Project/Area Number: 16K00018
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Theory of informatics
• Research Institution: Osaka University
• Principal Investigator: Kakugawa Hirotsugu 大阪大学, 情報科学研究科, 准教授 (80253110)
• Co-Investigator(Kenkyū-buntansha): 増澤 利光 大阪大学, 情報科学研究科, 教授 (50199692)
• Research Collaborator: Kamei Sayaka
• Project Period (FY): 2016-04-01 – 2019-03-31
• Project Status: Completed (Fiscal Year 2018)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2017: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000); Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: 分散アルゴリズム / 分散相互包含排除 / 自己安定分散システム / モバイルエージェント / センサネットワーク / コンピュータネットワーク / プロセス同期 / 相互排除 / 局所アルゴリズム

Outline of Final Research Achievements

The research area of this project is theoretical distributed computing,
especially a system with large number of computers. The major achievements of this project is in twofold: (1) distributed algorithms for synchronizing computers which is useful for dynamic handover of servers, and (2) distributed algorithms for wireless electric power transmission for IoT systems. The goal of this research project is an important theoretical foundations of advanced network applications of the next generation.

Academic Significance and Societal Importance of the Research Achievements

本研究は, 分散コンピューティングにおける基礎理論の一分野である分散アルゴリズムに関するいくつかの課題の解決を行った. 多数のコンピュータ群で相互にサーバを互選しながら負荷共有を行う分散相互包含排除問題に対する解法を提案した. また, 急速に発展し続ける無線電力伝送を IoT システムに適用するための分散アルゴリズムを提案した. この研究課題は, 大規模化・複雑化するコンピュータネットワークをより効率的に動作させるために有用な基礎技術となるものである.

Research Products

• [Journal Article] Loosely-Stabilizing Leader Election for Arbitrary Graphs in Population Protocol Model (2019)
  • Author(s): Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy Datta, Lawrence Larmore
  • Journal Title: IEEE Transactions on Parallel & Distributed Systems (TPDS) Volume: 印刷中
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Uniform deployment of mobile agents in asynchronous rings (2018)
  • Author(s): Masahiro Shibata, Toshiya Mega, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
  • Journal Title: Journal of Parallel and Distributed Computing Volume: 印刷中 Pages: 92-106
  • DOI: 10.1016/j.jpdc.2018.03.008
  • NAID: 120006840103
  • Peer Reviewed
• [Journal Article] Move-optimal partial gathering of mobile agents in asynchronous trees (2018)
  • Author(s): Shibata Masahiro、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu
  • Journal Title: Theoretical Computer Science Volume: 705 Pages: 9-30
  • DOI: 10.1016/j.tcs.2017.09.016
  • NAID: 120006786910
  • Peer Reviewed / Open Access
• [Journal Article] Uniform deployment of mobile agents in asynchronous rings (2018)
  • Author(s): Masahiro Shibata, Toshiya Meg, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: Journal of Parallel and Distributed Computing (JPDC) Volume: -
  • NAID: 120006840103
  • Peer Reviewed
• [Journal Article] An Asynchronous Message-Passing Distributed Algorithm for the Generalized Local Critical Section Problem (2017)
  • Author(s): Sayaka Kamei and Hirotsugu Kakugawa
  • Journal Title: Algorithms Volume: 10 Issue: 2 Pages: 38-38
  • DOI: 10.3390/a10020038
  • Peer Reviewed / Open Access / Acknowledgement Compliant
• [Presentation] Loosely-stabilizing Leader Election with Polylogarithmic Convergence Time (2018)
  • Author(s): Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta and Lawrence Larmore
  • Organizer: The 22nd International Conference on Principles of Distributed Systems (OPODIS)
  • Int'l Joint Research
• [Presentation] Self-stabilizing algorithm for dynamically maintaining two disjoint dominating sets (2018)
  • Author(s): Sayaka Kamei and Hirotsugu Kakugawa
  • Organizer: The 10th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA)
  • Int'l Joint Research
• [Presentation] Energy Balancing by Wireless Energy Transfer in Sensor Networks (2018)
  • Author(s): Hiroshi Michizu, Yuichi Sudo, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: Sustainable Computing Systems Workshop (SUSCW, CANDAR Workshop)
  • Int'l Joint Research
• [Presentation] A self-stabilizing algorithm for two disjoint minimal dominating sets with safe convergence (2018)
  • Author(s): Sayaka Kamei and Hirotsugu Kakugawa
  • Organizer: The 24th International Conference on Parallel and Distributed Systems (ICPADS)
  • Int'l Joint Research
• [Presentation] Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings (2018)
  • Author(s): Masahiro Shibata, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: The 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
  • Int'l Joint Research
• [Presentation] Group exploration of dynamic tori (2018)
  • Author(s): Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: The 38th IEEE International Conference on Distributed Computing Systems (ICDCS)
  • Int'l Joint Research
• [Presentation] Group exploration of dynamic tori (2018)
  • Author(s): suyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: The 38th IEEE International Conference on Distributed Computing Systems (ICDCS)
  • Int'l Joint Research
• [Presentation] An asynchronous message-passing distributed algorithm for the global critical section problem (2017)
  • Author(s): Sayaka Kamei and Hirotsugu Kakugawa
  • Organizer: The 9th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA)
  • Int'l Joint Research
• [Presentation] How to simulate message-passing algorithms in mobile agent systems with faults (2017)
  • Author(s): Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017),
  • Int'l Joint Research
• [Presentation] Brief Announcement: A self-stabilizing algorithm for the minimal generalized dominating set problem (2017)
  • Author(s): Hisaki Kobayashi, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)
  • Int'l Joint Research
• [Presentation] Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings (2017)
  • Author(s): Masahiro Shibata, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: he 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)
  • Int'l Joint Research
• [Presentation] An asynchronous message-passing distributed algorithm for the generalized local critical section problem (2016)
  • Author(s): Sayaka Kamei and Hirotsugu Kakugawa
  • Organizer: The Fifth International Conference on Network, Communication and Computing (ICNCC)
  • Place of Presentation: Kyoto, Japan
  • Year and Date: 2016-12-17
  • Int'l Joint Research
• [Presentation] Uniform deployment of mobile agents in asynchronous rings (2016)
  • Author(s): Masahiro Shibata, Toshiya Mega, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
  • Organizer: ACM Symposium on Principles of Distributed Computing (PODC)
  • Place of Presentation: Chicago, USA
  • Year and Date: 2016-07-25
• [Presentation] メッセージ通信型分散アルゴリズムの移動エージェントによる耐故障シミュレーション (2016)
  • Author(s): 五島剛, 柴田将拡, 大下福仁, 角川裕次, 増澤利光
  • Organizer: コンピュテーション研究会
  • Place of Presentation: 奈良先端科学技術大学院大学
• [Presentation] 辺数が少ない連結全域部分グラフを求める局所分散アルゴリズム (2016)
  • Author(s): 小林永樹, 角川裕次, 増澤利光
  • Organizer: コンピュテーション研究会
  • Place of Presentation: 奈良先端科学技術大学院大学