On Mon, Jun 9, 2014 at 1:59 PM, Ben Pfaff wrote:
> On Mon, Jun 09, 2014 at 12:40:46PM -0700, Ben Pfaff wrote:
> > On Thu, May 29, 2014 at 04:15:46PM -0700, Alex Wang wrote:
> > > Non-leader revalidator thread uses pthread_barrier_* functions in their
> > > main loop to synchronize with leader thr
On Mon, Jun 09, 2014 at 12:40:46PM -0700, Ben Pfaff wrote:
> On Thu, May 29, 2014 at 04:15:46PM -0700, Alex Wang wrote:
> > Non-leader revalidator thread uses pthread_barrier_* functions in their
> > main loop to synchronize with leader thread. However, since those threads
> > only call poll_block
On Thu, May 29, 2014 at 04:15:46PM -0700, Alex Wang wrote:
> Non-leader revalidator thread uses pthread_barrier_* functions in their
> main loop to synchronize with leader thread. However, since those threads
> only call poll_block() intermittently, the poll interval check in
> poll_block() can wr
Non-leader revalidator thread uses pthread_barrier_* functions in their
main loop to synchronize with leader thread. However, since those threads
only call poll_block() intermittently, the poll interval check in
poll_block() can wrongly take the time since last call as poll interval
and issue the
