From: "Alex Bennée" <alex.bennee@linaro.org>
To: Robert Foley <robert.foley@linaro.org>
Cc: peter.puhov@linaro.org, cota@braap.org, qemu-devel@nongnu.org
Subject: Re: [PATCH v3 00/13] Add Thread Sanitizer support to QEMU
Date: Wed, 10 Jun 2020 17:45:15 +0100 [thread overview]
Message-ID: <87mu5a50pw.fsf@linaro.org> (raw)
In-Reply-To: <20200609200738.445-1-robert.foley@linaro.org>
Robert Foley <robert.foley@linaro.org> writes:
> Changes in v3:
> - Fixed issue in tsan changes to start_switch_fiber(),
> found by --enable-sanitizers testing.
> - Removed the UC_TRACE() code.
> - Removed the tb_destroy callback.
>
> v2: https://lists.gnu.org/archive/html/qemu-devel/2020-06/msg01534.html
>
> This patch series continues the work done by Emilio Cota and others to add
> Thread Sanitizer (TSan) support to QEMU.
>
> The starting point for this work was Emilio's branch here:
> https://github.com/cota/qemu/commits/tsan
> specifically this commit: 0be125fc0afd47218b34d2019abdd19b644f3199
>
> The main purpose of this patch is to enable TSan support so that
> QEMU developers can start using the tool.
> We found this tool useful and even ran it on our recent changes in
> the cpu-locks series, which fixes many warnings.
> Clearly there is work to do here to clean up all the warnings. :)
> We have also made an effort to introduce enough of the TSan suppression
> mechanisms, so that others can continue this work.
>
> This series adds support for:
> - configure option for --enable-tsan.
> - testing.rst has the full details on how to use TSan with or without docker,
> including all the suppression mechanisms.
> - We added an Ubuntu 20.04 docker that supports TSan builds.
> - test-tsan is a new docker test that builds and runs make check under TSan.
> - We added an example blacklist file for files or functions TSan should ignore
> at compile time. This can now be specified manually.
> - Added a suppression file for TSan to suppress certain warnings at run time.
> - Added tsan.h with annotations which also can be used to suppress
> warnings.
Queued to testing/next, thanks.
--
Alex Bennée
prev parent reply other threads:[~2020-06-10 16:46 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-09 20:07 [PATCH v3 00/13] Add Thread Sanitizer support to QEMU Robert Foley
2020-06-09 20:07 ` [PATCH v3 01/13] configure: add --enable-tsan flag + fiber annotations for coroutine-ucontext Robert Foley
2020-06-09 20:07 ` [PATCH v3 02/13] cpu: convert queued work to a QSIMPLEQ Robert Foley
2020-06-09 20:07 ` [PATCH v3 03/13] thread: add qemu_spin_destroy Robert Foley
2020-06-09 20:07 ` [PATCH v3 04/13] cputlb: destroy CPUTLB with tlb_destroy Robert Foley
2020-06-09 20:07 ` [PATCH v3 05/13] qht: call qemu_spin_destroy for head buckets Robert Foley
2020-06-09 20:07 ` [PATCH v3 06/13] tcg: call qemu_spin_destroy for tb->jmp_lock Robert Foley
2020-06-09 20:07 ` [PATCH v3 07/13] translate-all: call qemu_spin_destroy for PageDesc Robert Foley
2020-06-09 20:07 ` [PATCH v3 08/13] thread: add tsan annotations to QemuSpin Robert Foley
2020-06-09 20:07 ` [PATCH v3 09/13] tests/docker: Added docker build support for TSan Robert Foley
2020-06-09 20:07 ` [PATCH v3 10/13] include/qemu: Added tsan.h for annotations Robert Foley
2020-06-09 20:07 ` [PATCH v3 11/13] util: Added tsan annotate for thread name Robert Foley
2020-06-09 20:07 ` [PATCH v3 12/13] docs: Added details on TSan to testing.rst Robert Foley
2020-06-09 20:07 ` [PATCH v3 13/13] tests: Disable select tests under TSan, which hit TSan issue Robert Foley
2020-06-10 16:45 ` Alex Bennée [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87mu5a50pw.fsf@linaro.org \
--to=alex.bennee@linaro.org \
--cc=cota@braap.org \
--cc=peter.puhov@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=robert.foley@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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.