>>> 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

Reply via email to