This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] tell gcc optimizer to never introduce new data races

From: Peter Zijlstra <peterz at infradead dot org>
To: Jiri Kosina <jkosina at suse dot cz>
Cc: Linus Torvalds <torvalds at linux-foundation dot org>, "Paul E. McKenney" <paulmck at linux dot vnet dot ibm dot com>, Andrew Morton <akpm at linux-foundation dot org>, Martin Jambor <mjambor at suse dot cz>, Petr Mladek <pmladek at suse dot cz>, linux-kernel at vger dot kernel dot org, gcc at gcc dot gnu dot org
Date: Tue, 10 Jun 2014 16:53:27 +0200
Subject: Re: [PATCH] tell gcc optimizer to never introduce new data races
Authentication-results: sourceware.org; auth=none
References: <alpine dot LNX dot 2 dot 00 dot 1406101517300 dot 9378 at pobox dot suse dot cz>

On Tue, Jun 10, 2014 at 03:23:36PM +0200, Jiri Kosina wrote:
> +# Tell gcc to never replace conditional load with a non-conditional one
> +KBUILD_CFLAGS	+= $(call cc-option,--param allow-store-data-races=0)
> +

Why do we not want: -fmemory-model=safe? And should we not at the very
least also disable packed-store-data-races?

Attachment: pgpYaYCgPE5Qk.pgp
Description: PGP signature

Follow-Ups:
- Re: [PATCH] tell gcc optimizer to never introduce new data races
  - From: Marek Polacek

References:
- [PATCH] tell gcc optimizer to never introduce new data races
  - From: Jiri Kosina

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]