The allocation and de-allocation of computing resources in a computer is the function of