keel good first issues (Java)

security: TLS certificate rotation without a restart 3 months ago

help wanted

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

raft: leader transfer, so a rolling restart costs no election 3 months ago

help wanted raft

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

testkit: interleave membership changes with partitions 3 months ago

help wanted testing correctness

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

testkit: inject faults during compaction 3 months ago

help wanted testing correctness

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

keeld: a --log-level flag 3 months ago

enhancement good first issue

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

node: make the request size limit configurable 3 months ago

enhancement good first issue

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

keelctl: JSON output for status 3 months ago

enhancement good first issue

jason-te-sde/keel

0

Linearizable distributed key-value store in Java: Raft from scratch, a deterministic fault-injection simulator, and a linearizability checker.

Java

#consensus#deterministic-simulation#distributed-systems#grpc#java#key-value-store#linearizability#raft

jason-te-sde/keel

Open Issues Need Help