Subject: Re: [PATCH v7] vsock: add vsock device
On 17 August 2016 at 16:50, Stefan Hajnoczi <firstname.lastname@example.org> wrote: > I'm working on a write-up that covers the scheme and shows why it is > correct. My goal is to prove either that it can deadlock or that it > cannot deadlock. Hope to finish it by Friday. Dare I ask how it is going ;-)? I'm in the process of updating https://github.com/docker/hyperkit/pull/13 to correspond to SPEC v7/Linux RFC v6 (currently it is at somewhere between Linux RFC v4 and v5 IIRC). For the time being I'm planning to make it drain the reply ring (which is my "additional resource" and is sized at 2x the vring size) in preference to handling actual RX data which I think ought to improve things and avoid stuff like https://github.com/docker/hyperkit/issues/50. Ian.