On Fri, Jul 06, 2018 at 03:19:56PM +0200, Markus Armbruster wrote:
> Peter Xu <pet...@redhat.com> writes:
>
> > On Fri, Jul 06, 2018 at 10:09:58AM +0200, Markus Armbruster wrote:
> >> If I understand the code correctly, the response queue
> >> mon->qmp..qmp_requests gets drained into the output buffer mon->outbuf
> >> by bottom half monitor_qmp_bh_responder(). The response queue remains
> >> small, it's the output buffer that grows without bounds. Your test for
> >> "limit exceeded" measures the response queue. It needs to measure the
> >> output buffer instead.
> >>
> >> We could drain the response queue only when the output buffer isn't too
> >> full. I think that makes sense only if we have a compelling use for
> >> keeping responses in QDict form for a longer time.
> >
> > Indeed. I didn't really notice that we're having an unlimited out_buf
> > there.
> >
> > To double confirm it's working, I firstly added some tracepoints:
> >
> > =============
> > diff --git a/monitor.c b/monitor.c
> > index 9eb9f06599..18ab609eab 100644
> > --- a/monitor.c
> > +++ b/monitor.c
> > @@ -375,6 +375,7 @@ static void
> > monitor_qmp_cleanup_req_queue_locked(Monitor *mon)
> > while (!g_queue_is_empty(mon->qmp.qmp_requests)) {
> > qmp_request_free(g_queue_pop_head(mon->qmp.qmp_requests));
> > }
> > + trace_monitor_qmp_request_queue(mon, 0);
> > }
> >
> > /* Caller must hold the mon->qmp.qmp_lock */
> > @@ -383,6 +384,7 @@ static void
> > monitor_qmp_cleanup_resp_queue_locked(Monitor *mon)
> > while (!g_queue_is_empty(mon->qmp.qmp_responses)) {
> > qobject_unref((QDict *)g_queue_pop_head(mon->qmp.qmp_responses));
> > }
> > + trace_monitor_qmp_response_queue(mon, 0);
> > }
> >
> > static void monitor_qmp_cleanup_queues(Monitor *mon)
> > @@ -408,6 +410,7 @@ static void monitor_qmp_try_resume_locked(Monitor *mon)
> > if (mon->qmp.need_resume) {
> > monitor_resume(mon);
> > mon->qmp.need_resume = false;
> > + trace_monitor_qmp_resume(mon);
> > }
> > }
> >
> > @@ -555,6 +558,7 @@ static void qmp_queue_response(Monitor *mon, QDict *rsp)
> > */
> > qemu_mutex_lock(&mon->qmp.qmp_lock);
> > g_queue_push_tail(mon->qmp.qmp_responses, qobject_ref(rsp));
> > + trace_monitor_qmp_response_queue(mon,
> > mon->qmp.qmp_responses->length);
> > qemu_mutex_unlock(&mon->qmp.qmp_lock);
> > qemu_bh_schedule(qmp_respond_bh);
> > } else {
> > @@ -578,6 +582,7 @@ static QDict *monitor_qmp_response_pop_one(Monitor *mon)
> >
> > qemu_mutex_lock(&mon->qmp.qmp_lock);
> > data = g_queue_pop_head(mon->qmp.qmp_responses);
> > + trace_monitor_qmp_response_queue(mon, mon->qmp.qmp_responses->length);
> > /* In case if we were suspended due to response queue full */
> > monitor_qmp_try_resume_locked(mon);
> > qemu_mutex_unlock(&mon->qmp.qmp_lock);
> > @@ -4183,6 +4188,7 @@ static QMPRequest *monitor_qmp_requests_pop_any(void)
> > QTAILQ_FOREACH(mon, &mon_list, entry) {
> > qemu_mutex_lock(&mon->qmp.qmp_lock);
> > req_obj = g_queue_pop_head(mon->qmp.qmp_requests);
> > + trace_monitor_qmp_request_queue(mon,
> > mon->qmp.qmp_requests->length);
> > qemu_mutex_unlock(&mon->qmp.qmp_lock);
> > if (req_obj) {
> > break;
> > @@ -4239,6 +4245,7 @@ static void monitor_qmp_suspend_locked(Monitor *mon)
> > assert(mon->qmp.need_resume == false);
> > monitor_suspend(mon);
> > mon->qmp.need_resume = true;
> > + trace_monitor_qmp_suspend(mon);
> > }
> >
> > static void handle_qmp_command(JSONMessageParser *parser, GQueue *tokens)
> > @@ -4312,6 +4319,7 @@ static void handle_qmp_command(JSONMessageParser
> > *parser, GQueue *tokens)
> > * etc. will be delivered to the handler side.
> > */
> > g_queue_push_tail(mon->qmp.qmp_requests, req_obj);
> > + trace_monitor_qmp_request_queue(mon, mon->qmp.qmp_requests->length);
> > qemu_mutex_unlock(&mon->qmp.qmp_lock);
> >
> > /* Kick the dispatcher routine */
> > diff --git a/trace-events b/trace-events
> > index c445f54773..bd9dade938 100644
> > --- a/trace-events
> > +++ b/trace-events
> > @@ -50,6 +50,10 @@ handle_qmp_command(void *mon, const char *req) "mon %p
> > req: %s"
> > monitor_suspend(void *ptr, int cnt) "mon %p: %d"
> > monitor_qmp_cmd_in_band(const char *id) "%s"
> > monitor_qmp_cmd_out_of_band(const char *id) "%s"
> > +monitor_qmp_suspend(void *mon) "mon=%p"
> > +monitor_qmp_resume(void *mon) "mon=%p"
> > +monitor_qmp_request_queue(void *mon, int len) "mon=%p len=%d"
> > +monitor_qmp_response_queue(void *mon, int len) "mon=%p len=%d"
> >
> > # dma-helpers.c
> > dma_blk_io(void *dbs, void *bs, int64_t offset, bool to_dev) "dbs=%p bs=%p
> > offset=%" PRId64 " to_dev=%d"
> > =============
> >
> > Then, I explicitly hanged the response BH by:
> >
> > =============
> > diff --git a/monitor.c b/monitor.c
> > index 18ab609eab..1f38084a4c 100644
> > --- a/monitor.c
> > +++ b/monitor.c
> > @@ -560,7 +560,7 @@ static void qmp_queue_response(Monitor *mon, QDict *rsp)
> > g_queue_push_tail(mon->qmp.qmp_responses, qobject_ref(rsp));
> > trace_monitor_qmp_response_queue(mon,
> > mon->qmp.qmp_responses->length);
> > qemu_mutex_unlock(&mon->qmp.qmp_lock);
> > - qemu_bh_schedule(qmp_respond_bh);
> > + //qemu_bh_schedule(qmp_respond_bh);
> > } else {
> > /*
> > * Not using monitor I/O thread, i.e. we are in the main thread.
>
> This stops draining of the response queue into the output buffer.
>
> > =============
> >
> > Then this is what I got for command:
> >
> > $ cat cmd_list | qemu-system-x86_64 -qmp stdio -nographic -nodefaults
> > -trace enable="monitor_qmp*"
> >
> > Result:
> >
> > 9815@1530867603.464498:monitor_qmp_response_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.464782:monitor_qmp_suspend mon=0x55de6bfc4800
> > 9815@1530867603.464788:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489017:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489030:monitor_qmp_cmd_in_band
> > 9815@1530867603.489050:monitor_qmp_response_queue mon=0x55de6bfc4800 len=2
> > 9815@1530867603.489057:monitor_qmp_resume mon=0x55de6bfc4800
> > <------- [0]
> > 9815@1530867603.489099:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489205:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489311:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489317:monitor_qmp_cmd_in_band
> > 9815@1530867603.489329:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489419:monitor_qmp_response_queue mon=0x55de6bfc4800 len=3
> > 9815@1530867603.489432:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489437:monitor_qmp_cmd_in_band
> > 9815@1530867603.489450:monitor_qmp_response_queue mon=0x55de6bfc4800 len=4
> > 9815@1530867603.489459:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489465:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489468:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489471:monitor_qmp_cmd_in_band
> > 9815@1530867603.489484:monitor_qmp_response_queue mon=0x55de6bfc4800 len=5
> > 9815@1530867603.489492:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489575:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489584:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489595:monitor_qmp_cmd_in_band
> > 9815@1530867603.489614:monitor_qmp_response_queue mon=0x55de6bfc4800 len=6
> > 9815@1530867603.489624:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489693:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489703:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489708:monitor_qmp_cmd_in_band
> > 9815@1530867603.489725:monitor_qmp_response_queue mon=0x55de6bfc4800 len=7
> > 9815@1530867603.489736:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489818:monitor_qmp_suspend mon=0x55de6bfc4800
> > <-------------[1]
> > 9815@1530867603.489823:monitor_qmp_request_queue mon=0x55de6bfc4800 len=1
> > 9815@1530867603.489837:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > 9815@1530867603.489847:monitor_qmp_cmd_in_band
> > 9815@1530867603.489874:monitor_qmp_response_queue mon=0x55de6bfc4800 len=8
> > 9815@1530867603.489892:monitor_qmp_request_queue mon=0x55de6bfc4800 len=0
> > [hangs here]
> >
> > I think we have [1] right after response queue reaches N-1, I suppose
> > that means current patch is working. Note that the suspend at [0] is
> > only the first "qmp_capability" command, since before we enable OOB
> > we'll still emulate the old monitor so that's by design.
>
> Your experiment shows the patch succeeds at limiting the response queue
> length. However, the "response queue mon->qmp..qmp_requests gets
> drained into the output buffer mon->outbuf by bottom half
> monitor_qmp_bh_responder(). The response queue remains small, it's the
> output buffer that grows without bounds".
>
> To demonstrate that, let me add another tracepoint:
>
> diff --git a/monitor.c b/monitor.c
> index 3bea239bc7..e35e15b43e 100644
> --- a/monitor.c
> +++ b/monitor.c
> @@ -451,6 +451,7 @@ static void monitor_flush_locked(Monitor *mon)
>
> buf = qstring_get_str(mon->outbuf);
> len = qstring_get_length(mon->outbuf);
> + trace_monitor_flush_locked(mon, len);
>
> if (len && !mon->mux_out) {
> rc = qemu_chr_fe_write(&mon->chr, (const uint8_t *) buf, len);
> diff --git a/trace-events b/trace-events
> index bd9dade938..b6d5d28041 100644
> --- a/trace-events
> +++ b/trace-events
> @@ -54,6 +54,7 @@ monitor_qmp_suspend(void *mon) "mon=%p"
> monitor_qmp_resume(void *mon) "mon=%p"
> monitor_qmp_request_queue(void *mon, int len) "mon=%p len=%d"
> monitor_qmp_response_queue(void *mon, int len) "mon=%p len=%d"
> +monitor_flush_locked(void *mon, int len) "mon=%p len=%d"
>
> # dma-helpers.c
> dma_blk_io(void *dbs, void *bs, int64_t offset, bool to_dev) "dbs=%p bs=%p
> offset=%" PRId64 " to_dev=%d"
>
> Start this QEMU:
>
> $ upstream-qemu -chardev socket,id=qmp,path=test-qmp,server=on,wait=off
> -mon mode=control,chardev=qmp -display none -nodefaults -trace
> enable="monitor_qmp*" -trace enable=monitor_flush_locked
> 3236@1530882919.092979:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882919.093018:monitor_qmp_response_queue mon=0x56192215baf0 len=2
> 3236@1530882919.093076:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882919.093095:monitor_flush_locked mon=0x56192215baf0 len=107
> 3236@1530882919.093103:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882919.093112:monitor_flush_locked mon=0x56192215baf0 len=82
> 3236@1530882919.093118:monitor_qmp_response_queue mon=0x56192215baf0 len=0
>
> Now let me feed a couple of commands to that without reading any of
> their responses. To do that, run in another terminal:
>
> $ socat -u STDIO UNIX:test-qmp
> { "execute": "qmp_capabilities", "arguments": { "enable": ["oob"] } }
>
> Note that -u makes socat use the first address (STDIO) only for reading,
> and the second one (the QMP socket) only for writing. This QMP client
> fails to read any responses.
This is useful. :)
> QEMU prints:
>
> 3236@1530882921.894996:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882921.895049:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882921.895171:monitor_flush_locked mon=0x56192215baf0 len=136
> 3236@1530882921.895221:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882923.954233:monitor_qmp_suspend mon=0x56192215baf0
> 3236@1530882923.954262:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882923.954314:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882923.954341:monitor_qmp_cmd_in_band
> 3236@1530882923.954407:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882923.954430:monitor_qmp_resume mon=0x56192215baf0
> 3236@1530882923.954476:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882923.954501:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882923.954548:monitor_flush_locked mon=0x56192215baf0 len=16
> 3236@1530882923.954587:monitor_qmp_response_queue mon=0x56192215baf0 len=0
>
> Back in socat, execute a few commands, one after the other, with short
> pauses in between:
>
> { "execute": "query-qmp-schema" }
> { "execute": "query-qmp-schema" }
> { "execute": "query-qmp-schema" }
> { "execute": "query-qmp-schema" }
> { "execute": "query-qmp-schema" }
> { "execute": "quit" }
>
> QEMU prints:
>
> 3236@1530882931.529666:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882931.529768:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882931.529799:monitor_qmp_cmd_in_band
> 3236@1530882931.537403:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882931.537474:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882931.537481:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882931.544809:monitor_flush_locked mon=0x56192215baf0 len=129073
> 3236@1530882931.548465:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882935.345300:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882935.345399:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882935.345431:monitor_qmp_cmd_in_band
> 3236@1530882935.355347:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882935.355453:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882935.355513:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882935.366228:monitor_flush_locked mon=0x56192215baf0 len=129073
> 3236@1530882935.369826:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882936.985228:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882936.985338:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882936.985371:monitor_qmp_cmd_in_band
> 3236@1530882936.991813:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882936.991893:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882936.991900:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882936.999026:monitor_flush_locked mon=0x56192215baf0 len=148514
> 3236@1530882937.002865:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882937.905712:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882937.905873:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882937.905898:monitor_qmp_cmd_in_band
> 3236@1530882937.911889:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882937.911958:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882937.911964:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882937.919079:monitor_flush_locked mon=0x56192215baf0 len=277587
> 3236@1530882937.922546:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882939.313235:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882939.313551:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882939.313586:monitor_qmp_cmd_in_band
> 3236@1530882939.323542:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882939.323619:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882939.323651:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882939.335255:monitor_flush_locked mon=0x56192215baf0 len=406660
> 3236@1530882939.338829:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882945.161013:monitor_qmp_request_queue mon=0x56192215baf0 len=1
> 3236@1530882945.161122:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882945.161153:monitor_qmp_cmd_in_band
> 3236@1530882945.163191:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882945.163283:monitor_qmp_response_queue mon=0x56192215baf0 len=2
> 3236@1530882945.163360:monitor_qmp_response_queue mon=0x56192215baf0 len=1
> 3236@1530882945.163407:monitor_flush_locked mon=0x56192215baf0 len=406676
> 3236@1530882945.163439:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882945.163489:monitor_flush_locked mon=0x56192215baf0 len=406787
> 3236@1530882945.163518:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882945.163695:monitor_qmp_response_queue mon=0x56192215baf0 len=0
> 3236@1530882945.163725:monitor_flush_locked mon=0x56192215baf0 len=406787
> 3236@1530882945.163866:monitor_qmp_request_queue mon=0x56192215baf0 len=0
> 3236@1530882945.163879:monitor_qmp_response_queue mon=0x56192215baf0 len=0
>
> The response queue length stays small (the bottom half drains it just
> fine), but the output buffer keeps growing.
Yes, I think I understood this part. Indeed we have an unbound output
buffer, I think we should fix it somehow, though for now I am not sure
that'll be a trivial fix for 3.0. What I wanted to demostrate is that
the queue limitation is working, so basically we should fix both
places at last, and this patch fixes the first problem.
After all IIUC this output buffer problem exists even before the
out-of-band work, and it's there for at least years.
>
> >> Marc-André has a patch to cut out the response queue. Whether it still
> >> makes sense I don't know.
> >> [PATCH v3 03/38] Revert "qmp: isolate responses into io thread"
> >
> > I think we discussed this before, I agree with Marc-Andre that most of
> > the codes that are related to response flushing should be thread safe
> > now. Actually it was not when we started to draft the out-of-band
> > thing, and that's the major reason why I refactored my old code to
> > explicitly separate the dispatcher and the responder, so that
> > responder can be isolated and be together with the parser.
> >
> > I don't have obvious reason to remove this layer of isolation if it
> > works well (and actually the code is not that much, and IMHO the
> > response queue is a clear interface that maybe we can use in the
> > future too), I think my major concern now is that we're in rc phase
> > for QEMU-3.0 so that it at least seems to be a big change to monitor
> > layer. We might consider to revert back to no-responder way if we
> > really want, but I guess we'd better do as much testing as when we
> > started to play with out-of-band to make sure we won't miss anything
> > important (and I guess the patch will need a non-trivial rebase after
> > we worked upon the queues recently). Considering that, I don't really
> > see much help on removing that layer. Or, do we have any other reason
> > to remove the response queue that I'm not aware of?
>
> I think we first need to figure out where we want to go. That includes
> how to provide flow control. Then we can decide how far to go in 3.0,
> and whether we need to detour.
For my own opinion, I'll see it a bit awkward (as I mentioned) to
revert the response queue part. Again, it's mostly working well
there, we just fix things up when needed. It's not really a big part
of code to maintain, and it still looks sane to me to have such an
isolation so that we can have the dispatcher totally separate from the
chardev IO path (I'd say if I design a QMP interface from scratch,
I'll do that from the first day). So I am not against reverting that
part at all, I just don't see much gain from that as well, especially
if we want to make QMP more modular in the future.
Thanks,
--
Peter Xu
