commit 6fe11b25b1b493b406531ffaa82b1f4430f04309
author Kiran Ayyagari <kayyagari@apache.org> Tue May 26 09:10:49 2015 +0000
committer Kiran Ayyagari <kayyagari@apache.org> Tue May 26 09:10:49 2015 +0000
tree 05a3e74b044e018e8d9d704191580e0cffe09034
parent 93e806e1e5b75f4446d171d112e3c8bca516688c

o replaced duplicate code from updateCheckedPages() with a call to  setCheckedPage()
o fixed incorrect offset calculation in getPageOffsets()

mavibot/src/main/java/org/apache/directory/mavibot/btree/MavibotInspector.java

diff --git a/mavibot/src/main/java/org/apache/directory/mavibot/btree/MavibotInspector.java b/mavibot/src/main/java/org/apache/directory/mavibot/btree/MavibotInspector.java
index e89d656..abad6f4 100644
--- a/mavibot/src/main/java/org/apache/directory/mavibot/btree/MavibotInspector.java
+++ b/mavibot/src/main/java/org/apache/directory/mavibot/btree/MavibotInspector.java
@@ -946,23 +946,7 @@
         {
             long offset = pageIO.getOffset();
 
-            if ( ( offset % pageSize ) != 0 )
-            {
-                throw new InvalidBTreeException( "Offset invalid : " + offset );
-            }
-
-            int pageNumber = ( int ) ( offset / pageSize );
-            int nbBitsPage = ( RecordManager.INT_SIZE << 3 );
-            int pageMask = checkedPages[pageNumber / nbBitsPage];
-            int mask = 1 << pageNumber % nbBitsPage;
-
-            if ( ( pageMask & mask ) != 0 )
-            {
-                //throw new InvalidBTreeException( "The page " + offset + " has already been referenced" );
-            }
-
-            pageMask |= mask;
-            checkedPages[pageNumber / nbBitsPage] = pageMask;
+            setCheckedPage( rm, checkedPages, offset );
         }
     }
 
@@ -1140,7 +1124,7 @@
         
         int[] fparry = checkedPages.get( pageArrayName );
 
-        long nbPagesChecked = 0;
+        long nbPagesChecked = 0; // the 0th page will always be of RM header
         long fileSize = rm.fileChannel.size();
         long nbPages = ( fileSize - RecordManager.RECORD_MANAGER_HEADER_SIZE ) / rm.pageSize;
 
@@ -1148,7 +1132,6 @@
         {
             for ( int j = 0; j < 32; j++ )
             {
-                nbPagesChecked++;
 
                 if ( nbPagesChecked > nbPages + 1 )
                 {
@@ -1162,6 +1145,8 @@
                         lst.add( nbPagesChecked * rm.pageSize);
                     }
                 }
+                
+                nbPagesChecked++;
             }
         }