differential-datalog icon indicating copy to clipboard operation
differential-datalog copied to clipboard

OVN integration TODOs

Open ryzhyk opened this issue 6 years ago • 3 comments

TODO list for DDlog/OVN integration:

  • [x] generate DDlog schema from OVSDB schema.
    • This can be done mostly automatically from OVSDB schema files; however we will need some way to specify which OVSDB relations are inputs and which our outputs (can they be both?). Should we add those as annotations to the OVSDB schema or just specify them as command line arguments to the schema conversion tool?
  • [x] port rules from northd.c to northd.dl
  • [ ] create data sets for standalone testing of northd.dl (i.e., outside of OVN)
  • [x] generate runtime OVSDB input/output adapters for DDlog
  • [x] create OVN infrastructure to test northd.dl against northd.c on a live system
  • [x] integration testing
  • [ ] scale testing (and CPU/memory profiling)
  • [x] suppress Rust warnings
  • [x] catch up with latest OVN master
  • [ ] documentation
  • [x] fix remaining test failures
  • [x] test C and DDlog at the same time if DDlog is enabled in the build
  • [x] clean up DDlog patches

ryzhyk avatar Sep 10 '18 17:09 ryzhyk

when will be this feature released?

HehuaTang avatar Jan 21 '20 08:01 HehuaTang

There is a functional implementation of OVN northd in DDlog in a branch: https://github.com/ovn-org/ovn/tree/ddlog-dev-v2 (see documentation here: https://github.com/ovn-org/ovn/tree/ddlog-dev-v2/northd/docs). However not all recent northd features have been ported to DDlog and it is not part of an official OVN release. I am hoping both issues will be resolved sometime soon, but I am not an OVN maintainer, so can't make any promises.

ryzhyk avatar Jan 21 '20 18:01 ryzhyk

Thanks

HehuaTang avatar Jan 28 '20 14:01 HehuaTang