Control-theoretical CPU Allocation: Design and Implementation with Feedback Control