Commit 22e69456 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent 79075a77
......@@ -22,6 +22,23 @@
// XXX provides isolated view.
// XXX wcfs_virtmem organization.
//
// - need to maintain pinner map registry
//
// [blk< +len) -> vma ↓blk
// #blk -> []vma covering it
//
// - we can reuse virtmem code:
//
// XXX review text
//
// if RW page is added to mapping, pinner does not need to split the mmap -
// it just needs to check before overwriting that page with @revX/data
// whether RAM page was mmaped by virtmem or not. If RW page is already
// there, pinner does not overwrite it.
//
// RW -> Uptodate: Virtmem calls pinner to remmap the page RO after commit or
// abort.
#include "wcfs_misc.h"
#include "wcfs.h"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment