All of lore.kernel.org
 help / color / mirror / Atom feed
* [Qemu-devel] [PATCH v7 00/26] qapi: QMP introspection
@ 2015-09-14 17:57 Markus Armbruster
  2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 01/26] qapi: Rename class QAPISchema to QAPISchemaParser Markus Armbruster
                   ` (26 more replies)
  0 siblings, 27 replies; 47+ messages in thread
From: Markus Armbruster @ 2015-09-14 17:57 UTC (permalink / raw)
  To: qemu-devel; +Cc: mdroth

Series needs my "[PATCH for-2.4 0/2] qom: Fix misuse of Error API" to
pass tests.  It's in Andreas's qom-next (currently at commit de1da05),
so I based on that.

You can fetch it from my git://repo.or.cz/qemu/armbru.git branch
qapi-introspect.

Review of v6 found a small flaw in the PATCH 20.  Fixing it will
require a (possibly time-consuming) dive down the visitors rabbit
hole.  To avoid further delay, we decided to go along with the flawed
patch, then fix it up in a follow-up.  See PATCH 20 for details.

* PATCH 01-18 basically replace the intermediate representation.  The
  replacement isn't complete, but fully functional.  See PATCH 02 for
  rationale and future work.

* PATCH 19-24 replace the '**' type bypass by a proper top type called
  'any'.

* PATCH 25-26 are the QMP introspection.

v7:
* Trivial rebase, R-bys retained.
* PATCH 20:
  - Document the patch reference counting flaw [Eric]
  - Fix missing decref in tests [Eric]

v6:
* Straightforward rebase, R-bys retained.
* Generated code is unchanged.
* PATCH 02:
  - Fix typo in commit message [Eric]
* PATCH 06-09,16-17:
  - Review scaffolding patches, drop along with their reverts
* PATCH 20:
  - New, fixes a latent bug uncovered by this series
* PATCH 24 (was PATCH 30):
  - Rename qmp_query_schema() to qmp_query_qmp_schema() for
    consistency with the QMP command name [Eric]
  - Consistent spacing in introspect.json member comments [Eric]
  - Squash in old PATCH 31

v5:
* Straightforward rebase, R-bys retained.
* Generated code is unchanged unless noted otherwise.
* PATCH 02-05,10-12,15,19-21,26,30,31:
  - Make pep8 happy [Dan]
* PATCH 02,03,10-12,15,19,24,26,29-32:
  - Rename private instance variables to start with '_' [Eric]
* PATCH 02,10,11,30:
  - Really fix name of simple unions' implicit tag [Eric], and
    simplify _gen_variants
    Changes generated code, obviously.
* PATCH 02,10:
  - Delay definition of simple_union_type() until its first use
* PATCH 02:
  - Trim trailing whitespace [Dan]
  - Commit message tweak
* PATCH 10,11:
  - Explain simple union TODOs better
* PATCH 22,27,30:
  - Fix tab damage [Eric]
* PATCH 30:
  - Rename query-schema to query-qmp-schema [Michael]
    Changes generated code, obviously.
  - Documentation improvements [Michael, Eric]
  - Make to_json() robust for key containing '"' (should never happen)
    [Eric]
* PATCH 32:
  - Documentation improvements [Eric]
  - Trim trailing whitespace

v4:
* Straightforward rebase, R-bys retained unless noted otherwise.
* PATCH 02:
  - Add a TODO on catching name collisions [Eric]
  - Unify how QAPISchemaObjectType.__init__() asserts "either None or
    isinstance" [Eric]
  - Drop bogus "not implemented" comment in simple_union_type() [Eric]
  - Use iteritems() where appropriate [Eric]
  - Drop dead conditional in _def_command() [Eric]
* PATCH 03:
  - Define json_type() always
    Just to be neat; it only gets called when it was defined before.
* PATCH 04,10-12,15,30:
  - Give visit_begin() parameter schema from the start instead of
    adding it in PATCH 30 [Eric]
* PATCH 07,16:
  - Touch up commit message's hints for reviewers [Eric]
* PATCH 10+11:
  - Reword a comment more clearly [Eric]
* PATCH 11:
  - Fix test_validate_fail_union_flat_no_discrim() [Eric]
* PATCH 18:
  - Drop dead commit message paragraph [Eric]
* PATCH 26:
  - Cover ['any'] in qapi-schema-test.json [Eric]
* PATCH 30:
  - Rework commit message
  - New docs/qapi-code-gen.txt section "Client JSON Protocol
    introspection"
  - Fix docs/qapi-code-gen.txt pastos [Eric]
  - Rearrange and document qapi/introspect.json
    The forward references are intentional.  I picked this order to
    make the file more readable.
  - Fill in proper qmp-commands.hx documentation
  - Uniform spacing in generated code
  - Put the commit message's TODO on long lines into code, too
  - Drop _gen_json()'s useless default argument [Eric]
  - Fix name of simple unions' implicit tag [Eric]
  - Adjust white-space to make pylint happier
  - Fix indentation in test-qmp-input-strict.c [Eric]
* PATCH 31:
  - Commit message tweak
  - Update docs/qapi-code-gen.txt
  - R-by dropped to make sure the doc gets reviewed.
* PATCH 32:
  - New option -u to suppress the type name hiding (debugging aid)
    Easier than generating comments.  We can still generate them
    later.
  - Update docs/qapi-code-gen.txt and qapi/introspect.json comments
  - Use %d to format integers [Eric]
  - R-by dropped to make sure the doc gets reviewed.
* This change log is again long, but compared to last time, the
  changes are rather local, and most of them are to the last three
  patches.  I think we're converging.

v3:
* Straightforward rebase, R-bys retained unless noted otherwise.  Due
  to my widespread changes, you may prefer to review from scratch
  anyway.
* Old PATCH 01-19 split off into separate non-RFC series "[PATCH
  00/26] qapi: Another round of fixes and cleanups"
* PATCH 02:
  - Commit message spelling fix [Eric]
  - Clarify patch's non-effect in commit message.
  - Assert enumeration constants are unique.
  - Assert object's base is an object without variants [Eric].
  - Drop a few superfluous check() recursions.
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data for events.
  - Lower simple variants to flat ones as described on
    qapi-code-gen.txt.  Replace QAPISchemaObjectType's .flat by
    .simple_union_type(), for use by pre-existing code-generation
    warts.
  - _make_implicit_object_type() idempotent (previous item needs
    that).
  - Clean up how empty command argument dictionaries work [Eric].
  - Same for event.
  - No R-by to drop.
* PATCH 03:
  - Fix QAPISchemaEnumType.c_null() for empty enums [Eric].
  - R-by dropped.
* PATCH 04:
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data for events.
* PATCH 05:
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data for events.
  - .flat is gone, drop code to print it.
  - Expected test output changed due to revision of PATCH 02.
* PATCH 06-09,16-17: New, replacing old PATCH 25 "qapi: Make
  generators work on sorted schema expressions".
* PATCH 10:
  - Update qapi-code-gen.txt with the patch's changes.
  - Earlier patches ripple into gen_union().
  - Nicer comment on -b [Eric].
  - Objects with both members and unions aren't implemented.  Add an
    assertion [Eric].
  - No R-by to drop.
* PATCH 11:
  - Earlier patches ripple into gen_visit_union().
  - Rename guard QAPI_VISIT_BUILTIN_VISITOR_DECL to
    QAPI_VISIT_BUILTIN.
  - Nicer comment on -b [Eric].
  - Objects with both members and unions aren't implemented.  Add an
    assertion [Eric].
  - No R-by to drop.
* PATCH 12:
  - Use arg_type, ret_type instead of args, ret [Eric].
  - Zap .regy unconditionally in visit_end (squashed from PATCH 30).
* PATCH 13:
  - Commit message fixed and improved [Eric].
  - Update qapi-code-gen.txt with the patch's changes.
* PATCH 15
  - Copyright notice pasto fixed [Eric].
  - Minimize patch by delaying more renames to PATCH 19.
  - Use arg_type instead of data.
  - Free .event_names in visit_end(), moved here from PATCH 30.
* PATCH 18:
  - Moved; was right after PATCH 12 before.
  - One hunk dropped due to "[PATCH 25/26] qapi-commands: Drop useless
    initialization".
* PATCH 19:
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data or params for events.
  - Consistently use single quotes for strings holding generated code
    [Eric].
  - Generate just 'FOO' instead of 'struct FOO' when possible [Eric].
  - Earlier patches ripple into gen_union() and gen_visit_union().
  - R-by dropped (death by a thousand cuts).
* PATCH 20:
  - Straightforward conflicts due to new "[PATCH 14/26] qapi: Document
    that input visitor semantics are prone to leaks" and "[PATCH
    15/26] qapi: Document shortcoming with union 'data' branch".
* PATCH 21:
  - Use arg_type, ret_type instead of args, ret [Eric].
  - Straightforward conflict due to "[PATCH 25/26] qapi-commands: Drop
    useless initialization".
* PATCH 22:
  - Rename in qmp.c's comment, too [Eric].
* PATCH 23:
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data for events.
  - Consistently use single quotes for strings holding generated code
    [Eric].
* PATCH 24:
  - Update qapi-code-gen.txt with the patch's changes.
  - Use arg_type, ret_type instead of args, ret [Eric].
  - Free .visited_ret_types in visit_end(), moved here from PATCH 30.
* PATCH 26:
  - Indentation fix [Eric].
  - Some test case updates moved here from PATCH 29: move positive
    test case from args-returns-any.json to qapi-schema-test.json
    (with new qmp_guest_sync() dummy in test-qmp-commands.c), move
    negative test case to args-any.json, drop bogus test case.
  - Rename flat-union-base-star.* to flat-union-base-any.*.
  - Test QMP input visitor's visit_type_any() doesn't add extra
    members [Eric].
* PATCH 27:
  - Drop a TODO obsoleted by the patch [Eric].
* PATCH 28:
  - Old PATCH 42+43 squashed together [Eric].
* PATCH 29:
  - Documentation update on 'gen' was botched, rephrase [Eric].
  - Some test case updates move to PATCH 26.
* PATCH 30:
  - success-response isn't implementation detail, add TODO and fix
    commit message [Eric].
  - Cover new qapi-introspect.py in qapi-code-gen.txt [Eric].
  - Clarify qmp_query_schema()'s comment.
  - Fix introspect.json's comment on default values [Eric].
  - Replace SchemaInfoObjectVariant member 'members' by 'type' [Eric].
  - New SchemaInfoAlternateMember [Eric].
  - Use arg_type, ret_type instead of args, ret for commands [Eric],
    and arg_type instead of data for events.
  - Rewrite actual code generation: instead of generating a list of
    JSON strings directly, first generate a list of dicts, then format
    them as JSON.
  - Fix to use " instead of ' for JSON strings [Eric].
  - Make the generated array const [Eric].
  - Fix accidental drop of a line of code [Eric].
  - Fix file name in tests/.gitignore [Eric].
  - Revision of PATCH 02 ripples into test output diffs.
  - Move new test from test-qmp-input-visitor.c to
    test-qmp-input-strict.c to make it catch extra members.
  - R-by dropped.
* PATCH 32:
  - Update qapi-code-gen.txt with the patch's changes.
  - Rewrite actual code generation: instead of generating a list of
    JSON strings directly, first generate a list of dicts, then format
    them as JSON.
  - Use plain integers as type names [Eric].
  - Don't hide names of builtin types [Eric].
  - Put a TODO on type name comments in commit message.

Markus Armbruster (26):
  qapi: Rename class QAPISchema to QAPISchemaParser
  qapi: New QAPISchema intermediate reperesentation
  qapi: QAPISchema code generation helper methods
  qapi: New QAPISchemaVisitor
  tests/qapi-schema: Convert test harness to QAPISchemaVisitor
  qapi-types: Convert to QAPISchemaVisitor, fixing flat unions
  qapi-visit: Convert to QAPISchemaVisitor, fixing bugs
  qapi-commands: Convert to QAPISchemaVisitor
  qapi: De-duplicate enum code generation
  qapi-event: Eliminate global variable event_enum_value
  qapi-event: Convert to QAPISchemaVisitor, fixing data with base
  qapi: Replace dirty is_c_ptr() by method c_null()
  qapi: Clean up after recent conversions to QAPISchemaVisitor
  qapi-visit: Rearrange code a bit
  qapi-commands: Rearrange code
  qapi: Rename qmp_marshal_input_FOO() to qmp_marshal_FOO()
  qapi: De-duplicate parameter list generation
  qapi-commands: De-duplicate output marshaling functions
  qapi: Improve built-in type documentation
  qapi: Make output visitor return qnull() instead of NULL
  qapi: Introduce a first class 'any' type
  qom: Don't use 'gen': false for qom-get, qom-set, object-add
  qapi-schema: Fix up misleading specification of netdev_add
  qapi: Pseudo-type '**' is now unused, drop it
  qapi: New QMP command query-qmp-schema for QMP introspection
  qapi-introspect: Hide type names

 .gitignore                                         |   1 +
 Makefile                                           |   9 +-
 Makefile.objs                                      |   4 +-
 docs/qapi-code-gen.txt                             | 355 +++++++++--
 docs/writing-qmp-commands.txt                      |   8 +-
 include/monitor/monitor.h                          |   3 -
 include/qapi/visitor-impl.h                        |   2 +
 include/qapi/visitor.h                             |   1 +
 monitor.c                                          |  18 +-
 qapi-schema.json                                   |  25 +-
 qapi/introspect.json                               | 273 ++++++++
 qapi/qapi-dealloc-visitor.c                        |   9 +
 qapi/qapi-visit-core.c                             |   6 +
 qapi/qmp-input-visitor.c                           |  11 +
 qapi/qmp-output-visitor.c                          |  17 +-
 qmp-commands.hx                                    | 269 ++++----
 qmp.c                                              |  27 +-
 scripts/qapi-commands.py                           | 286 +++++----
 scripts/qapi-event.py                              | 243 +++----
 scripts/qapi-introspect.py                         | 213 +++++++
 scripts/qapi-types.py                              | 373 +++++------
 scripts/qapi-visit.py                              | 369 +++++------
 scripts/qapi.py                                    | 697 ++++++++++++++++++---
 tests/.gitignore                                   |   1 +
 tests/Makefile                                     |  15 +-
 tests/qapi-schema/alternate-good.out               |  16 +-
 tests/qapi-schema/args-any.err                     |   1 +
 .../{type-bypass-no-gen.exit => args-any.exit}     |   0
 tests/qapi-schema/args-any.json                    |   2 +
 .../qapi-schema/{type-bypass.err => args-any.out}  |   0
 tests/qapi-schema/args-member-array.out            |  14 +-
 tests/qapi-schema/comments.out                     |   5 +-
 tests/qapi-schema/empty.out                        |   4 +-
 tests/qapi-schema/enum-empty.out                   |   5 +-
 tests/qapi-schema/event-case.out                   |   5 +-
 tests/qapi-schema/flat-union-base-any.err          |   1 +
 ...ion-base-star.exit => flat-union-base-any.exit} |   0
 ...ion-base-star.json => flat-union-base-any.json} |   2 +-
 ...e-bypass-no-gen.out => flat-union-base-any.out} |   0
 tests/qapi-schema/flat-union-base-star.err         |   1 -
 tests/qapi-schema/flat-union-base-star.out         |   0
 tests/qapi-schema/flat-union-reverse-define.out    |  22 +-
 tests/qapi-schema/ident-with-escape.out            |   8 +-
 tests/qapi-schema/include-relpath.out              |   5 +-
 tests/qapi-schema/include-repetition.out           |   5 +-
 tests/qapi-schema/include-simple.out               |   5 +-
 tests/qapi-schema/indented-expr.out                |   8 +-
 tests/qapi-schema/qapi-schema-test.json            |  11 +-
 tests/qapi-schema/qapi-schema-test.out             | 222 +++++--
 tests/qapi-schema/returns-int.out                  |   6 +-
 tests/qapi-schema/test-qapi.py                     |  45 +-
 tests/qapi-schema/type-bypass-no-gen.err           |   1 -
 tests/qapi-schema/type-bypass-no-gen.json          |   2 -
 tests/qapi-schema/type-bypass.exit                 |   1 -
 tests/qapi-schema/type-bypass.json                 |   2 -
 tests/qapi-schema/type-bypass.out                  |   3 -
 tests/test-qmp-commands.c                          |   5 +
 tests/test-qmp-input-strict.c                      |  59 +-
 tests/test-qmp-input-visitor.c                     |  49 +-
 tests/test-qmp-output-visitor.c                    |  56 +-
 60 files changed, 2615 insertions(+), 1191 deletions(-)
 create mode 100644 qapi/introspect.json
 create mode 100644 scripts/qapi-introspect.py
 create mode 100644 tests/qapi-schema/args-any.err
 rename tests/qapi-schema/{type-bypass-no-gen.exit => args-any.exit} (100%)
 create mode 100644 tests/qapi-schema/args-any.json
 rename tests/qapi-schema/{type-bypass.err => args-any.out} (100%)
 create mode 100644 tests/qapi-schema/flat-union-base-any.err
 rename tests/qapi-schema/{flat-union-base-star.exit => flat-union-base-any.exit} (100%)
 rename tests/qapi-schema/{flat-union-base-star.json => flat-union-base-any.json} (95%)
 rename tests/qapi-schema/{type-bypass-no-gen.out => flat-union-base-any.out} (100%)
 delete mode 100644 tests/qapi-schema/flat-union-base-star.err
 delete mode 100644 tests/qapi-schema/flat-union-base-star.out
 delete mode 100644 tests/qapi-schema/type-bypass-no-gen.err
 delete mode 100644 tests/qapi-schema/type-bypass-no-gen.json
 delete mode 100644 tests/qapi-schema/type-bypass.exit
 delete mode 100644 tests/qapi-schema/type-bypass.json
 delete mode 100644 tests/qapi-schema/type-bypass.out

-- 
2.4.3

^ permalink raw reply	[flat|nested] 47+ messages in thread

end of thread, other threads:[~2015-09-15 18:14 UTC | newest]

Thread overview: 47+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-09-14 17:57 [Qemu-devel] [PATCH v7 00/26] qapi: QMP introspection Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 01/26] qapi: Rename class QAPISchema to QAPISchemaParser Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 02/26] qapi: New QAPISchema intermediate reperesentation Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 03/26] qapi: QAPISchema code generation helper methods Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 04/26] qapi: New QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 05/26] tests/qapi-schema: Convert test harness to QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 06/26] qapi-types: Convert to QAPISchemaVisitor, fixing flat unions Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 07/26] qapi-visit: Convert to QAPISchemaVisitor, fixing bugs Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 08/26] qapi-commands: Convert to QAPISchemaVisitor Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 09/26] qapi: De-duplicate enum code generation Markus Armbruster
2015-09-15 10:46   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 10/26] qapi-event: Eliminate global variable event_enum_value Markus Armbruster
2015-09-15 10:47   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 11/26] qapi-event: Convert to QAPISchemaVisitor, fixing data with base Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 12/26] qapi: Replace dirty is_c_ptr() by method c_null() Markus Armbruster
2015-09-15 10:48   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 13/26] qapi: Clean up after recent conversions to QAPISchemaVisitor Markus Armbruster
2015-09-15 10:52   ` Daniel P. Berrange
2015-09-15 14:03     ` Eric Blake
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 14/26] qapi-visit: Rearrange code a bit Markus Armbruster
2015-09-15 10:53   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 15/26] qapi-commands: Rearrange code Markus Armbruster
2015-09-15 10:54   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 16/26] qapi: Rename qmp_marshal_input_FOO() to qmp_marshal_FOO() Markus Armbruster
2015-09-15 10:55   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 17/26] qapi: De-duplicate parameter list generation Markus Armbruster
2015-09-15 10:57   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 18/26] qapi-commands: De-duplicate output marshaling functions Markus Armbruster
2015-09-15 11:10   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 19/26] qapi: Improve built-in type documentation Markus Armbruster
2015-09-15 11:15   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 20/26] qapi: Make output visitor return qnull() instead of NULL Markus Armbruster
2015-09-14 19:07   ` Eric Blake
2015-09-15 11:37   ` Daniel P. Berrange
2015-09-15 13:20     ` Markus Armbruster
2015-09-15 14:08       ` Eric Blake
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 21/26] qapi: Introduce a first class 'any' type Markus Armbruster
2015-09-15 11:39   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 22/26] qom: Don't use 'gen': false for qom-get, qom-set, object-add Markus Armbruster
2015-09-15 11:42   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 23/26] qapi-schema: Fix up misleading specification of netdev_add Markus Armbruster
2015-09-15 11:43   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 24/26] qapi: Pseudo-type '**' is now unused, drop it Markus Armbruster
2015-09-15 11:44   ` Daniel P. Berrange
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 25/26] qapi: New QMP command query-qmp-schema for QMP introspection Markus Armbruster
2015-09-14 17:57 ` [Qemu-devel] [PATCH v7 26/26] qapi-introspect: Hide type names Markus Armbruster
2015-09-15 18:14 ` [Qemu-devel] [PATCH v7 00/26] qapi: QMP introspection Markus Armbruster

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.