Linux process scheduler - what type?