I am the lead developer on HyperDex Warp so hopefully I can answer any questions for you. We've put many sleepless nights into testing the code base and are always looking to improve our feature set and reliability.
I have no idea what a "linear transaction" is. It sounds like a certification model, we had to implement very sophisticated deadlock detection in our database to resolve inevitable collisions. How does your model work?
I'm a little concerned about the performance of LevelDB, did you test it with very large out of memory datasets?
I'm a little concerned about the performance of LevelDB, did you test it with very large out of memory datasets?