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 store for the Simgrid model checker

simgrid system computer checkpoint

The first (lower) layer of the per-page snapshot mechanism is a page store: its responsibility is to store immutable shareable reference-counted memory pages independently of the snapshoting logic. Snapshot management and representation, soft-dirty tracking will be handled in an higher layer.

Read more…

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