[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20211204182314.1470076-1-pasha.tatashin@soleen.com>
Date: Sat, 4 Dec 2021 18:23:10 +0000
From: Pasha Tatashin <pasha.tatashin@...een.com>
To: pasha.tatashin@...een.com, linux-kernel@...r.kernel.org,
linux-mm@...ck.org, linux-doc@...r.kernel.org,
akpm@...ux-foundation.org, rientjes@...gle.com, pjt@...gle.com,
weixugc@...gle.com, gthelen@...gle.com, mingo@...hat.com,
corbet@....net, will@...nel.org, rppt@...nel.org,
keescook@...omium.org, tglx@...utronix.de, peterz@...radead.org,
masahiroy@...nel.org, samitolvanen@...gle.com,
dave.hansen@...ux.intel.com, x86@...nel.org, frederic@...nel.org,
hpa@...or.com, aneesh.kumar@...ux.ibm.com, jirislaby@...nel.org,
songmuchun@...edance.com, qydwhotmail@...il.com
Subject: [PATCH v2 0/4] page table check
Changelog:
v2:
- Fixed bug reported by Fushan Wen
The root cause was that in do_swap_page() we first add page table entry
and only later change its type to anon.
- Added EXPORT_SYMBOL() to functions which are called from set_pte_* type
functions.
- Replaced DEFINE_STATIC_KEY_TRUE_RO with DEFINE_STATIC_KEY_TRUE to fix
issue with module load/unload as reported and root caused by Jiri Slaby
v1:
- Added ptep_clear() to mm/debug_vm_pgtable.c (thanks Anshuman Khandual)
- Addressed documentation comments from Jonathan Corbet.
Ensure that some memory corruptions are prevented by checking at the
time of insertion of entries into user page tables that there is no
illegal sharing.
We have recently found a problem [1] that existed in kernel since 4.14.
The problem was caused by broken page ref count and led to memory
leaking from one process into another. The problem was accidentally
detected by studying a dump of one process and noticing that one page
contains memory that should not belong to this process.
There are some other page->_refcount related problems that were recently
fixed: [2], [3] which potentially could also lead to illegal sharing.
In addition to hardening refcount [4] itself, this work is an attempt to
prevent this class of memory corruption issues.
It uses a simple state machine that is independent from regular MM logic
to check for illegal sharing at time pages are inserted and removed
from page tables.
[1] https://lore.kernel.org/all/xr9335nxwc5y.fsf@gthelen2.svl.corp.google.com
[2] https://lore.kernel.org/all/1582661774-30925-2-git-send-email-akaher@vmware.com
[3] https://lore.kernel.org/all/20210622021423.154662-3-mike.kravetz@oracle.com
[4] https://lore.kernel.org/all/20211026173822.502506-1-pasha.tatashin@soleen.com
Previous versions:
v1: https://lore.kernel.org/all/20211123214814.3756047-1-pasha.tatashin@soleen.com/
RFC: https://lore.kernel.org/all/20211116220038.116484-1-pasha.tatashin@soleen.com
Pasha Tatashin (4):
mm: change page type prior to adding page table entry
mm: ptep_clear() page table helper
mm: page table check
x86: mm: add x86_64 support for page table check
Documentation/vm/arch_pgtable_helpers.rst | 6 +-
Documentation/vm/index.rst | 1 +
Documentation/vm/page_table_check.rst | 56 +++++
MAINTAINERS | 9 +
arch/Kconfig | 3 +
arch/x86/Kconfig | 1 +
arch/x86/include/asm/pgtable.h | 29 ++-
include/linux/page_table_check.h | 147 ++++++++++++
include/linux/pgtable.h | 8 +
mm/Kconfig.debug | 24 ++
mm/Makefile | 1 +
mm/debug_vm_pgtable.c | 2 +-
mm/khugepaged.c | 12 +-
mm/memory.c | 7 +-
mm/page_alloc.c | 4 +
mm/page_ext.c | 4 +
mm/page_table_check.c | 270 ++++++++++++++++++++++
17 files changed, 566 insertions(+), 18 deletions(-)
create mode 100644 Documentation/vm/page_table_check.rst
create mode 100644 include/linux/page_table_check.h
create mode 100644 mm/page_table_check.c
--
2.34.1.400.ga245620fadb-goog
Powered by blists - more mailing lists