Checkpointing Speculative Distributed Shared Memory

  • Arkadiusz Danilecki
  • Anna Kobusińska
  • Michal Szychowiak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3911)


This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving prediction of the future of a computation, namely accesses to shared objects unavailable on the accessing node (read faults). Thanks to such predictions objects can be fetched before the actual access operation is performed, resulting, at least potentially, in considerable performance improvement. The proposed mechanism is based on independent checkpointing integrated with a coherence protocol for a given consistency model introducing little overhead. It ensures the consistency of checkpoints, allowing fast recovery from failures.


Shared Object Distribute Share Memory Shared Memory System Checkpointing Mechanism Distribute Share Memory System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bianchini, R., Pinto, R., Amorim, C.L.: Data Prefetching for Software DSMs. In: Proc. International Conference on Supercomputing, Melbourne, Australia (1998)Google Scholar
  2. 2.
    Brzeziński, J., Szychowiak, M.: Replication of Checkpoints in Recoverable DSM Systems. In: Proc 21st Int’l Conference on Parallel and Distributed Computing and Networks PDCN 2003, Innsbruck (2003)Google Scholar
  3. 3.
    Chang, J., Huh, J., Desikan, R., Burger, D., Sohi, G.: Using Coherent Value Speculation to Improve Multiprocessor Performance. In: Proc 30th Annual International Symposium on Computer Architecture, San Diego, California (2003)Google Scholar
  4. 4.
    Kongmunvattana, A., Tanchatchawal, S., Tzeng, N.-F.: Coherence-Based Coordinated Checkpointing for Software Distributed Shared Memory Systems. In: Proc. 20th Conference on Distributed Computing Systems, pp. 556–563 (2000)Google Scholar
  5. 5.
    Lai, A.-C., Babak Falsafi, B.: Memory Sharing Predictor: The Key to a Speculative Coherent DSM. In: Proceedings of the 26th International Symposium on Computer Architecture (ISCA 26), Atlanta, Georgia, pp. 172–183 (1999)Google Scholar
  6. 6.
    Lai, A.-C., Babak Falsafi, B.: Selective, Accurate, and Timely Self-Invalidation Using Last-Touch Prediction. In: Proceedings of the 27th International Symposium on Computer Architecture (ISCA 27), Vancouver, BC, Canada, pp. 139–148 (2000)Google Scholar
  7. 7.
    Lebeck, A.R., Wood, D.: Dynamic Self-Invalidation: Reducing Coherence Overhead in Shared-Memory Multiprocessors. In: Proceedings of the 22nd Annual International Symposium on Computer Architecture, Santa Margherita, Italy, pp. 48–59 (1995)Google Scholar
  8. 8.
    Lee, S.-K., Yun, H.-C., Lee, J., Maeng, S.: Adaptive Prefetching Technique for Shared Virtual Memory. In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), Brisbane, Australia, pp. 521–526 (2001)Google Scholar
  9. 9.
    Raynal, M., Schiper, A.: A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories, Technical Report PI-968, IRISA Rennes (1995)Google Scholar
  10. 10.
    Park, T., Yeom, H.Y.: A Low Overhead Logging Scheme for Fast Recovery in Distributed Shared Memory Systems. Journal of Supercomputing 15(3), 295–320 (2002)CrossRefMATHGoogle Scholar
  11. 11.
    Rajwar, R., Kagi, A., Goodman, J.R.: Inferential Queueing and Speculative Push. International Journal of Parallel Programming (IJPP) 32(3), 273–284 (2004)MATHGoogle Scholar
  12. 12.
    Speight, E., Burtscher, M.: Delphi: Prediction-Based Page Prefetching to Improve the Performance of Shared Virtual Memory Systems. In: 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), Monte Carlo Resort, Nevada, June 2002, pp. 49–55 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Arkadiusz Danilecki
    • 1
  • Anna Kobusińska
    • 1
  • Michal Szychowiak
    • 1
  1. 1.Institute of Computing SciencePoznań University of TechnologyPoznanPoland

Personalised recommendations