Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "
Dynamic Logic Programming."
Representation and Reasoning. Morgan Kaufmann, 1998. 98-109.
Abstractn/a
Cunha, José C., Pedro D. Medeiros, João M. Lourenço, Vítor Duarte, João Vieira, Bruno Moscão, Daniel Pereira, and Rui Vaz. "
The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing."
Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking (HPCN'98). HPCN Europe 1998. London, UK: Springer-Verlag, 1998. 952-954.
AbstractWe discuss the problem of building domain oriented environments by a composition of heterogeneous application components and tools. We describe several individual tools that support such environments, namely a distributed monitoring and control tool (DAMS), a process-based distributed debugger (PDBG) and a heterogeneous interconnection model (PHIS). We discuss our experience with the development of a Problem Oriented Environment in the domain of genetic algorithms, obtained by a composition of heterogeneous tools and application components.
Cunha, José C., João M. Lourenço, João Vieira, Bruno Moscão, and Daniel Pereira. "
A Framework to Support Parallel and Distributed Debugging."
Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking (HPCN'98). HPCN Europe 1998. London, UK: Springer-Verlag, 1998. 708-717.
AbstractWe discuss debugging prototypes that can easily support new functionalities, depending on the requirements of high-level computational models, and allowing a coherent integration with other tools in a software engineering environment. Concerning the first aspect, we propose a framework that identifies two distinct levels of functionalities that should be supported by a parallel and distributed debugger using: a process and thread-level, and a coordination level concerning sets of processes or threads. An incremental approach is used to effectively develop prototypes that support both functionalities. Concerning the second aspect, we discuss how the interfacing with other tools has influenced the design of a process-level debugging interface (PDBG) and a distributed monitoring and control layer called (DAMS).
Lourenço, João M., and José C. Cunha. "
The PDBG Process-Level Debugger for Parallel and Distributed Programs."
Proceedings of the SIGMETRICS symposium on Parallel and Distributed Tools. {SPDT}'98. New York, NY, USA: ACM, 1998. 154.
AbstractIn this paper we discuss several issues concerning the design and implementation of a debugger for parallel and distributed applications. This debugger uses a client-server approach to isolate the debugging user-interface from the debugging services, by way of a two-level structured approach: the component-level to observe and act upon individual processes; and the coordination-level to observe the interprocess relations and act upon them.
Lourenço, João M., and José C. Cunha. "
Replaying Distributed Applications with RPVM."
Proceeding of the 2nd Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98). University of Vienna, 1998.
AbstractParallel debugging is complex and difficult. Complex because the programmer has to deal with multiple program flows and process interactions, and difficult due to the very limited choice on effective and easy-to-use debugging tools for parallel programming. Simple and necessary features for parallel debugging are absent even from commercial debuggers, such as a record-replay feature, that allows to re-execute multiple times a parallel application assuring that during each re-execution the internal race conditions are solved in the same way they were in the first time. Some work has been done on record-replay techniques for parallel and distributed applications, but just a few have been applied to specific systems (such as PVM or MPI), and even less have produced working prototypes. In this paper we describe a method designed to work with the PVM system and how it was implemented to provide a working prototype.