Re: [ovs-dev] DDLog after one week

2019-09-26 Thread Leonid Ryzhyk via dev
> > > Q: Why doesn't the ddlog compiler generate Out_IP_Multicast and only > > > "input IP_Multicast" in OVN_Southbound.dl. > > > A: For every table to which ovn-northd-ddlog needs to write we need to > > > update northd/automake.mk. Could we make this more robust or is it > > > fine to keep addin

Re: [ovs-dev] DDLog after one week

2019-09-25 Thread Leonid Ryzhyk via dev
Hi Dimitru, > Looking at IGMP I'm quite happy with the end result in DDlog. It > really allowed me to focus on the feature specific logic and spared me > the code complexity of custom hashtables and IDL lookups to implement > stable ID allocation for multicast groups. Also the code size was > sign

Re: [ovs-dev] DDLog after one week

2019-09-23 Thread Leonid Ryzhyk via dev
s, causing the compiled code to run twice slower. Leonid From: Mark Michelson Sent: Monday, September 23, 2019 6:04 AM To: Leonid Ryzhyk Cc: Dumitru Ceara ; Numan Siddique ; Lorenzo Bianconi ; Mihai Budiu ; Justin Pettit ; Ben Pfaff ; ovs dev Subject: Re: DDLo

Re: [ovs-dev] Update on DDlog port of ovn-northd

2019-07-19 Thread Leonid Ryzhyk
st was run with DDlog-based ovn-northd, but the result is nearly > > identical with C-based ovn-northd since the test no longer is bound by > > ovn-northd's performance. > > > > I'm a bit surprised that with DDlog, adding --wait=sb to each iteration > > ca

Re: [ovs-dev] Update on DDlog port of ovn-northd

2019-07-15 Thread Leonid Ryzhyk
Also, there's no `ddlog --version` or anything similar to see what > version of DDlog is installed. That could be a nice feature to have in > the near future. > > On 7/12/19 12:40 PM, Leonid Ryzhyk wrote: > > Thanks for trying it out! Sounds like you have a very old version of

Re: [ovs-dev] Update on DDlog port of ovn-northd

2019-07-12 Thread Leonid Ryzhyk
Mark Michelson wrote: > On 7/12/19 3:29 AM, Leonid Ryzhyk wrote: > > Dear OVN developers, > > > > This is a brief update on the state of the DDlog port of ovn-northd. > > > > We completed the initial implementation of ovn-northd in DDlog few months > > ago. J

[ovs-dev] Update on DDlog port of ovn-northd

2019-07-12 Thread Leonid Ryzhyk
Dear OVN developers, This is a brief update on the state of the DDlog port of ovn-northd. We completed the initial implementation of ovn-northd in DDlog few months ago. Justin kindly helped to integrate it with OVN, so that it can be used as a drop-in replacement for the C version (and passes al

[ovs-dev] Reminder: DDlog tutorial for OVN developers

2019-05-12 Thread Leonid Ryzhyk
Just a reminder: please join us on zoom at 9am Pacific time. 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,

[ovs-dev] DDlog tutorial for OVN developers

2019-05-09 Thread Leonid Ryzhyk
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

[ovs-dev] [PATCH] ovn: Added missing --wait in ovn tests

2019-05-02 Thread Leonid Ryzhyk
Several of the ovn tests did not use the `--wait` flag to to wait for a configuration change to propagate through the system. As a result, these tests fail when `ovn-northd` is slow. Fixed by adding `--wait=hv` or `--wait=sb` as appropriate. Signed-off-by: Leonid Ryzhyk --- tests/ovn-northd.at