ofproto: facet_execute() stats changes.
authorEthan Jackson <ethan@nicira.com>
Thu, 3 Mar 2011 23:59:25 +0000 (15:59 -0800)
committerEthan Jackson <ethan@nicira.com>
Fri, 4 Mar 2011 00:21:24 +0000 (16:21 -0800)
commit9fe215f0f65c77593436e920cd07cf9bb24a7db8
tree069ac072d43f63e5815554900f066414c55c761e
parent0b13821fe00d918e24c71419355a10b65081a71a
ofproto: facet_execute() stats changes.

facet_execute() should rely on facet_update_stats() to update the
relevant facet's used parameter.

Before this patch, in very rare cases, the current practice could
lead to assertion failures.  The used value of a facet could be
slightly in the future due to the clocks being out of sync between
the kernel and user space.  Thus manually setting the used
parameter of a facet could put it slightly behind an already pushed
used value causing an assertion failure.

Bug #4745.
ofproto/ofproto.c