• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Process interaction and fault-tolerance in distributed computing systems

Research Project

Project/Area Number 24500039
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionOsaka University

Principal Investigator

Kakugawa Hirotsugu  大阪大学, 情報科学研究科, 准教授 (80253110)

Co-Investigator(Kenkyū-buntansha) MASUZAWA Toshimitsu  大阪大学, 情報科学研究科 (50199692)
OOSHITA Fukuhito  奈良先端科学技術大学院大学, 情報科学研究科, 准教授 (20362650)
Project Period (FY) 2012-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Keywords分散アルゴリズム / 相互排除 / クリティカルセクション / モバイルエージェント / 個体群プロトコル / 相互包含 / 情報科学 / 計算機科学 / プロセス / プロセス同期 / 自己安定
Outline of Final Research Achievements

In this research project, we carried out the research on process interaction in distributed systems from the following three aspects. (1) Unified framework of process synchronization: We proposed a new framework for process synchronization that is more general than mutual exclusion, and showed a structure of the class of process synchronization problems. (2) Distributed algorithm design methodology for tiny nodes: For distributed systems modeled by population protocol, we proposed the leader election algorithm which selects exactly one node in the system. (3) Fundamental theory of mobile agent systems: we proposed a new problem called partial gathering problem in which agents gathers several different positions in a network, and proposed an algorithm for the problem.

Report

(5 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (13 results)

All 2016 2015 2014 2013 2012

All Journal Article (5 results) (of which Peer Reviewed: 5 results,  Open Access: 2 results,  Acknowledgement Compliant: 2 results) Presentation (8 results) (of which Int'l Joint Research: 2 results,  Invited: 1 results)

  • [Journal Article] Partial gathering of mobile agents in asynchronous unidirectional rings2016

    • Author(s)
      Masahiro Shibata, Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: 617 Pages: 1-11

    • DOI

      10.1016/j.tcs.2015.09.012

    • NAID

      120005895726

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Mutual inclusion in asynchronous message passing distributed systems2015

    • Author(s)
      Hirotsugu Kakugawa
    • Journal Title

      Journal of Parallel and Distributed Computing

      Volume: 77 Pages: 95-104

    • DOI

      10.1016/j.jpdc.2015.01.003

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Analysis of distributed token circulation algorithm with faulty random number generator2014

    • Author(s)
      Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Journal Title

      Parallel Processing Letters

      Volume: Vol.24, No.1 Issue: 01 Pages: 1450002-1450002

    • DOI

      10.1142/s0129626414500029

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Linear time and space gathering of anonymous mobile agents in asynchronous trees2013

    • Author(s)
      Daisuke Baba, Tmomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: 478 Pages: 118-126

    • Related Report
      2013 Research-status Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Self-Stabilizing 6-Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graph2013

    • Author(s)
      Sayaka Kamei, Hirotsugu Kakugawa
    • Journal Title

      Theoretical Computer Science

      Volume: 428 Pages: 80-90

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] Realization of An Efficient Concurrent Partial Snapshot Algorithm for Large-scale and Dynamic Distributed Systems2016

    • Author(s)
      Rentaro Watanabe, Yonghwan Kim, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa,
    • Organizer
      International Workshop on Networking, Computing, Systems, and Software (NCSS)
    • Place of Presentation
      Sapporo, Japan
    • Year and Date
      2016-01-11
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An algorithm for partial gathering of mobile agents in arbitrary networks2015

    • Author(s)
      Masahiro Shibata, Daisuke Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      Workshop on Distributed Robotic Swarms (WDRS)
    • Place of Presentation
      Tokyo, Japan
    • Year and Date
      2015-10-05
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols2014

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      International Conference on Principles of Distributed Systems (OPODIS),
    • Place of Presentation
      Cortina d'Ampezzo, Italy
    • Year and Date
      2014-12-16 – 2014-12-19
    • Related Report
      2014 Research-status Report
  • [Presentation] Move-optimal partial gathering of mobile agents in asynchronous trees2014

    • Author(s)
      Masahiro Shibata, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
    • Organizer
      International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • Place of Presentation
      Hida Takayama, Japan
    • Year and Date
      2014-07-23 – 2014-07-25
    • Related Report
      2014 Research-status Report
  • [Presentation] Zigzag: Local-Information-Based Self-Optimizing Routing in Virtual Grid Networks2013

    • Author(s)
      Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • Organizer
      the 33rd IEEE International Conference on Distributed Computing Systems
    • Place of Presentation
      Philadelphia, Pennsylvania, USA
    • Related Report
      2013 Research-status Report
    • Invited
  • [Presentation] Algorithms for partial gathering of mobile agents in asynchronous rings2012

    • Author(s)
      Shibata Masahiro, Ooshita Fukuhito, Kakugawa Hirotsugu, Masuzawa Toshimistu and Kawai Shinji
    • Organizer
      International Conference on Principles of Distributed Systems (OPODIS)
    • Place of Presentation
      Rome, Italy
    • Related Report
      2012 Research-status Report
  • [Presentation] Communication-Efficient Self-stabilization in Wireless Networks2012

    • Author(s)
      Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
    • Organizer
      International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012)
    • Place of Presentation
      Toronto, Canada
    • Related Report
      2012 Research-status Report
  • [Presentation] Randomized Rendezvous of Mobile Agents in Anonymous Unidirectional Ring Network2012

    • Author(s)
      Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      International Colloquium on Structural Information and Communication Complexity (SIROCCO 2012)
    • Place of Presentation
      Reykjavik, Iceland
    • Related Report
      2012 Research-status Report

URL: 

Published: 2013-05-31   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi