{"version": "https://jsonfeed.org/version/1", "title": "/dev/posts/ - Tag index - simulation", "home_page_url": "https://www.gabriel.urdhr.fr", "feed_url": "/tags/simulation/feed.json", "items": [{"id": "http://www.gabriel.urdhr.fr/2015/01/06/simgrid-mc-isolation/", "title": "Better isolation for SimGridMC", "url": "https://www.gabriel.urdhr.fr/2015/01/06/simgrid-mc-isolation/", "date_published": "2015-01-06T00:00:00+01:00", "date_modified": "2015-01-06T00:00:00+01:00", "tags": ["simgrid", "system", "computer", "linker", "linux", "simulation", "elf"], "content_html": "<p>In an attempt to simplify the development around the SimGrid\nmodel-checker, we were thinking about moving the model-checker out in\na different process. Another different approach would be to use a\ndynamic-linker isolation of the different components of the process.\nHere is a summary of the goals, problems and design issues surrounding\nthese topics.</p>\n"}]}