Oct 31, 2018

Most other critical sections have trivial-to-verify execution paths that cannot deadlock. Actually the organization critical sections also notify, and the notify is the also a set of subscription handlers.