Generic Linux architectural discussions
 help / color / mirror / Atom feed
From: Mike Rapoport <rppt@kernel.org>
To: Pasha Tatashin <pasha.tatashin@soleen.com>
Cc: Tarun Sahu <tarunsahu@google.com>,
	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, 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
Subject: Re: [PATCH v4 02/19] kho: block: Record the entry size in the block header
Date: Sun, 15 Nov 2026 19:35:29 +0200	[thread overview]
Message-ID: <avntYdLF2xvDh47A@kernel.org> (raw)
In-Reply-To: <DMRK0PU0VCN3.15F59WLOQ05P4@soleen.com>

On Tue, Nov 10, 2026 at 08:10:32AM -0500, Pasha Tatashin wrote:
> On Tue Nov 10, 2026 at 12:01 AM EST, Tarun Sahu wrote:
> > Subsystems using the KHO Serialization Blocks framework currently do
> > not record the serialized entry size in the block header. The entry size
> > is only known to individual callers, which must track and store it in an
> > owning serialized data structure. If a newer source kernel adds fields
> > to an entry, the changed entry size breaks the stride when an older
> > target kernel iterates over blocks.
> >
> > Add an entry_size field to struct kho_block_header_ser. On the outgoing
> > side, record bs->entry_size into every block header during allocation.
> > During restoration, derive the entry stride directly from the block
> > header instead of relying on caller-supplied dimensions. The
> > kho_block_set_init() interface remains unchanged. A zero entry size,
> > or one that differs between blocks of a set, is rejected during
> > restoration.
> >
> > This change modifies the serialized layout of struct kho_block_header_ser
> > and shifts the offset of serialized entries within preserved blocks.
> > Bump KHO_FDT_COMPATIBLE from kho-v4 to kho-v5 so that pre-v5 and post-v5
> > kernels cleanly reject mismatched handover state during boot. Also
> > update the stale compatible string example in the documentation.
> >
> > Suggested-by: Pratyush Yadav <pratyush@kernel.org>
> > Signed-off-by: Tarun Sahu <tarunsahu@google.com>
> > ---
> >  include/linux/kho/abi/block.h          | 10 ++++----
> >  include/linux/kho/abi/kexec_handover.h |  6 ++---
> >  kernel/liveupdate/kho_block.c          | 32 +++++++++++++++++++++++---
> >  3 files changed, 38 insertions(+), 10 deletions(-)
> >
> > diff --git a/include/linux/kho/abi/block.h b/include/linux/kho/abi/block.h
> > index 36bdbaf9b3b8..a40b0906c821 100644
> > --- a/include/linux/kho/abi/block.h
> > +++ b/include/linux/kho/abi/block.h
> > @@ -40,9 +40,10 @@
> >  
> >  /**
> >   * struct kho_block_header_ser - Header for the serialized data block.
> > - * @next:  Physical address of the next struct kho_block_header_ser.
> > - * @count: The number of entries that immediately follow this header in the
> > - *         memory block.
> > + * @next:       Physical address of the next struct kho_block_header_ser.
> > + * @count:      The number of entries that immediately follow this header in the
> > + *              memory block.
> > + * @entry_size: The size in bytes of each serialized entry in the block.
> >   *
> >   * This structure is located at the beginning of a block of physical memory
> >   * preserved across a kexec. It provides the necessary metadata to interpret
> > @@ -51,9 +52,10 @@
> >  struct kho_block_header_ser {
> >  	u64 next;
> >  	u64 count;
> > +	u64 entry_size;
> >  };
> >  
> > -static_assert(sizeof(struct kho_block_header_ser) == 16);
> > +static_assert(sizeof(struct kho_block_header_ser) == 24);
> >  static_assert(!IS_ENABLED(CONFIG_64BIT) ||
> >  	      __alignof__(struct kho_block_header_ser) == 8);
> 
> The above change goes away once my comment on the previous patch 
> is addressed.
> 
> >  
> > diff --git a/include/linux/kho/abi/kexec_handover.h b/include/linux/kho/abi/kexec_handover.h
> > index 2f4fb9c63942..6f12f5037ea5 100644
> > --- a/include/linux/kho/abi/kexec_handover.h
> > +++ b/include/linux/kho/abi/kexec_handover.h
> > @@ -41,7 +41,7 @@
> >   *   restore the preserved data.::
> >   *
> >   *     / {
> > - *         compatible = "kho-v3";
> > + *         compatible = "kho-v5";
> >   *
> >   *         preserved-memory-map = <0x...>;
> >   *
> > @@ -62,7 +62,7 @@
> >   *     };
> >   *
> >   *   Root KHO Node (/):
> > - *     - compatible: "kho-v3"
> > + *     - compatible: "kho-v5"
> 
> These are just examples, don't update them.
> 
> >   *
> >   *       Identifies the overall KHO ABI version.
> >   *
> > @@ -90,7 +90,7 @@
> >   */
> >  
> >  /* The compatible string for the KHO FDT root node. */
> > -#define KHO_FDT_COMPATIBLE "kho-v4"
> > +#define KHO_FDT_COMPATIBLE "kho-v5"
> >  
> >  /* The FDT property for the preserved memory map. */
> >  #define KHO_FDT_MEMORY_MAP_PROP_NAME "preserved-memory-map"
> > diff --git a/kernel/liveupdate/kho_block.c b/kernel/liveupdate/kho_block.c
> > index 0d2a342ef422..9b148009085e 100644
> > --- a/kernel/liveupdate/kho_block.c
> > +++ b/kernel/liveupdate/kho_block.c
> > @@ -16,6 +16,12 @@
> >   * array of serialized entries. Multiple blocks are linked together via a
> >   * physical pointer in the header, forming a linked list that can be easily
> >   * traversed in both the current and the next kernel.
> > + *
> > + * Each block header also records the size of its entries. A newer kernel may
> 
> "newer kernel" does not make sense in the documentation comment, as any 
> kernel can do that. I would suggest "outgoing kernel." 

