Results 1 - 10 of 106

Controlling Concurrency and Expressing Synchronization in Charm++ Programs

by Laxmikant V. Kale, Jonathan Liffl
"... Abstract. Charm++ is a parallel programming system that evolved over the past 20 years to become a well-established system for program-ming parallel science and engineering applications, in addition to the combinatorial search applications with which it started. At its earliest point, the precursor ..."
Abstract - Add to MetaCart
to Charm++, the Chare Kernel, was a purely reac-tive specification, similar to most actor languages. This paper describes the evolution of a series of concurrency control mechanisms that have been deployed in Charm++ to tame this unrestricted concurrency in order to improve code clarity and/or to improve

The Concurrent Language Shared Prolog

by Antonio Brogi, Paolo Ciancarini , 1991
"... Shared Prolog is a new concurrent logic language. A Shared Prolog system is composed of a set of parallel agents which are Prolog programs extended by a guard mechanism. The programmer controls the granularity of parallelism coordinating communication and synchronization of the agents via a centrali ..."
Abstract - Cited by 81 (15 self) - Add to MetaCart
Shared Prolog is a new concurrent logic language. A Shared Prolog system is composed of a set of parallel agents which are Prolog programs extended by a guard mechanism. The programmer controls the granularity of parallelism coordinating communication and synchronization of the agents via a

Distributed Processes: A Concurrent Programming Concept

by Brinch Hansen - Communications of the ACM , 1978
"... A language concept for concurrent processes without common variables is introduced. These processes communicate and synchronize by means of procedure calls and guarded regions. This concept is proposed for real-time applications controlled by microcomputer networks with distributed storage. The pap ..."
Abstract - Cited by 63 (0 self) - Add to MetaCart
A language concept for concurrent processes without common variables is introduced. These processes communicate and synchronize by means of procedure calls and guarded regions. This concept is proposed for real-time applications controlled by microcomputer networks with distributed storage

Synchronization Mechanisms for Modular Programming Languages

by Toby Bloom - LABORATORY OF COMPUTER SCIENCE, MASSACHUSETTS INSTITUTE OF TECHNOLOGY , 1979
"... Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must ..."
Abstract - Cited by 5 (1 self) - Add to MetaCart
Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must

Concurrency analysis for parallel programs with textually aligned barriers

by Amir Kamil, Katherine Yelick - In Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing , 2005
"... Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to control flow analysis on serial programs and is useful in detecting parallel programming errors and as a precursor to se ..."
Abstract - Cited by 19 (11 self) - Add to MetaCart
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to control flow analysis on serial programs and is useful in detecting parallel programming errors and as a precursor

The Family of Concurrent Logic Programming Languages EHUD SHAPIRO

by unknown authors
"... Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of both known and novel concurrent programming techniques. Being logic programming languages, they preserve many advantages of the abstract logic programming model, including ..."
Abstract - Add to MetaCart
by instantiating shared logical variables, synchronizing by waiting for variables to be instantiated, and making nondeterministic choices, possibly based on the availability of values of variables. This paper surveys the family of concurrent logic programming languages within a uniform operational framework

A Concurrent Abstract Interpreter

by Stephen Weeks, Suresh Jagannathan, James Philbin , 1994
"... Abstract interpretation [6] has been long regarded as a promising optimization and analysis technique for high-level languages. In this article, we describe an implementation of a concurrent abstract interpreter. The interpreter evaluates programs written in an expressive parallel language that sup ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
Abstract interpretation [6] has been long regarded as a promising optimization and analysis technique for high-level languages. In this article, we describe an implementation of a concurrent abstract interpreter. The interpreter evaluates programs written in an expressive parallel language

Deriving Concurrent Control Software from Behavioral Specifications

by Ganesh Ramanathan, Benjamin Morandi
"... Abstract — Concurrency is an integral part of many robotics applications, due to the need for handling inherently parallel tasks such as motion control and sensor monitoring. Writing programs for this complex domain can be hard, in particular because of the difficulties of retaining a robust modular ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
modular design. We propose to use SCOOP, an object-oriented programming model for concurrency which by construction is free of data races, therefore excluding a major class of concurrent programming errors. Synchronization requirements are expressed by waiting on routine preconditions, which turns out

Concurrency in Prolog Using Threads and a Shared Database

by Manuel Carro, Manuel Hermenegildo - In 1999 International Conference on Logic Programming , 1999
"... Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modications to the standard implementations, and/or the communication and synchronization facilities provided do not t as naturally within ..."
Abstract - Cited by 27 (11 self) - Add to MetaCart
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modications to the standard implementations, and/or the communication and synchronization facilities provided do not t as naturally within

Formalizing Reusable Aspect-Oriented Concurrency Control

by Neelam Soundarajan, Derek Bronish , Raffi Khatchadourian
"... Java and its library provide concurrency control mechanisms that allow a designer to implement various concurrency control schemes. However, use of these facilities often results in complex code with similar synchronization code being scattered across multiple classes, and synchronization code and f ..."
Abstract - Add to MetaCart
Java and its library provide concurrency control mechanisms that allow a designer to implement various concurrency control schemes. However, use of these facilities often results in complex code with similar synchronization code being scattered across multiple classes, and synchronization code
Results 1 - 10 of 106