Skip to content
This repository has been archived by the owner on May 10, 2024. It is now read-only.

Commit

Permalink
Add hand-optimized DDlog programs
Browse files Browse the repository at this point in the history
Signed-off-by: Amy Tai <[email protected]>
  • Loading branch information
amytai committed Nov 11, 2021
1 parent e92067a commit cf36222
Show file tree
Hide file tree
Showing 4 changed files with 2,584 additions and 0 deletions.
3 changes: 3 additions & 0 deletions artifact/optimized_ddlog_programs/README.md
Original file line number Diff line number Diff line change
@@ -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
Loading

0 comments on commit cf36222

Please sign in to comment.