On Fri, Nov 19, 2021 at 10:03:26AM +0100, Miroslav Benes wrote:
livepatch's consistency model requires that no live patched function must be found on any task's stack during a transition process after a live patch is applied. It is achieved by walking through stacks of all blocked tasks.
The user might also want to define more functions to search for without them being patched at all. It may either help with preparing a live patch, which would otherwise require additional touches to achieve the consistency, or it can be used to overcome deficiencies the stack checking inherently has. For example, GCC may optimize a function so that a part of it is moved to a different section and the function would jump to it. This child function would not be found on a stack in this case, but it may be important to search for it so that, again, the consistency is achieved.
Allow the user to specify such functions on klp_object level.
Ok, so this relies on the patch generator to DTRT but then it should work.
Thanks!