Jann Horn <jannh@xxxxxxxxxx> wrote: > If another thread concurrently runs close(watch_fd) Fair point. We have the watch queue pinned, but watch_queue_clear() is called before the ref is released. David
Jann Horn <jannh@xxxxxxxxxx> wrote: > If another thread concurrently runs close(watch_fd) Fair point. We have the watch queue pinned, but watch_queue_clear() is called before the ref is released. David