Dear all, As announced at today's OVN IRC meeting, I will give a mini tutorial on DDlog at 9am Pacific time on Monday (May 13) over Zoom:
https://VMware.zoom.us/j/545220661 If you are in Bay Area, you are welcome to join in person on the VMware Palo Alto campus (https://research.vmware.com/pages/directions). Please drop me an email to arrange the logistics of that. Please read on for some additional context on DDlog. --------------------------- DDlog is a new programming language we have developed at VMware Research. The goal is to help people write incremental programs, i.e., programs that incrementally update their output whenever input changes. It is particularly well suited for network controllers like OVN that must reconfigure the network every time the user changes configuration in the Northbound DB. The language is open source under the MIT license: https://github.com/ryzhyk/differential-datalog Here is a brief tutorial: https://github.com/ryzhyk/differential-datalog/blob/master/doc/tutorial/tutorial.md During the past few months, we (Justin Pettit, Mihai Budiu, and I) ported the entire OVN northd logic to DDlog. The implementation is about the same number of lines of code as C, but is fully incremental and should be able to compute updates to large networks in milliseconds. At this point, we would like to get the rest of the OVN community on board. In particular, we need help testing and performance tuning our implementation. It currently passes the OVN testsuite (well, almost; we need to fix a few wrinkles), but we haven't done any kind of scale testing yet. Even more importantly, we would like to start educating people about programing in DDlog, so that in the future others can maintain the OVN code, with our team focusing on improving the DDlog language and compiler. Leonid _______________________________________________ dev mailing list d...@openvswitch.org https://mail.openvswitch.org/mailman/listinfo/ovs-dev
