Results 1 - 10
of
106
Controlling Concurrency and Expressing Synchronization in Charm++ Programs
"... 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
, 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
- 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
- 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
- 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
"... 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
, 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
"... 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
- 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
"... 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