 Jing Yang
|
66ba5eb49c
Upgrade to futures 0.3.15.
|
4 سال پیش |
|
Jing Yang
|
17369a6d0d
Upgrade to bindcode 1.3.3.
|
4 سال پیش |
|
Jing Yang
|
10a8c764af
Upgrade to tokio 1.7.
|
4 سال پیش |
|
Jing Yang
|
09785f9fd1
Cleanup cargo dependencies.
|
4 سال پیش |
|
Jing Yang
|
2b31b422c2
Fix clippy errors.
|
4 سال پیش |
|
Jing Yang
|
dd77cb06b3
Merge branch 'snapshot_test'
|
4 سال پیش |
|
Jing Yang
|
eba1e341f4
Organize imports.
|
4 سال پیش |
|
Jing Yang
|
0a01ef2a22
Remove anyhow from linearizability.
|
4 سال پیش |
|
Jing Yang
|
c6345fc044
Remove anyhow from tests.
|
4 سال پیش |
|
Jing Yang
|
8b51a9d150
Organize imports.
|
4 سال پیش |
|
Jing Yang
|
9be1a0b751
Remove anyhow as a dependency.
|
4 سال پیش |
|
Jing Yang
|
7635e2de48
Move code around.
|
4 سال پیش |
|
Jing Yang
|
e16cb2f9ec
Add a comment to explain what put_append returns.
|
4 سال پیش |
|
Jing Yang
|
2fe32097ee
Refactor client to return proper types.
|
4 سال پیش |
|
Jing Yang
|
5b538d60a8
Refactor KV server and remove is_retry.
|
4 سال پیش |
|
Jing Yang
|
4a5de0b558
Fix cargo clippy errors.
|
4 سال پیش |
|
Jing Yang
|
7b7857fd9c
Refactor snapshot holder and merge methods.
|
4 سال پیش |
|
Jing Yang
|
0c4beaf0f0
Add more debugging messages to linearizability.
|
4 سال پیش |
|
Jing Yang
|
bcd32724b4
Rename some tests so they are not prefixes of other tests.
|
4 سال پیش |
|
Jing Yang
|
87cec9b0e0
Remove a special case that will never happen.
|
4 سال پیش |
|
Jing Yang
|
088e7f60bd
Remove a trigger condition of log_grow.
|
4 سال پیش |
|
Jing Yang
|
d303c29a77
Better shutdown for kv server.
|
4 سال پیش |
|
Jing Yang
|
7cbe4d2224
Rewrite a match statement using match-if.
|
4 سال پیش |
|
Jing Yang
|
7b66208d33
Cosmetic changes to server.rs.
|
4 سال پیش |
|
Jing Yang
|
fc6fa38733
Remove scopeguard from dependencies.
|
4 سال پیش |
|
Jing Yang
|
1933fd9a08
Add timing tracks for generic test.
|
4 سال پیش |
|
Jing Yang
|
f93a1fa8f7
Add two lineariability tests.
|
4 سال پیش |
|
Jing Yang
|
974c49cd7d
Use Instant instead of u64 for time.
|
4 سال پیش |
|
Jing Yang
|
a5806e1874
Implment linearizability module.
|
4 سال پیش |
|
Jing Yang
|
b379f28976
Add 4 more tests.
|
4 سال پیش |
