a15fcc3cf6
We have a couple places in the code base that want to deep-clone
one QAPI object into another, and they were resorting to serializing
the struct out to QObject then reparsing it. A much more efficient
version can be done by adding a new clone visitor.
Since cloning is still relatively uncommon, expose the use of the
new visitor via a QAPI_CLONE() macro that takes care of type-punning
the underlying function pointer, rather than generating lots of
unused functions for types that won't be cloned. And yes, we're
relying on the compiler treating all pointers equally, even though
a strict C program cannot portably do so - but we're not the first
one in the qemu code base to expect it to work (hello, glib!).
The choice of adding a fourth visitor type deserves some explanation.
On the surface, the clone visitor is mostly an input visitor (it
takes arbitrary input - in this case, another QAPI object - and
creates a new QAPI object during the course of the visit). But
ever since commit da72ab0 consolidated enum visits based on the
visitor type, using VISITOR_INPUT would cause us to run
visit_type_str(), even though for cloning there is nothing to do
(we just copy the enum value across, without regards to its mapping
to strings). Also, since our input happens to be a QAPI object,
we can also satisfy the internal checks for VISITOR_OUTPUT. So in
the end, I settled with a new VISITOR_CLONE, and chose its value
such that many internal checks can use 'v->type & mask', sticking
to 'v->type == value' where the difference matters.
Note that we can only clone objects (including alternates) and lists,
not built-ins or enums. The visitor core hides integer width from
the actual visitor (since commit 04e070d), and as long as that's the
case, we can't clone top-level integers. Then again, those can
always be cloned by direct copy, since they are not objects with
deep pointers, so it's no real loss. And restricting cloning to
just objects and lists is cleaner than restricting it to non-integers.
As such, I documented that the clone visitor is for direct use only
by code internal to QAPI, and should not be used on incomplete objects
(other than a hack to work around the fact that we allow NULL in place
of "" in visit_type_str() in other output visitors). Note that as
written, the clone visitor will never fail on a complete object.
Scalars (including enums) not at the root of the clone copy just fine
with no additional effort while visiting the scalar, by virtue of a
g_memdup() each time we push another struct onto the stack. Cloning
a string requires deduplication of a pointer, which means it can also
provide the guarantee of an input visitor of never producing NULL
even when still accepting NULL in place of "" the way the QMP output
visitor does.
Cloning an 'any' type could be possible by incrementing the QObject
refcnt, but it's not obvious whether that is better than implementing
a QObject deep clone. So for now, we document it as unsupported,
and intentionally omit the .type_any() callback to let a developer
know their usage needs implementation.
Add testsuite coverage for several different clone situations, to
ensure that the code is working. I also tested that valgrind was
happy with the test.
Signed-off-by: Eric Blake <eblake@redhat.com>
Message-Id: <1465490926-28625-14-git-send-email-eblake@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
120 lines
4 KiB
C
120 lines
4 KiB
C
/*
|
|
* Core Definitions for QAPI Visitor implementations
|
|
*
|
|
* Copyright (C) 2012-2016 Red Hat, Inc.
|
|
*
|
|
* Author: Paolo Bonizni <pbonzini@redhat.com>
|
|
*
|
|
* This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
|
|
* See the COPYING.LIB file in the top-level directory.
|
|
*
|
|
*/
|
|
#ifndef QAPI_VISITOR_IMPL_H
|
|
#define QAPI_VISITOR_IMPL_H
|
|
|
|
#include "qapi/visitor.h"
|
|
|
|
/*
|
|
* This file describes the callback interface for implementing a QAPI
|
|
* visitor. For the client interface, see visitor.h. When
|
|
* implementing the callbacks, it is easiest to declare a struct with
|
|
* 'Visitor visitor;' as the first member. A callback's contract
|
|
* matches the corresponding public functions' contract unless stated
|
|
* otherwise. In the comments below, some callbacks are marked "must
|
|
* be set for $TYPE visits to work"; if a visitor implementation omits
|
|
* that callback, it should also document that it is only useful for a
|
|
* subset of QAPI.
|
|
*/
|
|
|
|
/*
|
|
* There are four classes of visitors; setting the class determines
|
|
* how QAPI enums are visited, as well as what additional restrictions
|
|
* can be asserted. The values are intentionally chosen so as to
|
|
* permit some assertions based on whether a given bit is set (that
|
|
* is, some assertions apply to input and clone visitors, some
|
|
* assertions apply to output and clone visitors).
|
|
*/
|
|
typedef enum VisitorType {
|
|
VISITOR_INPUT = 1,
|
|
VISITOR_OUTPUT = 2,
|
|
VISITOR_CLONE = 3,
|
|
VISITOR_DEALLOC = 4,
|
|
} VisitorType;
|
|
|
|
struct Visitor
|
|
{
|
|
/* Must be set to visit structs */
|
|
void (*start_struct)(Visitor *v, const char *name, void **obj,
|
|
size_t size, Error **errp);
|
|
|
|
/* Optional; intended for input visitors */
|
|
void (*check_struct)(Visitor *v, Error **errp);
|
|
|
|
/* Must be set to visit structs */
|
|
void (*end_struct)(Visitor *v, void **obj);
|
|
|
|
/* Must be set; implementations may require @list to be non-null,
|
|
* but must document it. */
|
|
void (*start_list)(Visitor *v, const char *name, GenericList **list,
|
|
size_t size, Error **errp);
|
|
|
|
/* Must be set */
|
|
GenericList *(*next_list)(Visitor *v, GenericList *tail, size_t size);
|
|
|
|
/* Must be set */
|
|
void (*end_list)(Visitor *v, void **list);
|
|
|
|
/* Must be set by input and dealloc visitors to visit alternates;
|
|
* optional for output visitors. */
|
|
void (*start_alternate)(Visitor *v, const char *name,
|
|
GenericAlternate **obj, size_t size,
|
|
bool promote_int, Error **errp);
|
|
|
|
/* Optional, needed for dealloc visitor */
|
|
void (*end_alternate)(Visitor *v, void **obj);
|
|
|
|
/* Must be set */
|
|
void (*type_int64)(Visitor *v, const char *name, int64_t *obj,
|
|
Error **errp);
|
|
|
|
/* Must be set */
|
|
void (*type_uint64)(Visitor *v, const char *name, uint64_t *obj,
|
|
Error **errp);
|
|
|
|
/* Optional; fallback is type_uint64() */
|
|
void (*type_size)(Visitor *v, const char *name, uint64_t *obj,
|
|
Error **errp);
|
|
|
|
/* Must be set */
|
|
void (*type_bool)(Visitor *v, const char *name, bool *obj, Error **errp);
|
|
|
|
/* Must be set */
|
|
void (*type_str)(Visitor *v, const char *name, char **obj, Error **errp);
|
|
|
|
/* Must be set to visit numbers */
|
|
void (*type_number)(Visitor *v, const char *name, double *obj,
|
|
Error **errp);
|
|
|
|
/* Must be set to visit arbitrary QTypes */
|
|
void (*type_any)(Visitor *v, const char *name, QObject **obj,
|
|
Error **errp);
|
|
|
|
/* Must be set to visit explicit null values. */
|
|
void (*type_null)(Visitor *v, const char *name, Error **errp);
|
|
|
|
/* Must be set for input visitors, optional otherwise. The core
|
|
* takes care of the return type in the public interface. */
|
|
void (*optional)(Visitor *v, const char *name, bool *present);
|
|
|
|
/* Must be set */
|
|
VisitorType type;
|
|
|
|
/* Must be set for output visitors, optional otherwise. */
|
|
void (*complete)(Visitor *v, void *opaque);
|
|
|
|
/* Must be set */
|
|
void (*free)(Visitor *v);
|
|
};
|
|
|
|
#endif
|