Tarantool development patches archive
 help / color / mirror / Atom feed
From: Vladimir Davydov <vdavydov.dev@gmail.com>
To: Serge Petrenko <sergepetrenko@tarantool.org>
Cc: georgy@tarantool.org, tarantool-patches@freelists.org
Subject: Re: [PATCH] Fix fiber_join() hang in case fiber_cancel() was called
Date: Mon, 4 Feb 2019 20:44:04 +0300	[thread overview]
Message-ID: <20190204174404.qyalziyrhz6use5g@esperanza> (raw)
In-Reply-To: <20190204135138.51960-1-sergepetrenko@tarantool.org>

On Mon, Feb 04, 2019 at 04:51:38PM +0300, Serge Petrenko wrote:
> In case a fiber joining another fiber gets cancelled, it stays suspended
> forever and never finishes joining. This happens because fiber_cancel()
> wakes the fiber and removes it from all execution queues.
> Fix this by adding ourselves to the joined fibers wake queue on every
> iteration. While joining the fiber ignores cancelation.
> 
> Also, while we're at it, fix comment for fiber_yield(): it obviously is
> a cancellation point.
> 
> Closes #3948
> ---
> https://github.com/tarantool/tarantool/tree/sp/gh-3948-fiber-cancel-during-join
> https://github.com/tarantool/tarantool/issues/3948
> 
>  src/fiber.c            | 14 +++++++++++---
>  test/unit/fiber.cc     | 37 +++++++++++++++++++++++++++++++++++++
>  test/unit/fiber.result |  2 ++
>  3 files changed, 50 insertions(+), 3 deletions(-)

The test passes with and without this patch on my laptop. Please make
sure it fails unless this patch is applied.

> 
> diff --git a/src/fiber.c b/src/fiber.c
> index 6f3d0ab78..4dc6b3c5a 100644
> --- a/src/fiber.c
> +++ b/src/fiber.c
> @@ -392,9 +392,17 @@ fiber_join(struct fiber *fiber)
>  	assert(fiber->flags & FIBER_IS_JOINABLE);
>  
>  	if (! fiber_is_dead(fiber)) {
> -		rlist_add_tail_entry(&fiber->wake, fiber(), state);
>  
>  		do {
> +			/*
> +			 * In case fiber is cancelled during yield
> +			 * it will be removed from wake queue by a
> +			 * wakeup following the cancel.
> +			 * Having multiple entries for the same fiber
> +			 * doesn't hurt, since wakeup is executed only
> +			 * once per fiber.
> +			 */
> +			rlist_add_tail_entry(&fiber->wake, fiber(), state);

I don't quite like the idea that cancelling a fiber that is joining
another fiber will have no effect until the other fiber has exited.
Can't we break the loop if fiber_is_cancelled()?

>  			fiber_yield();
>  		} while (! fiber_is_dead(fiber));
>  	}
> @@ -411,8 +419,8 @@ fiber_join(struct fiber *fiber)
>  }
>  
>  /**
> - * @note: this is not a cancellation point (@sa fiber_testcancel())
> - * but it is considered good practice to call testcancel()
> + * @note: this is a cancellation point (@sa fiber_testcancel())
> + * It is considered good practice to call testcancel()
>   * after each yield.
>   */
>  void

I dig through the history and found

commit 3e2adffb7a918b8a6e956e7eb47da3083432d154
Author: Konstantin Osipov <kostja.osipov@gmail.com>
Date:   Tue Oct 18 18:34:32 2011 +0400

    Lua: make it possible to create new fibers.

    Add box.fiber.create(), box.fiber.resume(),
    fiber.yield(), box.fiber.detach().

    Add tests.

    Makce fiber cancellation implementation
    more robust and quick, so that it
    is actually usable from Lua.
    Debug.

which among other things did the following:

> @@ -208,7 +234,9 @@ void fiber_setcancelstate(bool enable)
>  }
> 
>  /**
> - * @note: this is a cancellation point (@sa fiber_testcancel())
> + * @note: this is not a cancellation point (@sa fiber_testcancel())
> + * but it is considered good practice to call testcancel()
> + * after each yield.
>   */
> 
>  void
> @@ -222,8 +250,6 @@ fiber_yield(void)
> 
>         callee->csw++;
>         coro_transfer(&caller->coro.ctx, &callee->coro.ctx);
> -
> -       fiber_testcancel();
>  }

So I guess the comment is correct after all: by a cancellation point the
author meant a function that won't return in case the current fiber is
cancelled. After that patch removed fiber_testcancel from fiber_yield,
the latter ceased to be a cancellation point.

  reply	other threads:[~2019-02-04 17:44 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-04 13:51 Serge Petrenko
2019-02-04 17:44 ` Vladimir Davydov [this message]
2019-02-05  6:28   ` [tarantool-patches] " Serge Petrenko
2019-02-05  9:00     ` Vladimir Davydov
2019-02-05 15:02       ` Serge Petrenko

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190204174404.qyalziyrhz6use5g@esperanza \
    --to=vdavydov.dev@gmail.com \
    --cc=georgy@tarantool.org \
    --cc=sergepetrenko@tarantool.org \
    --cc=tarantool-patches@freelists.org \
    --subject='Re: [PATCH] Fix fiber_join() hang in case fiber_cancel() was called' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox