Messages in this thread | | | Date | Tue, 24 Sep 2019 14:35:54 +0300 | From | "Kirill A. Shutemov" <> | Subject | Re: [PATCH v2 3/4] mm, page_owner: keep owner info when freeing the page |
| |
On Tue, Aug 20, 2019 at 03:18:27PM +0200, Vlastimil Babka wrote: > For debugging purposes it might be useful to keep the owner info even after > page has been freed, and include it in e.g. dump_page() when detecting a bad > page state. For that, change the PAGE_EXT_OWNER flag meaning to "page owner > info has been set at least once" and add new PAGE_EXT_OWNER_ACTIVE for tracking > whether page is supposed to be currently tracked allocated or free.
Why not PAGE_EXT_OWNER_ALLOCED if it means "allocated"? Active is somewhat loaded term for a page.
-- Kirill A. Shutemov
| |