From 6477a2e138350148745f517aebd57517d010c5a9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 16 Mar 2007 01:14:53 +0000
Subject: [PATCH] files for test case

---
 Robust/src/Benchmarks/Chat/BRISTLECONE     |  1 +
 Robust/src/Benchmarks/Chat/ChatServer.java |  6 +++---
 Robust/src/Benchmarks/Chat/analyze.java    | 21 +++++++++++++++++++++
 Robust/src/Benchmarks/Chat/doall           |  7 +++++++
 Robust/src/Benchmarks/Chat/runtest.sh      | 12 ++++++++++++
 5 files changed, 44 insertions(+), 3 deletions(-)
 create mode 100644 Robust/src/Benchmarks/Chat/BRISTLECONE
 create mode 100644 Robust/src/Benchmarks/Chat/analyze.java
 create mode 100755 Robust/src/Benchmarks/Chat/doall
 create mode 100755 Robust/src/Benchmarks/Chat/runtest.sh

diff --git a/Robust/src/Benchmarks/Chat/BRISTLECONE b/Robust/src/Benchmarks/Chat/BRISTLECONE
new file mode 100644
index 00000000..4e3d652a
--- /dev/null
+++ b/Robust/src/Benchmarks/Chat/BRISTLECONE
@@ -0,0 +1 @@
+-initializerandom -injectinstructionfailures 45 0.0001667 10 -debugtask
diff --git a/Robust/src/Benchmarks/Chat/ChatServer.java b/Robust/src/Benchmarks/Chat/ChatServer.java
index 50d256b9..773a1340 100644
--- a/Robust/src/Benchmarks/Chat/ChatServer.java
+++ b/Robust/src/Benchmarks/Chat/ChatServer.java
@@ -25,11 +25,11 @@ task ProcessRoom(ChatSocket cs{ProcessRoom}, RoomObject ro{Initialized}) {
 task Message(ChatSocket cs{InRoom && IOPending}) {
     byte buffer[]=new byte[1024];
     int length=cs.read(buffer);
-    String st=(new String(buffer)).subString(0, length);
-    Message m=new Message(st, cs){};
+    Message m=new Message(buffer, length, cs){};
 }
 
 task SendMessage(Message m{!Sent}) {
-    m.cs.room.sendToRoom(m.cs,m.st.getBytes());
+    String st=(new String(m.buffer)).subString(0, m.length);
+    m.cs.room.sendToRoom(m.cs,st.getBytes());
     taskexit(m {Sent});
 }
diff --git a/Robust/src/Benchmarks/Chat/analyze.java b/Robust/src/Benchmarks/Chat/analyze.java
new file mode 100644
index 00000000..fb376c1e
--- /dev/null
+++ b/Robust/src/Benchmarks/Chat/analyze.java
@@ -0,0 +1,21 @@
+import java.io.*;
+public class analyze {
+    public static void main(String[] q) {
+	int sum=0;
+	int count=0;
+	try {
+	BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
+	while(true) {
+	    String s=br.readLine();
+	    String x=s.substring(6,s.indexOf(' ',6));
+	    
+	    sum+=(new Integer(x)).intValue();
+	    count++;
+	    System.out.println(sum+"   "+(((double)sum)/count));
+	}
+	} catch(Exception e) {}
+    }
+
+
+
+}
diff --git a/Robust/src/Benchmarks/Chat/doall b/Robust/src/Benchmarks/Chat/doall
new file mode 100755
index 00000000..c2f94651
--- /dev/null
+++ b/Robust/src/Benchmarks/Chat/doall
@@ -0,0 +1,7 @@
+#!/bin/bash
+./runtest.sh taskchat.bin &> tasklog
+mkdir task
+mv *.log task
+./runtest.sh threadchat.bin &> threadlog
+mkdir thread
+mv *.log thread
\ No newline at end of file
diff --git a/Robust/src/Benchmarks/Chat/runtest.sh b/Robust/src/Benchmarks/Chat/runtest.sh
new file mode 100755
index 00000000..81be1579
--- /dev/null
+++ b/Robust/src/Benchmarks/Chat/runtest.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+let i=0
+while [ $i -le 100 ];
+do
+./$1 &> $i.log &
+sleep 1
+java NetsClient 127.0.0.1 8000 2 50 8 1
+killall -SIGUSR2 $1
+sleep 1
+killall -9 $1
+let "i+=1"
+done
\ No newline at end of file
-- 
2.34.1