Baptiste Lepers

assert would be a nice solution, but it doesn't seem to work on my code :( [Scheduler.txt](https://github.com/epfl-lara/leon/files/295559/Scheduler.txt) ``` scala def insertBack(c: Core, t: Task): Core = { require(!contains(c.tasks, t)) if(containsEquivLemma(c.tasks,...

Indeed, using a BigInt works :)

The implementation of YCSB-T is in the OSDI branch -- https://github.com/BLepers/KVell/blob/osdi/workload-transactions.c#L92 Basically we just wrapped batches of 16 YCSB queries in transactions. YCSB-T is not an official benchmark, so there's...

I pointed you to our implementation. If you want anything more you'll have to implement it yourself and/or hire someone to do it for you.

KVell uses an asynchronous interface for read/update/scan. Here is how to perform an update: ```c static void callback(struct slab_callback *cb, void *item) { // update is complete when this function...

My guess is that you run out of cores? You should either disable PINNING in options.h, or run it with fewer threads (e.g. ./main 1 1). If you give me...

Hi, Thanks for your interest. We modified the db_bench tool to run YCSB in RocksDB. The code of the bench is here: https://github.com/theoanab/SILK-USENIXATC2019 (tools/db_bench_tools.cc). We configured the number of injection/compaction...

1/ We measure the IO bw using iostat, and throughput directly in the systems. When IO goes up, throughput goes down. 2/ The 63MB/s -> 600MB/s is due to compactions...

If RocksDB has a 10x write amplification, then 1KB translate into 10KB used BW. That's what we measure (disk level bandwidth). Or am I missing something in your question?

I am not sure to understand your question. One figure shows the throughput (requests/s), and the other one the disk usage (MB/s). The disk usage is due to RocksDB writing...