Title: Operating Systems As a Resource Manager