Reran analysis on benchmarks with newest updates

diff --git a/Robust/src/Benchmarks/Ownership/BankApp.txt b/Robust/src/Benchmarks/Ownership/BankApp.txt
index 5be6a43f1ff031895d5e464a70edc66cd1105967..b1ec1c2ba20926b4224c040518da2e13fcfb60fc 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/BankApp.txt
+++ b/Robust/src/Benchmarks/Ownership/BankApp.txt
@@ -1,9 +1,9 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------AcceptConnection(ServerSocket ss)--------
 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
 
----------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
-Task ProcessRequest(BankAppSocket bas, BankDatabase Bank) contains no aliases between flagged objects.
-
 ---------Startup(StartupObject s)--------
 Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
+Task ProcessRequest(BankAppSocket bas, BankDatabase Bank) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt
new file mode 100644 (file)
index 0000000..61339f7
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/ChatTag.txt
@@ -0,0 +1,18 @@
+Conducting ownership analysis with allocation depth = 1
+---------Message(ChatSocket cs, Socket s)--------
+Potential alias between parameter 0 and FlatNew____m2782___= NEW Message.
+
+---------SendMessage(Message m)--------
+Task SendMessage(Message m) contains no aliases between flagged objects.
+
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ReadRequest(ChatSocket cs, Socket s)--------
+Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Potential alias between FlatNew____cs2817___= NEW ChatSocket and FlatNew____s1933___= NEW Socket.
+
+---------ProcessRoom(ChatSocket cs, RoomObject ro)--------
+Potential alias between parameters 0 and 1.

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt b/Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt
deleted file mode 100644 (file)
index 2c53df6..0000000
--- a/Robust/src/Benchmarks/Ownership/ChatTag_ad3.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 3
----------ProcessRoom(ChatSocket cs, RoomObject ro)--------
-Potential alias between parameters 0 and 1.
-
----------ReadRequest(ChatSocket cs, Socket s)--------
-Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
-
----------SendMessage(Message m)--------
-Task SendMessage(Message m) contains no aliases between flagged objects.
-
----------Message(ChatSocket cs, Socket s)--------
-Potential alias between parameter 0 and allocSite7.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Potential alias between allocSite5 and allocSite16.

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt b/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt
deleted file mode 100644 (file)
index 52c61bc..0000000
--- a/Robust/src/Benchmarks/Ownership/ChatTag_ad9.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 9
----------ProcessRoom(ChatSocket cs, RoomObject ro)--------
-Potential alias between parameters 0 and 1.
-
----------ReadRequest(ChatSocket cs, Socket s)--------
-Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
-
----------SendMessage(Message m)--------
-Task SendMessage(Message m) contains no aliases between flagged objects.
-
----------Message(ChatSocket cs, Socket s)--------
-Potential alias between parameter 0 and allocSite7.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Potential alias between allocSite5 and allocSite16.

diff --git a/Robust/src/Benchmarks/Ownership/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/Conglomerator.txt
index 4c9d372cf3b28e4200e80f3d265f0e73380f21d0..ec1059933dc0d3d6b91e2e76ea41680ccd0d395d 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/Conglomerator.txt
+++ b/Robust/src/Benchmarks/Ownership/Conglomerator.txt
@@ -1,15 +1,24 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------LogRequest(WebServerSocket web, Logger log)--------
 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
 
----------ReceiveQueryW(Weather l)--------
-Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
+---------SendFile(WebServerSocket web, MySocket s)--------
+Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
 
 ---------LookupS(Stock l)--------
 Task LookupS(Stock l) contains no aliases between flagged objects.
 
----------LookupG(Google l)--------
-Task LookupG(Google l) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ReceiveQueryS(Stock l)--------
+Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------LookupW(Weather l)--------
+Task LookupW(Weather l) contains no aliases between flagged objects.
 
 ---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
 Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st) contains no aliases between flagged objects.
@@ -17,20 +26,11 @@ Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Sto
 ---------ReceiveQueryG(Google l)--------
 Task ReceiveQueryG(Google l) contains no aliases between flagged objects.
 
