From: bdemsky Date: Fri, 19 Nov 2010 02:01:57 +0000 (+0000) Subject: checkin X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e885d05a46362df486cef0e3939ae8aea9a0f928;p=IRC.git checkin --- diff --git a/Robust/src/Benchmarks/oooJava/micro/test2.java b/Robust/src/Benchmarks/oooJava/micro/test2.java new file mode 100644 index 00000000..2f69a45a --- /dev/null +++ b/Robust/src/Benchmarks/oooJava/micro/test2.java @@ -0,0 +1,29 @@ +public class test { + + public static void main( String argv[] ) { + + long count = 500000; + int x=1; + + if( argv.length > 0 ) { + count = count * Integer.parseInt( argv[0] ); + } + + if( argv.length > 1 ) { + x = Integer.parseInt( argv[1] ); + } + + for( long i = 0; i < count; i++ ) { + + // the parent does a simple variable copy + // into this child's record at issue because + // the value is definitely available, the + // child needs the value read-only + rblock child { + for(int j=0;j