From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756729AbcHWF66 (ORCPT ); Tue, 23 Aug 2016 01:58:58 -0400 Received: from LGEAMRELO12.lge.com ([156.147.23.52]:40904 "EHLO lgeamrelo12.lge.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1756556AbcHWF6z (ORCPT ); Tue, 23 Aug 2016 01:58:55 -0400 X-Original-SENDERIP: 156.147.1.151 X-Original-MAILFROM: byungchul.park@lge.com X-Original-SENDERIP: 10.177.222.33 X-Original-MAILFROM: byungchul.park@lge.com Date: Tue, 23 Aug 2016 14:55:50 +0900 From: Byungchul Park To: peterz@infradead.org, mingo@kernel.org Cc: tglx@linutronix.de, npiggin@kernel.dk, walken@google.com, boqun.feng@gmail.com, kirill@shutemov.name, linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [Revised document] Crossrelease lockdep Message-ID: <20160823055550.GY2279@X58A-UD3R> References: <1467883803-29132-1-git-send-email-byungchul.park@lge.com> <20160819123959.GW2279@X58A-UD3R> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20160819123959.GW2279@X58A-UD3R> 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 Please let me know your opinions. I'm planning to post next spin if you agree with at least the concept. I omitted many things about e.g. synchronization, set theory and so on, since I don't want it to be too lengthy document, so focused on only essential thingy. Please let me know if you think there are logical problems in the document. I might be able to answer it. It would be appreciated if you check the document. Thanks, Byungchul