From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59477) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zmksl-0005tK-Bj for qemu-devel@nongnu.org; Thu, 15 Oct 2015 11:55:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zmksh-0004rk-H3 for qemu-devel@nongnu.org; Thu, 15 Oct 2015 11:55:54 -0400 Date: Thu, 15 Oct 2015 17:17:38 +0200 From: Stefan Hajnoczi Message-ID: <20151015151738.GE21733@stefanha-thinkpad.redhat.com> References: <1444731375-14716-1-git-send-email-famz@redhat.com> <20151014135145.GB16162@stefanha-thinkpad.redhat.com> <1190188629.36893385.1444877487828.JavaMail.zimbra@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1190188629.36893385.1444877487828.JavaMail.zimbra@redhat.com> Subject: Re: [Qemu-devel] [PATCH] Revert "blockdev: add note that block_job_cb() must be thread-safe" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Fam Zheng Cc: kwolf@redhat.com, pbonzini@redhat.com, qemu-devel@nongnu.org, qemu-block@nongnu.org On Wed, Oct 14, 2015 at 10:51:27PM -0400, Fam Zheng wrote: > > > ----- Original Message ----- > > On Tue, Oct 13, 2015 at 06:16:15PM +0800, Fam Zheng wrote: > > > This reverts commit 723c5d93c51bdb3adbc238ce90195c0864aa6cd5. > > > > > > block_job_cb is called by block_job_completed, which is always called in > > > a main loop bottom half in existing block jobs. So we don't need to > > > worry about thread-safety here. > > > > This is not correct. Search for block_job_completed() callers. > > > > For example, block/stream.c has early exit cases that call > > block_job_completed() from the coroutine (i.e. dispatched from a > > coroutine in another AioContext+IOThread). > > > > I think you are assuming that all block_job_completed() callers are > > called from a function scheduled using block_job_defer_to_main_loop(). > > No, I'm assuming all block_job_completed() callers are (and they should > be) from main thread. Even the early exit cases in stream are so, because > they are in the same thread as stream_start, which is main thread. You are right, the early block_job_completed() calls in stream.c happen in the main thread. I'm concerned that we have no comments or assertions to check that the assumption holds. Luckily only stream.c relies on the trick of calling block_job_completed() directly but knowing it runs from the main thread. I'll send a patch to fix stream.c. It needs to be done anyway since there is a memory leak in the early block_job_completed() stream.c code. Will CC you. Stefan