Some notes on the ELF 🧝 file format with references, explanations and some examples.
The Executable and Linkable Format (ELF) is used for
compilation outputs (.o
files), executables, shared libraries and core dumps.
The first cases are documented in the System V ABI
specification
and the Tools Interface Standard (TIS) ELF
specification but there does not
seem to be much documentation about the usage of the ELF format for core dumps.
Here are some notes on this.
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.