Edison—a multiprocessor language

Hansen, Brinch

doi:10.1002/spe.4380110403

Cited by 40 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This atomic construct builds on designs for Conditional Critical Regions (CCRs) [13] and on the concurrency control features of languages such as DP [2], Edison [3], Lynx [17] and Argus [14].…”

Section: Related Workmentioning

confidence: 99%

Exceptions and side-effects in atomic blocks

Harris

2005

Science of Computer Programming

View full text Add to dashboard Cite

In recent work we showed how to implement a new atomic keyword as an extension to the Java programming language. It allows a program to perform a series of heap accesses atomically without needing to use mutual exclusion locks. We showed that data structures built using it could perform well and scale to large multi-processor systems. In this paper we extend our system in two ways. Firstly, we show how to provide an explicit 'abort' operation to abandon execution of an atomic block and to automatically undo any updates made within it. Secondly, we show how to perform external I/O within an atomic block. During our work we found that it was surprisingly difficult to support these operations without opening loopholes through which the programmer could subvert language-based security mechanisms. Our final design is based on a 'external action' abstraction, allowing code running within an atomic block to request that a given pre-registered operation be executed outside the block.

show abstract

Section: Related Workmentioning

confidence: 99%

Exceptions and side-effects in atomic blocks

Harris

2005

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…In our framework, we consider a (shared-memory) concurrent program to be an asynchronous composition of a non-empty, finite set of processes, equipped with a finite set of program variables that range over finite domains. We assume a simple concurrent programming language with assignment, condition test, unconditional goto, sequential and parallel composition, and the synchronization primitive -conditional critical region (CCR) [12,10]. A concurrent program P is written using the concurrent programming language, in conjunction with L-terms and L-atoms.…”

Section: Concurrent Programsmentioning

confidence: 99%

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

Samanta

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We present a framework that takes a concurrent program composed of unsynchronized processes, along with a temporal specification of their global concurrent behaviour, and automatically generates a concurrent program with synchronization ensuring correct global behaviour. Our methodology supports finite-state concurrent programs composed of processes that may have local and shared variables, may be straight-line or branching programs, may be ongoing or terminating, and may have program-initialized or user-initialized variables. The specification language is an extension of propositional Computation Tree Logic (CTL) that enables easy specification of safety and liveness properties over control and data variables. The framework also supports synthesis of synchronization at different levels of abstraction and granularity

show abstract

“…The third possibility is perhaps the most widely used form of parallel execution, and encompasses the non-blocking (sometimes called asynchronous) send of message-passing languages [7], as well as parbegin[ 111 and cobegin [12][13][14] type constructs of concurrent languages. Further, the fourth possibility for parallelism [3] which consists in making multiple invocations to several objects at once hinges on the invoker being able to proceed after the making the first invocation.…”

Section: Parallelismmentioning

confidence: 99%

ES‐Kit: An object‐oriented distributed system

Khanna¹,

Hung²

1991

Concurrency: Pract. Exper.

View full text Add to dashboard Cite

SUMMARYThis paper describes the design, implementation, and performance of ES-Kit, a distributed object-oriented system being developed by the Experimental Systems Project at the Microelectronics and Computer Technology Corporation. The operating system conslsts of a kernel and a set of Public Service Objects which dynamically extend the functionality of the kernel by providing several traditional operating system services when required by application objects. Applications for the ES-Kit environment are written in GNU C++ and do not require additional language primitives for distributed execution. Initial performance results from a representative set of applications indicate that the object-oriented paradigm provides a powerful solution to distributed programming.

show abstract

Edison—a multiprocessor language

Cited by 40 publications

References 0 publications

Exceptions and side-effects in atomic blocks

Exceptions and side-effects in atomic blocks

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

ES‐Kit: An object‐oriented distributed system

Contact Info

Product

Resources

About