From mboxrd@z Thu Jan 1 00:00:00 1970 From: Torvald Riegel Subject: Re: Documenting the (dynamic) linking rules for symbol versioning Date: Wed, 26 Apr 2017 21:57:39 +0200 Message-ID: <1493236659.5890.149.camel@redhat.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: Sender: linux-man-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: "Michael Kerrisk (man-pages)" Cc: "libc-alpha-9JcytcrH/bA+uJoB2kUjGw@public.gmane.org" , linux-man , Siddhesh Poyarekar , Carlos O'Donell , Rich Felker , "H.J. Lu" List-Id: linux-man@vger.kernel.org On Wed, 2017-04-19 at 17:07 +0200, Michael Kerrisk (man-pages) wrote: > The documentation around symbol versioning as used by the glibc dynamic > linker (DL) is currently rather weak, and I'd like to add some pieces to > various man pages (ld.so(8), dlsym(3), and possibly others) to improve > this situation. Before that though, I'd rather like to check my > understanding of the rules. I can't comment on the specific questions you have, but I'd suggest to reach out to Stephen Kell and Peter Sewell, as they have worked on rigorous specifications of linking: http://www.cl.cam.ac.uk/~pes20/rems/papers/oopsla-elf-linking-2016.pdf That's static linking of course, but perhaps they'd be interested to extend that work (or perhaps are already looking at this). Sewell et al. have worked on rigorous specifications of memory models in the past (eg, for C++), and those are *really* useful in practice. -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html