Main Content

The Properties of Riak

About the Talk

February 1, 2012 11:55 AM

Room D2.01 ("Promotiezaal") Building D; second floor; Vrije Universiteit Brussel (Etterbeek campus); Pleinlaan 2; 1050 Brussels

Room D2.01 ("Promotiezaal") Building D; second floor; Vrije Universiteit Brussel (Etterbeek campus); Pleinlaan 2; 1050 Brussels

Riak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the network is partitioned. All of this makes it very hard to test.

I will show how QuickCheck helped us to model Riak’s behavior, improving understanding and revealing the occasional bug.

Ratings and Recommendations

This Talk hasn't been rated yet. Sign In to rate Talks.

comments powered by Disqus