| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Date: Thu, 12 Mar 2009 15:32:53 +0000
From: Paulo Marques <pmarques@...popie.com>
To: Lai Jiangshan <laijs@...fujitsu.com>
CC: Ingo Molnar <mingo@...e.hu>, Sam Ravnborg <sam@...nborg.org>,
Andrew Morton <akpm@...l.org>,
Steven Rostedt <srostedt@...hat.com>,
Frederic Weisbecker <fweisbec@...il.com>,
LKML <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] kallsyms, tracing: output more proper symbol name
Lai Jiangshan wrote:
> Paulo Marques wrote:
>> Ingo Molnar wrote:
>>> I like how you try to solve this at symbol table generation
>>> time.
>> Yes, this is the proper way to do it.
>>
>>> Instead of this hardcoded table, couldnt we use some more
>>> flexible and more future-proof method? Such as ordering
>>> same-address symbols by underscores:
>>>
>>> [same address]
>>>
>>> non-underscore symbols first XYZ
>>> single-undescroe symbols second _XYZ
>>> double-underscore symbols third __XYZ
>>>
>>> that way the scheme would be more or less self-maintaining as an
>>> underscore already carries a "this is a special, internal
>>> symbol" notion.
>> I agree with this approach, but to be on the side we should skim through
>> the alias and see if this works for most symbols or not.
>>
>> I just did this for the symbols on my running kernel and it seems to
>> work. The hierarchy for '_' and '__' is in fact necessary:
>>
>>> ffffffff80447418 T __sched_text_start
>>> ffffffff80447418 t sleep_on_common
>>> ffffffff80449830 T __lock_text_start
>>> ffffffff80449830 T __sched_text_end
>>> ffffffff80449830 T _spin_trylock
>>> ffffffff80453d50 R __stop___ex_table
>>> ffffffff80453d50 T __start_notes
>>> ffffffff8045b000 R __start_rodata
>>> ffffffff8045b000 R linux_banner
>> or that "_spin_trylock" might be displayed incorrectly as
>> "__sched_text_end" or something like that.
>>
>
> sort by underscore may be incorrect. A lots of symbol in .c
> file is '_' or '__' prefix, human are happy to see these symbol.
Since this is just a secondary criteria that applies only to _aliased_
symbols, this shouldn't be a big problem. Symbols with different
addresses are properly placed in the correct order.
> Symbols in my table(in V1 patch) are linker-script-provide symbols.
> Aliased symbols mostly come from linker script. Now, v2 patch's ordering:
>
> [same address]
> symbol defined in .c or .S
> symbol defined in linker script
>
> From: Lai Jiangshan <laijs@...fujitsu.com>
>
[...]
> diff --git a/scripts/kallsyms.c b/scripts/kallsyms.c
> index ad2434b..c6924d4 100644
> --- a/scripts/kallsyms.c
> +++ b/scripts/kallsyms.c
> @@ -500,11 +500,46 @@ static void optimize_token_table(void)
> optimize_result();
> }
>
> +/* guess for "linker script provide" symbol */
> +static int may_be_linker_script_provide_symbol(const struct sym_entry *se)
> +{
> + const char *symbol = (char *)se->sym + 1;
> + int len = se->len - 1;
> +
> + if (len < 8)
> + return 0;
> +
> + if (symbol[0] != '_' || symbol[1] != '_')
> + return 0;
> +
> + /* __start_XXXXX */
> + if (!memcmp(symbol + 2, "start_", 6))
> + return 1;
> +
> + /* __stop_XXXXX */
> + if (!memcmp(symbol + 2, "stop_", 5))
> + return 1;
> +
> + /* __end_XXXXX */
> + if (!memcmp(symbol + 2, "end_", 4))
> + return 1;
> +
> + /* __XXXXX_start */
> + if (!memcmp(symbol + len - 6, "_start", 6))
> + return 1;
> +
> + /* __XXXXX_end */
> + if (!memcmp(symbol + len - 4, "_end", 4))
> + return 1;
> +
> + return 0;
> +}
> +
> static int compare_symbols(const void *a, const void *b)
> {
> const struct sym_entry *sa;
> const struct sym_entry *sb;
> - int wa, wb;
> + int wa, wb, la, lb;
>
> sa = a;
> sb = b;
> @@ -521,6 +556,12 @@ static int compare_symbols(const void *a, const void *b)
> if (wa != wb)
> return wa - wb;
>
> + /* sort by "linker script provide" type */
> + la = may_be_linker_script_provide_symbol(sa);
> + lb = may_be_linker_script_provide_symbol(sb);
> + if (la != lb)
> + return la - lb;
> +
> /* sort by initial order, so that other symbols are left undisturbed */
> return sa->start_pos - sb->start_pos;
> }
I would probably still place another test to compare the number of
underscores, after both symbols are found to be equal in the "linker
script provided" criteria.
The way it is now, for my current kallsyms table:
> ffffffff80200000 A _text
> ffffffff80200000 T startup_64
> ffffffff80209000 T _stext
> ffffffff80209000 t init_post
a "startup_64" address would display as "_text" and a "init_post"
address would display as "_stext".
You can add all the stext/etext symbols as special cases to the
"may_be_linker_script_provide_symbol" function (like it was on your v1
patch), but I'm just afraid that we'll find more cases in the future
that are not automatically caught by these rules...
--
Paulo Marques - www.grupopie.com
"All generalizations are false."
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists