-
-
Save pranith/af6f5a203b02cee2839c2d7c50024e73 to your computer and use it in GitHub Desktop.
QEMU GSoC Final Report
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment