SPLASH

In this paper we describe the design decisions leading to a distributed implementation of the ABCL language. We shortly review the ABCL (Actor Based Concurrent Language) computation model. We discuss some slight changes we bring to the current ABCL/1 ...

This position statement presents a uniform object model of parallel programming that enables use of multiple programming styles, binding parallelism late, and porting programs among a wide variety of architectures. It then argues for concurrent ...

CST is a programming language based on Smalltalk-80 that supports concurrency using locks, asynchronous messages, and distributed objects. Distributed objects have their state distributed across many nodes of a machine, but are referred to by a single ...

I'd like to propose a challenge to language designers interested in concurrency: how well do your favorite constructs support highly-concurrent data structures? For example, consider a real-time system consisting of a pool of sensor and actuator ...

This paper argues that co-routines are related to concurrent processes. By adding interrupt mechanisms languages containing co-routine mechanisms can be used for concurrency. It is also the intention to bring some of the terminology used in Simula ...

We examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes ...

In this paper, we introduce a concurrent programming language A'UM [Yoshida88], which has been designed aiming at high parallelism and high expressivity for the development of large scale software. A'UM is characterized by three features: stream-based ...

In this paper we describe an implementation of actors in Smalltalk-80, named Actalk. This attempt is designed as a minimal extension preserving the Smalltalk-80 language.Actors are active and autonomous objects, as opposed to standard passive Smalltalk-...

In the last years, hardware research has produced new parallel architectures. Now, it is time to define a language adapted to run applications in Artificial Intelligence area on these architectures.

We define Message Driven Computation as a style of computing with two characteristics: 1) Messages, not sequential processes, convey both control and data. Indeed, there are no sequential processes unless they are programmed explicitly in terms of ...

In the late panel session, Maurice Herlihy questioned whether the Actor model [1] could implement wait-free shared queue. Processes are guaranteed to complete queue operations in a finite amount of steps even if other processes may fail at arbitrary ...

A number of concurrent computers have been designed, such as [Ametek 1988] and [NCUBE 1986]. Taking advantage of concurrency on these computers will require new languages, operating systems, and environments to support the programming, monitoring and ...

MITRE — through its Future Generation Computer Architectures program — has conducted research in parallel computing since 1983 [2-5.7]. Our research is currently directed toward operating systems for massive distributed-memory MIMDs running general-...

This summary presents a general model supporting object-oriented programming in concurrent as well as distributed environments.The model combines the advantages of remote procedure calls with those of message passing.It relies on the following concepts:&...

Distributed Artificial Intelligence (DAI) is a subfield of AI concerned with the problems of describing and constructing multiple intelligent systems which interact. MACE (for Multi-Agent Computing Environment) is a language, programming environment, ...

Current distributed object oriented languages and systems hide distribution in general while retaining the ability to control object locations explicitly. These approaches seem adequate but are exclusively focussing on the implementation stage of a ...

The increasing complexity of technical processes asks for large software systems to control them. A large software system can only be developed and managed if there are efficient and reliable tools.

This paper gives an introduction to the high level ...