Re: Alternate termination sequence option --term-seq

2015-06-01 Thread Rasmus Villemoes
On Tue, May 26 2015, Ole Tange wrote: > On Thu, Apr 30, 2015 at 12:47 PM, Rasmus Villemoes > wrote: >> On Wed, Apr 29 2015, Ole Tange wrote: >> >>> On Wed, Apr 29, 2015 at 2:07 PM, Rasmus Villemoes >>> wrote: On Wed, Apr 29 2015, Ole Tange wrote: > This still has the risk of ki

Re: Alternate termination sequence option --term-seq

2015-06-01 Thread Martin d'Anjou
As far as I can tell it is because the family_pids are dynamic, and we cannot tell for sure if the a pid has been reused: it can happen milliseconds after family_pids have been computed. In a normal system chances are extremely slim, but as my test system shows it is non-zero. Again: GNU Paral