/dev/posts/

The ELF file format

Published:

Some notes on the ELF 🧝 file format with references, explanations and some examples.

Read more…

ELF loading and dynamic linking

Published:

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.

Read more…

Better isolation for SimGridMC

Published:

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.

Read more…

Page 1 of 1 | | | JSON Feed | Atom Feed