[devel] Ну я так не играю...

[devel] Ну я так не играю...

[Vitaly Lugovsky]

 Проблема с binutils действительно серьёзная. Таки надо решать.

Re: [devel] Ну я так не играю...

[Alexander Bokovoy]

On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> 
>  Проблема с binutils действительно серьёзная. Таки надо решать.
Дмитрий сейчас в отпуске, насколько я знаю.

Стас, может быть ты пересоберешь binutils с патчем Виталия?
-- 
/ Alexander Bokovoy
---
A vivid and creative mind characterizes you.

Re: [devel] Ну я так не играю...

[Vitaly Lugovsky]

On Sat, 12 Jul 2003, Alexander Bokovoy wrote:

> On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> >
> >  Проблема с binutils действительно серьёзная. Таки надо решать.
> Дмитрий сейчас в отпуске, насколько я знаю.

 А... Как-то не догадался. Сейчас ведь вроде как лето, хоть так
сразу и не скажешь. ;)

> Стас, может быть ты пересоберешь binutils с патчем Виталия?

 На всякий случай - единственные проблемы, которые может дать
патч, будут опять же связаны только с ocaml-хозяйством.

Re: [devel] Ну я так не играю...

[Stanislav Ievlev]

On Sat, Jul 12, 2003 at 08:42:02PM +0300, Alexander Bokovoy wrote:
> On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> > 
> >  Проблема с binutils действительно серьёзная. Таки надо решать.
> Дмитрий сейчас в отпуске, насколько я знаю.
> 
> Стас, может быть ты пересоберешь binutils с патчем Виталия?
Поскольку я не понимаю что этот патч делает, зато прекрасно понимаю, чего
нам будет стоить для базовой системы любая нестабильность binutils, то не
буду.

Потерпите же ещё немного, одна неделя осталась ;)
> -- 
> / Alexander Bokovoy
> ---
> A vivid and creative mind characterizes you.
> _______________________________________________
> Devel mailing list
> Devel@altlinux.ru
> http://altlinux.ru/mailman/listinfo/devel

Re: [devel] Ну я так не играю...

[Alexander Bokovoy]

On Mon, Jul 14, 2003 at 12:31:14PM +0400, Stanislav Ievlev wrote:
> On Sat, Jul 12, 2003 at 08:42:02PM +0300, Alexander Bokovoy wrote:
> > On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> > > 
> > >  Проблема с binutils действительно серьёзная. Таки надо решать.
> > Дмитрий сейчас в отпуске, насколько я знаю.
> > 
> > Стас, может быть ты пересоберешь binutils с патчем Виталия?
> Поскольку я не понимаю что этот патч делает, зато прекрасно понимаю, чего
> нам будет стоить для базовой системы любая нестабильность binutils, то не
> буду.
Патч затрагивает только OCaml. 

> Потерпите же ещё немного, одна неделя осталась ;)
Ты хочешь сказать -- две? Поскольку на следующей неделе ты и Дима
исчезнете в палатках инициативной группы.
-- 
/ Alexander Bokovoy
---
Stupidity, like virtue, is its own reward.

Re: [devel] Ну я так не играю...

[Stanislav Ievlev]

On Mon, Jul 14, 2003 at 12:12:20PM +0300, Alexander Bokovoy wrote:
> On Mon, Jul 14, 2003 at 12:31:14PM +0400, Stanislav Ievlev wrote:
> > On Sat, Jul 12, 2003 at 08:42:02PM +0300, Alexander Bokovoy wrote:
> > > On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> > > > 
> > > >  Проблема с binutils действительно серьёзная. Таки надо решать.
> > > Дмитрий сейчас в отпуске, насколько я знаю.
> > > 
> > > Стас, может быть ты пересоберешь binutils с патчем Виталия?
> > Поскольку я не понимаю что этот патч делает, зато прекрасно понимаю, чего
> > нам будет стоить для базовой системы любая нестабильность binutils, то не
> > буду.
> Патч затрагивает только OCaml. 
> 
> > Потерпите же ещё немного, одна неделя осталась ;)
> Ты хочешь сказать -- две? Поскольку на следующей неделе ты и Дима
> исчезнете в палатках инициативной группы.
Будут понедельник, вторник и утро среды. По-моему вполне достаточно, чтобы
мантейнер binutils принял решение.
> -- 
> / Alexander Bokovoy
> ---
> Stupidity, like virtue, is its own reward.
> _______________________________________________
> Devel mailing list
> Devel@altlinux.ru
> http://altlinux.ru/mailman/listinfo/devel

