make sure strong updates do not affect benchmark results, currently

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 3af151cec76a0cfcc7e9620c8e0e6af34394b345..95c7c4f0a247ad8c8d4c54ec6e47d5f51fbad8ed 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -427,13 +427,6 @@ public class OwnershipGraph {
        ReferenceEdge edgeY = itrYhrn.next();
        HeapRegionNode hrnY = edgeY.getDst();
 
-
-
-       // THIS IS WRONG!!!!  It doesn't always have to be a single object
-       // heap region, not when there is only one reference into the source
-       // heap region (I think!)  CHECK AND CHANGE!
-
-
        // we can do a strong update here if one of two cases holds     
        if( f != null &&
            hrnX.isSingleObject() &&

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/BankApp.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/BankApp.txt
new file mode 100644 (file)
index 0000000..283458e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/BankApp.txt
@@ -0,0 +1,9 @@
+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).
+
+---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
+No aliases between flagged objects in Task ProcessRequest(BankAppSocket bas, BankDatabase Bank).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/ChatTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/ChatTag.txt
new file mode 100644 (file)
index 0000000..0e06beb
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/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)--------
+No aliases between flagged objects in Task SendMessage(Message m).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------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.

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/Conglomerator.txt
new file mode 100644 (file)
index 0000000..49bd4bd
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/Conglomerator.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/results/withStrongUp/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/Jhttpp2BR.txt
new file mode 100644 (file)
index 0000000..862f025
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/Jhttpp2BR.txt
@@ -0,0 +1,30 @@
+Conducting ownership analysis with allocation depth = 1
+---------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
+No aliases between flagged objects in Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold).
+
+---------start(StartupObject s)--------
+No aliases between flagged objects in Task start(StartupObject s).
+
+---------sendnext(Request rprev, Request r)--------
+No aliases between flagged objects in Task sendnext(Request rprev, Request r).
+
+---------sendfirst(Request r)--------
+No aliases between flagged objects in Task sendfirst(Request r).
+
+---------sendfirstresp(Request r, MySocket sock)--------
+No aliases between flagged objects in Task sendfirstresp(Request r, MySocket sock).
+
+---------recvreq(Request r)--------
+No aliases between flagged objects in Task recvreq(Request r).
+
+---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
+No aliases between flagged objects in Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold).
+
+---------sendresp(Request rprev, Request r, MySocket sock)--------
+No aliases between flagged objects in Task sendresp(Request rprev, Request r, MySocket sock).
+
+---------acceptconnection(ServerSocket ss)--------
+No aliases between flagged objects in Task acceptconnection(ServerSocket ss).
+
+---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
+No aliases between flagged objects in Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/MMGTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/MMGTag.txt
new file mode 100644 (file)
index 0000000..89e7dd7
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/MMGTag.txt
@@ -0,0 +1,26 @@
+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).
+
+---------next(Map map)--------
+Potential alias between parameter 0 and FlatNew____pacman7136___= NEW Pacman.
+Potential alias between parameter 0 and FlatNew____ghost7100___= NEW Ghost.
+
+---------startup(StartupObject s)--------
+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).
+
+---------moveGhost(Ghost g)--------
+No aliases between flagged objects in Task moveGhost(Ghost g).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/MapReduceTag.txt
new file mode 100644 (file)
index 0000000..142b622
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/MapReduceTag.txt
@@ -0,0 +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).
+
+---------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).
+
+---------output(Master master)--------
+No aliases between flagged objects in Task output(Master master).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/PERTTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/PERTTag.txt
new file mode 100644 (file)
index 0000000..286aeaf
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/PERTTag.txt
@@ -0,0 +1,15 @@
+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).
+
+---------estimate(Estimator e, Stage s)--------
+No aliases between flagged objects in Task estimate(Estimator e, Stage s).
+
+---------startup(StartupObject s)--------
+No aliases between flagged objects in Task startup(StartupObject s).
+
+---------prob(Estimator e)--------
+No aliases between flagged objects in Task prob(Estimator e).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingFilterBank.txt
new file mode 100644 (file)
index 0000000..f492d98
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingFilterBank.txt
@@ -0,0 +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).
+
+---------t3(FilterBank fb, FilterBankAtom fba)--------
+No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingJGFMonteCarlo.txt
new file mode 100644 (file)
index 0000000..af81710
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingJGFMonteCarlo.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------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/results/withStrongUp/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingJGFSeries.txt
new file mode 100644 (file)
index 0000000..f968eaf
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingJGFSeries.txt
@@ -0,0 +1,6 @@
+Conducting ownership analysis with allocation depth = 1
+---------t1(StartupObject s)--------
+No aliases between flagged objects in Task t1(StartupObject s).
+
+---------t2(SeriesRunner sr)--------
+No aliases between flagged objects in Task t2(SeriesRunner sr).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingMapReduce.txt
new file mode 100644 (file)
index 0000000..2d1a174
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingMapReduce.txt
@@ -0,0 +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.
+
+---------t3(Master master)--------
+No aliases between flagged objects in Task t3(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).
+
+---------t9(ReduceWorker rworker)--------
+No aliases between flagged objects in Task t9(ReduceWorker rworker).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBR.txt
new file mode 100644 (file)
index 0000000..954b95e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBR.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------processPage(Query q, QueryList ql)--------
+No aliases between flagged objects in Task processPage(Query q, QueryList ql).
+
+---------requestQuery(Query q)--------
+No aliases between flagged objects in Task requestQuery(Query q).
+
+---------readResponse(Query q)--------
+No aliases between flagged objects in Task readResponse(Query q).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBRTag.txt
new file mode 100644 (file)
index 0000000..d2fe747
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/SpiderBRTag.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------requestQuery(Query q, Socket s)--------
+No aliases between flagged objects in Task requestQuery(Query q, Socket s).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------processPage(Query q, QueryList ql)--------
+No aliases between flagged objects in Task processPage(Query q, QueryList ql).
+
+---------readResponse(Query q, Socket s)--------
+No aliases between flagged objects in Task readResponse(Query q, Socket s).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/TTTTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/TTTTag.txt
new file mode 100644 (file)
index 0000000..70617d5
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/TTTTag.txt
@@ -0,0 +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).
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
+
+---------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).

