All of lore.kernel.org
 help / color / mirror / Atom feed
From: SJ Park <sj@kernel.org>
To: SJ Park <sj@kernel.org>
Cc: sashiko-bot@kernel.org, damon@lists.linux.dev
Subject: Re: [RFC PATCH 09/11] mm/damon/core: stop ctx in damon_call() before reruning an error
Date: Sat,  4 Jul 2026 12:47:26 -0700	[thread overview]
Message-ID: <20260704194727.1762-1-sj@kernel.org> (raw)
In-Reply-To: <20260704193454.1094-1-sj@kernel.org>

On Sat, 04 Jul 2026 12:35:01 -0700 SJ Park <sj@kernel.org> wrote:

> On Sat, 04 Jul 2026 18:25:12 +0000 sashiko-bot@kernel.org wrote:
> 
> > Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider:
> > - [High] Concurrent invocations of `__damon_stop()` triggered by canceled `damon_call()`s lead to a double `kthread_stop()` deadlock.
> > --
> > 
> > commit 5b208204f87a1b80335c35ce1b66a42e8f74a1ba
> > Author: SJ Park <sj@kernel.org>
> > 
> > mm/damon/core: stop ctx in damon_call() before reruning an error
> > 
> > This commit updates damon_call() to ensure the DAMON context is explicitly
> > stopped when a call fails or is canceled.
> > 
> > > diff --git a/mm/damon/core.c b/mm/damon/core.c
> > > index aa48bf44c2a0b..9c15d44084af4 100644
> > > --- a/mm/damon/core.c
> > > +++ b/mm/damon/core.c
> > [ ... ]
> > > @@ -1956,8 +1958,13 @@ int damon_call(struct damon_ctx *ctx, struct damon_call_control *control)
> > >  		return 0;
> > >  	wait_for_completion(&control->completion);
> > >  	if (control->canceled)
> > > -		return -ECANCELED;
> > > +		goto canceled;
> > >  	return 0;
> > > +
> > > +canceled:
> > > +	__damon_stop(ctx);
> > 
> > [Severity: High]
> > Could this lead to a deadlock if multiple threads invoke damon_call()
> > concurrently on the same context?
> > 
> > If multiple threads are waiting in damon_call() and the kthread exits, it
> > cancels all pending controls and wakes the waiters. These threads will jump
> > to the canceled label and call __damon_stop(ctx) concurrently.
> > 
> > Looking at __damon_stop(), it reads ctx->kdamond without clearing it:
> > 
> > static void __damon_stop(struct damon_ctx *ctx)
> > {
> > 	struct task_struct *tsk;
> > 
> > 	mutex_lock(&ctx->kdamond_lock);
> > 	tsk = ctx->kdamond;
> > 	if (tsk) {
> > 		get_task_struct(tsk);
> > 		mutex_unlock(&ctx->kdamond_lock);
> > 		kthread_stop_put(tsk);
> > 		return;
> > 	}
> > 	mutex_unlock(&ctx->kdamond_lock);
> > }
> > 
> > Does this allow multiple threads to fetch the same task struct and call
> > kthread_stop_put() concurrently? 
> > 
> > Since kthread_stop() waits on the kthread's exit completion which is
> > signaled via complete() (waking only one waiter), would the subsequent
> > threads block forever in kthread_stop(), causing a deadlock?
> 
> Good finding.  But there is no such parallel usage of damon_call() to my
> understanding.
> 
> DAMON_SYSFS calls damon_call() for state file writes.  Multiple threads can
> write the file in parallel.  But the damon_call() from store file write
> callback (state_store()) is protected by global damon_sysfs_lock.
> 
> DAMON modules can call damon_call() for parameters commit and initial start.
> But param file writing is protected by the param_lock.
> 
> This may be better to be documented or make the code more robust.

damon_call() is designed for multiple callers, so this is quite confusing.  I
will make it less confusing like below in the next revision.

"""
--- a/mm/damon/core.c
+++ b/mm/damon/core.c
@@ -2309,7 +2309,8 @@ int damon_call(struct damon_ctx *ctx, struct damon_call_control *control)
        return 0;

 canceled:
-       __damon_stop(ctx);
+       while (damon_is_running(ctx))
+               schedule_timeout_idle(msecs_to_jiffies(100));
        return -ECANCELED;

 }
"""


Thanks,
SJ

  reply	other threads:[~2026-07-04 19:47 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-04 18:11 [RFC PATCH 00/11] mm/damon: refactor damon_{start,stop,commit}() for simple error handling SJ Park
2026-07-04 18:11 ` [RFC PATCH 01/11] mm/damon/core: stop ctxs in damon_start() before returning an error SJ Park
2026-07-04 18:20   ` sashiko-bot
2026-07-04 18:40     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 02/11] samples/damon/mtier: do not stop first context for damon_start() failure SJ Park
2026-07-04 18:24   ` sashiko-bot
2026-07-04 18:42     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 03/11] mm/damon/core: make damon_stop() never fails SJ Park
2026-07-04 18:30   ` sashiko-bot
2026-07-04 18:43     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 04/11] mm/damon/sysfs: ignore damon_stop() return value SJ Park
2026-07-04 18:11 ` [RFC PATCH 05/11] mm/damon/reclaaim: " SJ Park
2026-07-04 18:11 ` [RFC PATCH 06/11] mm/damon/lru_sort: " SJ Park
2026-07-04 18:11 ` [RFC PATCH 07/11] mm/damon/core: change damon_stop() return type to void SJ Park
2026-07-04 18:23   ` sashiko-bot
2026-07-04 19:36     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 08/11] samples/damon/mtier: stop all contexts with single damon_stop() call SJ Park
2026-07-04 18:20   ` sashiko-bot
2026-07-04 19:37     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 09/11] mm/damon/core: stop ctx in damon_call() before reruning an error SJ Park
2026-07-04 18:25   ` sashiko-bot
2026-07-04 19:34     ` SJ Park
2026-07-04 19:47       ` SJ Park [this message]
2026-07-04 18:11 ` [RFC PATCH 10/11] samples/damon/wsse: do not stop ctx for damon_call() failure SJ Park
2026-07-04 18:31   ` sashiko-bot
2026-07-04 19:38     ` SJ Park
2026-07-04 18:11 ` [RFC PATCH 11/11] samples/damon/prcl: do not stop DAMON " SJ Park

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=20260704194727.1762-1-sj@kernel.org \
    --to=sj@kernel.org \
    --cc=damon@lists.linux.dev \
    --cc=sashiko-bot@kernel.org \
    /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
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.