Implementation Strategies for Single Assignment Variables
نویسندگان
چکیده
Flow Java integrates single assignment variables (logic variables) into Java. This paper presents and compares three implementation strategies for single assignment variables in Flow Java. One strategy uses forwarding and dereferencing while the two others are variants of Taylor’s scheme. The paper introduces how to adapt Taylor’s scheme for a concurrent language based on operating system threads, token equality, and update of data structures. Evaluation of the strategies clarifies that the key issue for efficiency is reducing memory usage.
منابع مشابه
Flow Java: Declarative Concurrency for Java
This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. The abstractions added are single assignment variables (logic variables) and futures (read-only views of logic variables). The added abstr...
متن کاملSingle Versus Multi-Faceted Implementation Strategies – Is There a Simple Answer to a Complex Question? A Response to Recent Commentaries and a Call to Action for Implementation Practitioners and Researchers
متن کامل
“Horses for Courses”; Comment on “Translating Evidence Into Healthcare Policy and Practice: Single Versus Multi-Faceted Implementation Strategies – Is There a Simple Answer to a Complex Question?”
This commentary considers the vexed question of whether or not we should be spending time and resources on using multifaceted interventions to undertake implementation of evidence in healthcare. A review of systematic reviews has suggested that simple interventions may be just as effective as those taking a multifaceted approach. Taking cognisance of the Promoting Action on Research Implementat...
متن کاملTranslating Evidence into Healthcare Policy and Practice: Single Versus Multi-Faceted Implementation Strategies – Is There a Simple Answer to a Complex Question?
How best to achieve the translation of research evidence into routine policy and practice remains an enduring challenge in health systems across the world. The complexities associated with changing behaviour at an individual, team, organizational and system level have led many academics to conclude that tailored, multifaceted strategies provide the most effective approach to knowledge translati...
متن کاملImplementation of Control Variables to Exploit Output Power for SRGs in Single Pulse Mode Operation
This paper presents an analytical modeling method of optimal control variables to maximize output power for switched reluctance generators (SRGs) in single pulse mode operation. This method extends the basic theory of the Stiebler model and utilizes the flux linkage function to express the inductance model of SRG. In this paper, the optimal phase current shape of SRG for maximum output power is...
متن کامل