ran all benchmarks with new method context version, alias reports are the same

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt
index 0e06beb3cd2f0923a486f9e54ac57ae6ff8e2bd1..8ea9623f83c669d79230b0df8c6091f3a6247ffd 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/ChatTag.txt
+++ b/Robust/src/Benchmarks/Ownership/ChatTag.txt
@@ -1,18 +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)--------
-No aliases between flagged objects in Task SendMessage(Message m).
-
 ---------Startup(StartupObject s)--------
 No aliases between flagged objects in Task Startup(StartupObject s).
 
+---------AcceptConnection(ServerSocket ss)--------
+Potential alias between FlatNew____cs2882___= NEW ChatSocket and FlatNew____s1066___= NEW Socket.
+
+---------Message(ChatSocket cs, Socket s)--------
+Potential alias between parameter 0 and FlatNew____m2900___= NEW Message.
+
 ---------ReadRequest(ChatSocket cs, Socket s)--------
 No aliases between flagged objects in Task ReadRequest(ChatSocket cs, Socket s).
 
----------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.
+
+---------SendMessage(Message m)--------
+No aliases between flagged objects in Task SendMessage(Message m).

diff --git a/Robust/src/Benchmarks/Ownership/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/Conglomerator.txt
deleted file mode 100644 (file)
index 49bd4bd..0000000
--- a/Robust/src/Benchmarks/Ownership/Conglomerator.txt
+++ /dev/null
@@ -1,36 +0,0 @@
-Conducting ownership analysis with allocation depth = 1
----------LogRequest(WebServerSocket web, Logger log)--------
-No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
-
----------SendFile(WebServerSocket web, MySocket s)--------
-No aliases between flagged objects in Task SendFile(WebServerSocket web, MySocket s).
-
----------LookupS(Stock l)--------
-No aliases between flagged objects in Task LookupS(Stock l).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
----------ReceiveQueryS(Stock l)--------
-No aliases between flagged objects in Task ReceiveQueryS(Stock l).
-
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------LookupW(Weather l)--------
-No aliases between flagged objects in Task LookupW(Weather l).
-
----------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
-No aliases between flagged objects in Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st).
-
----------ReceiveQueryG(Google l)--------
-No aliases between flagged objects in Task ReceiveQueryG(Google l).
-
----------ReceiveQueryW(Weather l)--------
-No aliases between flagged objects in Task ReceiveQueryW(Weather l).
-
----------LookupG(Google l)--------
-No aliases between flagged objects in Task LookupG(Google l).
-
----------ProcessRequest(WebServerSocket web, MySocket s)--------
-No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, MySocket s).

diff --git a/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt b/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt
new file mode 100644 (file)
index 0000000..49bd4bd
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt
@@ -0,0 +1,36 @@
+Conducting ownership analysis with allocation depth = 1
+---------LogRequest(WebServerSocket web, Logger log)--------
+No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
+
+---------SendFile(WebServerSocket web, MySocket s)--------
+No aliases between flagged objects in Task SendFile(WebServerSocket web, MySocket s).
+
+---------LookupS(Stock l)--------
+No aliases between flagged objects in Task LookupS(Stock l).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------ReceiveQueryS(Stock l)--------
+No aliases between flagged objects in Task ReceiveQueryS(Stock l).
+
+---------AcceptConnection(ServerSocket ss)--------
+No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
+
+---------LookupW(Weather l)--------
+No aliases between flagged objects in Task LookupW(Weather l).
+
+---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
+No aliases between flagged objects in Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st).
+
+---------ReceiveQueryG(Google l)--------
+No aliases between flagged objects in Task ReceiveQueryG(Google l).
+
+---------ReceiveQueryW(Weather l)--------
+No aliases between flagged objects in Task ReceiveQueryW(Weather l).
+
+---------LookupG(Google l)--------
+No aliases between flagged objects in Task LookupG(Google l).
+
+---------ProcessRequest(WebServerSocket web, MySocket s)--------
+No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, MySocket s).

diff --git a/Robust/src/Benchmarks/Ownership/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt
index 89e7dd772f8f303980e1c287ce1311efc109988f..3c338813f7a9a958ae5813c1e0e80cdd4b232813 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/MMGTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MMGTag.txt
@@ -1,17 +1,17 @@
 Conducting ownership analysis with allocation depth = 1
