{"version": "https://jsonfeed.org/version/1", "title": "/dev/posts/ - Tag index - checkpoint", "home_page_url": "https://www.gabriel.urdhr.fr", "feed_url": "/tags/checkpoint/feed.json", "items": [{"id": "http://www.gabriel.urdhr.fr/2014/07/22/same-page-merging/", "title": "Results on same-page-merging snapshots", "url": "https://www.gabriel.urdhr.fr/2014/07/22/same-page-merging/", "date_published": "2014-07-22T00:00:00+02:00", "date_modified": "2014-07-22T00:00:00+02:00", "tags": ["simgrid", "system", "computer", "checkpoint"], "content_html": "<p>In the <a href=\"https://www.gabriel.urdhr.fr/2014/06/13/page-store/\">previous episode</a>, I talked about the\nimplementation of a same-page-merging page store. On top of this, we\ncan build same-page-merging snapshots for the SimGrid model checker.</p>\n"}, {"id": "http://www.gabriel.urdhr.fr/2014/06/13/page-store/", "title": "Page store for the Simgrid model checker", "url": "https://www.gabriel.urdhr.fr/2014/06/13/page-store/", "date_published": "2014-06-13T00:00:00+02:00", "date_modified": "2014-06-13T00:00:00+02:00", "tags": ["simgrid", "system", "computer", "checkpoint"], "content_html": "<p>The first (lower) layer of the per-page snapshot mechanism is a page\nstore: its responsibility is to store immutable shareable\nreference-counted memory pages independently of the snapshoting\nlogic. Snapshot management and representation, soft-dirty tracking\nwill be handled in  higher layer.</p>\n"}, {"id": "http://www.gabriel.urdhr.fr/2014/06/03/non-cow-snapshots/", "title": "Per-page shallow snapshots for the SimGrid model checker", "url": "https://www.gabriel.urdhr.fr/2014/06/03/non-cow-snapshots/", "date_published": "2014-06-03T00:00:00+02:00", "date_modified": "2014-06-03T00:00:00+02:00", "tags": ["simgrid", "system", "computer", "checkpoint"], "content_html": "<p>I looked at my options to achieve efficient/cheap snapshots of the\nsimulated application for the Simgrid model checker using\n<a href=\"https://www.gabriel.urdhr.fr/2014/06/02/cow-snapshots/\">copy-on-write</a>. Here I look at another\nsolution to achieve this without using copy-on-write.</p>\n"}, {"id": "http://www.gabriel.urdhr.fr/2014/06/02/cow-snapshots/", "title": "Copy-on-write snapshots for the SimGrid model checker", "url": "https://www.gabriel.urdhr.fr/2014/06/02/cow-snapshots/", "date_published": "2014-06-02T00:00:00+02:00", "date_modified": "2014-06-02T00:00:00+02:00", "tags": ["simgrid", "system", "computer", "checkpoint"], "content_html": "<p>The <a href=\"http://simgrid.gforge.inria.fr/\">SimGrid</a> model checker\nexplores the graph of possible executions of\na simulated distributed application in order to verify safety and\nliveness properties. The model checker needs to store the state of the\napplication in each node of the execution graph in order to detect\ncycles. However, saving the whole state of the application at each\nnode of the graph leads to huge memory consumption and in some\ncases most of the time is spent copying data in order to take the\nsnapshots of the application. We will see how we could solve this problem,\nusing copy-on-write.</p>\n"}]}