A simple proof-of-concept for dynamically synthesizing just-in-time data structures.
- Scala
- Scala Build Tool
- G++/Clang++ (or compatible)
To compile or run, use SBT. Launch sbt:
$> cd jitd-synthesis
$> sbt
Compile with the compile command:
sbt:jitd-synthesis> compile
Run all test cases with the test command, or test only one test case with testOnly and the fully qualified class name.
sbt:jitd-synthesis> test
sbt:jitd-synthesis> testOnly jitd.codegen.AccessorSpec
Run the generator using run. Use run --help to see a list of command-line arguments
sbt:jitd-synthesis> run
sbt:jitd-synthesis> run --help
sbt:jitd-synthesis> run --run examples/simple_btree.jitd
See some example policy behavior with
sbt:jitd-synthesis> run -r examples/simple_reorg_test.jitd
sbt:jitd-synthesis> run -r -DPolicy -- examples/simple_reorg_test.jitd