Revisiting the sequential programming model for multi-core

Matthew J. Bridges, Neil Vachharajani, Yun Zhang, Thomas Jablin, David I. August

Research output: Chapter in Book/Report/Conference proceedingConference contribution

67 Scopus citations

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 efforts to avoid race conditions, deadlocks, and other problems associated with parallel programming. To address these costs, other approaches, such as automatic thread extraction, have been explored. Unfortunately, the amount of parallelism that has been automatically extracted is generally 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 together 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 languages force programmers to define a single legal program outcome, rather than allowing for a range of legal outcomes. This paper shows that natural extensions to the sequential 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.

Original languageEnglish (US)
Title of host publicationProceedings of the The 40th IEEE/ACM International Symposium on Microarchitecture, MICRO 2007
Pages69-81
Number of pages13
DOIs
StatePublished - Dec 1 2007
Event40th IEEE/ACM International Symposium on Microarchitecture, MICRO 2007 - Chicago, IL, United States
Duration: Dec 1 2007Dec 5 2007

Publication series

NameProceedings of the Annual International Symposium on Microarchitecture, MICRO
ISSN (Print)1072-4451

Other

Other40th IEEE/ACM International Symposium on Microarchitecture, MICRO 2007
CountryUnited States
CityChicago, IL
Period12/1/0712/5/07

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Revisiting the sequential programming model for multi-core'. Together they form a unique fingerprint.

  • Cite this

    Bridges, M. J., Vachharajani, N., Zhang, Y., Jablin, T., & August, D. I. (2007). Revisiting the sequential programming model for multi-core. In Proceedings of the The 40th IEEE/ACM International Symposium on Microarchitecture, MICRO 2007 (pp. 69-81). [4408246] (Proceedings of the Annual International Symposium on Microarchitecture, MICRO). https://doi.org/10.1109/MICRO.2007.20