----------movePacman(Pacman p)--------
-No aliases between flagged objects in Task movePacman(Pacman p).
-
 ---------initMap(Map map)--------
-Potential alias between parameter 0 and FlatNew____pacman6987___= NEW Pacman.
-Potential alias between parameter 0 and FlatNew____ghost6966___= NEW Ghost.
-
----------updatePac(Map map, Pacman p)--------
-No aliases between flagged objects in Task updatePac(Map map, Pacman p).
+Potential alias between parameter 0 and FlatNew____pacman7083___= NEW Pacman.
+Potential alias between parameter 0 and FlatNew____ghost7062___= NEW Ghost.
 
 ---------next(Map map)--------
-Potential alias between parameter 0 and FlatNew____pacman7136___= NEW Pacman.
-Potential alias between parameter 0 and FlatNew____ghost7100___= NEW Ghost.
+Potential alias between parameter 0 and FlatNew____pacman7202___= NEW Pacman.
+Potential alias between parameter 0 and FlatNew____ghost7166___= NEW Ghost.
+
+---------updateGhost(Map map, Ghost g)--------
+No aliases between flagged objects in Task updateGhost(Map map, Ghost g).
+
+---------moveGhost(Ghost g)--------
+No aliases between flagged objects in Task moveGhost(Ghost g).
 
 ---------startup(StartupObject s)--------
 No aliases between flagged objects in Task startup(StartupObject s).
@@ -19,8 +19,8 @@ No aliases between flagged objects in Task startup(StartupObject s).
 ---------finish(Map map)--------
 No aliases between flagged objects in Task finish(Map map).
 
----------updateGhost(Map map, Ghost g)--------
-No aliases between flagged objects in Task updateGhost(Map map, Ghost g).
+---------updatePac(Map map, Pacman p)--------
+No aliases between flagged objects in Task updatePac(Map map, Pacman p).
 
----------moveGhost(Ghost g)--------
-No aliases between flagged objects in Task moveGhost(Ghost g).
+---------movePacman(Pacman p)--------
+No aliases between flagged objects in Task movePacman(Pacman p).

diff --git a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
index 142b62231b223eb37f61b5b2f09740615dbe0603..f0056bb38848a350a879c8a51b85344a9a668333 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
+++ b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt
@@ -1,21 +1,21 @@
 Conducting ownership analysis with allocation depth = 1
----------sortgroup(ReduceWorker rworker)--------
-No aliases between flagged objects in Task sortgroup(ReduceWorker rworker).
-
----------assignReduce(Master master)--------
-Potential alias between parameter 0 and FlatNew____rworker894___= NEW ReduceWorker.
-
 ---------map(MapWorker mworker)--------
 No aliases between flagged objects in Task map(MapWorker mworker).
 
 ---------reduceOutput(Master master, ReduceWorker rworker)--------
 No aliases between flagged objects in Task reduceOutput(Master master, ReduceWorker rworker).
 
+---------sortgroup(ReduceWorker rworker)--------
+No aliases between flagged objects in Task sortgroup(ReduceWorker rworker).
+
 ---------mapOutput(Master master, MapWorker mworker)--------
 No aliases between flagged objects in Task mapOutput(Master master, MapWorker mworker).
 
 ---------startup(StartupObject s)--------
 No aliases between flagged objects in Task startup(StartupObject s).
 
