mwhittaker / quoracle Goto Github PK

View Code? Open in Web Editor NEW

82.0 82.0 8.0 258 KB

A Swiss Army knife for read-write quorum systems

License: MIT License

Python 99.58% Shell 0.42%

quoracle's People

Contributors

Stargazers

Watchers

Forkers

zeta1999 adsharma fjardon hackchm123 enixdark

quoracle's Issues

Type checker errors

https://paste.ubuntu.com/p/nYFVm6ZYCx/

I used pyright

F-resilient Write quorums for the Uniform strategy method

Hi @mwhittaker,

I see the following implementation for the uniform_strategy method:

def uniform_strategy(self, f: int = 0) -> 'Strategy[T]':
  ...
  xs = list(self.elements())            
  read_quorums = list(self._f_resilient_quorums(f, xs, self.reads))            
  write_quorums = list(self._f_resilient_quorums(f, xs, self.reads))
  ...

(line 179)

Am I right to suppose that in the f_resilient_quorums call for the write_quorums var, it should pass the self.writes property of the quorum system?

Thanks 😄

Question related to the load of the strategy

Hi @mwhittaker,

I see in the comments you mentioned the following definition for the load in the optimal strategy:

 load(a) = (fr * rprob(a) / rcap(a)) + (fw * wprob(a) / wcap(a))

In the following examples, you define the constraint:

 min l subject to
               fr * r0 * rcap(a) + fw * (w0 + w1) * wcap(a) <= l
               fr * r0 * rcap(b) + fw * (w2 + w3) * wcap(b) <= l
               fr * r1 * rcap(c) + fw * (w0 + w2) * wcap(c) <= l
               fr * r1 * rcap(d) + fw * (w1 + w3) * wcap(d) <= l

Am I right to assume that it is a typo in the comments, and it should be like this:

 min l subject to
               fr * r0 / rcap(a) + fw * (w0 + w1) / wcap(a) <= l
               fr * r0 / rcap(b) + fw * (w2 + w3) / wcap(b) <= l
               fr * r1 / rcap(c) + fw * (w0 + w2) / wcap(c) <= l
               fr * r1 / rcap(d) + fw * (w1 + w3) / wcap(d) <= l

Or am I missing something?

Thanks

Quoracle does not work out of the box on the new Apple M1s because it depends on numpy which does not have M1 support. After trying various workaround (including running terminal through rosetta), this solution worked for me.

No action needed, I just wanted to document this workaround until numpy is updated.

mwhittaker / quoracle Goto Github PK

quoracle's People

Contributors

Stargazers

Watchers

Forkers

quoracle's Issues

Type checker errors

F-resilient Write quorums for the Uniform strategy method

Question related to the load of the strategy

Apple M1 support

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent