[devel] Q: girar builder: automated bad_elf_symbols check

[devel] Q: girar builder: automated bad_elf_symbols check

[Dmitry V. Levin]

[-- Attachment #1: Type: text/plain, Size: 773 bytes --]

On Wed, Feb 18, 2009 at 03:06:46PM +0300, Alexey M. Tourbin wrote:
> Update of /people/at/packages/girar-builder.git
[...]
> +	if [ -s $arch-bes.plus ]; then
> +		echo "	$arch: NEW bad_elf_symbols detected:"
> +		cat $arch-bes.plus
> +		rc=1
> +	fi >&2

Ну хорошо, а что мы будем делать в тех очень редких случаях, когда эти
"нехорошие" ссылки являются законными?

Например, я видел такой вариант: процесс загружает elf shared object с
помощью dlopen, проверяет наличие в нём нужных ему символов с помощью
dlsym, и, если всё нужное нашлось, использует их напрямую.  Хотя,
конечно, использование weak symbols в такой ситуации выглядит более
естественным.

Будем ли мы исправлять весь код, который не пройдёт проверку на
"нехорошие" ссылки?


-- 
ldv

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 1808 bytes --]

On Wed, Feb 18, 2009 at 05:19:11PM +0300, Dmitry V. Levin wrote:
> On Wed, Feb 18, 2009 at 03:06:46PM +0300, Alexey M. Tourbin wrote:
> > Update of /people/at/packages/girar-builder.git
> [...]
> > +	if [ -s $arch-bes.plus ]; then
> > +		echo "	$arch: NEW bad_elf_symbols detected:"
> > +		cat $arch-bes.plus
> > +		rc=1
> > +	fi >&2
> 
> Ну хорошо, а что мы будем делать в тех очень редких случаях, когда эти
> "нехорошие" ссылки являются законными?
> 
> Например, я видел такой вариант: процесс загружает elf shared object с
> помощью dlopen, проверяет наличие в нём нужных ему символов с помощью
> dlsym, и, если всё нужное нашлось, использует их напрямую.  Хотя,
> конечно, использование weak symbols в такой ситуации выглядит более
> естественным.

Только weak symbols.

	if (weak_symbol_function)
		ret = weak_symbol_function(args);

> Будем ли мы исправлять весь код, который не пройдёт проверку на
> "нехорошие" ссылки?

Хоршо бы исправить код, особенно если он есть.  Примерно половина
существующих случаев bad_elf_symbols -- это проприетарные драйвера.

