Adding a worker thread pool implementation for Linux