 Jing Yang
|
7b7857fd9c
Refactor snapshot holder and merge methods.
|
il y a 4 ans |
|
Jing Yang
|
0c4beaf0f0
Add more debugging messages to linearizability.
|
il y a 4 ans |
|
Jing Yang
|
bcd32724b4
Rename some tests so they are not prefixes of other tests.
|
il y a 4 ans |
|
Jing Yang
|
87cec9b0e0
Remove a special case that will never happen.
|
il y a 4 ans |
|
Jing Yang
|
088e7f60bd
Remove a trigger condition of log_grow.
|
il y a 4 ans |
|
Jing Yang
|
d303c29a77
Better shutdown for kv server.
|
il y a 4 ans |
|
Jing Yang
|
7cbe4d2224
Rewrite a match statement using match-if.
|
il y a 4 ans |
|
Jing Yang
|
7b66208d33
Cosmetic changes to server.rs.
|
il y a 4 ans |
|
Jing Yang
|
fc6fa38733
Remove scopeguard from dependencies.
|
il y a 4 ans |
|
Jing Yang
|
1933fd9a08
Add timing tracks for generic test.
|
il y a 4 ans |
|
Jing Yang
|
f93a1fa8f7
Add two lineariability tests.
|
il y a 4 ans |
|
Jing Yang
|
974c49cd7d
Use Instant instead of u64 for time.
|
il y a 4 ans |
|
Jing Yang
|
a5806e1874
Implment linearizability module.
|
il y a 4 ans |
|
Jing Yang
|
b379f28976
Add 4 more tests.
|
il y a 4 ans |
|
Jing Yang
|
25677e4d91
Debug message improvements.
|
il y a 4 ans |
|
Jing Yang
|
967dae925a
Adapt to the new snapshot framework.
|
il y a 4 ans |
|
Jing Yang
|
2aeebd895b
A new design for snapshots.
|
il y a 4 ans |
|
Jing Yang
|
cd5818f558
Add shutdown to snapshot holder and a new test.
|
il y a 4 ans |
|
Jing Yang
|
a9b3251155
Add an option to lower the ops count limit.
|
il y a 4 ans |
|
Jing Yang
|
11af902ae8
Two cosmetic changes.
|
il y a 4 ans |
|
Jing Yang
|
027859bd71
Move generic_test to testing_utils.
|
il y a 4 ans |
|
Jing Yang
|
84901eb9e1
Add a snapshot size test.
|
il y a 4 ans |
|
Jing Yang
|
6cf983ffd5
Implement check_log_size() in kvraft test setup.
|
il y a 4 ans |
|
Jing Yang
|
eb08693e11
Implement install snapshot.
|
il y a 4 ans |
|
Jing Yang
|
36506a9be5
Implement snapshot taking for kv server.
|
il y a 4 ans |
|
Jing Yang
|
8da548536f
Retry on time out error as well.
|
il y a 4 ans |
|
Jing Yang
|
8905dfb7c1
Add a minimal test that uses kvraft and some refactor.
|
il y a 4 ans |
|
Jing Yang
|
3a42e12271
Always print the client op count.
|
il y a 4 ans |
|
Jing Yang
|
805fca48b3
Fix a bug in server where the shared term is not set.
|
il y a 4 ans |
|
Jing Yang
|
4177b73f90
Change the default timeout to be 1 second.
|
il y a 4 ans |
