Re: [PATCH v7] vsock: add vsock device

[Ian Campbell <ian.campbell@docker.com>]

On 17 August 2016 at 16:50, Stefan Hajnoczi <stefanha@redhat.com> 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.