Re: Riak_ensemble implementation

2016-03-09 Thread Agung Laksono
Thank you for answering the question. @Sargun: Right now, I'm interested in testing Riak-ensemble with a distributed model checker like SAMC . In the cluster membership in the documentation, I found steps to activate a cluster, add a node, create a

Re: Riak_ensemble implementation

2016-03-08 Thread Sargun Dhillon
Riak_kv sits atop riak_ensemble, which is a multipaxos implementation. On Tue, Mar 8, 2016 at 6:41 PM, Agung Laksono wrote: > Thank you for answering the question. > > @Sargun: Right now, I'm interested in testing Riak-ensemble > with a distributed model checker like SAMC. In the cluster membersh

Re: Riak_ensemble implementation

2016-03-08 Thread Sargun Dhillon
If you want to learn to use riak_ensemble the library, the documentation that Joe put together (and others) https://github.com/basho/riak_ensemble/blob/develop/doc/Readme.md There's real world usage of the code here: -https://github.com/basho/riak_kv/blob/develop/src/riak_kv_ensembles.erl Basical

Re: Riak_ensemble implementation

2016-03-08 Thread Carlos González Florido
You may have a look at nkbase[1] that includes riak_ensemble as one of it working models. [1] https://github.com/NetComposer/nkbase/blob/master/doc/strong_consistency.md Carlos González NetComposer On Mon, Mar 7, 2016 at 4:48 AM, Agung Laksono wrote: > > Hi Basho developer, > > I've seen the vi

Re: Riak_ensemble implementation

2016-03-08 Thread Sargun Dhillon
Can you tell us a little bit about the application? It might be easier to use Riak kv rather than riak ensemble directly. Sent from my iPhone On Mar 8, 2016, at 06:54, Agung Laksono wrote: Hi Basho developer, I've seen the video that you guys present about rian_ensemble. I am interesting to im