My understanding that here "newer" kernel refers to a newer kernel version
rather than incoming or outgoing. So the docs should say something like
"different kernel versions may have different size of the entry"

> By the way, in this series you use the terms "source" and "destination"
> kernel, whereas traditionally we have used "outgoing" and "incoming."
> While both conventions work, it would be preferable to maintain
> consistency.

-- 
Sincerely yours,
Mike.

  parent reply	other threads:[~2026-11-15 17:35 UTC|newest]

Thread overview: 45+ 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 12:56   ` Pasha Tatashin
2026-11-10 17:28     ` tarunsahu
2026-11-10  5:01 ` [PATCH v4 02/19] kho: block: Record the entry size in the block header Tarun Sahu
2026-11-10 13:10   ` Pasha Tatashin
2026-11-11  5:45     ` tarunsahu
2026-11-15 17:35     ` Mike Rapoport [this message]
2026-11-10 17:03   ` David Matlack
2026-11-15  6:37     ` tarunsahu
2026-11-15 17:39   ` Mike Rapoport
2026-11-10  5:01 ` [PATCH v4 03/19] kho, memfd_luo: Reference struct kho_vmalloc via serialized pointer Tarun Sahu
2026-11-10 14:23   ` Pasha Tatashin
2026-11-11  6:20     ` tarunsahu
2026-11-10  5:01 ` [PATCH v4 04/19] liveupdate: Reference struct luo_file_set_ser " Tarun Sahu
2026-11-10 14:47   ` Pasha Tatashin
2026-11-10  5:01 ` [PATCH v4 05/19] kho: Add feature header for fine-grained ABI compatibility Tarun Sahu
2026-11-10 14:47   ` Pasha Tatashin
2026-11-10 18:13     ` tarunsahu
2026-11-10 15:12   ` Pasha Tatashin
2026-11-10 18:25     ` tarunsahu
2026-11-15 18:01   ` Mike Rapoport
2026-11-10  5:01 ` [PATCH v4 06/19] kho: kexec_metadata: Add the feature header Tarun Sahu
2026-11-10 15:08   ` Pasha Tatashin
2026-11-11  6:33     ` tarunsahu
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 17:07   ` David Matlack
2026-11-14  9:34     ` tarunsahu
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 16:39   ` David Matlack
2026-11-10  5:01 ` [PATCH v4 16/19] PCI: liveupdate: Add feature header to struct pci_dev_ser Tarun Sahu
2026-11-10 16:23   ` David Matlack
2026-11-14 17:35     ` tarunsahu
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
2026-11-10 12:48 ` [PATCH v4 00/19] kho, liveupdate: Add feature header for fine-grained ABI compatibility Pasha Tatashin
2026-11-11  5:36   ` tarunsahu

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=avntYdLF2xvDh47A@kernel.org \
    --to=rppt@kernel.org \
    --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=sagis@google.com \
    --cc=seanjc@google.com \
    --cc=skhawaja@google.com \
    --cc=tarunsahu@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