Add a flag for LSM-based indices to indicate whether force pages to disk devices during flush and merge.

Change-Id: I988716c03cffe30b008e144d3a478ee25e367212
Reviewed-on: https://asterix-gerrit.ics.uci.edu/240
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Young-Seok Kim <kisskys@gmail.com>
81 files changed
tree: 8de1502daa79443b0e8c88661be052ddbe685444
  1. .gitignore
  2. LICENSE.txt
  3. algebricks/
  4. hyracks/
  5. pom.xml