Language and Architecture Independent Software Thread-Level Speculation

  • Zhen Cao
  • Clark Verbrugge
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7760)


Thread-level speculation (TLS) has historically been investigated in the context of novel hardware designs Chen and Olukotun, 2003, Steffan et al., 2005 Quiñones et al., 2005. Pure software designs to TLS, however, have relatively recently become of interest, trading increased overhead concerns for the potential of providing new and user-friendly approaches to extracting parallelism, and making use of commodity multiprocessors without the need for new hardware Pickett and Verbrugge, 2005, Oancea and Mycroft, 2008. Investigation of such approaches, however, tends to be hampered by the need for such systems to build on specific language or execution contexts with implicit source-level requirements, and lack of integration with a realistic compiler infrastructure.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Chen and Olukotun, 2003]
    Chen, M.K., Olukotun, K.: The Jrpm system for dynamically parallelizing Java programs. In: ISCA 2003: Proceedings of the 30th Annual International Symposium on Computer Architecture, pp. 434–446 (2003)Google Scholar
  2. [Oancea and Mycroft, 2008]
    Oancea, C.E., Mycroft, A.: Software thread-level speculation: an optimistic library implementation. In: IWMSE 2008: Proceedings of the 1st International Workshop on Multicore Software Engineering, pp. 23–32 (2008)Google Scholar
  3. [Pickett and Verbrugge, 2005]
    Pickett, C.J., Verbrugge, C.: SableSpMT: a software framework for analysing speculative multithreading in Java. In: PASTE 2005: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005) (2005)Google Scholar
  4. [Quiñones et al., 2005]
    Quiñones, C.G., Madriles, C., Sánchez, J., Marcuello, P., González, A., Tullsen, D.M.: Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. In: PLDI 2005: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 269–279 (2005)Google Scholar
  5. [Steffan et al., 2005]
    Steffan, J.G., Colohan, C., Zhai, A., Mowry, T.C.: The STAMPede approach to thread-level speculation. ACM Transactions on Computer Systems (TOCS) 23(3), 253–300 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Zhen Cao
    • 1
  • Clark Verbrugge
    • 1
  1. 1.School of Computer ScienceMcGill UniversityMontréalCanada

Personalised recommendations