# 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
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
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
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 +
> > >
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
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
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
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
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:
> > >
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:
> > >
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
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
12 matches
Mail list logo