+---------assignReduce(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker1019___= NEW ReduceWorker.
+
 ---------output(Master master)--------
 No aliases between flagged objects in Task output(Master master).

diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt
index 286aeaf94a7d2a9c3b3c3f6517ec95a13c2f6897..c01df6caf593add66dece421ae18429bc3e2ce8c 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/PERTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/PERTTag.txt
@@ -1,10 +1,10 @@
 Conducting ownership analysis with allocation depth = 1
----------estimateStage(Stage s)--------
-No aliases between flagged objects in Task estimateStage(Stage s).
-
 ---------sampling(Stage s)--------
 No aliases between flagged objects in Task sampling(Stage s).
 
+---------estimateStage(Stage s)--------
+No aliases between flagged objects in Task estimateStage(Stage s).
+
 ---------estimate(Estimator e, Stage s)--------
 No aliases between flagged objects in Task estimate(Estimator e, Stage s).
 

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt
index f492d984ec54050854747120783fc733e3d5fb7c..8ff56c6bbb6e98e6bab0c9f4269637e6ed0ca98f 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 = 1
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
 ---------t2(FilterBankAtom fba)--------
 No aliases between flagged objects in Task t2(FilterBankAtom fba).
 
 ---------t4(FilterBank fb)--------
 No aliases between flagged objects in Task t4(FilterBank fb).
 
+---------t1(StartupObject s)--------
+No aliases between flagged objects in Task t1(StartupObject s).
+
 ---------t3(FilterBank fb, FilterBankAtom fba)--------
 No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
index af817108f27209eb15e6e8b23ecfb4df2aa8f6fb..8dd590c7b41f21e1e5264d8de129c65538bac6a1 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt
@@ -1,12 +1,12 @@
 Conducting ownership analysis with allocation depth = 1
+---------t5(AppDemo ad)--------
+No aliases between flagged objects in Task t5(AppDemo ad).
+
+---------t1(StartupObject s)--------
+No aliases between flagged objects in Task t1(StartupObject s).
+
 ---------t3(AppDemo ad, AppDemoRunner adr)--------
 No aliases between flagged objects in Task t3(AppDemo ad, AppDemoRunner adr).
 
 ---------t2(AppDemoRunner adr)--------
 No aliases between flagged objects in Task t2(AppDemoRunner adr).
-
----------t1(StartupObject s)--------
-No aliases between flagged objects in Task t1(StartupObject s).
-
----------t5(AppDemo ad)--------
-No aliases between flagged objects in Task t5(AppDemo ad).

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
index 2d1a17415d692c26f585964c6234e536b42684e9..70f54ef50782602868a8b060b6072f24427072f1 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt
@@ -1,33 +1,33 @@
 Conducting ownership analysis with allocation depth = 1
----------t8(ReduceWorker rworker)--------
-No aliases between flagged objects in Task t8(ReduceWorker rworker).
-
----------t5(MapWorker mworker)--------
-No aliases between flagged objects in Task t5(MapWorker mworker).
-
 ---------t10(Master master, ReduceWorker rworker)--------
 No aliases between flagged objects in Task t10(Master master, ReduceWorker rworker).
 
----------t4(MapWorker mworker)--------
-No aliases between flagged objects in Task t4(MapWorker mworker).
-
----------t2(Master master)--------
-No aliases between flagged objects in Task t2(Master master).
-
 ---------t6(Master master, MapWorker mworker)--------
 Potential alias between parameters 0 and 1.
 
+---------t5(MapWorker mworker)--------
+No aliases between flagged objects in Task t5(MapWorker mworker).
+
 ---------t3(Master master)--------
 No aliases between flagged objects in Task t3(Master master).
 
+---------t2(Master master)--------
+No aliases between flagged objects in Task t2(Master master).
+
 ---------t1(StartupObject s)--------
 No aliases between flagged objects in Task t1(StartupObject s).
 
----------t7(Master master)--------
-Potential alias between parameter 0 and FlatNew____rworker3429___= NEW ReduceWorker.
-
 ---------t11(Master master)--------
 No aliases between flagged objects in Task t11(Master master).
 
+---------t4(MapWorker mworker)--------
+No aliases between flagged objects in Task t4(MapWorker mworker).
+
+---------t8(ReduceWorker rworker)--------
+No aliases between flagged objects in Task t8(ReduceWorker rworker).
+
 ---------t9(ReduceWorker rworker)--------
 No aliases between flagged objects in Task t9(ReduceWorker rworker).
+
+---------t7(Master master)--------
+Potential alias between parameter 0 and FlatNew____rworker3540___= NEW ReduceWorker.

diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
index 70617d546bcfe3552f39ecb135fdb0583844e944..b2af14052eceaf55b84d7bd1e238a624e00cbbaa 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 = 1
----------AcceptConnection(ServerSocket ss)--------
-No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
-
----------Startup(StartupObject s)--------
-No aliases between flagged objects in Task Startup(StartupObject s).
-
 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 No aliases between flagged objects in Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s).
 
 ---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
 No aliases between flagged objects in Task ProcessRequest(TTTServerSocket ttts, Socket s).
 
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s).
+
 ---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
 No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
 
+---------AcceptConnection(ServerSocket ss)--------
+No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
+
 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
 No aliases between flagged objects in Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s).
-
----------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
-No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s).