kheradmand / replaymop Goto Github PK

View Code? Open in Web Editor NEW

3.0 3.0 3.0 24.94 MB

Deterministic replay of concurrent Java programs using monitoring oriented programming

Shell 1.03% Java 89.08% AspectJ 9.88%

replaymop's People

Contributors

Stargazers

Watchers

Forkers

formal-systems-laboratory zagol ycmint

replaymop's Issues

program entry point should be given in the replay specification

Map

what is with Map.entrySet, Map.keySet, Map.values ?

all keyword in shared variables does not work

because it is deactivated

handle notify

there is no control on which thread is notified. Need to make notified thread wait again in case it is not the thread we want.

smarter shared access detection

right now all array accesses are considered as shared. should distinguish shared ones from other. also can distinguish array indexes.

in general shared variable detection can also take the object references into account.

problem with arrays

add rvpredict's unit tests

exceptions

what to do with exceptions (how to enforce or prevent(?) them)

maven systemPropertyVariables does not work

using user.dir for now but should change it

rv-predict does not log thread creation

we can not get thread creation order

what's with java.lang.Thread.$interruptedStatus

why is it there. ask yilong

wait-notify

should enforce which waiting thread get's notified when in case of notify

capture thread termination

does after(): execution(* Thread+.run()) capture all cases of thread termination ?

exclude advice from instrumentation

use !whithin(advicename) instead of !cflow(adviceexecution()) because the former does not exclude advice init

timed wait

what if result of the timed wait affects control flow

can not capture end of Main thread

thread count = zero

when thread count = zero, continue the execution of current thread until the beginning of the next synchronization event