Re: [devel] Ну я так не играю...

[Vitaly Lugovsky]

On Mon, 14 Jul 2003, Stanislav Ievlev wrote:

> > Стас, может быть ты пересоберешь binutils с патчем Виталия?

> Поскольку я не понимаю что этот патч делает, зато прекрасно
> понимаю, чего нам будет стоить для базовой системы любая
> нестабильность binutils, то не буду.

 Как что делает? Только отключает проверку якобы "ошибок". Для
тех случаев, когда этих "ошибок" нет, оно вообще никак не
повлияет, а есть же они - насколько мне известно - только в
динамических библиотеках, собранных ocaml-ом с Malc-овским
патчем.

 То есть, к нестабильности оно никак привести не может - только
лишь делает более либеральным типа полиси.

> Потерпите же ещё немного, одна неделя осталась ;)

 Обломчик. Через неделю уже я в отпуск упрячусь. :(

Re: [devel] binutils

[Dmitry V. Levin]

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

On Mon, Jul 14, 2003 at 12:12:20PM +0300, Alexander Bokovoy wrote:
> On Mon, Jul 14, 2003 at 12:31:14PM +0400, Stanislav Ievlev wrote:
> > On Sat, Jul 12, 2003 at 08:42:02PM +0300, Alexander Bokovoy wrote:
> > > On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> > > > 
> > > >  Проблема с binutils действительно серьёзная. Таки надо решать.
> > > Дмитрий сейчас в отпуске, насколько я знаю.
> > > 
> > > Стас, может быть ты пересоберешь binutils с патчем Виталия?
> > Поскольку я не понимаю что этот патч делает, зато прекрасно понимаю, чего
> > нам будет стоить для базовой системы любая нестабильность binutils, то не
> > буду.
> Патч затрагивает только OCaml. 

Это не совсем так.
Я попробую что-нибудь сделать с этим в понедельник.

> > Потерпите же ещё немного, одна неделя осталась ;)
> Ты хочешь сказать -- две? Поскольку на следующей неделе ты и Дима
> исчезнете в палатках инициативной группы.

Это не совсем так.
Я совсем немного времени провожу в палатках.


--
ldv

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

Re: [devel] binutils

[Dmitry V. Levin]

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

On Sun, Jul 20, 2003 at 04:12:51AM +0400, Dmitry V. Levin wrote:
> On Mon, Jul 14, 2003 at 12:12:20PM +0300, Alexander Bokovoy wrote:
> > On Mon, Jul 14, 2003 at 12:31:14PM +0400, Stanislav Ievlev wrote:
> > > On Sat, Jul 12, 2003 at 08:42:02PM +0300, Alexander Bokovoy wrote:
> > > > On Sat, Jul 12, 2003 at 08:47:46PM +0400, Vitaly Lugovsky wrote:
> > > > > 
> > > > >  Проблема с binutils действительно серьёзная. Таки надо решать.
> > > > Дмитрий сейчас в отпуске, насколько я знаю.
> > > > 
> > > > Стас, может быть ты пересоберешь binutils с патчем Виталия?
> > > Поскольку я не понимаю что этот патч делает, зато прекрасно понимаю, чего
> > > нам будет стоить для базовой системы любая нестабильность binutils, то не
> > > буду.
> > Патч затрагивает только OCaml. 
> 
> Это не совсем так.
> Я попробую что-нибудь сделать с этим в понедельник.

То изменение, которое непосредственно затрагивает ocaml-shared, судя по
binutils-2.14.90.0.4/bfd/ChangeLog, было сделано в здравом уме:

2003-04-27  H.J. Lu <hjl@gnu.org>

        * elf-bfd.h (ELF_LINK_DYNAMIC_DEF): New.
        (ELF_LINK_DYNAMIC_WEAK): New.

        * elflink.h (elf_merge_symbol): Add one argument to indicate if
        a symbol should be skipped. Ignore definitions in dynamic
        objects for symbols with non-default visibility.
        (elf_add_default_symbol): Adjusted.
        (elf_link_add_object_symbols): Check if a symbol should be
        skipped. Don't merge the visibility field with the one from
        a dynamic object.
        (elf_link_check_versioned_symbol): Use undef_bfd.
        (elf_link_output_extsym): Warn if a forced local symbol is
        referenced from dynamic objects. Make non-weak undefined symbol
        with non-default visibility a fatal error.
