Revisiting the Sequential Programming Model for Multi-Core Export

@inproceedings{citeulike:2601357, abstract = {Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software development due to rewriting legacy code, training of the programmer, increased debugging of the program, and ef- forts to avoid race conditions, deadlocks, and other prob- lems associated with parallel programming. To address these costs, other approaches, such as automatic thread ex- traction, have been explored. Unfortunately, the amount of parallelism that has been automatically extracted is gener- ally insufficient to keep many cores busy. This paper argues that this lack of parallelism is not an intrinsic limitation of the sequential programming model, but rather occurs for two reasons. First, there exists no framework for automatic thread extraction that brings to- gether key existing state-of-the-art compiler and hardware techniques. This paper shows that such a framework can yield scalable parallelization on several SPEC CINT2000 benchmarks. Second, existing sequential programming lan- guages force programmers to define a single legal program outcome, rather than allowing for a range of legal out- comes. This paper shows that natural extensions to the se- quential programming model enable parallelization for the remainder of the SPEC CINT2000 suite. Our experience demonstrates that, by changing only 60 source code lines, all of the C benchmarks in the SPEC CINT2000 suite were parallelizable by automatic thread extraction. This process, constrained by the limits of modern optimizing compilers, yielded a speedup of 454\&\#x025; on these applications.}, author = {Bridges, Matthew and Vachharajani, Neil and Zhang, Yun and Jablin, Thomas and August, David}, booktitle = {Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on}, citeulike-article-id = {2601357}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/MICRO.2007.4408246}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4408246}, doi = {10.1109/MICRO.2007.4408246}, journal = {Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on}, keywords = {formal\_language\_theory, language\_design, parallel\_algorithms, parallel\_programming, trends}, pages = {69--84}, posted-at = {2008-03-27 10:34:45}, priority = {2}, title = {Revisiting the Sequential Programming Model for Multi-Core}, url = {http://dx.doi.org/10.1109/MICRO.2007.4408246}, year = {2007} }

TY - CONF ID - citeulike:2601357 L3 - citeulike-article-id:2601357 N2 - Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software development due to rewriting legacy code, training of the programmer, increased debugging of the program, and ef- forts to avoid race conditions, deadlocks, and other prob- lems associated with parallel programming. To address these costs, other approaches, such as automatic thread ex- traction, have been explored. Unfortunately, the amount of parallelism that has been automatically extracted is gener- ally insufficient to keep many cores busy. This paper argues that this lack of parallelism is not an intrinsic limitation of the sequential programming model, but rather occurs for two reasons. First, there exists no framework for automatic thread extraction that brings to- gether key existing state-of-the-art compiler and hardware techniques. This paper shows that such a framework can yield scalable parallelization on several SPEC CINT2000 benchmarks. Second, existing sequential programming lan- guages force programmers to define a single legal program outcome, rather than allowing for a range of legal out- comes. This paper shows that natural extensions to the se- quential programming model enable parallelization for the remainder of the SPEC CINT2000 suite. Our experience demonstrates that, by changing only 60 source code lines, all of the C benchmarks in the SPEC CINT2000 suite were parallelizable by automatic thread extraction. This process, constrained by the limits of modern optimizing compilers, yielded a speedup of 454% on these applications. JF - Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on EP - 84 TI - Revisiting the Sequential Programming Model for Multi-Core T2 - Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on SP - 69 KW - formal_language_theory KW - language_design KW - parallel_algorithms KW - parallel_programming KW - trends AU - Bridges, Matthew AU - Vachharajani, Neil AU - Zhang, Yun AU - Jablin, Thomas AU - August, David PY - 2007/// UR - http://dx.doi.org/10.1109/MICRO.2007.4408246 ER -