Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 07 Nov 2011 11:45:38 -0600
From:      Alan Cox <alc@rice.edu>
To:        Kostik Belousov <kostikbel@gmail.com>
Cc:        mdf@freebsd.org, "K. Macy" <kmacy@freebsd.org>, Andriy Gapon <avg@freebsd.org>, freebsd-current@freebsd.org, Benjamin Kaduk <kaduk@mit.edu>, Penta Upa <bsdboot@gmail.com>
Subject:   Re: vm_page_t related KBI [Was: Re: panic at vm_page_wire with FreeBSD 9.0 Beta 3]
Message-ID:  <4EB81942.70501@rice.edu>
In-Reply-To: <20111106124331.GP50300@deviant.kiev.zoral.com.ua>
References:  <4EB2D48E.1030102@rice.edu> <20111104100828.GG50300@deviant.kiev.zoral.com.ua> <4EB40015.5040100@rice.edu> <20111104153004.GK50300@deviant.kiev.zoral.com.ua> <4EB4095D.3030303@rice.edu> <20111104160339.GM50300@deviant.kiev.zoral.com.ua> <20111105141306.GW50300@deviant.kiev.zoral.com.ua> <CAMBSHm86TaJnRRgmPA_t7tiPfQsPyoTqz3ymdHSY1H3t5G864Q@mail.gmail.com> <20111105151530.GX50300@deviant.kiev.zoral.com.ua> <4EB595FA.4020500@rice.edu> <20111106124331.GP50300@deviant.kiev.zoral.com.ua>

index | next in thread | previous in thread | raw e-mail

On 11/06/2011 06:43, Kostik Belousov wrote:
> On Sat, Nov 05, 2011 at 03:00:58PM -0500, Alan Cox wrote:
>> On 11/05/2011 10:15, Kostik Belousov wrote:
>>> On Sat, Nov 05, 2011 at 07:37:48AM -0700, mdf@freebsd.org wrote:
>>>> On Sat, Nov 5, 2011 at 7:13 AM, Kostik Belousov<kostikbel@gmail.com>
>>>> wrote:
>>>>> On Fri, Nov 04, 2011 at 06:03:39PM +0200, Kostik Belousov wrote:
>>>>>
>>>>> Below is the KBI patch after vm_page_bits_t merge is done.
>>>>> Again, I did not spent time converting all in-tree consumers
>>>> >from the (potentially) loadable modules to the new KPI until it
>>>>> is agreed upon.
>>>> I like my bikeshed orange...
>>>>
>>>> I would think a more canonical name would be get/set rather than
>>>> read/write, especially since these operations aren't reading and
>>>> writing the page (neither are they getting the page, but at least set
>>>> is pretty unambiguous).
>>> Look at the vm_page.h:385. vm_page_set_valid() is already taken.
>> I don't feel good about creating an interface under which we have
>> functions named vm_page_set_valid() and vm_page_write_valid().  I think
>> that we should take a step back and look at the whole of set of
>> functions that exist for manipulating the page's valid and dirty field
>> and see if we can come up with a logical schema for naming them.  I
>> wouldn't then be surprised if this results in renaming some of the
>> existing functions.
>>
>> However, this should not delay the changes to address the vm_page_lock
>> problem.  I had two questions about that part of your patch.  First, is
>> there any reason that you didn't include vm_page_lockptr()?  If we
>> created the page locking macros that you, jhb@, and I were talking about
>> last week, then vm_page_lockptr() would be required.  Second, there
>> seems to be precedent for naming the locking functions _vm_page_lock()
>> instead of vm_page_lock_func(), for example, the mutex code, i.e.,
>> sys/mutex.h, and the vm map locking functions.
> I think vm_page_lockptr() should be included when some kind of
> reloc-iterating macros are actually introduced into the tree. And,
> I have a hope that they can be wrapped around a function with the
> signature like
> 	void vm_page_relock(vm_page_t locked_page, vm_page_t unlocked_page);
> which moves the lock from locked_page to unlocked_page.
>

Ok.  That sounds reasonable.

> Regarding the _vm_page_lock() vs. vm_page_lock_func(), the mutex.h has
> a lot of violations in regard of the namespaces, IMO. The __* namespace
> is reserved for the language implementation, so our freestanding program
> (kernel) ignores the requirements of the C standard with the names like
> __mtx_lock_spin(). Using the name _vm_page_lock() is valid, but makes
> it not unreasonable for other developers to introduce reserved names.
> So I decided to use the suffixes. vm_map.h locking is free of these
> violations.
>

Ok.  I'll offer one final suggestion.  Please consider an alternative 
suffix to "func".  Perhaps, "kbi" or "KBI".  In other words, something 
that hints at the function's reason for existing.

Alan



home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4EB81942.70501>