modify a process_table entry member and so should grab the
process_table_mutex. If a SIGCHLD interrupts a processor
holding the mutex, it will deadlock, so SIGCHLDs must be
- masked before the mutex is grabbed and unmasked before SIGCHLD
- is unmasked.
+ masked before the mutex is grabbed and unmasked after the
+ mutex is released.
Readers of the process_table needn't serialize with writers.
Like channel_table, process_table is atomically updated by