Re: [PATCH] Futures: Avoid creating the worker pool more than once

guile-devel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Futures: Avoid creating the worker pool more than once

From:	Daniel Hartwig
Subject:	Re: [PATCH] Futures: Avoid creating the worker pool more than once
Date:	Wed, 7 Nov 2012 22:14:04 +0800

On 7 November 2012 21:46, Mark H Weaver <address@hidden> wrote:
> Here's an improved version the patch that gracefully handles the case
> where creation of the worker pool is unsuccessful due to an exception or
> cancelled thread.
>
> What do you think?

Looks clean.  Nice work picking up on this race condition.

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] Futures: Avoid creating the worker pool more than once, Mark H Weaver, 2012/11/06
- Re: [PATCH] Futures: Avoid creating the worker pool more than once, Mark H Weaver, 2012/11/07
  - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Daniel Hartwig <=
  - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Ludovic Courtès, 2012/11/16
    - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Mark H Weaver, 2012/11/30
    - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Ludovic Courtès, 2012/11/30
- Re: [PATCH] Futures: Avoid creating the worker pool more than once, Ludovic Courtès, 2012/11/08
  - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Mark H Weaver, 2012/11/09
    - Re: [PATCH] Futures: Avoid creating the worker pool more than once, Ludovic Courtès, 2012/11/10

Prev by Date: Re: [PATCH] Futures: Avoid creating the worker pool more than once
Next by Date: Re: Functional record "setters", a different approach
Previous by thread: Re: [PATCH] Futures: Avoid creating the worker pool more than once
Next by thread: Re: [PATCH] Futures: Avoid creating the worker pool more than once
Index(es):
- Date
- Thread