bugfix: task switch & socket id alloc