Calascibetta Romain
Calascibetta Romain
Hi, I'm a bit interested to use `dream` with MirageOS. However, with a quick look, `dream` needs to use something else than `gluten` to be compatible with MirageOS (for instance,...
It should be easy to support multicore due to the fact that we already do a multicore test (with multiple OCaml runtimes and [`fiber`](https://github.com/dinosaure/art/blob/master/test/fiber.ml) - and `fork()`).
Due to the design of `Rowex` we can simulate ACID assumptions and check that our persistent indexer is **fail-safe**: Even if the program halts, the coherence of the data structure...
This is the last function missed to cut an experimental release then. Of course, this is the harder one.
It seems that the seed used by `crowbar` fails with a `Not_found` exception which is not raised by `art`.
``` [WARNING][ 350][fiber]: The processus 554 terminated with a signal: SIGSEGV. [WARNING][ 350][fiber]: The processus 553 terminated with a signal: SIGSEGV. ``` From ~150 readers, it seems that we still...
Even if it's not the biggest point, it can be interesting to benchmark `rowex` about insertion & find.
The last function is `remove` which is deeply complex but I think that we have this one, we can start to think about a release of `rowex`.
#### PPC64 Nothing exists at this time about PPC64. #### ARM We should be able to support ARM if, at least, NEON is available but the CI fails on that.