From: Peter Xu <peterx@redhat.com>
To: Fabiano Rosas <farosas@suse.de>
Cc: qemu-devel@nongnu.org,
"Dr . David Alan Gilbert" <dave@treblig.org>,
"Kevin Wolf" <kwolf@redhat.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Daniel P . Berrangé" <berrange@redhat.com>,
"Hailiang Zhang" <zhanghailiang@xfusion.com>,
"Yury Kotov" <yury-kotov@yandex-team.ru>,
"Vladimir Sementsov-Ogievskiy" <vsementsov@yandex-team.ru>,
"Prasad Pandit" <ppandit@redhat.com>,
"Zhang Chen" <zhangckid@gmail.com>,
"Li Zhijian" <lizhijian@fujitsu.com>,
"Juraj Marcin" <jmarcin@redhat.com>
Subject: Re: [PATCH RFC 4/9] migration/rdma: Change io_create_watch() to return immediately
Date: Wed, 8 Oct 2025 16:34:41 -0400 [thread overview]
Message-ID: <aObK4dCldBXcGq2W@x1.local> (raw)
In-Reply-To: <87ms6uvxdq.fsf@suse.de>
On Tue, Sep 16, 2025 at 07:35:45PM -0300, Fabiano Rosas wrote:
> Peter Xu <peterx@redhat.com> writes:
>
> > The old RDMA's io_create_watch() isn't really doing much work anyway. For
> > G_IO_OUT, it already does return immediately. For G_IO_IN, it will try to
> > detect some RDMA context length however normally nobody will be able to set
> > it at all.
> >
> > Simplify the code so that RDMA iochannels simply always rely on synchronous
> > reads and writes. It is highly likely what 6ddd2d76ca6f86f was talking
> > about, that the async model isn't really working well.
> >
> > This helps because this is almost the only dependency that the migration
> > core would need a coroutine for rdma channels.
> >
>
> I don't understand this. How does this code require a coroutine? Isn't
> the io_watch exactly the strategy used when there is no coroutine?
Good question. I can't remember what I was picturing when writting it.
Here the rational should be, RDMA works slightly differently from other
iochannels, because its async model doesn't really work
asynchronously.. instead no matter whether the channel is in sync/async
mode, it always only work in a sync manner.
Here, when I was saying async I meant we currently set NONBLOCK always for
incoming main channel.
For non-RDMA channels, what happens with current master branch is when we
have nothing to read, we yield at qemu_fill_buffer().
For RDMA channels, what I see is it always polls on its own and it yields
at qemu_rdma_wait_comp_channel(). A sample stack:
#0 qemu_coroutine_yield
#1 0x0000562e46e51f77 in yield_until_fd_readable
#2 0x0000562e46927823 in qemu_rdma_wait_comp_channel
#3 0x0000562e46927b35 in qemu_rdma_block_for_wrid
#4 0x0000562e46927e6f in qemu_rdma_post_send_control
#5 0x0000562e4692857f in qemu_rdma_exchange_recv
#6 0x0000562e4692ab5e in qio_channel_rdma_readv
#7 0x0000562e46c1f2d7 in qio_channel_readv_full
#8 0x0000562e46c13a6e in qemu_fill_buffer
#9 0x0000562e46c14ba8 in qemu_peek_byte
#10 0x0000562e46c14c09 in qemu_get_byte
#11 0x0000562e46c14e2a in qemu_get_be32
#12 0x0000562e46c14e8a in qemu_get_be64
#13 0x0000562e46913f08 in ram_load_precopy
#14 0x0000562e46914448 in ram_load
#15 0x0000562e469186e3 in vmstate_load
#16 0x0000562e4691ce6d in qemu_loadvm_section_part_end
#17 0x0000562e4691d99b in qemu_loadvm_state_main
#18 0x0000562e4691db87 in qemu_loadvm_state
#19 0x0000562e468f2e87 in process_incoming_migration_co
AFAICT, this is the only channel that does explicit yields internally,
rather than relying on iochannel/qemufile framework, aka, qemu_fill_buffer().
IOW, I don't even know when RDMA's qemu_fill_buffer() internally will get a
retval of QIO_CHANNEL_ERR_BLOCK for its qio_channel_readv_full(), because
rdma's io_readv() ignors NONBLOCK always.. AFAIU.
Now, going back to this patch: since I never hit QIO_CHANNEL_ERR_BLOCK
before, I don't think I know when I'll need this patch, but I had this
patch to make sure after we switch to the thread model, we will never go
into qio_channel_wait(), because IIUC fundamentally it's broken. After
this patch applied, it'll reliably retry immediately. Again, I don't know
when it'll become useful, but I'm trying to make sure we stick with the
solo place (qemu_rdma_wait_comp_channel) for polling things.
So I plan to remove this sentence, which looks misleading. Meanwhile I can
add some of above into it.
>
> > Signed-off-by: Peter Xu <peterx@redhat.com>
> > ---
> > migration/rdma.c | 69 +++---------------------------------------------
> > 1 file changed, 3 insertions(+), 66 deletions(-)
> >
> > diff --git a/migration/rdma.c b/migration/rdma.c
> > index ed4e20b988..bcd7aae2f2 100644
> > --- a/migration/rdma.c
> > +++ b/migration/rdma.c
> > @@ -2789,56 +2789,14 @@ static gboolean
> > qio_channel_rdma_source_prepare(GSource *source,
> > gint *timeout)
> > {
> > - QIOChannelRDMASource *rsource = (QIOChannelRDMASource *)source;
> > - RDMAContext *rdma;
> > - GIOCondition cond = 0;
> > *timeout = -1;
> > -
> > - RCU_READ_LOCK_GUARD();
> > - if (rsource->condition == G_IO_IN) {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmain);
> > - } else {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmaout);
> > - }
> > -
> > - if (!rdma) {
> > - error_report("RDMAContext is NULL when prepare Gsource");
> > - return FALSE;
> > - }
> > -
> > - if (rdma->wr_data[0].control_len) {
> > - cond |= G_IO_IN;
> > - }
> > - cond |= G_IO_OUT;
> > -
> > - return cond & rsource->condition;
> > + return TRUE;
> > }
> >
> > static gboolean
> > qio_channel_rdma_source_check(GSource *source)
> > {
> > - QIOChannelRDMASource *rsource = (QIOChannelRDMASource *)source;
> > - RDMAContext *rdma;
> > - GIOCondition cond = 0;
> > -
> > - RCU_READ_LOCK_GUARD();
> > - if (rsource->condition == G_IO_IN) {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmain);
> > - } else {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmaout);
> > - }
> > -
> > - if (!rdma) {
> > - error_report("RDMAContext is NULL when check Gsource");
> > - return FALSE;
> > - }
> > -
> > - if (rdma->wr_data[0].control_len) {
> > - cond |= G_IO_IN;
> > - }
> > - cond |= G_IO_OUT;
> > -
> > - return cond & rsource->condition;
> > + return TRUE;
>
> These are fine if we want the source to run as soon as possible, I
> think. But then...
>
> > }
> >
> > static gboolean
> > @@ -2848,29 +2806,8 @@ qio_channel_rdma_source_dispatch(GSource *source,
> > {
> > QIOChannelFunc func = (QIOChannelFunc)callback;
> > QIOChannelRDMASource *rsource = (QIOChannelRDMASource *)source;
> > - RDMAContext *rdma;
> > - GIOCondition cond = 0;
> > -
> > - RCU_READ_LOCK_GUARD();
> > - if (rsource->condition == G_IO_IN) {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmain);
> > - } else {
> > - rdma = qatomic_rcu_read(&rsource->rioc->rdmaout);
> > - }
> > -
> > - if (!rdma) {
> > - error_report("RDMAContext is NULL when dispatch Gsource");
> > - return FALSE;
> > - }
> > -
> > - if (rdma->wr_data[0].control_len) {
> > - cond |= G_IO_IN;
> > - }
> > - cond |= G_IO_OUT;
> >
> > - return (*func)(QIO_CHANNEL(rsource->rioc),
> > - (cond & rsource->condition),
> > - user_data);
> > + return (*func)(QIO_CHANNEL(rsource->rioc), rsource->condition, user_data);
>
> No idea who even calls g_source_set_callback() in this case. What is func?
In terms of qio_channel_wait(), func is qio_channel_wait_complete().
After this patch, qio_channel_wait_complete() will be invoked immediately,
hence qio_channel_wait() will reliably return immediately for rdma channels.
--
Peter Xu
next prev parent reply other threads:[~2025-10-08 20:36 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-08-27 20:59 [PATCH RFC 0/9] migration: Threadify loadvm process Peter Xu
2025-08-27 20:59 ` [PATCH RFC 1/9] migration/vfio: Remove BQL implication in vfio_multifd_switchover_start() Peter Xu
2025-08-28 18:05 ` Maciej S. Szmigiero
2025-10-21 20:36 ` Peter Xu
2025-09-16 21:34 ` Fabiano Rosas
2025-08-27 20:59 ` [PATCH RFC 2/9] migration/rdma: Fix wrong context in qio_channel_rdma_shutdown() Peter Xu
2025-09-16 21:41 ` Fabiano Rosas
2025-09-26 1:01 ` Zhijian Li (Fujitsu)
2025-08-27 20:59 ` [PATCH RFC 3/9] migration/rdma: Allow qemu_rdma_wait_comp_channel work with thread Peter Xu
2025-09-16 21:50 ` Fabiano Rosas
2025-09-26 1:02 ` Zhijian Li (Fujitsu)
2025-08-27 20:59 ` [PATCH RFC 4/9] migration/rdma: Change io_create_watch() to return immediately Peter Xu
2025-09-16 22:35 ` Fabiano Rosas
2025-10-08 20:34 ` Peter Xu [this message]
2025-09-26 2:39 ` Zhijian Li (Fujitsu)
2025-10-08 20:42 ` Peter Xu
2025-08-27 20:59 ` [PATCH RFC 5/9] migration: Thread-ify precopy vmstate load process Peter Xu
2025-08-27 23:51 ` Dr. David Alan Gilbert
2025-08-29 16:37 ` Peter Xu
2025-09-04 1:38 ` Dr. David Alan Gilbert
2025-10-08 21:02 ` Peter Xu
2025-08-29 8:29 ` Vladimir Sementsov-Ogievskiy
2025-08-29 17:17 ` Peter Xu
2025-09-01 9:35 ` Vladimir Sementsov-Ogievskiy
2025-10-21 18:49 ` Peter Xu
2025-09-17 18:23 ` Fabiano Rosas
2025-10-09 21:41 ` Peter Xu
2025-09-26 3:41 ` Zhijian Li (Fujitsu)
2025-10-08 21:10 ` Peter Xu
2025-08-27 20:59 ` [PATCH RFC 6/9] migration/rdma: Remove coroutine path in qemu_rdma_wait_comp_channel Peter Xu
2025-09-16 22:39 ` Fabiano Rosas
2025-10-08 21:18 ` Peter Xu
2025-09-26 2:44 ` Zhijian Li (Fujitsu)
2025-08-27 20:59 ` [PATCH RFC 7/9] migration/postcopy: Remove workaround on wait preempt channel Peter Xu
2025-09-17 18:30 ` Fabiano Rosas
2025-08-27 20:59 ` [PATCH RFC 8/9] migration/ram: Remove workaround on ram yield during load Peter Xu
2025-09-17 18:31 ` Fabiano Rosas
2025-08-27 20:59 ` [PATCH RFC 9/9] migration/rdma: Remove rdma_cm_poll_handler Peter Xu
2025-09-17 18:38 ` Fabiano Rosas
2025-10-08 21:22 ` Peter Xu
2025-09-26 3:38 ` Zhijian Li (Fujitsu)
2025-08-29 8:29 ` [PATCH RFC 0/9] migration: Threadify loadvm process Vladimir Sementsov-Ogievskiy
2025-08-29 17:18 ` Peter Xu
2025-09-04 8:27 ` Zhang Chen
2025-10-08 21:26 ` Peter Xu
2025-10-20 21:41 ` Peter Xu
2025-10-20 22:08 ` Lukas Straub
2025-10-21 2:31 ` Zhang Chen
2025-10-21 13:58 ` Peter Xu
2025-09-16 21:32 ` Fabiano Rosas
2025-10-09 16:58 ` Peter Xu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=aObK4dCldBXcGq2W@x1.local \
--to=peterx@redhat.com \
--cc=berrange@redhat.com \
--cc=dave@treblig.org \
--cc=farosas@suse.de \
--cc=jmarcin@redhat.com \
--cc=kwolf@redhat.com \
--cc=lizhijian@fujitsu.com \
--cc=pbonzini@redhat.com \
--cc=ppandit@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=vsementsov@yandex-team.ru \
--cc=yury-kotov@yandex-team.ru \
--cc=zhangckid@gmail.com \
--cc=zhanghailiang@xfusion.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.