KIMP: Multicheckpointing multiprocessors
Enrique Vallejo Gutiérrez, Marco Galluzzi, Adrián Cristal Kestelman, Per Stenström, James Edward Smith, Mateo Valero · 2005
Multiprocessors are coming into wide-spread use in many application areas, yet there are a number of challenges to achieving a good tradeoff between complexity and performance. For example, while implementing memory coherence and consistency is essential for correctness, efficient implementation of critical sections and synchronization points is desirable for performance. 1