https://5dok.org/document/lq59g07z-resource-sharing-in-real-time-systems-on-multiprocessors.html