pthread_switch: fast user-level context switch