1995
DOI: 10.1007/3-540-59293-8_222
|View full text |Cite
|
Sign up to set email alerts
|

Static and dynamic processor allocation for higher-order concurrent languages

Abstract: Abstract. Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtained by augmenting an inference system for counting the number of channels created, the number of input and output operations performed, and the number of processes spawned by the execution of a Concurrent ML program. One analysis provides information useful for making a static decision about processor allocation; to this end i… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

1997
1997
2002
2002

Publication Types

Select...
4
2

Relationship

1
5

Authors

Journals

citations
Cited by 8 publications
(2 citation statements)
references
References 13 publications
0
2
0
Order By: Relevance
“…Some other authors have worked on the semantic foundations of CML using the frameworks of action semantics [MM94] and process calculi [FHJ96,JR00]. CML has also been extensively studied within the field of static analysis [NN96b,NN95,NN94,GFH97,BD97].…”
Section: His Work Evolved Around the Question "What Is The Right Notimentioning
confidence: 99%
“…Some other authors have worked on the semantic foundations of CML using the frameworks of action semantics [MM94] and process calculi [FHJ96,JR00]. CML has also been extensively studied within the field of static analysis [NN96b,NN95,NN94,GFH97,BD97].…”
Section: His Work Evolved Around the Question "What Is The Right Notimentioning
confidence: 99%
“…Both cases may lead to substantial savings in the run-time system. In Nielson and Nielson (1995), two analyses are presented which provide information helpful for making a static (resp. dynamic) decision about where to allocate processes.…”
Section: Some Useful Analyses On Behavioursmentioning
confidence: 99%