Karl Palmskog
Karl Palmskog
_From @pfons on April 13, 2016 0:29_ A crash of the server when it executed the function that writes a snapshot to disk (updating the existing snapshot) can cause loss...
_From @pfons on April 13, 2016 2:37_ The server-client communication protocol relies on spaces to delimit the arguments of requests and newlines to delimit the requests, which are sent over...
_From @pfons on April 13, 2016 2:31_ If the server is not able to read with one call the entire client request, which is sent over TCP, the server wrongly...
_From @pfons on April 13, 2016 2:29_ During recovery, when opening the snapshot file, the server presumes that any error it encounters means that no snapshot was created (function _get_initial_state_...
_From @pfons on April 13, 2016 0:17_ A crash during a write to the disk log (by _M.to_channel_ in function _save_ on file _Shim.ml_) can cause a partial entry to...
_From @pfons on April 13, 2016 0:11_ We found a bug that causes a buffer overflow on the leader when a lagging follower tries to recover. The stack overflow seems...
_From @wilcoxjay on September 22, 2015 16:51_ We should prove something like "If P is an invariant of the underlying state machine, then P is an invariant of every state...
Since the Raft cluster size is set at runtime based on the passed parameters, strange errors can occur in `vard` if different cluster members use a different number of `-node`...
Due to how the current shim uses file descriptors and the `select` system call to multiplex between inputs and network communication, clients can prevent node communication from happening by constantly...
There are quite a few publications in the regular and grey literature related to Corn, e.g., - https://valentinblot.org/pro/M1_report.pdf - https://link.springer.com/chapter/10.1007/978-3-540-27818-4_7 - https://arxiv.org/abs/0805.2438 Some are listed at the [old website](http://corn.cs.ru.nl/pub.html), but...