On 1/13/20 5:08 PM, Ian Jackson wrote: > The meat here, including a description of the bug, is in: > libxl: event: Fix hang when mixing blocking and eventy calls > > Re v1 I wrote: > I suggest we try to convince ourselves of its correctness > via a second round of code review. > > I put this into practice by writing an informal proof of correctness. > This found a bug, the fixing of which was not entirely trivial. > > George tells me he tested v1 of this series. As with v1, I have > compiled this v2 but not executed it.
I have tested this series both with my C-based proof of concept, and now with the golang bindings, and it solves my problem and seems to work as advertised. Tested-by: George Dunlap <george.dun...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
