Interrupt and Cancellation as Synchronization Methods

Borkowski, Janusz

doi:10.1007/3-540-48086-2_1

Cited by 16 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That stimulated us to search for a novel program execution control method, which could embed all the discussed features. The central idea in the proposed method is application state monitoring [7] [8]. Monitors included into program execution environment are observing a running application by reception of local state reports from constituent processes.…”

Section: Global Application States Monitoringmentioning

confidence: 99%

Global predicate monitoring applied for control of parallel irregular computations

Borkowski

Kopanski

Tudruj

2007

15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07)

View full text Add to dashboard Cite

Many computational problems have irregular data/control characteristics, which make programs difficult to be efficiently implemented in parallel systems. Due to irregular character of code or data, even division of work between processors at application startup is frequently impossible. Runtime optimization is possible, but it requires a constant exchange of control information and/or data during runtime is required. A novel parallel application control method is proposed in the paper. It is based on application global state monitoring for runtime irregular application control. The method provides a ready-to-use control infrastructure, which can be conveniently applied by a programmer. Both suitability and efficiency of the proposed control method are discussed in the paper based on two selected numerical applications: adaptive integration and branch and bound search. The presented experimental results were obtained with PS-GRADE graphical parallel design system, which embeds the proposed control method. The results confirm the efficiency of control based on global predicates in irregular computations.

show abstract

Section: Global Application States Monitoringmentioning

confidence: 99%

Global predicate monitoring applied for control of parallel irregular computations

Borkowski

Kopanski

Tudruj

2007

15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07)

View full text Add to dashboard Cite

show abstract

“…Our refinement-based approach to communication comes quite close to the principles described in [8], regarding the watched statements (variables in our case). However, we may not call our methods interrupts.…”

Section: Model Analysis and Comparisonsmentioning

confidence: 89%

Communicating with Synchronized Environments

Seceleanu

Jantsch

Sixth International Conference on Application of Concurrency to System Design (ACSD'06)

View full text Add to dashboard Cite

In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a wellbehaved composition of such modules is a very important task of the system designer. In the framework of the action systems formalism, we analyze the co-existence of two models of execution, one synchronized, the other, interleaved. We devise a communication scheme, similar to the classical paradigm of polling, which allows us to model synchronized components that correctly exchange information, within the borders of a global system, with their non-synchronized partners. Derivations of such mechanisms follow specific correctness rules for refinement. We illustrate our methods on an audio system example, implementable as either a software or a hardware device.

show abstract

“…We want processes to react possibly immediately on signal arrival, and to have separate and clearly defined actions triggered by signals. These objectives are met by asynchronous activation and cancellation [2,3]. In the code of a process, designated regions are made sensitive to signals.…”

Section: Global Control Predicates -Asynchronous Activation and Cancementioning

confidence: 99%

“…However, they are not triggered immediately upon a message arrival and they are not helpful for cancellation implementation, either. UNIX Real-Time signals can provide necessary features [2,3]. Within one system they can be delivered and handled within a few microseconds, while message passing and dispatcher processes can be used to transfer them between computers.…”

Section: Implementation Issues Based On Current Technologymentioning

confidence: 99%

See 1 more Smart Citation

Graphical design tool for parallel programs with execution control based on global application states

Borkowski

Tudruj

Kopanski

Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings.

View full text Add to dashboard Cite

New high-level control mechanisms for design of parallel programs are introduced in the paper. Special synchronizer processes collect information on application parallel process states and construct strongly consistent global states, using time interval timestamps. Based on consistent global states, synchronization and execution control predicates are evaluated by the synchronizers. As a result, synchronization/control signals are sent to application processes. The signals can trigger asynchronous computation activation or cancellation. The proposed synchronization framework is integrated with a message passing system and included into GRADE graphical parallel program design environment. Architecture and implementation aspects of such system are discussed.

show abstract

Interrupt and Cancellation as Synchronization Methods

Cited by 16 publications

References 5 publications

Global predicate monitoring applied for control of parallel irregular computations

Global predicate monitoring applied for control of parallel irregular computations

Communicating with Synchronized Environments

Graphical design tool for parallel programs with execution control based on global application states

Contact Info

Product

Resources

About