> I looked through the git history. Also there are some doc comments in libxl_internal.h.
In particular "Algorithm for handling device removal" (near l.2844 in my tree) and the following I don't think that diagram has been modified since I drew it, so it may well be out of date. Indeed I hope at least the new QMP arrangements aren't racy... And, "As of Xen 4.5 we maintain various information" which describes the various locks and has a proof sketch for correct operation. Ian.
