OS with lottery scheduling