In: Kevin Hammond, Tony Davie, Chris Clack (Eds.): Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 1998. Selected Papers, pages 1-1pp. Springer Verlag, LNCS 1595, 1998.
Abstract: This paper is on process coordination language K2 which is based on a variant of high-level Petri nets. It strictly separates the specification of processes and their communication structures from (functional) specifications of the computations to be performed by the processes. The purpose of this separation is to facilitate both correct program construction and formal reasoning about essential safety and liveness properties. More specifically, the paper presents and analyzes performance measurements obtained from a K2 implementation based on the message passing system PVM. Two simple K2 benchmark programs are to determine the overhead inflicted by the K2 runtime system relative to a direct PVM implementation of the same programs. A third benchmark program, the implementation of a relaxation algorithm for the solution of PDEs, is to investigate the efficiency of distributing some given workload on a multiprocessor system by recursively expanding process (sub-)structures. The measurements show that coarse-grain K2 programs are only marginally slower than their PVM counterparts, and that good scalability of recursive programs can be achieved on multiple computing sites.
Keywords: coordination language; concurrent computing; Petri nets; performance results.
Back to the Petri Nets Bibliography