Re: [RFC PATCH v7 1/7] Restartable sequences system call

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!aioe.org!gothmog.csi.it!bofh.it!news.nic.it!robomod
From	Christoph Lameter <cl@linux.com>
Newsgroups	linux.kernel
Subject	Re: [RFC PATCH v7 1/7] Restartable sequences system call
Date	Wed, 03 Aug 2016 20:40:01 +0200
Message-ID	<s29fb-6dM-7@gated-at.bofh.it> (permalink)
References	<rXtxT-4A4-3@gated-at.bofh.it> <rXtxU-4A4-31@gated-at.bofh.it> <rYXax-2Cq-1@gated-at.bofh.it> <rZ0UN-53b-11@gated-at.bofh.it>
X-Original-To	Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
X-X-Sender	cl@east.gentwo.org
Content-Type	text/plain; charset=US-ASCII
X-Cmae-Envelope	MS4wfFjGNsKzK0IJCRnJS/pvQ776pS0NGQnHOT4zUH6l7koUGUpkXxYHbyHcZ/JuGyz6WpzrNQc1cpgSQeW07WTNGeQnwPb9BmbwqiPr3wQ3S2PHl+zve4Qr tB3l60Fw/k7kuQc7L6tsJUr3pVt0faDkDuLVxmNH6Jn5cfD6qgzJKS0+xbMsCxBSBTYC2kD/jkCxxo8wpBzDLUWZT0Kiub/t7Cjr8qWu44v16GvD6BXAvEvw 6wlRX/guLeGNVxJMMEtjdgXuxc6DWMZiuqbTMeVpMSr7gKVqGAczYuAMk5McZTS1wKMpBi1ASzPRJ5ncRoXSGjNPQqEols1uRQ78i2u4JBjsf6Whq7Uh7vTO mDTUzQcktAKGi813BGJxwKhi/l1XjI2hZj5a9vuvBaZDcE3wmaItOc4357L56wfbPOexH1/py/QylXbpkxnsuiWs21hlVLrBsi35xR2TmGHN0IPKFoUKDCrO 2/eib6OwFe61jXeglAzvmUwpflcEe1KtZ9GcrznYxkM3kWtgoS6KeIW0eEOIgrCmm3MZMQUCE6sXJRG1Lef18V9G8JvMn+LT6aJojjtUPR47Hxlotkb1dPFs NRH1Kz1zEv7Hf/jtnFCuh84lVMjenecjPR62v+jWjFvHpYOFg5aHVmAhovHIqPSTns4A2sdnMHkJ+f4mO6uOZa6bX8NL9IW1CKTGM27mo9AQ0NsYLja1OFoC oTAINlKEOXsA2w8Gni5SGR/hT1wLUPdHvtMwQF7jlvq54PRsxgiICF38wulWDiP/iL2JoT+A6gnDmM7o//7kJmlLGdL35gOweWa21zGTFcWDQrARlmsHEjpX S3rM5mRhWMWuK2eAqvkiPgm+itIElHmhj8ur+KEuq6WsiOL/+32R7U0oT+zlxw==
Sender	robomod@news.nic.it
List-ID	<linux-kernel.vger.kernel.org>
X-Mailing-List	linux-kernel@vger.kernel.org
Approved	robomod@news.nic.it
Lines	22
Organization	linux.* mail to news gateway
X-Original-Cc	Andy Lutomirski <luto@amacapital.net>, 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>, linux-kernel@vger.kernel.org, linux-api <linux-api@vger.kernel.org>, Paul Turner <pjt@google.com>, Andrew Hunter <ahh@google.com>, Peter Zijlstra <peterz@infradead.org>, Andi Kleen <andi@firstfloor.org>, Dave Watson <davejwatson@fb.com>, Ben Maurer <bmaurer@fb.com>, rostedt <rostedt@goodmis.org>, "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>, Josh Triplett <josh@joshtriplett.org>, Linus Torvalds <torvalds@linux-foundation.org>, Catalin Marinas <catalin.marinas@arm.com>, Will Deacon <will.deacon@arm.com>, Michael Kerrisk <mtk.manpages@gmail.com>, Boqun Feng <boqun.feng@gmail.com>
X-Original-Date	Wed, 3 Aug 2016 13:29:35 -0500 (CDT)
X-Original-Message-ID	<alpine.DEB.2.20.1608031325040.14875@east.gentwo.org>
X-Original-References	<1469135662-31512-1-git-send-email-mathieu.desnoyers@efficios.com> <1469135662-31512-2-git-send-email-mathieu.desnoyers@efficios.com> <CALCETrVq3hgLbADcx_4g6gGgp7Hf-WnnWA8gg68tPZTv2wfbDg@mail.gmail.com> <1806206514.82247.1469502139408.JavaMail.zimbra@efficios.com>
X-Original-Sender	linux-kernel-owner@vger.kernel.org
Xref	csiph.com linux.kernel:1455950

