Title: The clock algorithm for shared-memory multiprocessors