From 594c96c3d16d15938bcc93019ae04ec5e6d307e5 Mon Sep 17 00:00:00 2001 From: jjenista Date: Thu, 8 Oct 2009 01:58:50 +0000 Subject: [PATCH] updating results --- Robust/src/Benchmarks/Ownership/BankApp.txt | 9 --- Robust/src/Benchmarks/Ownership/ChatTag.txt | 18 ------ .../Benchmarks/Ownership/ConglomeratorTag.txt | 36 ------------ Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt | 30 ---------- Robust/src/Benchmarks/Ownership/MMGTag.txt | 26 --------- .../src/Benchmarks/Ownership/MapReduceTag.txt | 21 ------- Robust/src/Benchmarks/Ownership/PERTTag.txt | 15 ----- .../Ownership/SchedulingFilterBank.txt | 12 ---- .../Ownership/SchedulingJGFMonteCarlo.txt | 12 ---- .../Ownership/SchedulingJGFSeries.txt | 6 -- .../Ownership/SchedulingMapReduce.txt | 33 ----------- .../Ownership/SchedulingPSFluidAnimate.txt | 42 -------------- Robust/src/Benchmarks/Ownership/SpiderBR.txt | 12 ---- .../src/Benchmarks/Ownership/SpiderBRTag.txt | 12 ---- Robust/src/Benchmarks/Ownership/TTTTag.txt | 21 ------- .../Benchmarks/Ownership/TileSearchTag.txt | 15 ----- Robust/src/Benchmarks/Ownership/WebServer.txt | 18 ------ .../src/Benchmarks/Ownership/WebServerTag.txt | 18 ------ Robust/src/Benchmarks/Ownership/summary.tex | 58 +++++++++++++++++++ Robust/src/Benchmarks/Ownership/summary.txt | 31 ---------- 20 files changed, 58 insertions(+), 387 deletions(-) delete mode 100644 Robust/src/Benchmarks/Ownership/BankApp.txt delete mode 100644 Robust/src/Benchmarks/Ownership/ChatTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt delete mode 100644 Robust/src/Benchmarks/Ownership/MMGTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/MapReduceTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/PERTTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SpiderBR.txt delete mode 100644 Robust/src/Benchmarks/Ownership/SpiderBRTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/TTTTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/TileSearchTag.txt delete mode 100644 Robust/src/Benchmarks/Ownership/WebServer.txt delete mode 100644 Robust/src/Benchmarks/Ownership/WebServerTag.txt create mode 100644 Robust/src/Benchmarks/Ownership/summary.tex delete mode 100644 Robust/src/Benchmarks/Ownership/summary.txt diff --git a/Robust/src/Benchmarks/Ownership/BankApp.txt b/Robust/src/Benchmarks/Ownership/BankApp.txt deleted file mode 100644 index 283458e8..00000000 --- a/Robust/src/Benchmarks/Ownership/BankApp.txt +++ /dev/null @@ -1,9 +0,0 @@ -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/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt deleted file mode 100644 index 8ea9623f..00000000 --- a/Robust/src/Benchmarks/Ownership/ChatTag.txt +++ /dev/null @@ -1,18 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------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). - ----------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/ConglomeratorTag.txt b/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt deleted file mode 100644 index 49bd4bdd..00000000 --- a/Robust/src/Benchmarks/Ownership/ConglomeratorTag.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/Jhttpp2BR.txt b/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt deleted file mode 100644 index 862f0258..00000000 --- a/Robust/src/Benchmarks/Ownership/Jhttpp2BR.txt +++ /dev/null @@ -1,30 +0,0 @@ -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/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt deleted file mode 100644 index 3c338813..00000000 --- a/Robust/src/Benchmarks/Ownership/MMGTag.txt +++ /dev/null @@ -1,26 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------initMap(Map map)-------- -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____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). - ----------finish(Map map)-------- -No aliases between flagged objects in Task finish(Map map). - ----------updatePac(Map map, Pacman p)-------- -No aliases between flagged objects in Task updatePac(Map map, Pacman p). - ----------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 deleted file mode 100644 index f0056bb3..00000000 --- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt +++ /dev/null @@ -1,21 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------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 deleted file mode 100644 index c01df6ca..00000000 --- a/Robust/src/Benchmarks/Ownership/PERTTag.txt +++ /dev/null @@ -1,15 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------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). - ----------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/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt deleted file mode 100644 index 8ff56c6b..00000000 --- a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt +++ /dev/null @@ -1,12 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------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 deleted file mode 100644 index 8dd590c7..00000000 --- a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt +++ /dev/null @@ -1,12 +0,0 @@ -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). diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt deleted file mode 100644 index f968eaf0..00000000 --- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt +++ /dev/null @@ -1,6 +0,0 @@ -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/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt deleted file mode 100644 index 70f54ef5..00000000 --- a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt +++ /dev/null @@ -1,33 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------t10(Master master, ReduceWorker rworker)-------- -No aliases between flagged objects in Task t10(Master master, ReduceWorker rworker). - ----------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). - ----------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/SchedulingPSFluidAnimate.txt b/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt deleted file mode 100644 index 817bfbdc..00000000 --- a/Robust/src/Benchmarks/Ownership/SchedulingPSFluidAnimate.txt +++ /dev/null @@ -1,42 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------t8(Grid g)-------- -No aliases between flagged objects in Task t8(Grid g). - ----------t3(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t3(PSFADemo demo, Grid g). - ----------t13(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t13(PSFADemo demo, Grid g). - ----------t14(Grid g)-------- -No aliases between flagged objects in Task t14(Grid g). - ----------t1(StartupObject s)-------- -No aliases between flagged objects in Task t1(StartupObject s). - ----------t11(Grid g)-------- -No aliases between flagged objects in Task t11(Grid g). - ----------t12(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t12(PSFADemo demo, Grid g). - ----------t4(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t4(PSFADemo demo, Grid g). - ----------t7(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t7(PSFADemo demo, Grid g). - ----------t2(Grid g)-------- -No aliases between flagged objects in Task t2(Grid g). - ----------t5(Grid g)-------- -No aliases between flagged objects in Task t5(Grid g). - ----------t6(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t6(PSFADemo demo, Grid g). - ----------t9(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t9(PSFADemo demo, Grid g). - ----------t10(PSFADemo demo, Grid g)-------- -No aliases between flagged objects in Task t10(PSFADemo demo, Grid g). diff --git a/Robust/src/Benchmarks/Ownership/SpiderBR.txt b/Robust/src/Benchmarks/Ownership/SpiderBR.txt deleted file mode 100644 index 954b95ef..00000000 --- a/Robust/src/Benchmarks/Ownership/SpiderBR.txt +++ /dev/null @@ -1,12 +0,0 @@ -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/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt deleted file mode 100644 index d2fe7476..00000000 --- a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt +++ /dev/null @@ -1,12 +0,0 @@ -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/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt deleted file mode 100644 index b2af1405..00000000 --- a/Robust/src/Benchmarks/Ownership/TTTTag.txt +++ /dev/null @@ -1,21 +0,0 @@ -Conducting ownership analysis with allocation depth = 1 ----------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). diff --git a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt b/Robust/src/Benchmarks/Ownership/TileSearchTag.txt deleted file mode 100644 index e70455eb..00000000 --- a/Robust/src/Benchmarks/Ownership/TileSearchTag.txt +++ /dev/null @@ -1,15 +0,0 @@ -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/WebServer.txt b/Robust/src/Benchmarks/Ownership/WebServer.txt deleted file mode 100644 index d1c16ee3..00000000 --- a/Robust/src/Benchmarks/Ownership/WebServer.txt +++ /dev/null @@ -1,18 +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). - ----------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/WebServerTag.txt b/Robust/src/Benchmarks/Ownership/WebServerTag.txt deleted file mode 100644 index 41a01573..00000000 --- a/Robust/src/Benchmarks/Ownership/WebServerTag.txt +++ /dev/null @@ -1,18 +0,0 @@ -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/summary.tex b/Robust/src/Benchmarks/Ownership/summary.tex new file mode 100644 index 00000000..26c5f8a7 --- /dev/null +++ b/Robust/src/Benchmarks/Ownership/summary.tex @@ -0,0 +1,58 @@ +\documentclass{article} +\begin{document} + +All versions run with $k=1$ on dw-8. + + +\section{Normal} +\begin{tabular}{|l|l|r|r|} +\hline +Benchmark & Sharing & Time (s) & Lines & Methods \\ +\hline +Bank & 0 & 6.87 & 1,825 & \\ +Chat & 3 & 6.45 & 1,510 & \\ +Conglomerator & 0 & 4.55 & 1,979 & \\ +MapReduce(1) & 2 & 11.83 & 2,274 & \\ +Performance & 0 & 2.10 & 1,760 & \\ +PERT & 0 & 2.77 & 1,950 & \\ +MapReduce(Sc) & 3 & 17.12 & 2,218 & \\ +Spider(1) & 0 & 7.66 & 1,593 & \\ +Spider(2) & 0 & 6.90 & 1,597 & \\ +TileSearch & 0 & 9.47 & 2,050 & \\ +TicTacToe & 0 & 3.80 & 1,532 & \\ +WebServer(1) & 0 & 9.28 & 1,856 & \\ +WebServer(2) & 0 & 8.27 & 1,855 & \\ +\hline +jHTTPp2 & 0 & 6.73 & 2,583 & \\ +FluidAnimate & 2 & 368.61 & 3,587 & \\ +FilterBank & 0 & 1.83 & 1,321 & \\ +KMeans & 2 & 5.60 & 2,659 & \\ +MonteCarlo & 0 & 3.69 & 3,542 & \\ +Moldyn & 2 & 6.03 & 1,902 & \\ +Series & 0 & 1.99 & 1,405 & \\ +MultiGame & 10 & 25.57 & 3,003 & \\ +Fractal & 1 & 2.13 & 1,334 & \\ +\hline +\end{tabular} + + +Histogram of alias contexts per method over all programs analyzed. + +\begin{tabular}{|r|r|} +\hline +# unique alias contexts & counting(not important) & # methods \\ +\hline +1 & 65+66+91+115+109+44+28+59+9+8+30+49+10+42+88+73+76+79+28+66+93+96 & \\ +2 & 4+2+2+2+1+1+3+4+5+3+3+5+1+1 & \\ +3 & 1+1+4+1+1+1+2+1+2+2 & \\ +4 & 1+1+1+1+1+1 & \\ +5 & 1+1+2+1+2+1+1+1+1 & \\ +6 & & \\ +7 & 1 & \\ +\hline +\end{tabular} + + + + +\end{document} diff --git a/Robust/src/Benchmarks/Ownership/summary.txt b/Robust/src/Benchmarks/Ownership/summary.txt deleted file mode 100644 index 2283d478..00000000 --- a/Robust/src/Benchmarks/Ownership/summary.txt +++ /dev/null @@ -1,31 +0,0 @@ - - - -No reported aliases in: --BankApp (1.72s) 1782 lines --Conglomerator (1.27s) 1936 lines --Jhttpp2BR (2.05s) 2548 lines --PERTTag (0.906s) 1907 lines --SchedulingFilterBank (0.399s) 1293 lines --SchedulingJGFMonteCarlo (1.02s) 3522 lines --SchedulingJGFSeries (0.302s) 1366 lines --SpiderBR (2.49s) 1565 lines --SpiderBRTag (2.57s) 1569 lines --TileSearchTag (2.35s) 2022 lines --TTTTag (0.929s) 1489 lines --WebServer (2.34s) 1813 lines --WebServerTag (3.79s) 1812 lines - - -Aliases: --ChatTag (1.93s) 1482 lines, 3 sharing --MapReduceTag (5.19s) 2239 lines, 2 sharing --MMGTag (19.8s) 2968 lines, 10 sharing --SchedulingFractal (0.440s) 1702 lines, 1 sharing --SchedulingJGFMoldyn (4.38s) 1874 lines, 2 sharing --SchedulingMapReduce (5.22s) 2183 lines, 3 sharing --SchedulingPSFluidAnimate (233s) 3544 lines, sharing 2 - - -* - This benchmark has been manually inspected to verify -accuracy of alias reporting. -- 2.34.1