Viewing profile — _benedict

I can’t speak for the authors, but I have been lucky enough to be collaborating with them on behalf of the Apache Cassandra project, to refine and prove the correctness of the Acco…

“Paxos” is a term that can mean many different things, so it’s better not to get too attached to any one meaning especially in different contexts. Multi Paxos is commonly used (esp…

I remember there being sufficient documentary evidence in the entrance/shop/museum bit to conclude it was most likely created by the very people who “discovered” it, to serve as a …

Thank you for linking the source material, unfortunately it badly contradicts you. It clearly shows that the _very first_ list of ten suggested search terms contained (pretty heavi…

No, the ruling expressly refers to the list as non exhaustive, but given the other related references to misconduct (including the use of inappropriate language) it was not reasona…

Worth noting, not quite "everyone" does this. Cassandra uses "leaderless" (single decree) paxos, which has some advantages and some disadvantages (for instance, 1RT WAN reads from …

Not even a coincidence really, it's a very different kind of system. It's an implementation of Hermes with network layer integration. Hermes is designed with very different goals i…

Revolutionary may be an overstatement, it just affords different system characteristics. There's plenty of literature on the topic though, starting generally with EPaxos[1]. The pr…

Do you anywhere elaborate what you mean by leaderless, and how this affects the semantics and guarantees you offer? So far as I understand both Kafka and Pulsar use (leader-based) …

> If you really want to get silly, x2iedn.32xl is 128 vCPU / 4 TiB RAM, and you get 3.8 TiB of local NVMe This doesn't affect availability - except insofar as unavailability might …

I think you may have misunderstood the GP and are perhaps misusing terminology. You cannot meaningfully scale vertically to improve write availability, and if you care about availa…

This doesn’t seem to provide higher write availability, and if the read replicas are consistent with the write replica this design must surely degrade write availability as it impr…

Fair enough!

Ha, as it happens there's documentary evidence online from Diego himself, that he was not influenced by VSR. https://groups.google.com/g/raft-dev/c/cBNLTZT2q8o

A good example to illustrate this perhaps is Babbage. He invented the computer first, but nobody using computers today was influenced by him, impressive though his achievements wer…

I don’t interpret those words that way. I see that as a recognition of the VSR paper, as had been recently highlighted in VSR revisited at the time of publication. I guess you woul…

I know it was published first, we’ve talked about this before :) But, I’m not sure what was published first decide what’s a variant of what. I would say that, given the breadth of …

TigerBeetle uses VSR, which is basically a variant of MultiPaxos/Raft.

I’m not sure how a written constitution that is anyway interpreted by “the prevailing political elite class” is functionally much different?

I think the problem is that exploit can mean multiple things, and it’s obviously true that companies want to exploit everything in the non-pejorative sense. The problem is transfor…

Yep, if the work itself is what drives you rather than the organisation and people, and you’re able to achieve that solo, then the question is just whether you prefer a commute and…

We do currently require all threads to be created by one of our own factories, but that's primarily because this grew out of a non-byte weaving approach (where we explicitly replac…

We have something very similar[1] we use in the Apache Cassandra project to test complex cluster behaviours. We appear to use exactly the same basic technique, using byte weaving t…

I have always assumed it was just due to the uneven distribution of weight by vehicles often being stationary in the same spot, so those points are subject to more compression forc…