Hi Ming and Jens,
It would be great if you have time to clarify whether deadlocks can
occur or not. If you have any questions about the scenario I was
describing, please let me know.

Thanks,
Stefan