From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752246AbcDZQLQ (ORCPT ); Tue, 26 Apr 2016 12:11:16 -0400 Received: from www.linutronix.de ([62.245.132.108]:47301 "EHLO Galois.linutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751871AbcDZQLP (ORCPT ); Tue, 26 Apr 2016 12:11:15 -0400 Date: Tue, 26 Apr 2016 18:11:07 +0200 From: Sebastian Andrzej Siewior To: Rich Felker Cc: linux-kernel@vger.kernel.org, Thomas Gleixner , Davidlohr Bueso , Ingo Molnar , Andrew Morton , Darren Hart , Mel Gorman , "Kirill A. Shutemov" , Greg Ungerer , Steven Miao , Geert Uytterhoeven , Yoshinori Sato Subject: Re: [PATCH] futex: fix shared futex operations on nommu Message-ID: <20160426161107.GF8295@linutronix.de> References: <20160426010303.GA3706@brightrain.aerifal.cx> <20160426095552.GB8295@linutronix.de> <20160426155344.GK21636@brightrain.aerifal.cx> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20160426155344.GK21636@brightrain.aerifal.cx> X-Key-Id: 2A8CF5D1 X-Key-Fingerprint: 6425 4695 FFF0 AA44 66CC 19E6 7B96 E816 2A8C F5D1 User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org * Rich Felker | 2016-04-26 11:53:44 [-0400]: >The whole shared futex logic is meaningless for nommu. Perhaps I >should have written a better message, though. > >With MMU, shared futex keys need to identify the physical backing for >a memory address because it may be mapped at different addresses in >different processes (or even multiple times in the same process). >Without MMU this cannot happen. You only have physical addresses. So >the "private futex" behavior of using the virtual address as the key >is always correct (for both shared and private cases) on nommu >systems. So using a shared futex on NOMMU does work but it would be more efficient to always use a private futex instead. Is this what you are saying? >Rich Sebastian