Quantcast
Channel: /dev/posts/
Viewing all articles
Browse latest Browse all 100

Page store for the Simgrid model checker

$
0
0

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 higher layer.


Viewing all articles
Browse latest Browse all 100

Trending Articles