 Jing Yang
|
0a01ef2a22
Remove anyhow from linearizability.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
c6345fc044
Remove anyhow from tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
8b51a9d150
Organize imports.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
9be1a0b751
Remove anyhow as a dependency.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
7635e2de48
Move code around.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
e16cb2f9ec
Add a comment to explain what put_append returns.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
2fe32097ee
Refactor client to return proper types.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
5b538d60a8
Refactor KV server and remove is_retry.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
4a5de0b558
Fix cargo clippy errors.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
7b7857fd9c
Refactor snapshot holder and merge methods.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
0c4beaf0f0
Add more debugging messages to linearizability.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
bcd32724b4
Rename some tests so they are not prefixes of other tests.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
87cec9b0e0
Remove a special case that will never happen.
|
%!s(int64=4) %!d(string=hai) anos |
|
Jing Yang
|
088e7f60bd
Remove a trigger condition of log_grow.
|
%!s(int64=4) %!d(string=hai) anos |
|
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 |
