Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754926Ab3IJH4y (ORCPT ); Tue, 10 Sep 2013 03:56:54 -0400 Received: from merlin.infradead.org ([205.233.59.134]:40247 "EHLO merlin.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754654Ab3IJH4u (ORCPT ); Tue, 10 Sep 2013 03:56:50 -0400 Date: Tue, 10 Sep 2013 09:56:35 +0200 From: Peter Zijlstra To: John Stultz Cc: Gerlando Falauto , "linux-kernel@vger.kernel.org" , Thomas Gleixner , Richard Cochran , Prarit Bhargava , "Brunck, Holger" , "Longchamp, Valentin" , "Bigler, Stefan" , Ingo Molnar Subject: Re: kernel deadlock Message-ID: <20130910075635.GH26785@twins.programming.kicks-ass.net> References: <521F6D06.1040107@keymile.com> <521FDD12.7050000@linaro.org> <52212511.9050206@keymile.com> <5221264F.4070402@linaro.org> <5225F8EF.3040701@keymile.com> <52261BBB.60904@linaro.org> <5226EB35.6080604@keymile.com> <522E2FBB.4070406@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <522E2FBB.4070406@linaro.org> User-Agent: Mutt/1.5.21 (2012-12-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 738 Lines: 15 On Mon, Sep 09, 2013 at 01:29:47PM -0700, John Stultz wrote: > Ingo: This makes me think we really should have some lockdep smarts > added to seqlock/seqcount structures. Is there something already > discovered thats preventing this, or has this just not yet been tried? The only reason this hasn't been done in the past is because of the VDSO I believe. We use a seqcount_t from userspace. We either have to open-code the VDSO version or create a variant for that specific single use case. -- 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/