 Jing Yang
|
d303c29a77
Better shutdown for kv server.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
7cbe4d2224
Rewrite a match statement using match-if.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
7b66208d33
Cosmetic changes to server.rs.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
fc6fa38733
Remove scopeguard from dependencies.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
1933fd9a08
Add timing tracks for generic test.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
f93a1fa8f7
Add two lineariability tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
974c49cd7d
Use Instant instead of u64 for time.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
a5806e1874
Implment linearizability module.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
b379f28976
Add 4 more tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
25677e4d91
Debug message improvements.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
967dae925a
Adapt to the new snapshot framework.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
2aeebd895b
A new design for snapshots.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
cd5818f558
Add shutdown to snapshot holder and a new test.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
a9b3251155
Add an option to lower the ops count limit.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
11af902ae8
Two cosmetic changes.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
027859bd71
Move generic_test to testing_utils.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
84901eb9e1
Add a snapshot size test.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
6cf983ffd5
Implement check_log_size() in kvraft test setup.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
eb08693e11
Implement install snapshot.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
36506a9be5
Implement snapshot taking for kv server.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
8da548536f
Retry on time out error as well.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
8905dfb7c1
Add a minimal test that uses kvraft and some refactor.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
3a42e12271
Always print the client op count.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
805fca48b3
Fix a bug in server where the shared term is not set.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
4177b73f90
Change the default timeout to be 1 second.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
1009c40b39
Sleep for 1 second before partitioning.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
f942d0c709
Add 4 more tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
542df76a23
Add crash to tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
77e3191df8
Second attemp to fix `kill()`.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
044cf08151
Fix threading model and let background tasks take a weak Arc.
|
%!s(int64=4) %!d(string=hai) anos |
