In general, it is far easier to reason about locking with async code, as the number of preemption points is far far lower. As a result, you get very low overhe

In general, it is far easier to reason about locking with async code, as the number of preemption points is far far lower. As a result, you get very low overhead inter-task communication.