From: Tarun Sahu <tarunsahu@google.com>
To: Pasha Tatashin <pasha.tatashin@soleen.com>,
Mike Rapoport <rppt@kernel.org>,
robin.murphy@arm.com, maz@kernel.org, will@kernel.org,
David Matlack <dmatlack@google.com>,
Alexander Graf <graf@amazon.com>,
seanjc@google.com, jgg@nvidia.com, loganodell@google.com,
arnd@arndb.de, dwmw2@infradead.org, baolu.lu@linux.intel.com,
Bjorn Helgaas <bhelgaas@google.com>,
oupton@kernel.org, alex@shazbot.org, gle.com@google.com,
pbonzini@redhat.com, Andrew Morton <akpm@linux-foundation.org>,
kevin.tian@intel.com, joro@8bytes.org
Cc: kvmarm@lists.linux.dev, linux-pci@vger.kernel.org,
Pratyush Yadav <pratyush@kernel.org>,
kexec@lists.infradead.org, kvm@vger.kernel.org,
iommu@lists.linux.dev, linux-arm-kernel@lists.infradead.org,
skhawaja@google.com, sagis@google.com,
linux-arch@vger.kernel.org, linux-mm@kvack.org,
linux-kernel@vger.kernel.org, Tarun Sahu <tarunsahu@google.com>
Subject: [PATCH v4 03/19] kho, memfd_luo: Reference struct kho_vmalloc via serialized pointer
Date: Tue, 10 Nov 2026 05:01:46 +0000 [thread overview]
Message-ID: <20261110050202.529473-4-tarunsahu@google.com> (raw)
In-Reply-To: <20261110050202.529473-1-tarunsahu@google.com>
Subsystems preserving vmalloc allocations currently embed struct
kho_vmalloc directly by value in their serialized structures or device
tree properties. For example, struct memfd_luo_ser embeds struct
kho_vmalloc folios, and test_kho writes the structure directly into the
folios_info FDT property.
Embedding struct kho_vmalloc directly couples the containing layout's
field offsets and size to struct kho_vmalloc. Any modification to struct
kho_vmalloc shifts subsequent fields in the containing structure and
breaks the handover ABI across kexec.
Convert callers to hold a DECLARE_KHOSER_PTR pointer to struct
kho_vmalloc instead of embedding it by value. In memfd_luo, allocate the
main structure and struct kho_vmalloc in the same preserved folio, placing
struct kho_vmalloc in the remaining 8-byte-aligned space, and bump the
compatibility string to memfd-v3. In test_kho, place struct kho_vmalloc
in the remaining space of the FDT folio, store the serialized pointer in
the folios_info property, and bump the compatibility string to
kho-test-v2.
Signed-off-by: Tarun Sahu <tarunsahu@google.com>
---
include/linux/kho/abi/kexec_handover.h | 6 +++
include/linux/kho/abi/memfd.h | 8 ++--
lib/test_kho.c | 29 ++++++++----
mm/memfd_luo.c | 63 ++++++++++++++++----------
4 files changed, 68 insertions(+), 38 deletions(-)
diff --git a/include/linux/kho/abi/kexec_handover.h b/include/linux/kho/abi/kexec_handover.h
index 6f12f5037ea5..bee75a7006e8 100644
--- a/include/linux/kho/abi/kexec_handover.h
+++ b/include/linux/kho/abi/kexec_handover.h
@@ -11,6 +11,8 @@
#define _LINUX_KHO_ABI_KEXEC_HANDOVER_H
#include <linux/bits.h>
+#include <linux/build_bug.h>
+#include <linux/kconfig.h>
#include <linux/log2.h>
#include <linux/math.h>
#include <linux/types.h>
@@ -177,6 +179,10 @@ struct kho_vmalloc {
unsigned short order;
};
+static_assert(sizeof(struct kho_vmalloc) == 16);
+static_assert(!IS_ENABLED(CONFIG_64BIT) ||
+ __alignof__(struct kho_vmalloc) == 8);
+
/**
* DOC: KHO persistent memory tracker
*
diff --git a/include/linux/kho/abi/memfd.h b/include/linux/kho/abi/memfd.h
index 376a724a1d8c..7b49dd6d7e2a 100644
--- a/include/linux/kho/abi/memfd.h
+++ b/include/linux/kho/abi/memfd.h
@@ -81,7 +81,7 @@ static_assert(!IS_ENABLED(CONFIG_64BIT) ||
* to directly use them in the ABI.
* @flags: Flags for the file. Unused flag bits must be set to 0.
* @nr_folios: Number of folios in the folios array.
- * @folios: KHO vmalloc descriptor pointing to the array of
+ * @folios: Pointer to KHO vmalloc descriptor for the array of
* struct memfd_luo_folio_ser.
*/
struct memfd_luo_ser {
@@ -90,14 +90,14 @@ struct memfd_luo_ser {
u32 seals;
u32 flags;
u64 nr_folios;
- struct kho_vmalloc folios;
+ DECLARE_KHOSER_PTR(folios, struct kho_vmalloc *);
};
-static_assert(sizeof(struct memfd_luo_ser) == 48);
+static_assert(sizeof(struct memfd_luo_ser) == 40);
static_assert(!IS_ENABLED(CONFIG_64BIT) ||
__alignof__(struct memfd_luo_ser) == 8);
/* The compatibility string for memfd file handler */
-#define MEMFD_LUO_FH_COMPATIBLE "memfd-v2"
+#define MEMFD_LUO_FH_COMPATIBLE "memfd-v3"
#endif /* _LINUX_KHO_ABI_MEMFD_H */
diff --git a/lib/test_kho.c b/lib/test_kho.c
index aa6a0956bb8b..cd0f183ff68e 100644
--- a/lib/test_kho.c
+++ b/lib/test_kho.c
@@ -25,7 +25,7 @@
#define KHO_TEST_MAGIC 0x4b484f21 /* KHO! */
#define KHO_TEST_FDT "kho_test"
-#define KHO_TEST_COMPAT "kho-test-v1"
+#define KHO_TEST_COMPAT "kho-test-v2"
static long max_mem = (PAGE_SIZE << MAX_PAGE_ORDER) * 2;
module_param(max_mem, long, 0644);
@@ -34,7 +34,7 @@ struct kho_test_state {
unsigned int nr_folios;
struct folio **folios;
phys_addr_t *folios_info;
- struct kho_vmalloc folios_info_phys;
+ DECLARE_KHOSER_PTR(folios_info_phys, struct kho_vmalloc *);
int nr_folios_preserved;
struct folio *fdt;
__wsum csum;
@@ -47,13 +47,13 @@ static void kho_test_unpreserve_data(struct kho_test_state *state)
for (int i = 0; i < state->nr_folios_preserved; i++)
kho_unpreserve_folio(state->folios[i]);
- kho_unpreserve_vmalloc(&state->folios_info_phys);
+ if (KHOSER_LOAD_PTR(state->folios_info_phys))
+ kho_unpreserve_vmalloc(KHOSER_LOAD_PTR(state->folios_info_phys));
vfree(state->folios_info);
}
static int kho_test_preserve_data(struct kho_test_state *state)
{
- struct kho_vmalloc folios_info_phys;
phys_addr_t *folios_info;
int err;
@@ -61,11 +61,10 @@ static int kho_test_preserve_data(struct kho_test_state *state)
if (!folios_info)
return -ENOMEM;
- err = kho_preserve_vmalloc(folios_info, &folios_info_phys);
+ err = kho_preserve_vmalloc(folios_info, KHOSER_LOAD_PTR(state->folios_info_phys));
if (err)
goto err_free_info;
- state->folios_info_phys = folios_info_phys;
state->folios_info = folios_info;
for (int i = 0; i < state->nr_folios; i++) {
@@ -123,14 +122,19 @@ static int kho_test_prepare_fdt(struct kho_test_state *state, ssize_t fdt_size)
static int kho_test_preserve(struct kho_test_state *state)
{
- ssize_t fdt_size;
+ struct kho_vmalloc *folios_vmalloc;
+ ssize_t fdt_size, alloc_size;
int err;
fdt_size = state->nr_folios * sizeof(phys_addr_t) + PAGE_SIZE;
- state->fdt = folio_alloc(GFP_KERNEL, get_order(fdt_size));
+ alloc_size = fdt_size + sizeof(struct kho_vmalloc);
+ state->fdt = folio_alloc(GFP_KERNEL, get_order(alloc_size));
if (!state->fdt)
return -ENOMEM;
+ folios_vmalloc = folio_address(state->fdt) + fdt_size;
+ KHOSER_STORE_PTR(state->folios_info_phys, folios_vmalloc);
+
err = kho_preserve_folio(state->fdt);
if (err)
goto err_free_fdt;
@@ -234,7 +238,8 @@ static int kho_test_save(void)
static int kho_test_restore_data(const void *fdt, int node)
{
- const struct kho_vmalloc *folios_info_phys;
+ const DECLARE_KHOSER_PTR(*folios_info_phys, struct kho_vmalloc *);
+ const struct kho_vmalloc *folios_vmalloc;
const unsigned int *nr_folios;
phys_addr_t *folios_info;
const __wsum *old_csum;
@@ -255,7 +260,11 @@ static int kho_test_restore_data(const void *fdt, int node)
if (!folios_info_phys || len != sizeof(*folios_info_phys))
return -EINVAL;
- folios_info = kho_restore_vmalloc(folios_info_phys);
+ folios_vmalloc = KHOSER_LOAD_PTR(*folios_info_phys);
+ if (!folios_vmalloc)
+ return -EINVAL;
+
+ folios_info = kho_restore_vmalloc(folios_vmalloc);
if (!folios_info)
return -EINVAL;
diff --git a/mm/memfd_luo.c b/mm/memfd_luo.c
index 6b68220275eb..4471cced57db 100644
--- a/mm/memfd_luo.c
+++ b/mm/memfd_luo.c
@@ -85,9 +85,8 @@
#include "internal.h"
static int memfd_luo_preserve_folios(struct file *file,
- struct kho_vmalloc *kho_vmalloc,
- struct memfd_luo_folio_ser **out_folios_ser,
- u64 *nr_foliosp)
+ struct memfd_luo_ser *ser,
+ struct memfd_luo_folio_ser **out_folios_ser)
{
struct inode *inode = file_inode(file);
struct memfd_luo_folio_ser *folios_ser;
@@ -104,7 +103,8 @@ static int memfd_luo_preserve_folios(struct file *file,
* are not set.
*/
if (!size) {
- *nr_foliosp = 0;
+ ser->folios.phys = 0;
+ ser->nr_folios = 0;
*out_folios_ser = NULL;
return 0;
}
@@ -200,12 +200,12 @@ static int memfd_luo_preserve_folios(struct file *file,
pfolio->index = folio->index;
}
- err = kho_preserve_vmalloc(folios_ser, kho_vmalloc);
+ err = kho_preserve_vmalloc(folios_ser, KHOSER_LOAD_PTR(ser->folios));
if (err)
goto err_unpreserve;
kvfree(folios);
- *nr_foliosp = nr_folios;
+ ser->nr_folios = nr_folios;
*out_folios_ser = folios_ser;
/*
@@ -254,37 +254,43 @@ static void memfd_luo_unpreserve_folios(struct kho_vmalloc *kho_vmalloc,
vfree(folios_ser);
}
+static size_t memfd_luo_ser_size(void)
+{
+ return sizeof(struct memfd_luo_ser) + sizeof(struct kho_vmalloc);
+}
+
+static struct memfd_luo_ser *memfd_luo_ser_init(void *mem)
+{
+ struct kho_vmalloc *kho_vmalloc = mem + sizeof(struct memfd_luo_ser);
+ struct memfd_luo_ser *ser = mem;
+
+ KHOSER_STORE_PTR(ser->folios, kho_vmalloc);
+ return ser;
+}
+
static int memfd_luo_preserve(struct liveupdate_file_op_args *args)
{
struct inode *inode = file_inode(args->file);
struct memfd_luo_folio_ser *folios_ser;
struct memfd_luo_ser *ser;
- u64 nr_folios, inode_size;
int err = 0, seals;
+ u64 inode_size;
inode_lock(inode);
shmem_freeze(inode, true);
- /* Allocate the main serialization structure in preserved memory */
- ser = kho_alloc_preserve(sizeof(*ser));
- if (IS_ERR(ser)) {
- err = PTR_ERR(ser);
- goto err_unlock;
- }
-
seals = memfd_get_seals(args->file);
if (seals < 0) {
err = seals;
- goto err_free_ser;
+ goto err_unlock;
}
/* Make sure the file only has the seals supported by this version. */
if (seals & ~MEMFD_LUO_ALL_SEALS) {
err = -EOPNOTSUPP;
- goto err_free_ser;
+ goto err_unlock;
}
- ser->pos = args->file->f_pos;
inode_size = i_size_read(inode);
/*
@@ -293,18 +299,26 @@ static int memfd_luo_preserve(struct liveupdate_file_op_args *args)
*/
if (DIV_ROUND_UP_ULL(inode_size, PAGE_SIZE) > UINT_MAX) {
err = -EFBIG;
- goto err_free_ser;
+ goto err_unlock;
+ }
+
+ /* Allocate the main serialization structure in preserved memory */
+ ser = kho_alloc_preserve(memfd_luo_ser_size());
+ if (IS_ERR(ser)) {
+ err = PTR_ERR(ser);
+ goto err_unlock;
}
+ ser = memfd_luo_ser_init(ser);
+ ser->pos = args->file->f_pos;
ser->size = inode_size;
ser->seals = seals;
+ ser->flags = 0;
- err = memfd_luo_preserve_folios(args->file, &ser->folios,
- &folios_ser, &nr_folios);
+ err = memfd_luo_preserve_folios(args->file, ser, &folios_ser);
if (err)
goto err_free_ser;
- ser->nr_folios = nr_folios;
inode_unlock(inode);
args->private_data = folios_ser;
@@ -351,7 +365,8 @@ static void memfd_luo_unpreserve(struct liveupdate_file_op_args *args)
ser = phys_to_virt(args->serialized_data);
- memfd_luo_unpreserve_folios(&ser->folios, args->private_data,
+ memfd_luo_unpreserve_folios(KHOSER_LOAD_PTR(ser->folios),
+ args->private_data,
ser->nr_folios);
kho_unpreserve_free(ser);
@@ -401,7 +416,7 @@ static void memfd_luo_finish(struct liveupdate_file_op_args *args)
return;
if (ser->nr_folios) {
- folios_ser = kho_restore_vmalloc(&ser->folios);
+ folios_ser = kho_restore_vmalloc(KHOSER_LOAD_PTR(ser->folios));
if (!folios_ser)
goto out;
@@ -552,7 +567,7 @@ static int memfd_luo_retrieve(struct liveupdate_file_op_args *args)
i_size_write(file_inode(file), ser->size);
if (ser->nr_folios) {
- folios_ser = kho_restore_vmalloc(&ser->folios);
+ folios_ser = kho_restore_vmalloc(KHOSER_LOAD_PTR(ser->folios));
if (!folios_ser) {
err = -EINVAL;
goto put_file;
--
2.56.0.506.g506a7eabc5-goog
next prev parent reply other threads:[~2026-11-10 5:02 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-10 5:01 [PATCH v4 00/19] kho, liveupdate: Add feature header for fine-grained ABI compatibility Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 01/19] liveupdate, kho: Remove __packed from KHO, LUO and memfd ABI structures Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 02/19] kho: block: Record the entry size in the block header Tarun Sahu
2026-11-10 5:01 ` Tarun Sahu [this message]
2026-11-10 5:01 ` [PATCH v4 04/19] liveupdate: Reference struct luo_file_set_ser via serialized pointer Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 05/19] kho: Add feature header for fine-grained ABI compatibility Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 06/19] kho: kexec_metadata: Add the feature header Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 07/19] kho: vmalloc: " Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 08/19] kho: block: Add the feature header to blocks Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 09/19] liveupdate: Add feature header to struct luo_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 10/19] liveupdate: Add feature header to struct luo_session_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 11/19] liveupdate: Add feature header to struct luo_file_set_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 12/19] liveupdate: Add feature header to struct luo_file_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 13/19] liveupdate: Add feature header to struct luo_flb_header_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 14/19] liveupdate: Add feature header to struct luo_flb_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 15/19] PCI: liveupdate: Add feature header to struct pci_ser Tarun Sahu
2026-11-10 5:01 ` [PATCH v4 16/19] PCI: liveupdate: Add feature header to struct pci_dev_ser Tarun Sahu
2026-11-10 5:02 ` [PATCH v4 17/19] mm: memfd_luo: Add feature header to struct memfd_luo_ser Tarun Sahu
2026-11-10 5:02 ` [PATCH v4 18/19] mm: memfd_luo: Add feature header to struct memfd_luo_folio_ser Tarun Sahu
2026-11-10 5:02 ` [PATCH v4 19/19] kho: Add KUnit test for the feature header helpers Tarun Sahu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20261110050202.529473-4-tarunsahu@google.com \
--to=tarunsahu@google.com \
--cc=akpm@linux-foundation.org \
--cc=alex@shazbot.org \
--cc=arnd@arndb.de \
--cc=baolu.lu@linux.intel.com \
--cc=bhelgaas@google.com \
--cc=dmatlack@google.com \
--cc=dwmw2@infradead.org \
--cc=gle.com@google.com \
--cc=graf@amazon.com \
--cc=iommu@lists.linux.dev \
--cc=jgg@nvidia.com \
--cc=joro@8bytes.org \
--cc=kevin.tian@intel.com \
--cc=kexec@lists.infradead.org \
--cc=kvm@vger.kernel.org \
--cc=kvmarm@lists.linux.dev \
--cc=linux-arch@vger.kernel.org \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-pci@vger.kernel.org \
--cc=loganodell@google.com \
--cc=maz@kernel.org \
--cc=oupton@kernel.org \
--cc=pasha.tatashin@soleen.com \
--cc=pbonzini@redhat.com \
--cc=pratyush@kernel.org \
--cc=robin.murphy@arm.com \
--cc=rppt@kernel.org \
--cc=sagis@google.com \
--cc=seanjc@google.com \
--cc=skhawaja@google.com \
--cc=will@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®