diff --git a/Robust/src/Benchmarks/Ownership/results/withStrongUp/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/results/withStrongUp/TileSearchTag.txt
new file mode 100644 (file)
index 0000000..e70455e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withStrongUp/TileSearchTag.txt
@@ -0,0 +1,15 @@
+Conducting ownership analysis with allocation depth = 1
+---------printHighestScore(SubProblem sp)--------
+No aliases between flagged objects in Task printHighestScore(SubProblem sp).
+
+---------scoreSubProbleam(SubProblem sp)--------
+No aliases between flagged objects in Task scoreSubProbleam(SubProblem sp).
+
+---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
+No aliases between flagged objects in Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------findNewFits(SubProblem sp, GlobalCounter counter)--------
+No aliases between flagged objects in Task findNewFits(SubProblem sp, GlobalCounter counter).

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

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

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/BankApp.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/BankApp.txt
new file mode 100644 (file)
index 0000000..283458e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/BankApp.txt
@@ -0,0 +1,9 @@
+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).
+
+---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
+No aliases between flagged objects in Task ProcessRequest(BankAppSocket bas, BankDatabase Bank).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/ChatTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/ChatTag.txt
new file mode 100644 (file)
index 0000000..0e06beb
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/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)--------
+No aliases between flagged objects in Task SendMessage(Message m).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------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.

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Conglomerator.txt
new file mode 100644 (file)
index 0000000..49bd4bd
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Conglomerator.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/results/withoutStrongUp/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Jhttpp2BR.txt
new file mode 100644 (file)
index 0000000..862f025
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/Jhttpp2BR.txt
@@ -0,0 +1,30 @@
+Conducting ownership analysis with allocation depth = 1
+---------request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold)--------
+No aliases between flagged objects in Task request(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket, Request rold).
+
+---------start(StartupObject s)--------
+No aliases between flagged objects in Task start(StartupObject s).
+
+---------sendnext(Request rprev, Request r)--------
+No aliases between flagged objects in Task sendnext(Request rprev, Request r).
+
+---------sendfirst(Request r)--------
+No aliases between flagged objects in Task sendfirst(Request r).
+
+---------sendfirstresp(Request r, MySocket sock)--------
+No aliases between flagged objects in Task sendfirstresp(Request r, MySocket sock).
+
+---------recvreq(Request r)--------
+No aliases between flagged objects in Task recvreq(Request r).
+
+---------requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold)--------
+No aliases between flagged objects in Task requestmore(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, Request rold).
+
+---------sendresp(Request rprev, Request r, MySocket sock)--------
+No aliases between flagged objects in Task sendresp(Request rprev, Request r, MySocket sock).
+
+---------acceptconnection(ServerSocket ss)--------
+No aliases between flagged objects in Task acceptconnection(ServerSocket ss).
+
+---------requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket)--------
+No aliases between flagged objects in Task requestfirst(Jhttpp2HTTPSession session, Jhttpp2ClientInputStream jcis, MySocket socket).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MMGTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MMGTag.txt
new file mode 100644 (file)
index 0000000..89e7dd7
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MMGTag.txt
@@ -0,0 +1,26 @@
+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).
+
+---------next(Map map)--------
+Potential alias between parameter 0 and FlatNew____pacman7136___= NEW Pacman.
+Potential alias between parameter 0 and FlatNew____ghost7100___= NEW Ghost.
+
+---------startup(StartupObject s)--------
+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).
+
+---------moveGhost(Ghost g)--------
+No aliases between flagged objects in Task moveGhost(Ghost g).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MapReduceTag.txt
new file mode 100644 (file)
index 0000000..142b622
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/MapReduceTag.txt
@@ -0,0 +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).
+
+---------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).
+
+---------output(Master master)--------
+No aliases between flagged objects in Task output(Master master).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/PERTTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/PERTTag.txt
new file mode 100644 (file)
index 0000000..286aeaf
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/PERTTag.txt
@@ -0,0 +1,15 @@
+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).
+
+---------estimate(Estimator e, Stage s)--------
+No aliases between flagged objects in Task estimate(Estimator e, Stage s).
+
+---------startup(StartupObject s)--------
+No aliases between flagged objects in Task startup(StartupObject s).
+
+---------prob(Estimator e)--------
+No aliases between flagged objects in Task prob(Estimator e).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingFilterBank.txt
new file mode 100644 (file)
index 0000000..f492d98
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingFilterBank.txt
@@ -0,0 +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).
+
+---------t3(FilterBank fb, FilterBankAtom fba)--------
+No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingJGFMonteCarlo.txt
new file mode 100644 (file)
index 0000000..af81710
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingJGFMonteCarlo.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------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/results/withoutStrongUp/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingJGFSeries.txt
new file mode 100644 (file)
index 0000000..f968eaf
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingJGFSeries.txt
@@ -0,0 +1,6 @@
+Conducting ownership analysis with allocation depth = 1
+---------t1(StartupObject s)--------
+No aliases between flagged objects in Task t1(StartupObject s).
+
+---------t2(SeriesRunner sr)--------
+No aliases between flagged objects in Task t2(SeriesRunner sr).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingMapReduce.txt
new file mode 100644 (file)
index 0000000..2d1a174
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SchedulingMapReduce.txt
@@ -0,0 +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.
+
+---------t3(Master master)--------
+No aliases between flagged objects in Task t3(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).
+
+---------t9(ReduceWorker rworker)--------
+No aliases between flagged objects in Task t9(ReduceWorker rworker).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBR.txt
new file mode 100644 (file)
index 0000000..954b95e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBR.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------processPage(Query q, QueryList ql)--------
+No aliases between flagged objects in Task processPage(Query q, QueryList ql).
+
+---------requestQuery(Query q)--------
+No aliases between flagged objects in Task requestQuery(Query q).
+
+---------readResponse(Query q)--------
+No aliases between flagged objects in Task readResponse(Query q).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBRTag.txt
new file mode 100644 (file)
index 0000000..d2fe747
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/SpiderBRTag.txt
@@ -0,0 +1,12 @@
+Conducting ownership analysis with allocation depth = 1
+---------requestQuery(Query q, Socket s)--------
+No aliases between flagged objects in Task requestQuery(Query q, Socket s).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------processPage(Query q, QueryList ql)--------
+No aliases between flagged objects in Task processPage(Query q, QueryList ql).
+
+---------readResponse(Query q, Socket s)--------
+No aliases between flagged objects in Task readResponse(Query q, Socket s).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TTTTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TTTTag.txt
new file mode 100644 (file)
index 0000000..70617d5
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TTTTag.txt
@@ -0,0 +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).
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
+
+---------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).

diff --git a/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TileSearchTag.txt
new file mode 100644 (file)
index 0000000..e70455e
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/results/withoutStrongUp/TileSearchTag.txt
@@ -0,0 +1,15 @@
+Conducting ownership analysis with allocation depth = 1
+---------printHighestScore(SubProblem sp)--------
+No aliases between flagged objects in Task printHighestScore(SubProblem sp).
+
+---------scoreSubProbleam(SubProblem sp)--------
+No aliases between flagged objects in Task scoreSubProbleam(SubProblem sp).
+
+---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
+No aliases between flagged objects in Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter).
+
+---------Startup(StartupObject s)--------
+No aliases between flagged objects in Task Startup(StartupObject s).
+
+---------findNewFits(SubProblem sp, GlobalCounter counter)--------
+No aliases between flagged objects in Task findNewFits(SubProblem sp, GlobalCounter counter).

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

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