C thread pool implementation under Linux