Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753967AbaBLSjU (ORCPT ); Wed, 12 Feb 2014 13:39:20 -0500 Received: from mail-ee0-f51.google.com ([74.125.83.51]:63243 "EHLO mail-ee0-f51.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753842AbaBLSjS (ORCPT ); Wed, 12 Feb 2014 13:39:18 -0500 MIME-Version: 1.0 In-Reply-To: <20140212173524.GA26860@redhat.com> References: <1392222846-26699-1-git-send-email-mst@redhat.com> <1392222846-26699-2-git-send-email-mst@redhat.com> <20140212165630.GA22991@kroah.com> <20140212173524.GA26860@redhat.com> Date: Wed, 12 Feb 2014 10:39:17 -0800 Message-ID: Subject: Re: [PATCH net 1/3] kref: add kref_sub_return From: Anatol Pomozov To: "Michael S. Tsirkin" Cc: Greg Kroah-Hartman , LKML , Jason Wang , virtio-dev@lists.oasis-open.org, virtualization@lists.linux-foundation.org, netdev@vger.kernel.org, davem@davemloft.net, qinchuanyu@huawei.com, Joern Engel , Nicholas Bellinger Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi On Wed, Feb 12, 2014 at 9:35 AM, Michael S. Tsirkin wrote: > On Wed, Feb 12, 2014 at 08:56:30AM -0800, Greg Kroah-Hartman wrote: >> On Wed, Feb 12, 2014 at 06:38:21PM +0200, Michael S. Tsirkin wrote: >> > It is sometimes useful to get the value of the reference count after >> > decrement. >> > For example, vhost wants to execute some periodic cleanup operations >> > once number of references drops below a specific value, before it >> > reaches zero (for efficiency). >> >> You should never care about what the value of the kref is, if you are >> using it correctly :) >> >> So I really don't want to add this function, as I'm sure people will use >> it incorrectly. You should only care if the reference drops to 0, if >> not, then your usage doesn't really fit into the "kref" model, and so, >> just use an atomic variable. > > This happens when you have code that keeps > reference itself implicitly or explicitly. > > foo(struct kref *k, int bar) { > > sub = kref_sub(k) > > if (sub == 1) At this moment you cannot be sure that refcount is 1. It might be changed between kref_sub call and this point. The refcount might be 0, 1, ... or any other value. The only value that you can be sure is zero. Once refcount becomes zero there is no way to increase it to positive value as there are no alive pointers to the object. > FOO(k, bar) /* Here I am the only one > with a reference */ > > } > > kref_get(k) > foo(k, bar); > .... > kref_put(k) > > Why not do FOO in destructor you ask? > Absolutely but this will be called much later. > > Maybe you will reconsider if I document this > as the only legal use? > >> >> I really want to know why it matters for "efficiency" that you know this >> number. How does that help anything, as the number could then go up >> later on, and the work you did at a "lower" number is obsolete, right? >> >> thanks, >> >> greg k-h > > The issue is that if number dropped to 1, this means > we must do the cleanup work since there are > no outstanding buffers, (last user is ourselves) > if we do not cleanup, > guest will hang waiting for us. > > But it never drops to 0 since we have our own reference > in the device. > If it goes up again this means we didn't have > to do cleanup, but an alternative is doing > it all the time and that is slow. > > Yes I can rework vhost to open-code this kref use, it's > no big deal. > Alternatively since most of the use does match kref > model, maybe __kref_sub_return with disclaimers > that you must know what you are doing? > Please let me know. > > Thanks! > > -- > MST -- 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/