I am writing an app which really wants to know if a file is on the
disk or not (ie. do I need to sync?).

mincore() bits other than 0 are undefined (as documented in the man
page); in fact my Ubuntu 12.10 i386 system seems to write 129 in some
bytes, so it really shouldn't break anyone.

Is PG_dirty the right choice?  Is that right for huge pages?  Should I
assume is_migration_entry(entry) means it's not dirty, or is there some
other check here?

Thanks,
Rusty

diff --git a/mm/mincore.c b/mm/mincore.c
index 936b4ce..e1e8f03 100644
--- a/mm/mincore.c
+++ b/mm/mincore.c
@@ -19,6 +19,9 @@
 #include <asm/uaccess.h>
 #include <asm/pgtable.h>
 
+#define MINCORE_INCORE 1
+#define MINCORE_DIRTY  2
+
 static void mincore_hugetlb_page_range(struct vm_area_struct *vma,
                                unsigned long addr, unsigned long end,
                                unsigned char *vec)
@@ -28,7 +31,7 @@ static void mincore_hugetlb_page_range(struct vm_area_struct 
*vma,
 
        h = hstate_vma(vma);
        while (1) {
-               unsigned char present;
+               unsigned char flags = 0;
                pte_t *ptep;
                /*
                 * Huge pages are always in RAM for now, but
@@ -36,7 +39,15 @@ static void mincore_hugetlb_page_range(struct vm_area_struct 
*vma,
                 */
                ptep = huge_pte_offset(current->mm,
                                       addr & huge_page_mask(h));
-               present = ptep && !huge_pte_none(huge_ptep_get(ptep));
+               if (ptep) {
+                       pte_t pte = huge_ptep_get(ptep);
+
+                       if (!huge_pte_none(pte)) {
+                               flags = MINCORE_INCORE;
+                               if (pte_dirty(pte))
+                                   flags |= MINCORE_DIRTY;
+                       }
+               }
                while (1) {
                        *vec = present;
                        vec++;
@@ -61,7 +72,7 @@ static void mincore_hugetlb_page_range(struct vm_area_struct 
*vma,
  */
 static unsigned char mincore_page(struct address_space *mapping, pgoff_t pgoff)
 {
-       unsigned char present = 0;
+       unsigned char flags = 0;
        struct page *page;
 
        /*
@@ -79,11 +90,15 @@ static unsigned char mincore_page(struct address_space 
*mapping, pgoff_t pgoff)
        }
 #endif
        if (page) {
-               present = PageUptodate(page);
+               if (PageUptodate(page)) {
+                       flags = MINCORE_INCORE;
+                       if (PageDirty(page))
+                               flags |= MINCORE_DIRTY;
+               }
                page_cache_release(page);
        }
 
-       return present;
+       return flags;
 }
 
 static void mincore_unmapped_range(struct vm_area_struct *vma,
@@ -121,9 +136,11 @@ static void mincore_pte_range(struct vm_area_struct *vma, 
pmd_t *pmd,
                next = addr + PAGE_SIZE;
                if (pte_none(pte))
                        mincore_unmapped_range(vma, addr, next, vec);
-               else if (pte_present(pte))
-                       *vec = 1;
-               else if (pte_file(pte)) {
+               else if (pte_present(pte)) {
+                       *vec = MINCORE_INCORE;
+                       if (pte_dirty(pte))
+                               *vec |= MINCORE_DIRTY;
+               } else if (pte_file(pte)) {
                        pgoff = pte_to_pgoff(pte);
                        *vec = mincore_page(vma->vm_file->f_mapping, pgoff);
                } else { /* pte is a swap entry */
@@ -131,14 +148,15 @@ static void mincore_pte_range(struct vm_area_struct *vma, 
pmd_t *pmd,
 
                        if (is_migration_entry(entry)) {
                                /* migration entries are always uptodate */
-                               *vec = 1;
+                               *vec = MINCORE_INCORE;
+                               /* FIXME: Can they be dirty? */
                        } else {
 #ifdef CONFIG_SWAP
                                pgoff = entry.val;
                                *vec = mincore_page(&swapper_space, pgoff);
 #else
                                WARN_ON(1);
-                               *vec = 1;
+                               *vec = MINCORE_INCORE|MINCORE_DIRTY;
 #endif
                        }
                }
@@ -246,7 +264,7 @@ static long do_mincore(unsigned long addr, unsigned long 
pages, unsigned char *v
  * current process's address space specified by [addr, addr + len).
  * The status is returned in a vector of bytes.  The least significant
  * bit of each byte is 1 if the referenced page is in memory, otherwise
- * it is zero.
+ * it is zero.  The second bit indicates if page (may be) dirty.
  *
  * Because the status of a page can change after mincore() checks it
  * but before it returns to the application, the returned vector may
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to