Consider a system with a limited number of red, green and blue widgets. Threads need to use widgets of a specific color. Sometimes threads will need multiple widgets of different colors. The widgets can be allocated using three widget pools, one for each color, from the previous problem.

Explain how you can keep the threads from deadlocking.

Prove that your system will never deadlock.