All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Daniel P. Berrangé" <berrange@redhat.com>
To: marcandre.lureau@redhat.com
Cc: qemu-devel@nongnu.org,
	"Dr. David Alan Gilbert" <dave@treblig.org>,
	"Christian Brauner" <brauner@kernel.org>,
	devel@lists.libvirt.org, "Markus Armbruster" <armbru@redhat.com>,
	"Philippe Mathieu-Daudé" <philmd@mailo.com>,
	"Paolo Bonzini" <pbonzini@redhat.com>,
	"Alex Bennée" <alex.bennee@linaro.org>
Subject: Re: [PATCH v4 32/35] monitor: add support for auto-deleting monitors upon close
Date: Tue, 23 Jun 2026 12:55:37 +0100	[thread overview]
Message-ID: <ajp0OSbg32-LrZlX@redhat.com> (raw)
In-Reply-To: <178221561777.3416386.3900546214136378913.b4-review@b4>

On Tue, Jun 23, 2026 at 03:53:37PM +0400, marcandre.lureau@redhat.com wrote:
> > The default monitor is usually a long lived object that will exist for
> > the entire lifetime of the VM. A monitor can only service a single
> > client at a time though, and so it might be desirable to hotplug
> > additional monitors at runtime for specific tasks. If doing that,
> > however, there is a need to remove the monitor when it is no longer
> > needed.
> > 
> > Allowing a client to run "object-del" against its own monitor adds
> > complex edge cases, as it would be desirable to send the QMP response
> > despite the monitor sending it being deleted. Doing "object-del" alone
> > will also result in orphaning a character device backend instance, as
> > there is no opportunity to run the companion "chardev-del" command.
> > 
> > A simpler way to ensure cleanup is to add the concept of auto-deleting
> > monitor objects. Specifically when the "CHR_EVENT_CLOSED" event is
> > emitted, the equivalent of "object-del" + "chardev-del" can be run
> > internally. Since the transient client has already droppped its
> > monitor connection, there is no synchronization to be concerned about.
> > 
> > This is implemented via a new "close-action=none|delete" property on
> > the 'monitor-qmp' object. This concept could be extended with further
> > actions in future, for example:
> > 
> >  * close-action=shutdown - graceful guest shutdown
> >  * close-action=terminate - immediate guest poweroff
> >  * close-action=stop - pause guest CPUs while the monitor is not
> >                        connected to any client
> > 
> > This is left as an exercise for future interested contributors.
> > 
> > Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>
> > Message-ID: <20260623095551.2106712-33-berrange@redhat.com>
> >
> > diff --git a/qapi/qom.json b/qapi/qom.json
> > index 6ed510858e1..63335b8fd09 100644
> > --- a/qapi/qom.json
> > +++ b/qapi/qom.json
> > @@ -1213,18 +1213,37 @@
> >    'base': 'MonitorProperties',
> >    'data': { '*readline': 'bool' } }
> >  
> > +
> > +##
> > +# @MonitorQMPCloseAction:
> > +#
> > +# Action to take when the character device backend is
> > +# closed.
> > +#
> > +# @none: take no action (the default)
> > +# @delete: delete both the 'monitor-qmp' object and its associated
> > +#          character device backend object
> > +#
> > +# Since 11.1
> > +##
> > +{ 'enum' : 'MonitorQMPCloseAction',
> > +  'data': ['none', 'delete'] }
> > +
> >  ##
> >  # @MonitorQMPProperties:
> >  #
> >  # Properties for the QMP monitor
> >  #
> >  # @pretty: whether to pretty print JSON responses (default: disabled)
> > +# @close-action: action to take when the character device backend
> > +#                is closed (default: none)
> >  #
> >  # Since: 11.1
> >  ##
> >  { 'struct': 'MonitorQMPProperties',
> >    'base': 'MonitorProperties',
> > -  'data': { '*pretty': 'bool' } }
> > +  'data': { '*pretty': 'bool',
> > +            '*close-action': 'MonitorQMPCloseAction' } }
> >  
> >  ##
> >  # @ObjectType:
> > diff --git a/monitor/monitor-internal.h b/monitor/monitor-internal.h
> > index 5522e05464b..23829f32f9a 100644
> > --- a/monitor/monitor-internal.h
> > +++ b/monitor/monitor-internal.h
> > @@ -28,6 +28,7 @@
> >  #include "chardev/char-fe.h"
> >  #include "monitor/monitor.h"
> >  #include "qapi/qapi-types-control.h"
> > +#include "qapi/qapi-types-qom.h"
> >  #include "qapi/qmp-registry.h"
> >  #include "qobject/json-parser.h"
> >  #include "qemu/readline.h"
> > @@ -178,7 +179,9 @@ struct MonitorQMP {
> >      Monitor parent_obj;
> >      JSONMessageParser parser;
> >      bool pretty;
> > +    MonitorQMPCloseAction close_action;
> >      bool setup_pending; /* iothread BH has not yet set up chardev handlers */
> > +    bool delete_pending; /* close_action has started 'delete' process */
> >      /*
> >       * When a client connects, we're in capabilities negotiation mode.
> >       * @commands is &qmp_cap_negotiation_commands then.  When command
> > diff --git a/monitor/qmp.c b/monitor/qmp.c
> > index 5301927f09f..f6b7fe65bbf 100644
> > --- a/monitor/qmp.c
> > +++ b/monitor/qmp.c
> > @@ -28,6 +28,7 @@
> >  #include "monitor-internal.h"
> >  #include "qapi/error.h"
> >  #include "qapi/qapi-commands-control.h"
> > +#include "qapi/qapi-commands-char.h"
> >  #include "qobject/qdict.h"
> >  #include "qobject/qjson.h"
> >  #include "qobject/qlist.h"
> > @@ -103,6 +104,20 @@ static void monitor_qmp_set_pretty(Object *obj, bool val, Error **errp)
> >      mon->pretty = val;
> >  }
> >  
> > +static int monitor_qmp_get_close_action(Object *obj, Error **errp)
> > +{
> > +    MonitorQMP *mon = MONITOR_QMP(obj);
> > +
> > +    return mon->close_action;
> > +}
> > +
> > +static void monitor_qmp_set_close_action(Object *obj, int val, Error **errp)
> > +{
> > +    MonitorQMP *mon = MONITOR_QMP(obj);
> > +
> > +    mon->close_action = val;
> > +}
> > +
> >  static void monitor_qmp_emit_event(Monitor *mon, QAPIEvent event, QDict *qdict);
> >  static bool monitor_qmp_requires_iothread(const Monitor *mon);
> >  static void monitor_qmp_complete(UserCreatable *uc, Error **errp);
> > @@ -117,6 +132,11 @@ static void monitor_qmp_class_init(ObjectClass *cls, const void *data)
> >      object_class_property_add_bool(cls, "pretty",
> >                                     monitor_qmp_get_pretty,
> >                                     monitor_qmp_set_pretty);
> > +    object_class_property_add_enum(cls, "close-action",
> > +                                   "MonitorQMPCloseAction",
> > +                                   &MonitorQMPCloseAction_lookup,
> > +                                   monitor_qmp_get_close_action,
> > +                                   monitor_qmp_set_close_action);
> >  
> >      moncls->emit_event = monitor_qmp_emit_event;
> >      moncls->requires_iothread = monitor_qmp_requires_iothread;
> > @@ -550,11 +570,38 @@ static QDict *qmp_greeting(MonitorQMP *mon)
> >          ver, cap_list);
> >  }
> >  
> > +static void monitor_qmp_self_delete_bh(void *opaque)
> > +{
> > +    MonitorQMP *mon = opaque;
> > +    g_autofree char *mon_id = object_property_get_child_name(
> > +        object_get_objects_root(), OBJECT(mon));
> > +    g_autofree char *chardev_id = g_strdup(mon->parent_obj.chardev_id);
> > +    Error *local_error = NULL;
> > +
> > +    g_assert(mon_id);
> 
> If object-del beats this BH, mon_id might be NULL. Return silently?

Yeah, will do.


> > @@ -566,6 +613,7 @@ static void monitor_qmp_event(void *opaque, QEMUChrEvent event)
> >          qobject_unref(data);
> >          break;
> >      case CHR_EVENT_CLOSED:
> > +        mon->delete_pending = true;
> 
> Shouldn't it be set in the MONITOR_QMP_CLOSE_ACTION_DELETE case only?

Yes, this is the cause of the bug that Peter reported with libvirt
hanging.

> 
> >          /*
> >           * Note: this is only useful when the output of the chardev
> >           * backend is still open.  For example, when the backend is
> > @@ -577,6 +625,26 @@ static void monitor_qmp_event(void *opaque, QEMUChrEvent event)
> >          json_message_parser_init(&mon->parser, handle_qmp_command,
> >                                   mon, NULL);
> >          monitor_fdsets_cleanup();
> > +        switch (mon->close_action) {
> > +        case MONITOR_QMP_CLOSE_ACTION_NONE:
> > +            break; /* nada */
> > +        case MONITOR_QMP_CLOSE_ACTION_DELETE:
> > +            /*
> > +             * Do NOT run in the AIO context associated with the
> > +             * monitor. We need to run in the default AIO context
> > +             * which is the same context in which 'qmp_object_del'
> > +             * will execute
> > +             *
> > +             * Hold an extra ref in case a separate monitor races
> > +             * with the BH by processing an expliciti 'object-del'
> 
> "expliciti" -> "explicit"

With regards,
Daniel
-- 
|: https://berrange.com       ~~        https://hachyderm.io/@berrange :|
|: https://libvirt.org          ~~          https://entangle-photo.org :|
|: https://pixelfed.art/berrange   ~~    https://fstop138.berrange.com :|



  reply	other threads:[~2026-06-23 11:55 UTC|newest]

Thread overview: 45+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-06-23  9:55 [PATCH v4 00/35] monitor: turn QMP and HMP into QOM objects Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 01/35] qom: replace 'can_be_deleted' with 'prepare_delete' Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 02/35] monitor: replace 'common' with 'parent_obj' in MonitorHMP Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 03/35] monitor: replace 'common' with 'parent_obj' in MonitorQMP Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 04/35] monitor: rename monitor_init* to monitor_new* Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 05/35] monitor: minimal conversion of monitors to QOM Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 06/35] monitor: add 'chardev' property to Monitor base class Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 07/35] monitor: add 'readline' property to HMP Monitor class Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 08/35] monitor: add 'pretty' property to QMP " Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 09/35] monitor: remove 'skip_flush' field Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 10/35] monitor: move monitor_data_(init|destroy) into QOM init/finalize Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 11/35] monitor: use class methods for monitor_vprintf Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 12/35] monitor: use class methods for monitor_qapi_event_emit Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 13/35] monitor: use class methods for monitor_accept_input Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 14/35] monitor: use class method for I/O thread request Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 15/35] monitor: use dynamic cast in monitor_qmp_requests_pop_any_with_lock Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 16/35] util: use dynamic cast in error vreport Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 17/35] monitor: drop unused monitor_cur_is_qmp Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 18/35] monitor: use dynamic cast in QMP commands Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 19/35] monitor: use dynamic cast in monitor_is_hmp_non_interactive Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 20/35] monitor: drop unused monitor_is_qmp method Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 21/35] monitor: eliminate monitor_is_hmp_non_interactive method Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 22/35] monitor: implement "user creatable" interface for adding monitors Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 23/35] monitor: convert from oneshot BH to persistent BH Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 24/35] monitor: reject attempts to delete the current monitor Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 25/35] monitor: protect qemu_chr_fe_accept_input with monitor lock Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 26/35] monitor: implement support for deleting QMP objects Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 27/35] tests/qtest: add tests for dynamic monitor add/remove Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 28/35] tests/functional: add e2e test for dynamic QMP monitor hotplug Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 29/35] tests/functional: add a stress test for monitor hot unplug Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 30/35] qom: add method for getting the "id" of a QOM object Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 31/35] qom: add trace events for user creatable create/delete APIs Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 32/35] monitor: add support for auto-deleting monitors upon close Daniel P. Berrangé
2026-06-23 11:53   ` marcandre.lureau
2026-06-23 11:55     ` Daniel P. Berrangé [this message]
2026-06-23  9:55 ` [PATCH v4 33/35] tests: switch from -mon to -object monitor-qmp Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 34/35] qemu-options: document new monitor-hmp and monitor-qmp objects Daniel P. Berrangé
2026-06-23  9:55 ` [PATCH v4 35/35] docs: mark '-mon' as deprecated in favour of -object Daniel P. Berrangé
2026-06-23 11:03 ` [PATCH v4 00/35] monitor: turn QMP and HMP into QOM objects Peter Krempa
2026-06-23 11:07   ` Peter Krempa
2026-06-23 11:38   ` Daniel P. Berrangé
2026-06-23 11:52     ` Daniel P. Berrangé
2026-06-23 11:54       ` Marc-André Lureau
2026-06-23 12:01         ` Daniel P. Berrangé
2026-06-23 12:18       ` Peter Krempa

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=ajp0OSbg32-LrZlX@redhat.com \
    --to=berrange@redhat.com \
    --cc=alex.bennee@linaro.org \
    --cc=armbru@redhat.com \
    --cc=brauner@kernel.org \
    --cc=dave@treblig.org \
    --cc=devel@lists.libvirt.org \
    --cc=marcandre.lureau@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=philmd@mailo.com \
    --cc=qemu-devel@nongnu.org \
    /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.