PintosMod A new strategy for the scheduler and malloc operation for the Stanford operating system framework Pintos