The Multy Supply Function Abstraction for Multiprocessors