Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
MIME-Version: 1.0
In-Reply-To: <CA+55aFzZcQKEvu5S3TwD9MscqDhqq3pKa0Kam79NncjP8RnvoQ@mail.gmail.com>
References: <20171114200414.2188-1-mathieu.desnoyers@efficios.com> <CA+55aFzZcQKEvu5S3TwD9MscqDhqq3pKa0Kam79NncjP8RnvoQ@mail.gmail.com>
From:   Andy Lutomirski <luto@amacapital.net>
Date:   Tue, 14 Nov 2017 13:15:18 -0800
Message-ID: <CALCETrVMvk0dsBMF8F-gPZCGnfJt=RQOvTnVzJhVaAFhEFbq2w@mail.gmail.com>
Subject: Re: [RFC PATCH for 4.15 00/24] Restartable sequences and CPU op
 vector v11
To:     Linus Torvalds <torvalds@linux-foundation.org>
Cc:     Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
        Peter Zijlstra <peterz@infradead.org>,
        "Paul E . McKenney" <paulmck@linux.vnet.ibm.com>,
        Boqun Feng <boqun.feng@gmail.com>,
        Dave Watson <davejwatson@fb.com>,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
        Linux API <linux-api@vger.kernel.org>,
        Paul Turner <pjt@google.com>,
        Andrew Morton <akpm@linux-foundation.org>,
        Russell King <linux@arm.linux.org.uk>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@redhat.com>,
        "H . Peter Anvin" <hpa@zytor.com>, Andrew Hunter <ahh@google.com>,
        Andi Kleen <andi@firstfloor.org>, Chris Lameter <cl@linux.com>,
        Ben Maurer <bmaurer@fb.com>,
        Steven Rostedt <rostedt@goodmis.org>,
        Josh Triplett <josh@joshtriplett.org>,
        Catalin Marinas <catalin.marinas@arm.com>,
        Will Deacon <will.deacon@arm.com>,
        Michael Kerrisk <mtk.manpages@gmail.com>
Content-Type: text/plain; charset="UTF-8"
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Tue, Nov 14, 2017 at 1:08 PM, Linus Torvalds
<torvalds@linux-foundation.org> wrote:
> On Tue, Nov 14, 2017 at 12:03 PM, Mathieu Desnoyers
> <mathieu.desnoyers@efficios.com> wrote:
>> Here is the last RFC round of the updated rseq patchset containing:
>
> Andy? You were the one with concerns here and said you'd have
> something else ready for comparison.
>

I had a long discussion with Mathieu and KS and I think that this is a
good compromise.  I haven't reviewed the series all that carefully,
but I think the idea is sound.

Basically, event_counter is gone (to be re-added in a later kernel if
it really ends up being necessary, but it looks like it may primarily
be a temptation to write subtly incorrect user code and to see
scheduling details that shouldn't be readily exposed rather than a
genuinely useful feature) and the versioning mechanism for the asm
critical section bit is improved.  My crazy proposal should be doable
on top of this if there's demand and if anyone wants to write the
gnarly code involved.

IOW no objection from me as long as those changes were made, which I
*think* they were.  Mathieu?

From 1584077312215090991@xxx Tue Nov 14 21:10:47 +0000 2017
X-GM-THRID: 1584073385679305281
X-Gmail-Labels: Inbox,Category Forums,HistoricalUnread