Scheduling optimizations for user-level threads | AMiner