*** empty log message ***

[IRC.git] / Robust / Transactions / mytuplesoup / src / com / solidosystems / tuplesoup / core / PagedIndex.java

diff --git a/Robust/Transactions/mytuplesoup/src/com/solidosystems/tuplesoup/core/PagedIndex.java b/Robust/Transactions/mytuplesoup/src/com/solidosystems/tuplesoup/core/PagedIndex.java
index f200fa9b42bb2c06996423588a7ead80f141442f..914f41ff3a99cdb35a7dff650f31dae65d019b16 100644 (file)
--- a/Robust/Transactions/mytuplesoup/src/com/solidosystems/tuplesoup/core/PagedIndex.java
+++ b/Robust/Transactions/mytuplesoup/src/com/solidosystems/tuplesoup/core/PagedIndex.java
@@ -31,17 +31,37 @@
  
 package com.solidosystems.tuplesoup.core;
 
+import dstm2.AtomicArray;
+import dstm2.atomic;
 import java.io.*;
 import java.util.*;
 import java.nio.channels.*;
 
 public class PagedIndex implements TableIndex{
+    
+    public @atomic interface PageIndexTSInf{
+       Long getStat_read();
+       Long getStat_write();
+       Long getStat_create_page();
+       Long getStat_page_next();
+       Long getStat_page_branch();
+       AtomicArray<TableIndexPageTransactional> getRoots();
+       
+       void setRoots(AtomicArray<TableIndexPageTransactional> roots);
+       void setStat_read(Long val);
+       void setStat_write(Long val);
+       void setStat_create_page(Long val);
+       void setStat_page_next(Long val);
+       void setStat_page_branch(Long val);
+    }
+    
     protected static final int INITIALPAGEHASH=1024;
     protected static final int PAGESIZE=2048;
     
     private RandomAccessFile out=null;
     private String filename;
     private TableIndexPage[] root=null;
+   // private TableIndexPageTransactional[] root=null;
     
     private long stat_read=0;
     private long stat_write=0;