>>> On 24.11.15 at 11:58, <mlo...@simula.no> wrote: > I’m looking at the code of domain_kill() to understand how a dying domain > releases its resources. > If I’m understanding correctly, physical memory is released by gradually > releasing the page tables and updating the page_info associated to each entry > to decrement reference counters until the page is finally scrubbed and > released as the counters reach 0. Is that correct? > If so, why is memory released that way and not by simply walking d->page_list > and releasing pages as they appear in the list (assuming it’s not a shared > page still used by another domain)?
That parenthesized remark of yours actually answers your question: How would a list walker know whether a page is still in use elsewhere? Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel