Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756039AbZFAI5q (ORCPT ); Mon, 1 Jun 2009 04:57:46 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1752391AbZFAI5j (ORCPT ); Mon, 1 Jun 2009 04:57:39 -0400 Received: from mail-px0-f191.google.com ([209.85.216.191]:41305 "EHLO mail-px0-f191.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751891AbZFAI5i convert rfc822-to-8bit (ORCPT ); Mon, 1 Jun 2009 04:57:38 -0400 DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=H5DsPZjgm6qP5llaS+CP27VXAhSurb0b6tdzHebg51HN4ElK9//gVMTJaPepNC2lNp 0am0m8Df/H6OINCILjLRpci4qkf5Sss0Twu8yz5gr5LgHUh6SalRYRzWudmHGRpT5RMM kzDXAwf2lZzAxf1V1XPCdrc96Ka5dxTA5v7i0= MIME-Version: 1.0 In-Reply-To: References: Date: Mon, 1 Jun 2009 16:57:39 +0800 Message-ID: Subject: Re: new implementation of mutex From: =?GB2312?B?0Lu42Q==?= To: Ming Lei Cc: linux-kernel@vger.kernel.org Content-Type: text/plain; charset=GB2312 Content-Transfer-Encoding: 8BIT Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 670 Lines: 27 2009/6/1 Ming Lei : > 2009/6/1 ะป?? : >> I debug it and find the debug_locks = 0. Is this why there is no >> warning message and how turn it on? (I also had CONFIG_LOCKDEP_SUPPORT >> on.) > > Please confirm CONFIG_PROVE_LOCKING is enabled. It still does not work. No warning is found. It still behaves as binary semophore. Thanks, > > Thanks, > -- > Lei Ming > -- Xie Gang -- 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/