----------SendFile(WebServerSocket web, MySocket s)--------
-Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------ReceiveQueryS(Stock l)--------
-Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+---------ReceiveQueryW(Weather l)--------
+Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
 
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+---------LookupG(Google l)--------
+Task LookupG(Google l) contains no aliases between flagged objects.
 
 ---------ProcessRequest(WebServerSocket web, MySocket s)--------
 Task ProcessRequest(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------LookupW(Weather l)--------
-Task LookupW(Weather l) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
new file mode 100644 (file)
index 0000000..d814158
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt
@@ -0,0 +1,30 @@
+Conducting ownership analysis with allocation depth = 1
+---------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
+Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold) contains no aliases between flagged objects.
+
+---------start(StartupObject s)--------
+Task start(StartupObject s) contains no aliases between flagged objects.
+
+---------sendnext(Request rprev, Request r)--------
+Task sendnext(Request rprev, Request r) contains no aliases between flagged objects.
+
+---------sendfirst(Request r)--------
+Task sendfirst(Request r) contains no aliases between flagged objects.
+
+---------sendfirstresp(Request r, MySocket sock)--------
+Task sendfirstresp(Request r, MySocket sock) contains no aliases between flagged objects.
+
+---------recvreq(Request r)--------
+Task recvreq(Request r) contains no aliases between flagged objects.
+
+---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
+Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold) contains no aliases between flagged objects.
+
+---------sendresp(Request rprev, Request r, MySocket sock)--------
+Task sendresp(Request rprev, Request r, MySocket sock) contains no aliases between flagged objects.
+
+---------acceptconnection(ServerSocket ss)--------
+Task acceptconnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
+Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt
index 56770e6db071cfd051678b426823ef9166356c00..d03e45b01f85d6eb7fb125d3b0164d99bd0ba68e 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/MMGTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MMGTag.txt
@@ -1,38 +1,75 @@
-Out of memory:
-
-
-Previsiting public int Integer.intValue()
-Previsiting public double Random.nextDouble()
-Previsiting public void Vector.addElement(Object obj)
-Previsiting private  Vector.ensureCapacity(int minCapacity)
-Previsiting public  Map.Map(int nrofpacs, int nrofghosts)
-Previsiting public  Vector.Vector()
-Previsiting private boolean Pacman.canFlee()
-Previsiting updatePac(Map map, Pacman p)
-Previsiting protected synchronized int Random.next(int bits)
-Previsiting moveGhost(Ghost g)
-Previsiting private boolean Ghost.BFS(int start, int parents, Vector cuts)
-Previsiting public  Pacman.Pacman(int x, int y, Map map)
-
+Analyzing public  Pacman.Pacman(int x, int y, Map map)
 Analyzing next(Map map)
-Analyzing private void Pacman.setNextDirection()
-Analyzing public void Map.placeGhost(Ghost t)
-Analyzing finish(Map map)
-Analyzing public void Pacman.setTarget(int x, int y)
-Analyzing next(Map map)
-Analyzing startup(StartupObject s)
-Analyzing public boolean Pacman.isFinish()
-Analyzing public void Pacman.doMove()
-Analyzing private boolean Ghost.isFollowing()
-Analyzing public void Map.init()
-Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
-        at java.util.Hashtable.rehash(Hashtable.java:358)
-        at java.util.Hashtable.put(Hashtable.java:414)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.getLabelNodeFromTemp(OwnershipGraph.java:59)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.mergeOwnershipNodes(OwnershipGraph.java:1853)
-        at Analysis.OwnershipAnalysis.OwnershipGraph.merge(OwnershipGraph.java:1813)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.analyzeFlatMethod(OwnershipAnalysis.java:412)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.analyzeMethods(OwnershipAnalysis.java:347)
-        at Analysis.OwnershipAnalysis.OwnershipAnalysis.<init>(OwnershipAnalysis.java:282)
-        at Main.Main.main(Main.java:466)
+    exhaustiveArityCombinations numDimensions = 11
+[[92, 93S, 14S*]
+[14S, 92, 93S*]
+[92, 14S*]
+[92, 93S, 14S*, 90]
+[92]
+[14S, 92, 90]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[14S, 92, 93S]]
+x
+    exhaustiveArityCombinations numDimensions = 12
+[[14S, 92, 93S*]
+[92, 93S, 14S*]
+[92, 14S*]
+[92]
+[92, 93S, 14S*, 90]
+[14S, 92, 90]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[14S, 92, 93S, 90]
+[14S, 92, 93S]]
+xxx
+    exhaustiveArityCombinations numDimensions = 13
+[[92, 93S, 14S*]
+[14S, 92, 93S*]
+[92]
+[14S, 92]
+[92, 93S*, 14S*]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[92, 14S*]
+[92, 93S, 14S*, 90]
+[14S, 92, 93S*, 90]
+[14S, 92, 90]
+[14S, 92, 93S, 90]
+[14S, 92, 93S]]
+xxxxxxxxx
+    exhaustiveArityCombinations numDimensions = 27
+[[14S, 92, 91S, 90]
+[92]
+[92, 93S*, 14S*, 90]
+[92, 14S*, 90]
+[91S*, 92, 14S*]
+[92, 14S*]
+[91S*, 92, 14S*, 90]
+[91S*, 92, 93S, 14S*, 90]
+[92, 93S*, 14S*, 91S, 90]
+[14S, 92, 91S]
+[92, 14S*, 91S, 90]
+[92, 93S*, 14S*, 91S]
+[91S*, 92, 93S, 14S*]
+[92, 93S, 14S*, 91S, 90]
+[14S, 92, 93S]
+[14S, 92, 93S*]
+[92, 93S, 14S*]
+[91S*, 92, 93S*, 14S*]
+[14S, 92]
+[91S*, 92, 93S*, 14S*, 90]
+[92, 93S*, 14S*]
+[92, 93S, 14S*, 91S]
+[92, 14S*, 91S]
+[92, 93S, 14S*, 90]
+[14S, 92, 93S*, 90]
+[14S, 92, 90]
+[14S, 92, 93S, 90]]
+x
+
 

