Dining philosophers using POSIX threads and POSIX semaphores.