PCBs and State Queues
PCBs are data structures, dynamically allocated in OS memory.
When a process is created, a PCB is allocated to it, initialized, and placed on the correct queue.
As the process computes, its PCB moves from queue to queue.
When the process is terminated, its PCB is deallocated.
Exercise: Show the allocation and queuing that occurs during the UNIX fork() system call