kirancodes.me
To Proof Maintenance & Beyond!

Understanding POWER multiprocessors

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams

Abstract

Exploiting today's multiprocessors requires high-performance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requires a good understanding of the observable processor behaviour that can be relied on. Unfortunately this critical hardware/software interface is not at all clear for several current multiprocessors.

Related papers