From: jjenista Date: Sun, 9 Nov 2008 21:50:27 +0000 (+0000) Subject: make sure strong updates do not affect benchmark results, currently X-Git-Tag: buildscript^7~50 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=82578a2336a65d83a60097b9fa111a78d11acff4;p=IRC.git 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 3af151ce..95c7c4f0 100644 --- 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 index 00000000..283458e8 --- /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 index 00000000..0e06beb3 --- /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 index 00000000..49bd4bdd --- /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 index 00000000..862f0258 --- /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 index 00000000..89e7dd77 --- /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 index 00000000..142b6223 --- /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 index 00000000..286aeaf9 --- /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 index 00000000..f492d984 --- /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 index 00000000..af817108 --- /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 index 00000000..f968eaf0 --- /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 index 00000000..2d1a1741 --- /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 index 00000000..954b95ef --- /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 index 00000000..d2fe7476 --- /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 index 00000000..70617d54 --- /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 index 00000000..e70455eb --- /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 index 00000000..d1c16ee3 --- /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 index 00000000..41a01573 --- /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 index 00000000..283458e8 --- /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 index 00000000..0e06beb3 --- /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 index 00000000..49bd4bdd --- /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 index 00000000..862f0258 --- /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 index 00000000..89e7dd77 --- /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 index 00000000..142b6223 --- /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 index 00000000..286aeaf9 --- /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 index 00000000..f492d984 --- /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 index 00000000..af817108 --- /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 index 00000000..f968eaf0 --- /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 index 00000000..2d1a1741 --- /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 index 00000000..954b95ef --- /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 index 00000000..d2fe7476 --- /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 index 00000000..70617d54 --- /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 index 00000000..e70455eb --- /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 index 00000000..d1c16ee3 --- /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 index 00000000..41a01573 --- /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).