Activity for VConMC-ZK
-
ben committed [65c7bb] on Code
implement consistency invariant checking
-
log session histories to a file
-
implement session histories build
-
change session history to be keyed by sessionID
-
implement req history build
-
have servers return sessionID and timestamp for read commit events
-
implement building a global write history
-
test client and internal log parsing
-
implement internal log parsing
-
implement client log parsing
-
implement logging feature
-
improve logging by using data structure
-
implement logging feature for client log and internal log
-
implement session guarantee log extraction
-
fix null pointer exception for getData path and add a new directory creation for log extraction
-
instrument to log requests and internal events
-
Ben Woodard committed [277c73]
not sure what I changed
-
refactor some code
-
quorumpeermaintest
-
came up with the shorter test case working
-
looks like the bug is real
-
added a feature to find schedule file and index for the given schedule
-
fixed a bug in resuming schedule files
-
fixed bugs for selection mode picking the correct schedule manually
-
I forgot to mention that fixed bug cause us wait too long for client request as livelock issue
-
added ability to stop and resume the exploration without starting from the scratch everytime
-
added zookeeper specific deviation path transformation due to the leader election
-
fixed a bug in the MR consistency module
-
Fixed another nondeterministic bug. actually forgot to add prep and wait steps for transitions
-
fixed a bug in the monotonic reads consistency module
-
moved in the oracle code into the zookeeper project
-
fixed AigenWorkload. now we write to every unique key to maximize the chance to observe the bug
-
fixed leader election processing logic bug
-
fixed bug and added selection mode for debugging
-
can explore multiple schedules
-
can explore 1 schedule
-
removed temp files
-
can persist schedules, deploy schedules to arbitrary numbers of remote nodes
-
can generate upto 5 async operations with 3 nodes
-
added auto schedule generator
-
now can explore the state space with the schedule generator
-
got stackoverflowexception. seems i am using recursion too much. change design to reuse SAMC's state space exploration algorithm
-
added schedule generator but buggy need to write tests and do debugging
-
got the template for the schedule generator
-
Can explore state space with the input for one round of state deviation and resync then invariant checking
-
Finished upto taking input and interpreting it
-
added afterSetCurrentEpoch to wait for determin...
-
added local state tracing facility for setCurre...
-
added facility to debug for curEpoch change
-
fixed to run arbitrary number of server nodes
-
fixed adding dependency for resync and snap on ...
-
fixed dependency for prep and wait for steady s...
-
fixed type conversion issue be careful to use L...
-
fixed DB state representation issue
-
fixed compile error
-
copied in vanilla zk 3.4.9 source
-
finish integration
-
vconmc-zk-1.0.0
-
fixed zookeeper bugs
-
previously forgot to modify the code to interpo...
-
done with porting for bug 962
-
copied in vanilla zookeeper r1062244
-
made backup files for my own changes
-
copied vanilla 1154 code to vcon code
-
almost done with porting noted that learner has...
-
done with porting now give it a shot
-
fixed DataTree as well. Porting complete
-
got DataTree backup from 1549 src
-
porting done. missing DataTree get another back...
-
finished with porting 1 step. need to modify co...
-
reverse patch for the bug 1319
-
fixed most of compilation errors but need to im...
-
there are some files newly created by copying s...
-
copied vanilla zk src to vcon zk src
-
added backed up build.xml but not really sure w...
-
wrap up 1549 bug search here for now. It is wor...
-
modified to try patch for 1549. needed to adjus...
-
fixed bug in exploring mutation. now count numb...
-
removed most of duplicated init path problem an...
-
let's give it a shot
-
fixed phaseType zeroizing issue. added feature ...
-
can explore freely. need to work on suspend and...
-
succeeded to catch bug 1549
-
fixed removing obsoleted commit at the end of m...
-
debugging replay init path
-
can start adding selection mode
-
init path replay works
-
making replay work before verification phase
-
started replaying init path
-
added finding all combination for mutation block
-
can calculate first init path now but should fi...
-
added init path calculation for multiphase expl...
-
added applying group crash and group start
-
created a new class VConMultiPhaseInitPathCalcu...
-
completed first execution path exploration of m...
-
added multiphase awareness
-
added dumb init path calculation, db state chan...
-
Added before-after procedures of apply of trans...
-
fixed bug related to commit transition
-
restructured each internal event with separate ...
1 >