diff --git a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
index 1f5c5c4657f0016fe21905299e0d361ef0e398e6..9697280a2b642c4b18ef61284e4188c4bf513535 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
@@ -1,46 +1,21 @@
-Intractable:
+Conducting ownership analysis with allocation depth = 1
+---------sortgroup(ReduceWorker rworker)--------
+Task sortgroup(ReduceWorker rworker) contains no aliases between flagged objects.
 
-Analyzing startup(StartupObject s)
-Analyzing public  Master.Master(int m, int r, Splitter splitter)
-Analyzing Object HashMap.put(Object key, Object value)
-Analyzing public void ReduceWorker.sortgroup()
-Analyzing sortgroup(ReduceWorker rworker)
-Analyzing public  ReduceWorker.ReduceWorker(Vector interoutputs, int id)
-Analyzing public void Master.assignReduce()
-exhaustiveArityCombinations numDimensions = 16
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x @ exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 24
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x @ # x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x @ # x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x @ x x x x x x x x 
-x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x 
-x x x x x x x x x x x x x x x x x @ x x x x x x x x x x x x x x x x x x x x x x x x
+---------assignReduce(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker894___= NEW ReduceWorker.
+
+---------map(MapWorker mworker)--------
+Task map(MapWorker mworker) contains no aliases between flagged objects.
+
+---------reduceOutput(Master master, ReduceWorker rworker)--------
+Task reduceOutput(Master master, ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------mapOutput(Master master, MapWorker mworker)--------
+Task mapOutput(Master master, MapWorker mworker) contains no aliases between flagged objects.
+
+---------startup(StartupObject s)--------
+Task startup(StartupObject s) contains no aliases between flagged objects.
+
+---------output(Master master)--------
+Task output(Master master) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt
index cf0307830461398a12f0efa506dcb4dceeda1a7d..06d1e11840a93812c1bfbe20a351f807ee87695b 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/PERTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/PERTTag.txt
@@ -1,15 +1,15 @@
-Conducting ownership analysis with allocation depth = 3
----------prob(Estimator e)--------
-Task prob(Estimator e) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------estimateStage(Stage s)--------
+Task estimateStage(Stage s) contains no aliases between flagged objects.
 
 ---------sampling(Stage s)--------
 Task sampling(Stage s) contains no aliases between flagged objects.
 
----------startup(StartupObject s)--------
-Task startup(StartupObject s) contains no aliases between flagged objects.
-
 ---------estimate(Estimator e, Stage s)--------
 Task estimate(Estimator e, Stage s) contains no aliases between flagged objects.
 
----------estimateStage(Stage s)--------
-Task estimateStage(Stage s) contains no aliases between flagged objects.
+---------startup(StartupObject s)--------
+Task startup(StartupObject s) contains no aliases between flagged objects.
+
+---------prob(Estimator e)--------
+Task prob(Estimator e) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
index b71cc8ab8e616f48521a435f060634e7845fa3b2..7cad7fb562cb2373c64b9e6b65d600af34844fc0 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
@@ -1,12 +1,12 @@
-Conducting ownership analysis with allocation depth = 3
----------t2(FilterBankAtom fba)--------
-Task t2(FilterBankAtom fba) contains no aliases between flagged objects.
-
+Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
 Task t1(StartupObject s) contains no aliases between flagged objects.
 
----------t3(FilterBank fb, FilterBankAtom fba)--------
-Task t3(FilterBank fb, FilterBankAtom fba) contains no aliases between flagged objects.
+---------t2(FilterBankAtom fba)--------
+Task t2(FilterBankAtom fba) contains no aliases between flagged objects.
 
 ---------t4(FilterBank fb)--------
 Task t4(FilterBank fb) contains no aliases between flagged objects.
+
+---------t3(FilterBank fb, FilterBankAtom fba)--------
+Task t3(FilterBank fb, FilterBankAtom fba) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
new file mode 100644 (file)
index 0000000..e4f1fa1
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------t3(AppDemo ad, AppDemoRunner adr)--------
+Task t3(AppDemo ad, AppDemoRunner adr) contains no aliases between flagged objects.
+
+---------t2(AppDemoRunner adr)--------
+Task t2(AppDemoRunner adr) contains no aliases between flagged objects.
+
+---------t1(StartupObject s)--------
+Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t5(AppDemo ad)--------
+Task t5(AppDemo ad) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
index ed713abfe7c189623577db9b0091d5700dc92de8..bdb8c0918231e33304a89f192f1fa25606f71f7f 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
@@ -1,6 +1,6 @@
-Conducting ownership analysis with allocation depth = 3
----------t2(SeriesRunner sr)--------
-Task t2(SeriesRunner sr) contains no aliases between flagged objects.
-
+Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
 Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t2(SeriesRunner sr)--------
+Task t2(SeriesRunner sr) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
new file mode 100644 (file)
index 0000000..3bc9007
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
@@ -0,0 +1,33 @@
+Conducting ownership analysis with allocation depth = 1
+---------t8(ReduceWorker rworker)--------
+Task t8(ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------t5(MapWorker mworker)--------
+Task t5(MapWorker mworker) contains no aliases between flagged objects.
+
+---------t10(Master master, ReduceWorker rworker)--------
+Task t10(Master master, ReduceWorker rworker) contains no aliases between flagged objects.
+
+---------t4(MapWorker mworker)--------
+Task t4(MapWorker mworker) contains no aliases between flagged objects.
+
+---------t2(Master master)--------
+Task t2(Master master) contains no aliases between flagged objects.
+
+---------t6(Master master, MapWorker mworker)--------
+Potential alias between parameters 0 and 1.
+
+---------t3(Master master)--------
+Task t3(Master master) contains no aliases between flagged objects.
+
+---------t1(StartupObject s)--------
+Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t7(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker3429___= NEW ReduceWorker.
+
+---------t11(Master master)--------
+Task t11(Master master) contains no aliases between flagged objects.
+
+---------t9(ReduceWorker rworker)--------
+Task t9(ReduceWorker rworker) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/SpiderBR.txt
index 87941810a9f55b8ba82424a0d28a442381054e39..28a4ee7238b243c2de7ddff955c9a7db2da06c6c 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SpiderBR.txt
+++ b/Robust/src/Benchmarks/Ownership/SpiderBR.txt
@@ -1,16 +1,12 @@
-intractable:
+Conducting ownership analysis with allocation depth = 1
+---------processPage(Query q, QueryList ql)--------
+Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
 
-Analyzing public String String.substring(int beginIndex, int endIndex)
-Analyzing public String String.subString(int beginIndex, int endIndex)
-Analyzing readResponse(Query q)
-Analyzing public String Query.getHostName(String page)
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String Object.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing public  Query.Query(String hostname, String path)
-Analyzing Startup(StartupObject s)
-Analyzing processPage(Query q, QueryList ql)
-exhaustiveArityCombinations numDimensions = 17
+---------requestQuery(Query q)--------
+Task requestQuery(Query q) contains no aliases between flagged objects.
 
+---------readResponse(Query q)--------
+Task readResponse(Query q) contains no aliases between flagged objects.
 
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
index 2aefd2aad76f618dd2ce41fe960400409b66dcb8..2caf46ce808176244bedeca2dba206a94095a453 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
+++ b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
@@ -1,21 +1,12 @@
-intractable:
+Conducting ownership analysis with allocation depth = 1
+---------requestQuery(Query q, Socket s)--------
+Task requestQuery(Query q, Socket s) contains no aliases between flagged objects.
 
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String InetAddress.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing readResponse(Query q, Socket s)
-Analyzing public String Integer.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing public String Query.getPathName(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing public  Query.Query(String hostname, String path)
-Analyzing processPage(Query q, QueryList ql)
-exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 24
-x x x x x x
+---------processPage(Query q, QueryList ql)--------
+Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
 
+---------readResponse(Query q, Socket s)--------
+Task readResponse(Query q, Socket s) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
index e25112f40fdc5a9cd77c99792805465f15d970ec..a06f33cc31c17dd358e02ae9febf36662ce821af 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/TTTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/TTTTag.txt
@@ -1,21 +1,21 @@
-Conducting ownership analysis with allocation depth = 3
----------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
 
 ---------Startup(StartupObject s)--------
 Task Startup(StartupObject s) contains no aliases between flagged objects.
 
----------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
-Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
-
 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
 
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
+Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
 
 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
 
----------ProcessRequest(TTTServerSocket ttts, Socket s)--------
-Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
+---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
index 06256e307c22aa1f1c5a31b86bd1828afcdc789e..fc7cdbab3ae7f5c4995ae574e97a03374532dc3f 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
+++ b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt
@@ -1,15 +1,15 @@
-Conducting ownership analysis with allocation depth = 3
----------findNewFits(SubProblem sp, GlobalCounter counter)--------
-Task findNewFits(SubProblem sp, GlobalCounter counter) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------printHighestScore(SubProblem sp)--------
+Task printHighestScore(SubProblem sp) contains no aliases between flagged objects.
 
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+---------scoreSubProbleam(SubProblem sp)--------
+Task scoreSubProbleam(SubProblem sp) contains no aliases between flagged objects.
 
 ---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
 Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter) contains no aliases between flagged objects.
 
----------printHighestScore(SubProblem sp)--------
-Task printHighestScore(SubProblem sp) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
----------scoreSubProbleam(SubProblem sp)--------
-Task scoreSubProbleam(SubProblem sp) contains no aliases between flagged objects.
+---------findNewFits(SubProblem sp, GlobalCounter counter)--------
+Task findNewFits(SubProblem sp, GlobalCounter counter) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/WebServer.txt b/Robust/src/Benchmarks/Ownership/WebServer.txt
new file mode 100644 (file)
index 0000000..9020916
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/WebServer.txt
@@ -0,0 +1,18 @@
+Conducting ownership analysis with allocation depth = 1
+---------LogRequest(WebServerSocket web, Logger log)--------
+Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
+
+---------ProcessRequest(WebServerSocket web)--------
+Task ProcessRequest(WebServerSocket web) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------Transaction(WebServerSocket web, Inventory inventorylist)--------
+Task Transaction(WebServerSocket web, Inventory inventorylist) contains no aliases between flagged objects.
+
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------SendFile(WebServerSocket web)--------
+Task SendFile(WebServerSocket web) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag.txt b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
new file mode 100644 (file)
index 0000000..3a2905a
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
@@ -0,0 +1,18 @@
+Conducting ownership analysis with allocation depth = 1
+---------SendFile(WebServerSocket web, Socket s)--------
+Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
+Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
+
+---------ProcessRequest(WebServerSocket web, Socket s)--------
+Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+
+---------LogRequest(WebServerSocket web, Logger log)--------
+Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt b/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
deleted file mode 100644 (file)
index 0a617c7..0000000
--- a/Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt
+++ /dev/null
@@ -1,18 +0,0 @@
-Conducting ownership analysis with allocation depth = 3
----------SendFile(WebServerSocket web, Socket s)--------
-Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
-
----------ProcessRequest(WebServerSocket web, Socket s)--------
-Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
-
----------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
-Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
-
----------LogRequest(WebServerSocket web, Logger log)--------
-Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.

diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt
index 0614c6a36a5c2345d678c48aebc9144a00b9d466..71147fa564bacfedc5b4e6f2cb3c86476a70a72a 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/summary.txt
+++ b/Robust/src/Benchmarks/Ownership/summary.txt
@@ -1,23 +1,24 @@
 No reported aliases in:
 -BankApp
 -Conglomerator 
+-Jhttpp2BR
 -PERTTag
 -SchedulingFilterBank
+-SchedulingJGFMonteCarlo
 -SchedulingJGFSeries
+-SpiderBR
+-SpiderBRTag
 -TileSearchTag
 -TTTTag
+-WebServer
+-WebServerTag
 
 
 Aliases:
--ChatTag shows 3 tasks with aliases, with allocation depth = 3 or 9
--WebServerTag shows 1 task with aliases, ad=3 or 9
-
-
-Out of Memory:
--MMGTag
+-ChatTag shows 3 tasks with aliases
+-MapReduceTag shows 1 task with aliases
+-SchedulingMapReduce shows 2 tasks with aliases
 
 
 Intractable:
--MapReduceTag quit at exhaustive arity dimension = 24
--SpiderBRTag quit at d=24
--SpiderBR quit at d=17
+-MMGTag