сборка динамических библиотек из Ocaml - Public forum of MSU united student networks

code:

$ cat adder.hs module Adder where f :: IO () f = putStrLn "hello" $ ghc -c -fPIC adder.hs ghc-6.6.1: panic! (the 'impossible' happened) (GHC version 6.6.1 for x86_64-unknown-linux): initializePicBase Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

code:

initializePicBase :: Reg -> [NatCmmTop] -> NatM [NatCmmTop] #if darwin_TARGET_OS .... #elif powerpc_TARGET_ARCH && linux_TARGET_OS .... #elif i386_TARGET_ARCH && linux_TARGET_OS .... #else initializePicBase picReg proc = panic "initializePicBase" #endif

Update.

Почитал документацию про x86-64 ABI. Понял, что обращение к переменным в PIC требует дополнительного уровня косвенности. То есть, код

movq %rbx, varname(%rip)

меняется не на

movq %rbx, varname@GOTPCREL(%rip)

а на следующее

movq varname@GOTPCREL(%rip), %rax
movq %rbx, (%rax)

Теперь понятно, почему мои предыдущие попытки приводят к segfault.

Я попробовал позаменять так часть вызовов - программа продолжила работать правильно. Можно дозаменять остальные и попробовать собрать shared библиотеку.
НО:
Каждое такое обращение к переменной требует кучу дополнительных действий.
Например, выделение блока памяти небольшого размера устроено так:

FUNCTION(caml_alloc1)
     subq $16, %r15
     cmpq caml_young_limit(%rip), %r15
     jb .L100
     ret
.L100:
     // вызвать GC

Текущий указатель на кучу лежит в регистре %r15. Если начать вставлять операции по типу описанных выше, то получится что-то типа:

     push %r12 // %r12 - какой-нибудь временный регистр
     subq $16, %r15
     movq caml_young_limit@GOTPCREL(%rip), %r12
     cmpq %(r12), %r15
     jb .L100
     pop %r12
     ret

Такое изменение замедлит функцию caml_alloc1 в несколько раз, чего сильно не хотелось бы.

Как можно бороться с такой проблемой?

Я слышал, что в некоторых языках/компиляторах выделяют отдельный регистр, в который при инициализации записывают адрес GOT, а обычный код его не трогает. При этом все ссылки на переменные записываются относительно него, например в виде varname@GOTOFF(%r11).

Можно попробовать применить этот способ и в Ocaml. Фишка в том, что у него собственный кодогенератор, который сам распределяет переменные по регистрам. Причем по умолчанию он юзает все доступные регистры (что весьма логично). Соответственно, надо хачить этот кодогенератор, чтобы оставлял один регистр свободным.

С учетом этого, что лучше сделать: вставить вызовы push/pop/movq@GOTPCREL везде или выделить отдельный регистр для GOT?

Как делают другие языки, например, C, C++, Java, C#, Lisp, Scheme ?

code:

movq stg_CAF_BLACKHOLE_info@gotpcrel(%rip),%rax movq %rax,-8(%r12) movq %rbx,%rdi movl $0,%eax call newCAF@plt leaq -8(%r12),%rax movq %rax,8(%rbx) movq stg_IND_STATIC_info@gotpcrel(%rip),%rax movq %rax,(%rbx) movq stg_upd_frame_info@gotpcrel(%rip),%rax movq %rax,-16(%rbp)