On Tue, Oct 13, 2009 at 10:48:29AM -0400, Eric Cooper wrote: > Perhaps one could add a mechanism for C stubs that would make > them refer to a versioned symbol in the OCaml runtime, similar to how > Linux kernel modules work? That way at least the dlopen would fail > rather than segfaulting. I don't know enough of the kernel modules mechanism to make an informed comment, but I notice that to have the same level of control of OCaml static linking, you would need to represent as symbols all OCaml entry points implemented by C stubs, as well as their types. Doesn't look entirely trivial to me .... It might be similar to what happens with C++ symbol mangling, but with the additional burden of types. Storing a checksum looks way easier, the main difficult is extracting the stuff which needed to be checksummed during build. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature