Definition comes from "The Art of Multiprocessor Programming Ed.1."