Advertisement

Quiescence detection in a distributed KLIC implementation

  • Kazuaki Rokusawa
  • Akihiko Nakase
  • Takashi Chikayama
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 966)

Abstract

Quiescence detection is a fundamental facility for parallel and distributed processing. This paper describes schemes for quiescence detection in a distributed KLIC implementation. KLIC is a portable implementation of concurrent logic programming language KL1. Termination is detected using the weighted throw counting (WTC) scheme. Based on the scheme a scheme for global suspension was invented. The postmortem system built-in predicate which provides meta programming facilities was designed, and its distributed implementation is also presented.

Keywords

concurrent logic programming termination detection quiescence detection distributed implementation weighted reference counting 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    T. Chikayama, T. Fujise, and D. Sekita, “A Portable and Efficient Implementation of KL1,” Proc. International Symposium on Programming Language Implementation and Logic Programming, LNCS 844, pp.25–39, 1994.Google Scholar
  2. 2.
    K. Ueda and T. Chikayama, “Design of the Kernel Language for the Parallel Inference Machine,” The Computer Journal, Vol.33, No.6, pp.494–500, 1990.Google Scholar
  3. 3.
    K. Rokusawa, N. Ichiyoshi, T. Chikayama, and H. Nakashima, “An Efficient Termination Detection and Abortion Algorithm for Distributed Processing Systems,” Proc. International Conference on Parallel Processing, Vol.I, pp.18–22, 1988.Google Scholar
  4. 4.
    K. Nakajima, Y. Inamura, N. Ichiyoshi, K. Rokusawa, and T. Chikayama, “Distributed Implementation of KL1 on the Multi-PSI/V2,” Proc. International Conference on Logic Programming, pp.436–451, 1989.Google Scholar
  5. 5.
    K. Hirata, R. Yamamoto, A. Imai, H. Kawai, K. Hirano, T. Takagi, K. Taki, A. Nakase, and K. Rokusawa, “Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1,” Proc. International Conference on Fifth Generation Computer Systems 1992, pp.436–459, 1992.Google Scholar
  6. 6.
    K. Ueda, “Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard,” Technical Report TR-208, ICOT, 1986.Google Scholar
  7. 7.
    E. Shapiro, “Systems Programming in Concurrent Prolog,” Logic Programming and its Applications, M. van Canegham and D.H.D. Warren (eds.), Albex Publishing Co., pp.50–74, 1986.Google Scholar
  8. 8.
    K. Clark and S. Gregory, “PARLOG: Parallel Programming in Logic,” ACM Transactions on Programming Languages and Systems, Vol.8, No.1, pp.1–49, 1986.Google Scholar
  9. 9.
    V. A. Saraswat, K. Kahn, and J. Levy, “Janus: A Step Towards Distributed Constraint Programming,” Proc. North American Conference on Logic Programming, pp.431–446, 1990.Google Scholar
  10. 10.
    N. Ichiyoshi, K. Rokusawa, K. Nakajima, and Y. Inamura, “A New External Reference Management and Distributed Unification for KL1,” New Generation Computing, Ohmsha Ltd., pp.159–177, 1990.Google Scholar
  11. 11.
    K. Rokusawa, A. Nakase, and T. Chikayama, “Distributed Memory Implementation of KLIC,” Proc. Workshop on Parallel Logic Programming and its Programming Environments, Technical Report CIS-TR-94-04, University of Oregon, pp.151–162, March, 1994. Also New Generation Computing, Ohmsha Ltd., to appear.Google Scholar
  12. 12.
    P. Watson and I. Watson, “An Efficient Garbage Collection Scheme for Parallel Computer Architectures,” Proc. Parallel Architectures and Languages Europe, LNCS 259, Vol.II, pp.432–443, 1987.Google Scholar
  13. 13.
    D. I. Bevan, “Distributed Garbage Collection Using Reference Counting,” Parallel Computing, Vol.9, No.2, pp.179–192, 1989.Google Scholar
  14. 14.
    G. Tel and F. Mattern, “The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes,” Proc. Parallel Architectures and Languages Europe, LNCS 505, Vol.I, pp.137–149, 1991.Google Scholar
  15. 15.
    F. Mattern, “Global Quiescence Detection Based on Credit Distribution and Recovery,” Inf. Proc. Lett., Vol.30, No.4, pp.195–200, 1989.Google Scholar
  16. 16.
    T. Chikayama and Y. Kimura, “Multiple Reference Management in Flat GHC,” Proc. International Conference on Logic Programming, pp.276–293, 1987.Google Scholar
  17. 17.
    Y. Inamura, N. Ichiyoshi, K. Rokusawa, and K. Nakajima, “Optimization Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2,” Proc. North American Conference on Logic Programming, pp.907–921, 1989.Google Scholar
  18. 18.
    Y. Inamura and S. Onishi, “A Detection Algorithm of Perpetual Suspension in KL1,” Proc. International Conference on Logic Programming, pp.18–30, 1990.Google Scholar
  19. 19.
    R. Hasegawa and M. Koshimura, “An AND Parallelization Method for MGTP and Its Evaluation,” Proc. First International Symposium on Parallel Symbolic Computation, pp.194–203, 1994.Google Scholar
  20. 20.
    M. Fujita, J. Slaney, and F. Bennett, “Automatic Generation of Some Results in Finite Algebra,” Proc. IJCAI-93, 1993.Google Scholar
  21. 21.
    M. Ishikawa, T. Toya, and Y. Totoki, “Parallel Application Systems in Genetic Information Processing,” Proc. International Symposium on Fifth Generation Computer Systems 1994, pp.129–138, 1994.Google Scholar
  22. 22.
    H. Date and K. Taki, “A Parallel Lookahead Line Search Router with Automatic Ripup-and-reroute,” Proc. EDAC-EUROASIC 93, 1993.Google Scholar
  23. 23.
    Y. Matsumoto and K. Taki, “Parallel Logic Simulator Base on Time Warp and Its Evaluation,” Proc. International Conference on Fifth Generation Computer Systems 1992, pp.1198–1206, 1992.Google Scholar
  24. 24.
    M. Sato, M. Yamauchi, and T. Chikayama, “Distributed Pool and Its Implementation,” Proc. International Symposium on Fifth Generation Computer Systems 1994, pp.90–99, 1994.Google Scholar
  25. 25.
    M. Furuichi, N. Ichiyoshi, and K. Taki, “A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI,” Proc. Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.50–59, 1990.Google Scholar
  26. 26.
    K. Susaki, et al., “Programming in KL1 and AYA,” Technical Report TR-831, ICOT, 1993.Google Scholar
  27. 27.
    N. Shavit and N. Francez, “A New Approach to Detection of Locally Indicative Stability,” Proc. International Colloquium on Automata, Languages and Programming, LNCS 226, pp.344–358, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Kazuaki Rokusawa
    • 1
    • 2
  • Akihiko Nakase
    • 1
    • 3
  • Takashi Chikayama
    • 1
    • 4
  1. 1.Institute for New Generation Computer TechnologyTokyoJapan
  2. 2.R & D GroupOki Electric Industry Co., Ltd.Japan
  3. 3.R & D CenterToshiba CorporationJapan
  4. 4.Dept. of Electronic Eng.University of TokyoJapan

Personalised recommendations