From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S965975Ab0CPGUu (ORCPT ); Tue, 16 Mar 2010 02:20:50 -0400 Received: from mx3.mail.elte.hu ([157.181.1.138]:35140 "EHLO mx3.mail.elte.hu" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S965551Ab0CPGUr (ORCPT ); Tue, 16 Mar 2010 02:20:47 -0400 Date: Tue, 16 Mar 2010 07:20:32 +0100 From: Ingo Molnar To: Nick Piggin Cc: Peter Zijlstra , Andrew Morton , linux-mm@kvack.org, linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, Thomas Gleixner Subject: Re: [rfc][patch] mm: lockdep page lock Message-ID: <20100316062032.GB22651@elte.hu> References: <20100315155859.GE2869@laptop> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20100315155859.GE2869@laptop> User-Agent: Mutt/1.5.20 (2009-08-17) X-ELTE-SpamScore: -2.0 X-ELTE-SpamLevel: X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-2.0 required=5.9 tests=BAYES_00 autolearn=no SpamAssassin version=3.2.5 -2.0 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000] Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org * Nick Piggin wrote: > Page lock has very complex dependencies, so it would be really nice to add > lockdep support for it. Just wondering - has your patch shown any suspect areas of code already, in the testing you did? Maybe it should be test-driven for a while, in a non-append-only tree such as -mm, to see whether it's finding real bugs. Ingo