20th Annual Symposium on Foundations of Computer Science (sfcs 1979) (1979)
Oct. 29, 1979 to Oct. 31, 1979
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.1979.5
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.
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.