A semaphore based on unnamed pipe + tests based on the Reader-Writer problem