• Steven Rostedt (Google)'s avatar
    ftrace: Still disable enabled records marked as disabled · cf04f2d5
    Steven Rostedt (Google) authored
    Weak functions started causing havoc as they showed up in the
    "available_filter_functions" and this confused people as to why some
    functions marked as "notrace" were listed, but when enabled they did
    nothing. This was because weak functions can still have fentry calls, and
    these addresses get added to the "available_filter_functions" file.
    kallsyms is what converts those addresses to names, and since the weak
    functions are not listed in kallsyms, it would just pick the function
    before that.
    
    To solve this, there was a trick to detect weak functions listed, and
    these records would be marked as DISABLED so that they do not get enabled
    and are mostly ignored. As the processing of the list of all functions to
    figure out what is weak or not can take a long time, this process is put
    off into a kernel thread and run in parallel with the rest of start up.
    
    Now the issue happens whet function tracing is enabled via the kernel
    command line. As it starts very early in boot up, it can be enabled before
    the records that are weak are marked to be disabled. This causes an issue
    in the accounting, as the weak records are enabled by the command line
    function tracing, but after boot up, they are not disabled.
    
    The ftrace records have several accounting flags and a ref count. The
    DISABLED flag is just one. If the record is enabled before it is marked
    DISABLED it will get an ENABLED flag and also have its ref counter
    incremented. After it is marked for DISABLED, neither the ENABLED flag nor
    the ref counter is cleared. There's sanity checks on the records that are
    performed after an ftrace function is registered or unregistered, and this
    detected that there were records marked as ENABLED with ref counter that
    should not have been.
    
    Note, the module loading code uses the DISABLED flag as well to keep its
    functions from being modified while its being loaded and some of these
    flags may get set in this process. So changing the verification code to
    ignore DISABLED records is a no go, as it still needs to verify that the
    module records are working too.
    
    Also, the weak functions still are calling a trampoline. Even though they
    should never be called, it is dangerous to leave these weak functions
    calling a trampoline that is freed, so they should still be set back to
    nops.
    
    There's two places that need to not skip records that have the ENABLED
    and the DISABLED flags set. That is where the ftrace_ops is processed and
    sets the records ref counts, and then later when the function itself is to
    be updated, and the ENABLED flag gets removed. Add a helper function
    "skip_record()" that returns true if the record has the DISABLED flag set
    but not the ENABLED flag.
    
    Link: https://lkml.kernel.org/r/20221005003809.27d2b97b@gandalf.local.home
    
    Cc: Masami Hiramatsu <mhiramat@kernel.org>
    Cc: Andrew Morton <akpm@linux-foundation.org>
    Cc: stable@vger.kernel.org
    Fixes: b39181f7 ("ftrace: Add FTRACE_MCOUNT_MAX_OFFSET to avoid adding weak function")
    Signed-off-by: default avatarSteven Rostedt (Google) <rostedt@goodmis.org>
    cf04f2d5
ftrace.c 200 KB