Revise implementation of pthread due to pager
Ensure pthread_create works correctly.