Some notes on the ELF 🧝 file format with references, explanations and some examples.
Some notes on ELF 🧝 loading and dynamic linking mainly for GNU userland
(ld.so
, libc
, libdl
) running on top of the Linux kernel. Some
prior knowlegde on the topic (virtual memory, shared objects,
sections) might be useful to understand this.
In an attempt to simplify the development around the SimGrid model-checker, we were thinking about moving the model-checker out in a different process. Another different approach would be to use a dynamic-linker isolation of the different components of the process. Here is a summary of the goals, problems and design issues surrounding these topics.