printString(s);
}
+ public static native void gc();
+
public static native long currentTimeMillis();
-
+
public static native long microTimes();
public static native long getticks();
System.printString(""+o+"\n");
}
+ public static void println() {
+ System.printString("\n");
+ }
+
public static void print(String s) {
System.printString(s);
}
public static native void flushToFile(int threadid);
/* Only used for microbenchmark testing of SingleTM version */
+
+ public static native void arraycopy(Object src, int srcPos, Object dst, int destPos, int length);
+
+ // for disjoint reachability analysis
+ public static void genReach();
}