(см. тж. другие изменения в elf_link_output_extsym)

Так что лучше всего пообщаться с автором изменений.


--
ldv

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

Re: [devel] binutils

[Vitaly Lugovsky]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


On Sun, 20 Jul 2003, Dmitry V. Levin wrote:

> То изменение, которое непосредственно затрагивает ocaml-shared,
> судя по binutils-2.14.90.0.4/bfd/ChangeLog, было сделано в
> здравом уме:

 Может быть. Но обоснований то не было... :(

>         (elf_link_output_extsym): Warn if a forced local symbol is
>         referenced from dynamic objects. Make non-weak undefined symbol
>         with non-default visibility a fatal error.

 Только это изменение и существенно. По некоторым, до сих пор мне
не совсем понятным причинам, Malc-у потребовалось определять
глобальные символы из OCaml runtime как .protected и .hidden в
каждой динамически подгружаемой библиотеке (то есть примерно
понятно - чтоб они реально ссылались на соответствующие
определения в статическом бинарнике, обращающемся к той самой
библиотеке). Зачем это запрещать - ни хрена не ясно.

 Попробую спросить автора изменений.

 Но вообще - мой patch только то и делает, что отменяет это
дурное ужесточение policy...

> Так что лучше всего пообщаться с автором изменений.

 Попробую... Такой крутой народ, однако, обычно вообще не
реагирует на сообщения...

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE/G87+uye4QZjJaPkRAqNWAJ4pq7h5oo5u0tu74hopL/d5RsjKlgCeI3Am
fLegKJtV7k/ZVPHButx156c=
=iMnX
-----END PGP SIGNATURE-----

Re: [devel] binutils

[Vitaly Lugovsky]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


On Sun, 20 Jul 2003, Dmitry V. Levin wrote:

> > Патч затрагивает только OCaml.
>
> Это не совсем так.

 Это таки так - в других местах никто с подобными сообщениями об
"ошибке" вываливаться не начал с обновлением binutils.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE/G8+juye4QZjJaPkRAkoqAJ9jKGURDkaoKESfCLUBZcZg6fhvAACgmOgg
wUZGQZx5R0Lw+ehCvJD0dXQ=
=Rpun
-----END PGP SIGNATURE-----

Re: [devel] binutils

[Dmitry V. Levin]

[-- Attachment #1.1: Type: text/plain, Size: 1351 bytes --]

On Mon, Jul 21, 2003 at 03:31:08PM +0400, Vitaly Lugovsky wrote:
> On Sun, 20 Jul 2003, Dmitry V. Levin wrote:
> 
> > То изменение, которое непосредственно затрагивает ocaml-shared,
> > судя по binutils-2.14.90.0.4/bfd/ChangeLog, было сделано в
> > здравом уме:
> 
>  Может быть. Но обоснований то не было... :(
> 
> >         (elf_link_output_extsym): Warn if a forced local symbol is
> >         referenced from dynamic objects. Make non-weak undefined symbol
> >         with non-default visibility a fatal error.
> 
>  Только это изменение и существенно. По некоторым, до сих пор мне
> не совсем понятным причинам, Malc-у потребовалось определять
> глобальные символы из OCaml runtime как .protected и .hidden в
> каждой динамически подгружаемой библиотеке (то есть примерно
> понятно - чтоб они реально ссылались на соответствующие
> определения в статическом бинарнике, обращающемся к той самой
> библиотеке). Зачем это запрещать - ни хрена не ясно.
> 
>  Попробую спросить автора изменений.
> 
>  Но вообще - мой patch только то и делает, что отменяет это
> дурное ужесточение policy...

Ok, аналогичный временный патч пойдёт в Сизиф (attached).

> > Так что лучше всего пообщаться с автором изменений.
> 
>  Попробую... Такой крутой народ, однако, обычно вообще не
> реагирует на сообщения...

Ничего страшного, hjl вполне вменяемый.


--
ldv

[-- Attachment #1.2: binutils-2.14.90.0.4-alt-bfd_elflink_relax_checking.patch --]
[-- Type: text/plain, Size: 1835 bytes --]

--- binutils-2.14.90.0.4/bfd/elflink.h.orig	2003-07-20 22:03:16 +0400
+++ binutils-2.14.90.0.4/bfd/elflink.h	2003-07-21 18:08:43 +0400
@@ -4483,20 +4483,22 @@ elf_link_output_extsym (h, data)
       (*_bfd_error_handler)
 	(_("%s: %s symbol `%s' in %s is referenced by DSO"),
 	 bfd_get_filename (finfo->output_bfd),
 	 ELF_ST_VISIBILITY (h->other) == STV_INTERNAL
 	 ? "internal"
 	 : ELF_ST_VISIBILITY (h->other) == STV_HIDDEN
 	   ? "hidden" : "local",
 	 h->root.root.string,
 	 bfd_archive_filename (h->root.u.def.section->owner));
+#ifdef ENABLE_STRICT_SYMBOL_CHECKING
       eoinfo->failed = TRUE;
       return FALSE;
+#endif /* ENABLE_STRICT_SYMBOL_CHECKING */
     }
 
   /* We don't want to output symbols that have never been mentioned by
      a regular file, or that we have been told to strip.  However, if
      h->indx is set to -2, the symbol is used by a reloc and we must
      output it.  */
   if (h->indx == -2)
     strip = FALSE;
   else if (((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) != 0
@@ -4665,20 +4667,22 @@ elf_link_output_extsym (h, data)
     {
       (*_bfd_error_handler)
 	(_("%s: %s symbol `%s' isn't defined"),
 	  bfd_get_filename (finfo->output_bfd),
 	  ELF_ST_VISIBILITY (sym.st_other) == STV_PROTECTED
 	  ? "protected"
 	  : ELF_ST_VISIBILITY (sym.st_other) == STV_INTERNAL
 	    ? "internal" : "hidden",
 	  h->root.root.string);
+#ifdef ENABLE_STRICT_SYMBOL_CHECKING
       eoinfo->failed = TRUE;
       return FALSE;
+#endif /* ENABLE_STRICT_SYMBOL_CHECKING */
     }
 
   /* If this symbol should be put in the .dynsym section, then put it
      there now.  We already know the symbol index.  We also fill in
      the entry in the .hash section.  */
   if (h->dynindx != -1
       && elf_hash_table (finfo->info)->dynamic_sections_created)
     {
       size_t bucketcount;

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

Re: [devel] binutils

[Dmitry V. Levin]

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

Hi,

Давняя история продолжается.

On Mon, Jul 21, 2003 at 06:34:09PM +0400, Dmitry V. Levin wrote:
> On Mon, Jul 21, 2003 at 03:31:08PM +0400, Vitaly Lugovsky wrote:
> > On Sun, 20 Jul 2003, Dmitry V. Levin wrote:
> > 
> > > То изменение, которое непосредственно затрагивает ocaml-shared,
> > > судя по binutils-2.14.90.0.4/bfd/ChangeLog, было сделано в
> > > здравом уме:
> > 
> >  Может быть. Но обоснований то не было... :(
> > 
> > >         (elf_link_output_extsym): Warn if a forced local symbol is
> > >         referenced from dynamic objects. Make non-weak undefined symbol
> > >         with non-default visibility a fatal error.
> > 
> >  Только это изменение и существенно. По некоторым, до сих пор мне
> > не совсем понятным причинам, Malc-у потребовалось определять
> > глобальные символы из OCaml runtime как .protected и .hidden в
> > каждой динамически подгружаемой библиотеке (то есть примерно
> > понятно - чтоб они реально ссылались на соответствующие
> > определения в статическом бинарнике, обращающемся к той самой
> > библиотеке). Зачем это запрещать - ни хрена не ясно.
> > 
> >  Попробую спросить автора изменений.
> > 
> >  Но вообще - мой patch только то и делает, что отменяет это
> > дурное ужесточение policy...
> 
> Ok, аналогичный временный патч пойдёт в Сизиф (attached).

Поскольку нынешний ocaml, похоже, собирается с ld без
alt-bfd_elflink_relax_checking.patch, думаю что можно этот патч отключить.

Заинтересованные могут проверить это уже сейчас, собрав
http://git.altlinux.org/people/ldv/packages/?p=binutils.git;h=next

> > > Так что лучше всего пообщаться с автором изменений.
> > 
> >  Попробую... Такой крутой народ, однако, обычно вообще не
> > реагирует на сообщения...
> 
> Ничего страшного, hjl вполне вменяемый.


-- 
ldv

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