MIME-Version: 1.0
In-Reply-To: <1432214957.30671.0.camel@twins>
References: <20150521111710.475482798@infradead.org>
	<20150521111932.592505273@infradead.org>
	<CABPqkBTrp8fyUobwWq2bZ_9Rg92nCX2xE3BHqDgW6FErP_waZQ@mail.gmail.com>
	<20150521125615.GO3644@twins.programming.kicks-ass.net>
	<CABPqkBTFPRwHX8zKERYFrMBVQor5GJcDd4ZcKt8WL-tjbJdzLw@mail.gmail.com>
	<20150521130952.GQ3644@twins.programming.kicks-ass.net>
	<CABPqkBRbK-SNAJS8_GDWDzc5V74WV5VjECzMkuuWFSjcE5spxQ@mail.gmail.com>
	<20150521132015.GS3644@twins.programming.kicks-ass.net>
	<CABPqkBTvAd3RAp2AuM6DUMk4-dKs6cAXOt-Ewfw58DodmTtU4Q@mail.gmail.com>
	<1432214957.30671.0.camel@twins>
Date: Thu, 21 May 2015 06:36:56 -0700
Message-ID: <CABPqkBSeLqMeGwcnaj2yss3dAY_0naQjTCWsjREFaV-h0WzWKQ@mail.gmail.com>
Subject: Re: [PATCH 01/10] perf,x86: Fix event/group validation
From: Stephane Eranian <eranian@google.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Ingo Molnar <mingo@kernel.org>, Vince Weaver <vincent.weaver@maine.edu>,
        Jiri Olsa <jolsa@redhat.com>, "Liang, Kan" <kan.liang@intel.com>,
        LKML <linux-kernel@vger.kernel.org>, Andrew Hunter <ahh@google.com>,
        Maria Dimakopoulou <maria.n.dimakopoulou@gmail.com>
Content-Type: text/plain; charset=UTF-8
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1249
Lines: 25

On Thu, May 21, 2015 at 6:29 AM, Peter Zijlstra <peterz@infradead.org> wrote:
> On Thu, 2015-05-21 at 06:27 -0700, Stephane Eranian wrote:
>> Or are you talking about a preemption while executing x86_schedule_events()?
>
> That.
>
> And we can of course cure that by an earlier patch I send; but I find it
> a much simpler rule to just never allow modifying global state for
> validation.

I can see  validation being preempted, but not the context switch code path.
Is that what you are talking about?

You are saying validate_group() is in the middle of x86_schedule_events()
using fake_cpuc, when it gets preempted. The context switch code when it loads
the new thread's PMU state calls x86_schedule_events() which modifies the
cpuc->event_list[]->hwc. But this is cpuc vs. fake_cpuc again. So yes, the calls
nest but they do not touch the same state. And when you eventually come back
to validate_group() you are back to using the fake_cpuc. So I am still not clear
on how the corruption can happen.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/