Show key headers only | View raw

On Tue, 26 Jul 2016, Mathieu Desnoyers wrote:

> > What problem does this solve?
>
> It allows user-space to perform update operations on per-cpu data without
> requiring heavy-weight atomic operations.

This is great but seems to indicate that such a facility would be better
for kernel code instread of user space code.

> First, prohibiting migration from user-space has been frowned upon
> by scheduler developers for a long time, and I doubt this mindset will
> change.

Note that the task isolation patchset from Chris Metcalf does something
that goes a long way towards this. If you set strict isolation mode then
the kernel will terminate the process or notify you if the scheduler
becomes involved. In some way we are getting that as a side effect.

Also prohibiting migration is trivial form user space. Just do a taskset
to a single cpu.

Thread

Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-07-26 01:10 +0200
  Re: [RFC PATCH v7 1/7] Restartable sequences system call Mathieu Desnoyers <mathieu.desnoyers@efficios.com> - 2016-07-26 05:10 +0200
    Re: [RFC PATCH v7 1/7] Restartable sequences system call Peter Zijlstra <peterz@infradead.org> - 2016-08-03 14:30 +0200
      Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-08-03 18:50 +0200
        Re: [RFC PATCH v7 1/7] Restartable sequences system call Christoph Lameter <cl@linux.com> - 2016-08-03 20:40 +0200
          Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-08-04 07:10 +0200
        Re: [RFC PATCH v7 1/7] Restartable sequences system call Boqun Feng <boqun.feng@gmail.com> - 2016-08-04 06:30 +0200
          Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-08-04 07:20 +0200
            Re: [RFC PATCH v7 1/7] Restartable sequences system call Boqun Feng <boqun.feng@gmail.com> - 2016-08-09 18:20 +0200
              Re: [RFC PATCH v7 1/7] Restartable sequences system call Mathieu Desnoyers <mathieu.desnoyers@efficios.com> - 2016-08-10 20:20 +0200
              Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-08-10 21:10 +0200
              Re: [RFC PATCH v7 1/7] Restartable sequences system call Mathieu Desnoyers <mathieu.desnoyers@efficios.com> - 2016-08-10 22:50 +0200
            Re: [RFC PATCH v7 1/7] Restartable sequences system call Andy Lutomirski <luto@amacapital.net> - 2016-08-10 21:40 +0200
    Re: [RFC PATCH v7 1/7] Restartable sequences system call Christoph Lameter <cl@linux.com> - 2016-08-03 20:40 +0200
      Re: [RFC PATCH v7 1/7] Restartable sequences system call Mathieu Desnoyers <mathieu.desnoyers@efficios.com> - 2016-08-10 22:10 +0200
        Re: [RFC PATCH v7 1/7] Restartable sequences system call Christoph Lameter <cl@linux.com> - 2016-08-10 22:40 +0200

csiph-web