GNU/Linux host name resolution

computer network dns system linux

This post describes different software components involved in host name resolutions and DNS configuration on GNU/Linux systems. It consists of a diagram and some accompanying explanations. The goal is to give some pointers and references to understand how to troubleshoot host name/DNS resolution problems and configuration problems on GNU/Linux systems.

Read more…

OpenSSH ProxyUseFdPass

computer network system ssh python

While looking at the OpenSSH ssh_config manpage, I found the ProxyUseFdpass configuration I did not know about. It's apparently not widely known or used.

Read more…

SimGridMC: The Big Split (and Cleanup)

computer simgrid system

In my previous SimGrid post, I talked about different solutions for a better isolation between the model-checked application and the model-checker. We chose to avoid the (hackery) solution based multiple dynamic-linker namespaces in the same process and use a more conventional process-based isolation.

Read more…

ELF loading and dynamic linking

computer system elf linker linux multiarch

Some notes on ELF loading and dynamic linking mainly for GNU userland (, 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…

Recover a (forgotten) password in a process memory

computer system

Today, I managed to forget a password but I had a Icedove (Thunderbird) process running containing the password.

Read more…

Better isolation for SimGridMC

simgrid system computer linker linux simulation elf

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's a summary of the goals, problems and design issues surrounding these topics.

Read more…

Page 1 of 2 | | Next page | JSON Feed | Atom Feed