Re: [PATCH v5 02/22] liveupdate: luo_core: integrate with KHO
From: Pasha Tatashin <pasha.tatashin@soleen.com>
Date: 2025-11-12 14:59:06
Also in:
linux-doc, linux-fsdevel, linux-mm, lkml
On Wed, Nov 12, 2025 at 8:25 AM Mike Rapoport [off-list ref] wrote:
Hi Pasha, On Tue, Nov 11, 2025 at 03:57:39PM -0500, Pasha Tatashin wrote:quoted
Hi Mike, Thank you for review, my comments below:quoted
quoted
This is why this call is placed first in reboot(), before any irreversible reboot notifiers or shutdown callbacks are performed. If an allocation problem occurs in KHO, the error is simply reported back to userspace, and the live update update is safely aborted.The call to liveupdate_reboot() is just before kernel_kexec(). Why we don't move it there?
Yes, I can move that call into kernel_kexec().
And all the liveupdate_reboot() does if kho_finalize() fails it's massaging the error value before returning it to userspace. Why kernel_kexec() can't do the same?
We could do that. It would look something like this: if (liveupdate_enabled()) kho_finalize(); Because we want to do kho_finalize() from kernel_kexec only when we do live update.
quoted
quoted
This is fine. But what I don't like is that we can't use kho without liveupdate. We are making debugfs optional, we have a way to call
This is exactly the fix I proposed: 1. When live-update is enabled, always disable "finalize" debugfs API. 2. When live-update is disabled, always enable "finalize" debugfs API. Once KHO is stateless the "finalize" debugfs API is going to be removed, and KHO debugfs itself can be optional.
quoted
Yes you can: you can disable liveupdate (i.e. not supply liveupdate=1 via kernel parameter) and use KHO the old way: drive it from the userspace. However, if liveupdate is enabled, liveupdate becomes the driver of KHO as unfortunately KHO has these weird states at the moment.The "weird state" is the point where KHO builds its FDT. Replacing the current memory tracker with one that does not require serialization won't change it. We still need a way to tell KHO that "there won't be new nodes in FDT, pack it".
see my answer below
quoted
quoted
kho_finalize() on the reboot path and it does not seem an issue to do it even without liveupdate. But then we force kho_finalize() into liveupdate_reboot() allowing weird configurations where kho is there but it's unusable.What do you mean KHO is there but unusable, we should not have such a state...If you compile a kernel with KEXEC_HANDOVER=y, KEXEC_HANDOVER_DEBUGFS=n and LIVEUPDATE=n and boot with kho=1 there is nothing to trigger kho_finalize().quoted
quoted
What I'd like to see is that we can finalize KHO on kexec reboot path even when liveupdate is not compiled and until then the patch that makes KHO debugfs optional should not go further IMO. Another thing I didn't check in this series yet is how finalization driven from debugfs interacts with liveupdate internal handling?I think what we can do is the following: - Remove "Kconfig: make debugfs optional" from this series, and instead make that change as part of stateless KHO work. - This will ensure that when liveupdate=0 always KHO finalize is fully support the old way. - When liveupdate=1 always disable KHO debugfs "finalize" API, and allow liveupdate to drive it automatically. It would add another liveupdate_enable() check to KHO, and is going to be removed as part of stateless KHO work.KHO should not call into liveupdate. That's layering violation. And "stateless KHO" does not really make it stateless, it only removes the memory serialization from kho_finalize(), but it's still required to pack the FDT.
This touches on a point I've raised in the KHO sync meetings: to be effective, the "stateless KHO" work must also make subtree add/remove stateless. There should not be a separate "finalize" state just to finish the FDT. The KHO FDT is tiny (only one page), and there are only a handful of subtrees. Adding and removing subtrees is cheap; we should be able to open FDT, modify it, and finish FDT on every operation. There's no need for a special finalization state at kexec time. KHO should be totally stateless.
I think we should allow kho finalization in some form from kernel_kexec().
If we achieve that, we wouldn't need a kho_finalize() call from kernel_kexec() at all. All KHO operations should be allowed at any time once KHO is initialized, and they shouldn't depend on the machine state. So, even late in shutdown or early in boot, it should be possible to preserve KHO memory or a subtree. I'm not saying it's a good idea to do that late in shutdown (as preservation may fail), but that should be the caller's problem. Thanks, Pasha