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 1 | | Next page | JSON Feed | Atom Feed