From 31d49a8112d56b9dbad08bb7b4ce309745db687f Mon Sep 17 00:00:00 2001 From: jjenista Date: Tue, 11 Nov 2008 05:33:11 +0000 Subject: [PATCH] ran all benchmarks with new method context version, alias reports are the same --- Robust/src/Benchmarks/Ownership/ChatTag.txt | 18 +++++------ ...Conglomerator.txt => ConglomeratorTag.txt} | 0 Robust/src/Benchmarks/Ownership/MMGTag.txt | 28 ++++++++--------- .../src/Benchmarks/Ownership/MapReduceTag.txt | 12 ++++---- Robust/src/Benchmarks/Ownership/PERTTag.txt | 6 ++-- .../Ownership/SchedulingFilterBank.txt | 6 ++-- .../Ownership/SchedulingJGFMonteCarlo.txt | 12 ++++---- .../Ownership/SchedulingMapReduce.txt | 30 +++++++++---------- Robust/src/Benchmarks/Ownership/TTTTag.txt | 18 +++++------ 9 files changed, 65 insertions(+), 65 deletions(-) rename Robust/src/Benchmarks/Ownership/{Conglomerator.txt => ConglomeratorTag.txt} (100%) diff --git a/Robust/src/Benchmarks/Ownership/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt index 0e06beb3..8ea9623f 100644 --- a/Robust/src/Benchmarks/Ownership/ChatTag.txt +++ b/Robust/src/Benchmarks/Ownership/ChatTag.txt @@ -1,18 +1,18 @@ Conducting ownership analysis with allocation depth = 1 ----------Message(ChatSocket cs, Socket s)-------- -Potential alias between parameter 0 and FlatNew____m2782___= NEW Message. - ----------SendMessage(Message m)-------- -No aliases between flagged objects in Task SendMessage(Message m). - ---------Startup(StartupObject s)-------- No aliases between flagged objects in Task Startup(StartupObject s). +---------AcceptConnection(ServerSocket ss)-------- +Potential alias between FlatNew____cs2882___= NEW ChatSocket and FlatNew____s1066___= NEW Socket. + +---------Message(ChatSocket cs, Socket s)-------- +Potential alias between parameter 0 and FlatNew____m2900___= NEW Message. + ---------ReadRequest(ChatSocket cs, Socket s)-------- No aliases between flagged objects in Task ReadRequest(ChatSocket cs, Socket s). ----------AcceptConnection(ServerSocket ss)-------- -Potential alias between FlatNew____cs2817___= NEW ChatSocket and FlatNew____s1933___= NEW Socket. - ---------ProcessRoom(ChatSocket cs, RoomObject ro)-------- Potential alias between parameters 0 and 1. + +---------SendMessage(Message m)-------- +No aliases between flagged objects in Task SendMessage(Message m). diff --git a/Robust/src/Benchmarks/Ownership/Conglomerator.txt b/Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt similarity index 100% rename from Robust/src/Benchmarks/Ownership/Conglomerator.txt rename to Robust/src/Benchmarks/Ownership/ConglomeratorTag.txt diff --git a/Robust/src/Benchmarks/Ownership/MMGTag.txt b/Robust/src/Benchmarks/Ownership/MMGTag.txt index 89e7dd77..3c338813 100644 --- a/Robust/src/Benchmarks/Ownership/MMGTag.txt +++ b/Robust/src/Benchmarks/Ownership/MMGTag.txt @@ -1,17 +1,17 @@ Conducting ownership analysis with allocation depth = 1 ----------movePacman(Pacman p)-------- -No aliases between flagged objects in Task movePacman(Pacman p). - ---------initMap(Map map)-------- -Potential alias between parameter 0 and FlatNew____pacman6987___= NEW Pacman. -Potential alias between parameter 0 and FlatNew____ghost6966___= NEW Ghost. - ----------updatePac(Map map, Pacman p)-------- -No aliases between flagged objects in Task updatePac(Map map, Pacman p). +Potential alias between parameter 0 and FlatNew____pacman7083___= NEW Pacman. +Potential alias between parameter 0 and FlatNew____ghost7062___= NEW Ghost. ---------next(Map map)-------- -Potential alias between parameter 0 and FlatNew____pacman7136___= NEW Pacman. -Potential alias between parameter 0 and FlatNew____ghost7100___= NEW Ghost. +Potential alias between parameter 0 and FlatNew____pacman7202___= NEW Pacman. +Potential alias between parameter 0 and FlatNew____ghost7166___= NEW Ghost. + +---------updateGhost(Map map, Ghost g)-------- +No aliases between flagged objects in Task updateGhost(Map map, Ghost g). + +---------moveGhost(Ghost g)-------- +No aliases between flagged objects in Task moveGhost(Ghost g). ---------startup(StartupObject s)-------- No aliases between flagged objects in Task startup(StartupObject s). @@ -19,8 +19,8 @@ No aliases between flagged objects in Task startup(StartupObject s). ---------finish(Map map)-------- No aliases between flagged objects in Task finish(Map map). ----------updateGhost(Map map, Ghost g)-------- -No aliases between flagged objects in Task updateGhost(Map map, Ghost g). +---------updatePac(Map map, Pacman p)-------- +No aliases between flagged objects in Task updatePac(Map map, Pacman p). ----------moveGhost(Ghost g)-------- -No aliases between flagged objects in Task moveGhost(Ghost g). +---------movePacman(Pacman p)-------- +No aliases between flagged objects in Task movePacman(Pacman p). diff --git a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt index 142b6223..f0056bb3 100644 --- a/Robust/src/Benchmarks/Ownership/MapReduceTag.txt +++ b/Robust/src/Benchmarks/Ownership/MapReduceTag.txt @@ -1,21 +1,21 @@ Conducting ownership analysis with allocation depth = 1 ----------sortgroup(ReduceWorker rworker)-------- -No aliases between flagged objects in Task sortgroup(ReduceWorker rworker). - ----------assignReduce(Master master)-------- -Potential alias between parameter 0 and FlatNew____rworker894___= NEW ReduceWorker. - ---------map(MapWorker mworker)-------- No aliases between flagged objects in Task map(MapWorker mworker). ---------reduceOutput(Master master, ReduceWorker rworker)-------- No aliases between flagged objects in Task reduceOutput(Master master, ReduceWorker rworker). +---------sortgroup(ReduceWorker rworker)-------- +No aliases between flagged objects in Task sortgroup(ReduceWorker rworker). + ---------mapOutput(Master master, MapWorker mworker)-------- No aliases between flagged objects in Task mapOutput(Master master, MapWorker mworker). ---------startup(StartupObject s)-------- No aliases between flagged objects in Task startup(StartupObject s). +---------assignReduce(Master master)-------- +Potential alias between parameter 0 and FlatNew____rworker1019___= NEW ReduceWorker. + ---------output(Master master)-------- No aliases between flagged objects in Task output(Master master). diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt index 286aeaf9..c01df6ca 100644 --- a/Robust/src/Benchmarks/Ownership/PERTTag.txt +++ b/Robust/src/Benchmarks/Ownership/PERTTag.txt @@ -1,10 +1,10 @@ Conducting ownership analysis with allocation depth = 1 ----------estimateStage(Stage s)-------- -No aliases between flagged objects in Task estimateStage(Stage s). - ---------sampling(Stage s)-------- No aliases between flagged objects in Task sampling(Stage s). +---------estimateStage(Stage s)-------- +No aliases between flagged objects in Task estimateStage(Stage s). + ---------estimate(Estimator e, Stage s)-------- No aliases between flagged objects in Task estimate(Estimator e, Stage s). diff --git a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt index f492d984..8ff56c6b 100644 --- a/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt +++ b/Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt @@ -1,12 +1,12 @@ Conducting ownership analysis with allocation depth = 1 ----------t1(StartupObject s)-------- -No aliases between flagged objects in Task t1(StartupObject s). - ---------t2(FilterBankAtom fba)-------- No aliases between flagged objects in Task t2(FilterBankAtom fba). ---------t4(FilterBank fb)-------- No aliases between flagged objects in Task t4(FilterBank fb). +---------t1(StartupObject s)-------- +No aliases between flagged objects in Task t1(StartupObject s). + ---------t3(FilterBank fb, FilterBankAtom fba)-------- No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba). diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt index af817108..8dd590c7 100644 --- a/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt +++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFMonteCarlo.txt @@ -1,12 +1,12 @@ Conducting ownership analysis with allocation depth = 1 +---------t5(AppDemo ad)-------- +No aliases between flagged objects in Task t5(AppDemo ad). + +---------t1(StartupObject s)-------- +No aliases between flagged objects in Task t1(StartupObject s). + ---------t3(AppDemo ad, AppDemoRunner adr)-------- No aliases between flagged objects in Task t3(AppDemo ad, AppDemoRunner adr). ---------t2(AppDemoRunner adr)-------- No aliases between flagged objects in Task t2(AppDemoRunner adr). - ----------t1(StartupObject s)-------- -No aliases between flagged objects in Task t1(StartupObject s). - ----------t5(AppDemo ad)-------- -No aliases between flagged objects in Task t5(AppDemo ad). diff --git a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt index 2d1a1741..70f54ef5 100644 --- a/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt +++ b/Robust/src/Benchmarks/Ownership/SchedulingMapReduce.txt @@ -1,33 +1,33 @@ Conducting ownership analysis with allocation depth = 1 ----------t8(ReduceWorker rworker)-------- -No aliases between flagged objects in Task t8(ReduceWorker rworker). - ----------t5(MapWorker mworker)-------- -No aliases between flagged objects in Task t5(MapWorker mworker). - ---------t10(Master master, ReduceWorker rworker)-------- No aliases between flagged objects in Task t10(Master master, ReduceWorker rworker). ----------t4(MapWorker mworker)-------- -No aliases between flagged objects in Task t4(MapWorker mworker). - ----------t2(Master master)-------- -No aliases between flagged objects in Task t2(Master master). - ---------t6(Master master, MapWorker mworker)-------- Potential alias between parameters 0 and 1. +---------t5(MapWorker mworker)-------- +No aliases between flagged objects in Task t5(MapWorker mworker). + ---------t3(Master master)-------- No aliases between flagged objects in Task t3(Master master). +---------t2(Master master)-------- +No aliases between flagged objects in Task t2(Master master). + ---------t1(StartupObject s)-------- No aliases between flagged objects in Task t1(StartupObject s). ----------t7(Master master)-------- -Potential alias between parameter 0 and FlatNew____rworker3429___= NEW ReduceWorker. - ---------t11(Master master)-------- No aliases between flagged objects in Task t11(Master master). +---------t4(MapWorker mworker)-------- +No aliases between flagged objects in Task t4(MapWorker mworker). + +---------t8(ReduceWorker rworker)-------- +No aliases between flagged objects in Task t8(ReduceWorker rworker). + ---------t9(ReduceWorker rworker)-------- No aliases between flagged objects in Task t9(ReduceWorker rworker). + +---------t7(Master master)-------- +Potential alias between parameter 0 and FlatNew____rworker3540___= NEW ReduceWorker. diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt index 70617d54..b2af1405 100644 --- a/Robust/src/Benchmarks/Ownership/TTTTag.txt +++ b/Robust/src/Benchmarks/Ownership/TTTTag.txt @@ -1,21 +1,21 @@ Conducting ownership analysis with allocation depth = 1 ----------AcceptConnection(ServerSocket ss)-------- -No aliases between flagged objects in Task AcceptConnection(ServerSocket ss). - ----------Startup(StartupObject s)-------- -No aliases between flagged objects in Task Startup(StartupObject s). - ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)-------- No aliases between flagged objects in Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s). ---------ProcessRequest(TTTServerSocket ttts, Socket s)-------- No aliases between flagged objects in Task ProcessRequest(TTTServerSocket ttts, Socket s). +---------Startup(StartupObject s)-------- +No aliases between flagged objects in Task Startup(StartupObject s). + +---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)-------- +No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s). + ---------ProcessMove(TTTServerSocket ttts, Board tttBoard)-------- No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard). +---------AcceptConnection(ServerSocket ss)-------- +No aliases between flagged objects in Task AcceptConnection(ServerSocket ss). + ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)-------- No aliases between flagged objects in Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s). - ----------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)-------- -No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s). -- 2.34.1