QEMU GSoC Final Report

report.txt

This is a final list of work which was done as part of the MTTCG Memory
Consistency project.

The goals of the project were as follows:

1. Solve the consistency issues in MTTCG project
2. Create a test suite for consistency tests
3. Write tests to detect bugs during development

Goal one is almost solved but for one case for which the solution is not yet
clear. This is the case of running strong memory model architectures on weak
memory model hosts(x86 on aarch64). Goal two and three I think are in good
shape.

All the patches for my work over summer can be found here:
https://github.com/pranith/qemu/commits/fence_v4_litmus?author=pranith

or in my mentor's tree:
https://github.com/stsquad/qemu/commits/mttcg/base-patches-v4-with-cmpxchg-atomics-v2-and-barriers-v4?author=pranith

The individual patches in the work product can be found as follows:

1. Link to the posted patches: http://lists.nongnu.org/archive/html/qemu-devel/2016-07/msg03282.html
2. Test suite: https://lists.gnu.org/archive/html/qemu-devel/2016-08/msg00896.html
3. Litmus tests: https://github.com/pranith/qemu-litmus

The work is definitely not yet complete and I plan to continue contributing
the patches to completely ensure consistency in MTTCG enabled QEMU.