Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 25 Jun 2014 17:03:27 +0200
From:      Attilio Rao <attilio@freebsd.org>
To:        =?UTF-8?Q?Roger_Pau_Monn=C3=A9?= <royger@freebsd.org>
Cc:        Alan Cox <alc@freebsd.org>, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, "src-committers@freebsd.org" <src-committers@freebsd.org>
Subject:   Re: svn commit: r267858 - in head/sys/dev: virtio/balloon xen/balloon
Message-ID:  <CAJ-FndBHM%2BdpwqgiZdfD1=BD658kiNjoRYj7O6aNTZ%2BFAHvQrw@mail.gmail.com>
In-Reply-To: <53AAD775.8070302@FreeBSD.org>
References:  <201406250951.s5P9p8YR017159@svn.freebsd.org> <CAJ-FndD4M8QkejyTv4R_9qoThqvFinYbHP4YSby6mQS9EKSYPA@mail.gmail.com> <53AACEAB.3090702@FreeBSD.org> <CAJ-FndD2oESE4uvyZTrftwiQhQzHwT2k%2Byzu0X1g_E3Atdv6Fg@mail.gmail.com> <53AAD775.8070302@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Jun 25, 2014 at 4:06 PM, Roger Pau Monn=C3=A9 <royger@freebsd.org> =
wrote:
> On 25/06/14 15:44, Attilio Rao wrote:
>> On Wed, Jun 25, 2014 at 3:29 PM, Roger Pau Monn=C3=A9 <royger@freebsd.or=
g> wrote:
>>> On 25/06/14 13:58, Attilio Rao wrote:
>>>> On Wed, Jun 25, 2014 at 11:51 AM, Roger Pau Monn=C3=A9 <royger@freebsd=
.org> wrote:
>>>>> Author: royger
>>>>> Date: Wed Jun 25 09:51:08 2014
>>>>> New Revision: 267858
>>>>> URL: http://svnweb.freebsd.org/changeset/base/267858
>>>>>
>>>>> Log:
>>>>>   xen/virtio: fix balloon drivers to not mark pages as WIRED
>>>>>
>>>>>   Prevent the Xen and VirtIO balloon drivers from marking pages as
>>>>>   wired. This prevents them from increasing the system wired page cou=
nt,
>>>>>   which can lead to mlock failing because of hitting the limit in
>>>>>   vm.max_wired.
>>>>
>>>> This change is conceptually wrong.
>>>> The pages balloon is allocating are unmanaged and they should be wired
>>>> by definition. Alan and I are considering enforcing this (mandatory
>>>> wired pages for unmanaged pages allocation) directly in the KPI.
>>>> This in practice just seem an artifact to deal with scarce  wired
>>>> memory limit. I suggest that for the XEN case this limit gets bumped
>>>> rather relying on similar type of hacks.
>>>
>>> IMHO, marking them as wired seems wrong too, those pages are not wired,
>>> they are simply not there any more. This was discussed in:
>>
>> I'm not entirely sure what do you mean with "not there anymore", so
>> I'm just guessing and I assume that you mean "pages are not collected
>> in any vm object and then they are not referenced in any pagequeue".
>> By extension this also matches what "unmanaged page" means.
>>
>> If the page is unmanaged it means that the pagedaemon won't see it, so
>> they won't be swapped out anyway. Wiring them it will enforce more
>> sanity checking on the page. The max_wired concern may be real,
>> however, please see below.
>
> What I meant by "not there" is that the physical addresses associated
> with the pages are no longer valid (it's a hole in the physical memory
> map). To me it seems conceptually wrong to account those pages as wired.

They are not. They are at all effect wired (even if with a slightly
different semantic), meaning wired as also not-pageable. The fact that
you won't mark them wired will just weaken the accounting,
debuggability and tracing side.

> Thinking from a user point of view for example, if I'm inside of a VM
> that has ballooned down, I will see a huge amount of memory marked as
> wired on the top utility, which seems wrong, those pages are simply not
> there anymore, and as so, they shouldn't show up in stats.
>
> It also makes it really hard to know which memory is really wired and in
> use by the system, as opposed to the wired memory used by the balloon
> driver.

I think this is really the problem with your approach. Now memory will
not be reachable by the pagedaemon and yet you won't see it showing up
anywhere. Memory leaks could go unnoticed, to some extent. I don't
think that's really what you want.

Attilio


--=20
Peace can only be achieved by understanding - A. Einstein



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAJ-FndBHM%2BdpwqgiZdfD1=BD658kiNjoRYj7O6aNTZ%2BFAHvQrw>