[PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-14 Thread Jun Wu
# HG changeset patch # User Jun Wu # Date 1479176697 0 # Tue Nov 15 02:24:57 2016 + # Node ID 8402c91c250a9dd369296dcdf00f7b50110ff6ae # Parent 9dbb3532b173a980f341e41d9e96338a386364e5 # Available At https://bitbucket.org/quark-zju/hg-draft # hg pull https://bitbucket.org/qu

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-15 Thread Yuya Nishihara
On Tue, 15 Nov 2016 02:39:09 +, Jun Wu wrote: > # HG changeset patch > # User Jun Wu > # Date 1479176697 0 > # Tue Nov 15 02:24:57 2016 + > # Node ID 8402c91c250a9dd369296dcdf00f7b50110ff6ae > # Parent 9dbb3532b173a980f341e41d9e96338a386364e5 > # Available At https://bitbucket.org/qu

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-15 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2016-11-15 23:02:35 +0900: > On Tue, 15 Nov 2016 02:39:09 +, Jun Wu wrote: > > # HG changeset patch > > # User Jun Wu > > # Date 1479176697 0 > > # Tue Nov 15 02:24:57 2016 + > > # Node ID 8402c91c250a9dd369296dcdf00f7b50110ff6ae > > # Parent

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Yuya Nishihara
On Tue, 15 Nov 2016 22:28:46 +, Jun Wu wrote: > Excerpts from Yuya Nishihara's message of 2016-11-15 23:02:35 +0900: > > On Tue, 15 Nov 2016 02:39:09 +, Jun Wu wrote: > > > # HG changeset patch > > > # User Jun Wu > > > # Date 1479176697 0 > > > # Tue Nov 15 02:24:57 2016 + > > >

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > I meant set.discard(). My idea is: > > a. discard pid by anyone who notices it no longer exists > b. then, kill the rest This looks good. Although it's still possible to kill processes multiple times (because atomic "wait-an

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Yuya Nishihara
On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > > I meant set.discard(). My idea is: > > > > a. discard pid by anyone who notices it no longer exists > > b. then, kill the rest > > This looks good. Although it's still po

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > > Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > > > I meant set.discard(). My idea is: > > > > > > a. discard pid by anyone who notices it no longer

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > > Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > > > I meant set.discard(). My idea is: > > > > > > a. discard pid by anyone who notices it no longer

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Yuya Nishihara
On Wed, 16 Nov 2016 15:11:27 +, Jun Wu wrote: > Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > > On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > > > Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > > > > I meant set.discard(). My idea is: > > >

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Yuya Nishihara
On Wed, 16 Nov 2016 15:18:07 +, Jun Wu wrote: > Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > > On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > > > Excerpts from Yuya Nishihara's message of 2016-11-16 21:25:45 +0900: > > > > I meant set.discard(). My idea is: > > >

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-16 Thread Jun Wu
Excerpts from Yuya Nishihara's message of 2016-11-17 00:34:28 +0900: > On Wed, 16 Nov 2016 15:18:07 +, Jun Wu wrote: > > Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > > > On Wed, 16 Nov 2016 13:57:58 +, Jun Wu wrote: > > > > Excerpts from Yuya Nishihara's message of

Re: [PATCH 6 of 8 V5] worker: make sure killworkers runs at most once

2016-11-17 Thread Yuya Nishihara
On Wed, 16 Nov 2016 15:52:24 +, Jun Wu wrote: > Excerpts from Yuya Nishihara's message of 2016-11-17 00:34:28 +0900: > > On Wed, 16 Nov 2016 15:18:07 +, Jun Wu wrote: > > > Excerpts from Yuya Nishihara's message of 2016-11-17 00:00:01 +0900: > > > > On Wed, 16 Nov 2016 13:57:58 +, Jun W