Skip to main content
SpringerLink
Log in

Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL

  • Massively Parallel Programming Languages
  • Conference paper
  • First Online:
Object-Based Parallel and Distributed Computation (OBPDC 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1107))

Abstract

This paper describes the two major issues of programming and debugging with a parallel object-oriented language, A-NETL. A-NETL programming is supported by several language facilities, such as the static definition and dynamic creation of massively parallel objects, asynchronous message passing of past, now, and future types and their multicast versions, and declarative synchronization schemes. A-NETL debugging requires special support for verifying the behavior of asynchronous operations. The major feature of the A-NETL debugger is the utilization of logical time, based on the ”happened before” relation among events. During a test execution, the events and their logical time are recorded as an event history. The history is edited and presented to the user to provide a global view of the execution. The history is also utilized at the replay phase to provide a virtual event-level clock to a multicomputer and to keep the happened-before relation at test execution time. This not only enables cyclic debugging but also simplifies debugging by showing originally asynchronous operations synchronously.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha, P. Wegner, and A. Yonezawa, ed.: Research Directions in Concurrent Object-Oriented Programming, The MIT Press, Cambridge, Mass., p.532(1993).

    Google Scholar 

  2. T. Baba, T. Yoshinaga, T. Iijima, Y. Iwamoto, M. Hamada and M. Suzuki: A Parallel Object-Oriented Total Architecture A-NET, Proc. Supercomputing '90, pp.276–285(1990).

    Google Scholar 

  3. T. Baba, Y. Iwamoto and T. Yoshinaga: A Network Topology Independent Task Allocation Strategy for Parallel Computers, Proc. Supercomputing '90, pp.878–887(1990).

    Google Scholar 

  4. T. Baba: The Way to Massively Parallel Computers, Journal of Inf. Proc. Society of Japan, Vol.32, No.4, pp.348–364(1991).

    Google Scholar 

  5. T. Baba and T. Yoshinaga: Language-Architecture Integrated Approach to a Parallel Object-Oriented Total Architecture A-NET, IEICE Trans. D-I, Vol.J75-D-I, No.8, pp.563–574(1992).

    Google Scholar 

  6. T. Baba, A. Gunji, and Y. Iwamoto: A Network-Topology-Independent Static Task Allocation Strategy for Massively Parallel Computers, IEICE Trans. on Information and Systems, Vol.E76, No.8, pp.870–881(1993).

    Google Scholar 

  7. T. Baba, N. Saitoh, T. Furuta, H. Taguchi and T. Yoshinaga: A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation, IEICE Trans. on Information and Systems, Vol.E78-D, No.8, pp.969–981(1995).

    Google Scholar 

  8. T. Baba and T. Yoshinaga: A-NETL: A Language for Massively Parallel Object-Oriented Computing, Proc. Programming Models for Massively Parallel Computers, pp.98–105 (1995).

    Google Scholar 

  9. T. Baba, Y.Furuya and T. Yoshinaga: Event-Based Debugging System for a Parallel Object-Oriented Language A-NETL, Trans. IEICE D-I(to be published)(1996).

    Google Scholar 

  10. T. Baba and T. Yoshinaga: A Parallel Object-Oriented Language A-NETL, to be included in Massively Parallel Processing System JUMP-1, Ohm-sha, Japan(1996).

    Google Scholar 

  11. R.H. Campbell and A.N. Habermann: The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science, Vol.16, pp.89–102(1974).

    Google Scholar 

  12. A.A. Chien: Supporting Modularity in Highly-Parallel Programs, in Research Directions in Concurrent Object-Oriented Programming, pp. 175–194(1993).

    Google Scholar 

  13. Y. Furuya, T. Yoshinaga and T. Baba: Program Debugging System for the Parallel Object-Oriented Language A-NETL, IPSJ SIG Notes 94-PRG-18, Vol.94, No.65, pp.129–136(1994).

    Google Scholar 

  14. A. Goldberg and D. Robson: Smalltalk-80 — The Language and Its Implementation, Addison-Wesley, p.714(1983).

    Google Scholar 

  15. A.S. Grimshaw: Easy-to-Use Object-Oriented Parallel Processing with Mentat, IEEE Computer, Vol.26, No.5, pp.39–51(1993).

    Google Scholar 

  16. R.H. Halstead: New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools, Lecture Notes in Computer Science, Proc. U.S./Japan Workshop on Parallel Lisp, 441, pp.2–57(1989).

    Google Scholar 

  17. J. Hernandez, P. de Miguel, M. Barrena, J.M. Martinez, A. Polo, and M. Nieto: ALBA: A Parallel Language Based on Actors, ACM SIGPLAN Notices, Vol.28, No.4, pp.11–20(1993).

    Google Scholar 

  18. W. Horwat: Concurrent Smalltalk on the Message-Driven Processor, MIT MS Thesis in Elec. Eng. and Comput. Sci.(1989).

    Google Scholar 

  19. L. Lamport: Time, Clocks, and the Ordering of Events in a Distributed System, Comm. of the ACM, Vol.21, No.7, pp.558–565(1978).

    Google Scholar 

  20. T.J. LeBlanc and J.M. Mellor-Crummey: Debugging Parallel Programs with Instant Replay, IEEE Trans. on Computers, Vol.C-36, No.4, pp.471–481(1987).

    Google Scholar 

  21. E. Leu, A. Schiper, and A. Zramdini: Efficient Execution Replay Technique for Distributed Memory Architectures, Proc. 2nd European Distributed Memory Computing Conf., Springer-Verlag, LNCS487(1991).

    Google Scholar 

  22. C.E. McDowell, and D.P. Helmbold: Debugging Concurrent Programs, ACM Computing Surveys, Vol.21, No.4, pp.593–622(1989).

    Google Scholar 

  23. H. Taguchi, T. Yoshinaga and T. Baba: The A-NET Local OS 3rd Edition —Implementation of Message Reception Mechanism and Its Evaluation, Computer System Symposium, Inf. Proc. Soc. Japan, pp.51–58(1993).

    Google Scholar 

  24. K. Taura, S. Matsuoka, and A. Yonezawa: ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language, Proc. DIMACS Workshop, American Math. Society(1995).

    Google Scholar 

  25. A. Yonezawa: ABCL: An Object-Oriented Concurrent System, The MIT Press, Cambridge, Mass. (1990).

    Google Scholar 

  26. T. Yoshinaga and T.Baba: A Parallel Object-Oriented Language A-NETL and Its Programming Environment, Proc. COMPSAC'91,pp.459–464(1991).

    Google Scholar 

  27. T. Yoshinaga and T. Baba: A Local Operating System for the A-NET Parallel Object-Oriented Computer, J. Inf. Process., Vol.14, No.4, pp.414–422(1992).

    Google Scholar 

  28. T. Yoshinaga and T. Baba: A Parallel Object-Oriented Language A-NETL Supporting Topological Programming, IEICE Trans. D-I, Vol.J77-D-I, No.8, pp.557–566(1994).

    Google Scholar 

  29. T. Yoshinaga and T. Baba: The Node Processor for a Parallel Object-Oriented Total Architecture A-NET, IEICE Trans. D-I, Vol.J79-D-I, No.2 (to appear) (1996).

    Google Scholar 

  30. T. Yuasa, T. Kijima and Y. Konishi: The Extended C Language NCX for Data-Parallel Programming, IEICE Trans. D-I, Vol.J78-D-I, No.2, pp.200–209(1995).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Utsunomiya University, Japan

    Takanobu Baba, Tsutomu Yoshinaga & Takahiro Furuta

Authors
  1. Takanobu Baba
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tsutomu Yoshinaga
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Takahiro Furuta
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Pierre Briot Jean-Marc Geib Akinori Yonezawa

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baba, T., Yoshinaga, T., Furuta, T. (1996). Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL. In: Briot, JP., Geib, JM., Yonezawa, A. (eds) Object-Based Parallel and Distributed Computation. OBPDC 1995. Lecture Notes in Computer Science, vol 1107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61487-7_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-61487-7_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61487-6

  • Online ISBN: 978-3-540-68672-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation