Add hand-optimized DDlog programs

Signed-off-by: Amy Tai <[email protected]>
vmware-archive · Nov 11, 2021 · cf36222 · cf36222
1 parent e92067a
commit cf36222
Show file tree

Hide file tree

Showing 4 changed files with 2,584 additions and 0 deletions.
diff --git a/artifact/optimized_ddlog_programs/README.md b/artifact/optimized_ddlog_programs/README.md
@@ -0,0 +1,3 @@
+- no_preempt_program.dl: hand-optimized DCM DDlog program, without preemption views. node inserts should take ~3-5ms for 5000 nodes
+- preempt_program.dl: hand-optimized DCM DDlog program, with preemption views. node inserts should take ~5ms for 5000 nodes
+- unmodified_program.dl: DCM DDlog program generated by sql-ddlog compiler (with preemption). Can diff the previous 2 programs against this one to see the diffs