按照Fiasco的C++源码以及被人重构之后的部分C源码，我用C重写了映射管理mapdb。不过现在遇到一点问题，那就是关于grant操作，望贴吧大神解惑（别逗，我看见你们讨论关于map、grant、flush）。
1、pager将页面grant之后，它是否能flush回来？
2、百度（采用SPIN的L4内存管理形式化验证）中，pager先map之后，对方grant给pager，会造成flush递归无法结束，我没看懂？
3、我觉得应该是我没理解grant操作的具体意思，不知道是否如此？
望贴吧大神指教啊，给点资料也行啊！
邮箱：liuxocakn@163.com
