Primitives for resource management in a demand-driven reduction model

DOI10.1007/BF01414555MaRDI QIDQ1819923zbMATH OpenOpenAlexFDO

Authors Bharat Jayaraman, Robert M. Keller

Publication date 1986

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01414555

zbMATH Keywords

applicative languagesdemand-driven evaluationdemand-driven graph reductionfunction graph languagefunctional languageGraph reductionnondeterminismresource expressionsresource synchronizationsynchronization and scheduling of resources

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Review text

Graph reduction has recently become well-known as a suitable technique for implementing applicative languages. However, its use hitherto has been primarily in implementing determinate programs. This paper is concerned with extensions to a demand-driven graph reduction language for performing resource management, and entail indeterminate operations. Our focus is on primitives for programming the synchronization and scheduling of resources, as found, for example, in operating systems. We propose queueing operators and operators for controlling the order of execution of operations. We show that demand-driven graph reduction simplifies the implementation of resource management, especially in obviating explicit protocols for task creation and deletion, and for busy waiting. The language FGL (function graph language) is first introduced, and the primitives are presented in this language. A number of examples are then presented to show the versatility of these primitives. The paper concludes with a brief sketch of a higher-level notation, called resource expressions, for specifying synchronization properties.

Recommendations

• A foundation of demand-side resource management in distributed systems
• scientific article; zbMATH DE number 4095169
• Control over a resource source with minimization of its required capacity
• Dynamic resource allocation: a flexible and tractable modeling framework
• A process algebraic framework for modeling resource demand and supply
• scientific article; zbMATH DE number 3922354
• Measurement-based efficient resource allocation with demand-side adjustments
• A robust optimal resource allocation model for uncertain demands
• On a Reduction for a Class of Resource Allocation Problems

Cites work

• Communicating sequential processes
• DTL: A language for the design and implementation of concurrent programs as structured networks
• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 3722073 (Why is no real title available?)
• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• Monitors
• Specification and Proof Techniques for Serializers
• The Mechanical Evaluation of Expressions

Cited in

(1)

• scientific article; zbMATH DE number 1966921 (Why is no real title available?)

This page was built for publication: Primitives for resource management in a demand-driven reduction model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819923)