Talk:Google Summer of Code 2019: Difference between revisions

From QEMU
Line 30: Line 30:
machine-types.  Despite investing lots of effort keeping
machine-types.  Despite investing lots of effort keeping
compatibility, we have no automated testing to detect common
compatibility, we have no automated testing to detect common
bugs that break guest ABI.  It should be possible to write
mistakes that break guest ABI.  It should be possible to write
automated test cases that will compare a virtual machine to a
automated test cases that will compare a virtual machine to a
previously stored dump of guest ABI information.
previously stored dump of guest ABI information.


A guest ABI dump may include:
A guest ABI dump may include, for example:


* Data returned by CPUID instruction (or equivalent)
* Data returned by CPUID instruction (or equivalent)
Line 48: Line 48:
* [https://github.com/autotest/tp-qemu/tree/master/qemu/deps/cpuid Ancient test code for CPUID compatibility]
* [https://github.com/autotest/tp-qemu/tree/master/qemu/deps/cpuid Ancient test code for CPUID compatibility]
* [https://github.com/ehabkost/qemu-hacks/commits/work/guest-abi-tests incomplete proof of concept for validating CPUID data]
* [https://github.com/ehabkost/qemu-hacks/commits/work/guest-abi-tests incomplete proof of concept for validating CPUID data]
* [https://github.com/ehabkost/gdb-qemu Hack that uses GDB to extract machine-type information from QEMU]


'''Details:'''
'''Details:'''

Revision as of 18:10, 21 January 2019

Drafts

I'm saving some drafts here before including it on the wiki page. -Ehabkost (talk) 19:36, 16 January 2019 (UTC)

API documentation generation

Summary: Generation of API documentation from doc comments

QEMU currently has many functions documented using the GTK-Doc syntax, but there is no mechanism to actually generate API documentation from these doc comments. We need tools to generate API documentation from C and Python source code.

Links:

Details:

  • Skill level: beginner
  • Language: C, Python
  • Mentor: Eduardo Habkost <ehabkost@redhat.com> ("ehabkost" on IRC)
  • Suggested by: Eduardo Habkost

Guest ABI automated testing

Summary: Automated test of Guest ABI and compatibility

QEMU tries to provide a stable guest ABI on versioned machine-types. Despite investing lots of effort keeping compatibility, we have no automated testing to detect common mistakes that break guest ABI. It should be possible to write automated test cases that will compare a virtual machine to a previously stored dump of guest ABI information.

A guest ABI dump may include, for example:

  • Data returned by CPUID instruction (or equivalent)
  • Physical memory and I/O port maps
  • Device addresses (PCI, USB, etc.)
  • Device IDs and other guest-visible device fields
  • Value of QOM properties that affect device behavior

This might require improving or adding new QMP commands to provide information to be validated by the automated test cases. Some test cases may use a custom kernel image for collecting guest-visible data, or extending the qtest protocol.


Links:

Details:

  • Skill level: intermediate
  • Language: C, Python
  • Mentor: Eduardo Habkost <ehabkost@redhat.com> ("ehabkost" on IRC)
  • Suggested by: Eduardo Habkost