Name
Abstract | ||
|---|---|---|
The development of concurrent programming languages to support both symbolic (e.g., knowledge-based) and numeric (e.g., algorithmic) processing methods within a single unified framework is highly desirable. This paper describes the concurrent programming language PARLE, whose design goals were to integrate symbolic and numeric processing and to be used as a target language for high-level language compilers. The features include static definitions of logical processors, a high degree of dynamic creation of local processes, and message-passing between processes via singly buffered channels as a symmetric mechanism for synchronising interprocess and interprocessor communication. The logical processors specify the static allocation and mapping of processes to physical processors, thus determining the grain of real parallelism at the language source level. For controlling the parallelism a formal framework for source-to-source program transformations is given which reconfigures the grain of parallelism of programs taking maximum advantage of the available number of processors. The transformations convert logical processor definitions to synchronous processes or vice-versa, thus reducing or increasing the grain of parallelism. The message-passing via singly buffered channels is a symmetric communications mechanism that permits an arbitrary number of processes to be synchronised in three complementary ways: a common handshake, a singly buffered receive action, or a singly buffered send action. This is a generalisation of the usual approach employed in languages like CSP and Ada, in which communication is asymmetric and restricted to involve only two processes. A formal description of the mechanism is given and a generic implementation strategy is described which is applicable to all types of architectures, independent of size or processor topology. |
Year | Venue | Keywords |
|---|---|---|
1994 | SOFTWARE-CONCEPTS AND TOOLS | CONCURRENT PROGRAMMING,PROGRAMMING LANGUAGES,PARLE,PARALLELISM,TRANSFORMATION RULES CHANNELS,SYMBOLIC PROCESSING,NUMERIC PROCESSING,COMMUNICATION MECHANISMS,GRAIN OF PARALLELISM |
Field | DocType | Volume |
Symbolic-numeric computation,Symbolic communication,Programming language,Computer science | Journal | 15 |
Issue | ISSN | Citations |
3 | 0945-8115 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| John Yiannis Cotronis | 1 | 39 | 10.67 |
| Apostolos Nikolaos Refenes | 2 | 62 | 22.94 |
| Eugene Eberbach | 3 | 147 | 20.86 |