Basic process synchronisation using semaphores in linux demonstrated by special kind of Dining Philosophers problem