Chris Jensen

Is IO prioritisation possible?

2

This may be a bit of a weird request, but I've been working on some consensus systems recently, and being able to prioritise internal communications over external ones is quite...

If I have two files as follows: `a.ml` ``` module Foo = struct type value = int [@@deriving protobuf {protoc } ``` and `b.ml` ``` open A type value2 =...

``` type unique_id = int [@@deriving protobuf] ``` results in ``` 9 | type unique_id = int [@@deriving protobuf] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 39: unused rec flag. ``` This is for v2.7...

Nondeterministic string hashing in Python(>3.3)

1

I was running into some weird issues with incorrect caching to file a function applied to a string. This is because python(>3.3) salts its hashing function. (for strings at least)...

The current constraints do not encapsulate all the actual libraries used by the oraft package. This PR adds the majority of those constraints. Currently only the `oraft.opam` file has been...

IPC with unix domain socket no communication

3

I have a java client (REQ) trying to communicate with a (REP) python client via a mutually read/writeable unix domain socket The java client appears to be able to write...

Reduce chance of duelling leaders

8

Currently if multiple replicas concurrently try to recover from a failed leader, they can collide and must retry. This is likely to occur in well behaved networks, since replicas will...