Ticket #2552: file_cache.diff

src/system/kernel/cache/file_cache.cpp

@@ -649 +649 @@
             // to manually maintain its usage_count
             page->usage_count = 2;
 
+            // Mark it busy as vm_page_reserve_pages might still
+            // a page from the same cache
+            vm_page_set_state(page, PAGE_STATE_BUSY);
+            locker.Unlock();
+
             // and copy the contents of the page already in memory
             if (doWrite) {
                 if (useBuffer) {
@@ -667 +672 @@
                     (void *)(virtualAddress + pageOffset), bytesInPage);
             }
 
+            locker.Lock();
+            vm_page_set_state(page, PAGE_STATE_MODIFIED);
+
             vm_put_physical_page(virtualAddress);
 
             if (bytesLeft <= bytesInPage) {