Stephen Kell

It would be great if you could use the markdown multi-line quoting features, as it's hard to read the transcripts above. In musl, `bits/alltypes.h` is a generated header, so either...

How do multiple linker plugins interact? How do we make use of the 'xwrap' plugin? Some of these plugins generate content for the link: allocator mods, used uniqtypes. Globalizing belongs...

See #14 for some relevant things here. But since that issue, most of the work has been done! I think `-z dynamic-undefined-weak` is really useful. It might even let us...

One way to think of this might be that the canonical files on disk are "prototypes", which each process using them can specialise much as in prototype-based O-O languages. These...

Given an 'immutable' system library like `libc.so`, can we delay the moment of divergence, in a vaguely copy-on-write style? This would mean that only when we attempt to modify the...

Roughly what we want is if we mmap over the `MAP_PRIVATE` segments with the same parts of a copy of the file. However, that's not quite right in the case...

The short answer is that we get `ENODEV`. So it seems copying may be necessary. That is hairy to do from user space but could be done with some carefully...

One way to frame this in a paper might be that the paper is titled something like "Shared objects as shared images: a compatible extension to POSIX dynamic loading interfaces",...

Perhaps the core gymnastics is to turn a non-writable `MAP_PRIVATE` mapping into a fresh mapping (`MAP_SHARED` *or* `MAP_PRIVATE`) of a private file. It might be writable (new stuff can be...

Is there a unification to be done between `PT_LOAD` and `DT_NEEDED` here? For a `DT_NEEDED` we're saying that we want the segments of that file to be mapped, but we...