A queue system for scheduling jobs on a shared computer