Simulators Chapter 7 discusses a fork-pipe simulator that can be used to experiment with pipe, fork and dup2.
The Additional Reading of Chapter 16 mentions a simulator for bounded buffer synchronization.
These and other related simulators can be found at /simulators/.