{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:34Z","timestamp":1725486094050},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411857"},{"type":"electronic","value":"9783540408895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40889-4_10","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T16:52:28Z","timestamp":1180889548000},"page":"128-142","source":"Crossref","is-referenced-by-count":2,"title":["Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs"],"prefix":"10.1007","author":[{"given":"Diego","family":"Novillo","sequence":"first","affiliation":[]},{"given":"Ronald C.","family":"Unrau","sequence":"additional","affiliation":[]},{"given":"Jonathan","family":"Schaeffer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"10_CR1","unstructured":"A. V. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques,and Tools. Reading, Mass.: Addison-Wesley, Reading,MA, second edition, 1986."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"D. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin Locks: Featherweight Synchronization for Java. In ACM SIGPLAN \u201998 Conference on Programming Language Design and Implementation, pages 258\u2013268, Montreal, Canada, June 1998.","DOI":"10.1145\/277652.277734"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"F. Chow, S. Chan, R. Kennedy, S.-M. Liu, R. Lo, and P. Tu. A new algorithm for partial redundancy elimination based on SSA form. In ACM SIGPLAN \u201997 Conference on Programming LanguageDesign and Implementation, Las Vegas, 1997.","DOI":"10.1145\/258915.258940"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. Efficiently computing static single assignment form and the control dependencegraph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"12","key":"10_CR5","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/2.546613","volume":"29","author":"M. Hall","year":"1996","unstructured":"M. Hall, J. Anderson, S. Amarasinghe, B. Murphy, S. Liao, E. Bugnion, and M. Lam. Maximizing Multiprocessor Performance with the SUIF Compiler. IEEE Computer, 29(12):84\u201389, December 1996.","journal-title":"IEEE Computer"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"J. Knoop and B. Steffen. Code motion for explicitly parallel programs. In Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Atlanta, GA, May 1999.","DOI":"10.1145\/301104.301106"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"18","author":"J. Knoop","year":"1996","unstructured":"J. Knoop, B. Steffen, and J. Vollmer. Parallelism for free: Efficient and optimal bitvector analyses for parallel programs. ACM Transactions on Programming Languages and Systems, 18(3):268\u2013299,May 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1006\/jpdc.1996.0136","volume":"38","author":"A. Krishnamurthy","year":"1996","unstructured":"A. Krishnamurthy and K. Yelick. Analyses and Optimizations for Shared Address Space Programs. Journal of Parallel and Distributed Computing, 38:130\u2013144, 1996.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J. Lee, S. Midkiff, and D. A. Padua. Concurrent static single assignment form and constant propagation for explicitly parallel programs. In Proceedings of the Tenth Workshop on Languages and Compilers for Parallel Computing, August 1997.","DOI":"10.1007\/BFb0032687"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"J. Lee, D. A. Padua, and S. Midkiff. Basic compiler algorithms for parallel programs. In Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Atlanta, GA, May 1999.","DOI":"10.1145\/301104.301105"},{"key":"10_CR11","unstructured":"S. P. Masticola. Static Detection of Deadlocks in Polynomial Time. PhD thesis, Department of Computer Science, Rutgers University, 1993."},{"key":"10_CR12","unstructured":"D. Novillo. Compiler Analysis and Optimization Techniques for Explicitly Parallel Programs. PhD thesis, University of Alberta, February 2000."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"D. Novillo, R. Unrau, and J. Schaeffer. Concurrent SSA Form in the Presence of Mutual Exclusion. In 1998 International Conference on Parallel Processing, pages 356\u2013364, Minneapolis, Minnesota, August 1998.","DOI":"10.1109\/ICPP.1998.708506"},{"key":"10_CR14","unstructured":"D. Novillo, R. Unrau, and J. Schaeffer. Identifying and Validating Irregular Mutual Exclusion in Concurrent Programs. In European Conference on Parallel Computing (Euro-Par 2000), August 2000."},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/130823.130824","volume":"20","author":"J. Singh","year":"1992","unstructured":"J. Singh, W. Weber, and A. Gupta. SPLASH: Stanford parallel applications for sharedmemory. Computer Architecture News, 20(1):5\u201344, March 1992.","journal-title":"Computer Architecture News"},{"key":"10_CR16","unstructured":"R. Unrau, O. Krieger, B. Gamsa, and M. Stumm. Experiences with Locking in a NUMA Multiprocessor Operating System Kernel. In Proceedings for the 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201994), pages 139\u2013152, 1994."},{"key":"10_CR17","unstructured":"M. J. Wolfe. High Performance Compilers for Parallel Computing. Reading, Mass.: Addison-Wesley, Redwood City, CA, 1996."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Run-Time Systems for Scalable Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40889-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:56:44Z","timestamp":1556456204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40889-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411857","9783540408895"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-40889-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}