The Community for Technology Leaders
20th Annual Symposium on Foundations of Computer Science (sfcs 1979) (1979)
Oct. 29, 1979 to Oct. 31, 1979
ISSN: 0272-5428
pp: 255-266
ABSTRACT
Traditional implementations of conditional critical regions and monitors can lead to unproductive "busy waiting" if processes are allowed to wait on arbitrary boolean expressions. Techniques from global flow analysis may be employed at compile time to obtain information about which critical regions (monitor calls) are enabled by the execution of a given critical region (monitor call). We investigate the complexity of computing this information and show how it can be used to obtain efficient scheduling algorithms with less busy waiting.
INDEX TERMS
CITATION

L. Liu and E. M. Clarke, "Approximate algorithms for optimization of busy waiting in parallel programs," 20th Annual Symposium on Foundations of Computer Science (sfcs 1979)(FOCS), vol. 00, no. , pp. 255-266, 1979.
doi:10.1109/SFCS.1979.5
89 ms
(Ver 3.3 (11022016))