[at@people ~]$ cut -f1 /ALT/qa-robot/bad_elf_symbols/*/dump.old |sort |uniq -c |sort -n |tail
     48 virtualbox
    141 nvidia_glx_1.0.7182
    141 nvidia_glx_1.0.8756
    141 nvidia_glx_1.0.8762
    141 nvidia_glx_1.0.8774
    141 nvidia_glx_1.0.8776
    142 nvidia_glx_1.0.8178
    158 matroxdriver_glx
    276 fglrx_glx
    618 monkeystudio
[at@people ~]$ 

Кстати, новая проверка на bad_elf_symbols во многих отношениях похожа
на проверку unmets.  И сами эти понятия сходны.  Понятию левого
проприетарного бинарика в bad_elf_symbols будет соответствовать понятие
левого проприетарного собранного пакета в unmets.  Но пакеты без сборки
мы вообще не допускаем, а вот левые бинарики допускаем.

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Dmitry V. Levin]

[-- Attachment #1: Type: text/plain, Size: 1261 bytes --]

On Wed, Feb 18, 2009 at 05:33:54PM +0300, Alexey Tourbin wrote:
> On Wed, Feb 18, 2009 at 05:19:11PM +0300, Dmitry V. Levin wrote:
> > On Wed, Feb 18, 2009 at 03:06:46PM +0300, Alexey M. Tourbin wrote:
> > > Update of /people/at/packages/girar-builder.git
> > [...]
> > > +	if [ -s $arch-bes.plus ]; then
> > > +		echo "	$arch: NEW bad_elf_symbols detected:"
> > > +		cat $arch-bes.plus
> > > +		rc=1
> > > +	fi >&2
> > 
> > Ну хорошо, а что мы будем делать в тех очень редких случаях, когда эти
> > "нехорошие" ссылки являются законными?
> > 
> > Например, я видел такой вариант: процесс загружает elf shared object с
> > помощью dlopen, проверяет наличие в нём нужных ему символов с помощью
> > dlsym, и, если всё нужное нашлось, использует их напрямую.  Хотя,
> > конечно, использование weak symbols в такой ситуации выглядит более
> > естественным.
> 
> Только weak symbols.
> 
> 	if (weak_symbol_function)
> 		ret = weak_symbol_function(args);
> 
> > Будем ли мы исправлять весь код, который не пройдёт проверку на
> > "нехорошие" ссылки?
> 
> Хоршо бы исправить код, особенно если он есть.  Примерно половина
> существующих случаев bad_elf_symbols -- это проприетарные драйвера.

И как быть с этой половиной?


-- 
ldv

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Денис Смирнов]

[-- Attachment #1: Type: text/plain, Size: 698 bytes --]

On Thu, Feb 19, 2009 at 05:20:16AM +0300, Dmitry V. Levin wrote:

>> Хоршо бы исправить код, особенно если он есть.  Примерно половина
>> существующих случаев bad_elf_symbols -- это проприетарные драйвера.
DVL> И как быть с этой половиной?

Возможно помечать такие brain damadged поделки и отправлять в whitelist?

Неразумно _требовать_ исправлять весь такой код, однако разумно что
мантейнер должен быть в курсе такой грабли и собственноручно нажать на
кнопку "да, я знаю что этот пакет крив, но он работает и я не могу/не хочу
фиксить эту особенность".

-- 
С уважением, Денис

http://freesource.info
----------------------------------------------------------------------------

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 458 bytes --]

On Thu, Feb 19, 2009 at 05:20:16AM +0300, Dmitry V. Levin wrote:
> > > Будем ли мы исправлять весь код, который не пройдёт проверку на
> > > "нехорошие" ссылки?
> > 
> > Хоршо бы исправить код, особенно если он есть.  Примерно половина
> > существующих случаев bad_elf_symbols -- это проприетарные драйвера.
> 
> И как быть с этой половиной?

Придётся составлять hardcoded список исключений, для случаев, когда
доказано, что nothing else will do.

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 540 bytes --]

On Thu, Feb 19, 2009 at 05:20:16AM +0300, Dmitry V. Levin wrote:
> > > Будем ли мы исправлять весь код, который не пройдёт проверку на
> > > "нехорошие" ссылки?
> > 
> > Хоршо бы исправить код, особенно если он есть.  Примерно половина
> > существующих случаев bad_elf_symbols -- это проприетарные драйвера.
> 
> И как быть с этой половиной?

fglrx_glx-8.58.2-alt2.src.rpm 
http://lists.altlinux.org/pipermail/sisyphus-incominger/2009-February/225807.html

Это действительно всё исправили или где-то кто-то кого-то обманывает?

[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Valery V. Inozemtsev]

[-- Attachment #1: Type: text/plain, Size: 1014 bytes --]

On Tuesday 24 February 2009 16:51:44 Alexey Tourbin wrote:
> On Thu, Feb 19, 2009 at 05:20:16AM +0300, Dmitry V. Levin wrote:
> > > > Будем ли мы исправлять весь код, который не пройдёт проверку на
> > > > "нехорошие" ссылки?
> > >
> > > Хоршо бы исправить код, особенно если он есть.  Примерно половина
> > > существующих случаев bad_elf_symbols -- это проприетарные драйвера.
> >
> > И как быть с этой половиной?
>
> fglrx_glx-8.58.2-alt2.src.rpm
> http://lists.altlinux.org/pipermail/sisyphus-incominger/2009-February/22580
>7.html
>
> Это действительно всё исправили или где-то кто-то кого-то обманывает?

этО не работает точно. я все ляпы исправил, но на X1300 один хрен не поднялось

-- 
Valery V. Inozemtsev

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

Re: [devel] Q: girar builder: automated bad_elf_symbols check

[Valery V. Inozemtsev]

[-- Attachment #1: Type: text/plain, Size: 1315 bytes --]

On Tuesday 24 February 2009 16:56:50 Valery V. Inozemtsev wrote:
> On Tuesday 24 February 2009 16:51:44 Alexey Tourbin wrote:
> > On Thu, Feb 19, 2009 at 05:20:16AM +0300, Dmitry V. Levin wrote:
> > > > > Будем ли мы исправлять весь код, который не пройдёт проверку на
> > > > > "нехорошие" ссылки?
> > > >
> > > > Хоршо бы исправить код, особенно если он есть.  Примерно половина
> > > > существующих случаев bad_elf_symbols -- это проприетарные драйвера.
> > >
> > > И как быть с этой половиной?
> >
> > fglrx_glx-8.58.2-alt2.src.rpm
> > http://lists.altlinux.org/pipermail/sisyphus-incominger/2009-February/225
> >80 7.html
> >
> > Это действительно всё исправили или где-то кто-то кого-то обманывает?
>
> этО не работает точно. я все ляпы исправил, но на X1300 один хрен не
> поднялось

в fglrx_glx-8.58.2-alt3 прошелся/пометил все скрытые грабли и оно даже 
работает
а вот с OpenGL 3.0 всех на....обманули. там 2.1

-- 
Valery V. Inozemtsev

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 198 bytes --]