mm/damon: hide kdamond and kdamond_lock from API callers
Subsystems (2)
SeongJae Park
maintainercover mm/damon: hide kdamond and kdamond_lock from API callers
'kdamond' and 'kdamond_lock' fields initially exposed to DAMON API callers for flexible synchronization and use cases. As DAMON API became somewhat complicated compared to the early days, Keeping those exposed could only encourage the API callers to invent more creative but complicated and difficult-to-debug use cases.
Fortunately DAMON API callers didn't invent that many creative use cases. There exist only two use cases of 'kdamond' and 'kdamond_lock'. Finding whether the kdamond is actively running, and getting the pid of the kdamond. For the first use case, a dedicated API function, namely 'damon_is_running()' is provided, and all DAMON API callers are using the function for the use case. Hence only the second use case is where the fields are directly being used by DAMON API callers.
To prevent future invention of complicated and erroneous use cases of the fields, hide the fields from the API callers. For that, provide new dedicated DAMON API functions for the remaining use case, namely damon_kdamond_pid(), migrate DAMON API callers to use the new function, and mark the fields as private fields.
SeongJae Park (5):
mm/damon/core: implement damon_kdamond_pid() mm/damon/sysfs: use damon_kdamond_pid() mm/damon/lru_sort: use damon_kdamond_pid() mm/damon/reclaim: use damon_kdamond_pid() mm/damon: hide kdamond and kdamond_lock of damon_ctx
include/linux/damon.h | 30 +++++++++++++++--------------- mm/damon/core.c | 17 +++++++++++++++++ mm/damon/lru_sort.c | 4 +++- mm/damon/reclaim.c | 4 +++- mm/damon/sysfs.c | 7 +++---- 5 files changed, 41 insertions(+), 21 deletions(-)
base-commit: 1aebb6fcfd6a8da57a4eda7863d69e533c392ae0
Signature · 1 line
2.47.3
SeongJae Park
maintainerPATCH 1/5 mm/damon/core: implement damon_kdamond_pid()
'kdamond' and 'kdamond_lock' are directly being used by DAMON API callers for getting the pid of the corresponding kdamond. To discourage invention of creative but complicated and erroneous new usages of the fields that require careful synchronization, implement a new API function that can simply be used without the manual synchronizations.
--- include/linux/damon.h | 1 + mm/damon/core.c | 17 +++++++++++++++++ 2 files changed, 18 insertions(+)
include/linux/damon.h +1 -0
@@ -972,6 +972,7 @@ bool damon_initialized(void);int damon_start (struct damon_ctx **ctxs,int nr_ctxs,bool exclusive);int damon_stop (struct damon_ctx **ctxs,int nr_ctxs);bool damon_is_running (struct damon_ctx *ctx); +int damon_kdamond_pid (struct damon_ctx *ctx);int damon_call (struct damon_ctx *ctx,struct damon_call_control *control);int damos_walk (struct damon_ctx *ctx,struct damos_walk_control *control);
mm/damon/core.c +17 -0
@@ -1442,6 +1442,23 @@ bool damon_is_running(struct damon_ctx *ctx)return running; } +/** +* damon_kdamond_pid() - Return pid of a given DAMON context's worker thread. +* @ctx: The DAMON context of the question. +* +* Return: pid if @ctx is running, negative error code otherwise. +*/ +int damon_kdamond_pid (struct damon_ctx *ctx) +{ +int pid = -EINVAL ; + +mutex_lock (&ctx->kdamond_lock); +if (ctx->kdamond) + pid = ctx->kdamond->pid; +mutex_unlock (&ctx->kdamond_lock); +return pid; +} +/* * damon_call_handle_inactive_ctx() - handle DAMON call request that added to * an inactive context.
Signature · 1 line
2.47.3
SeongJae Park
maintainerPATCH 2/5 mm/damon/sysfs: use damon_kdamond_pid()
In reply to SeongJae ParkDAMON sysfs interface directly uses damon_ctx->kdamond field with manual synchronization using damon_ctx->kdamond_lock, to get the pid of the kdamond. Use a new dedicated function for the purpose, namely damon_kdamond_pid(), since that doesn't require manual and error-prone synchronization.
Avoid use of kdamond_lock outside of the core.
--- mm/damon/sysfs.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-)
mm/damon/sysfs.c +3 -4
@@ -1819,10 +1819,9 @@ static ssize_t pid_show(struct kobject *kobj,if (!ctx) goto out; -mutex_lock (&ctx->kdamond_lock); -if (ctx->kdamond) - pid = ctx->kdamond->pid; -mutex_unlock (&ctx->kdamond_lock); + pid =damon_kdamond_pid (ctx); +if (pid <0 ) + pid =-1 ; out:mutex_unlock (&damon_sysfs_lock);return sysfs_emit (buf,"%d\n" , pid);
Signature · 1 line
2.47.3
SeongJae Park
maintainerPATCH 3/5 mm/damon/lru_sort: use damon_kdamond_pid()
In reply to SeongJae ParkDAMON_LRU_SORT directly uses damon_ctx->kdamond field with manual synchronization using damon_ctx->kdamond_lock, to get the pid of the kdamond. Use a new dedicated function for the purpose, namely damon_kdamond_pid(), since that doesn't require manual and error-prone synchronization.
--- mm/damon/lru_sort.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
mm/damon/lru_sort.c +3 -1
@@ -405,7 +405,9 @@ static int damon_lru_sort_turn(bool on) err =damon_start (&ctx,1 , true);if (err)return err; - kdamond_pid = ctx->kdamond->pid; + kdamond_pid =damon_kdamond_pid (ctx); +if (kdamond_pid <0 ) +return kdamond_pid;return damon_call (ctx, &call_control); }
Signature · 1 line
2.47.3
SeongJae Park
maintainerPATCH 4/5 mm/damon/reclaim: use damon_kdamond_pid()
In reply to SeongJae ParkDAMON_RECLAIM directly uses damon_ctx->kdamond field with manual synchronization using damon_ctx->kdamond_lock, to get the pid of the kdamond. Use a new dedicated function for the purpose, namely damon_kdamond_pid(), since that doesn't require manual and error-prone synchronization.
--- mm/damon/reclaim.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
mm/damon/reclaim.c +3 -1
@@ -307,7 +307,9 @@ static int damon_reclaim_turn(bool on) err =damon_start (&ctx,1 , true);if (err)return err; - kdamond_pid = ctx->kdamond->pid; + kdamond_pid =damon_kdamond_pid (ctx); +if (kdamond_pid <0 ) +return kdamond_pid;return damon_call (ctx, &call_control); }
Signature · 1 line
2.47.3
SeongJae Park
maintainerPATCH 5/5 mm/damon: hide kdamond and kdamond_lock of damon_ctx
In reply to SeongJae ParkThere is no DAMON API caller that directly access 'kdamond' and 'kdamond_lock' fields of 'struct damon_ctx'. Keeping those exposed could only encourage creative but error-prone usages. Hide them from DAMON API callers by marking those as private fields.
--- include/linux/damon.h | 29 ++++++++++++++--------------- 1 file changed, 14 insertions(+), 15 deletions(-)
include/linux/damon.h +14 -15
@@ -759,23 +759,20 @@ struct damon_attrs {* of the monitoring. * * @attrs: Monitoring attributes for accuracy/overhead control. -* @kdamond: Kernel thread who does the monitoring. -* @kdamond_lock: Mutex for the synchronizations with @kdamond. * -* For each monitoring context, one kernel thread for the monitoring is -* created. The pointer to the thread is stored in @kdamond. +* For each monitoring context, one kernel thread for the monitoring, namely +* kdamond, is created. The pid of kdamond can be retrieved using +* damon_kdamond_pid(). * -* Once started, the monitoring thread runs until explicitly required to be -* terminated or every monitoring target is invalid. The validity of the -* targets is checked via the &damon_operations.target_valid of @ops. The -* termination can also be explicitly requested by calling damon_stop(). -* The thread sets @kdamond to NULL when it terminates. Therefore, users can -* know whether the monitoring is ongoing or terminated by reading @kdamond. -* Reads and writes to @kdamond from outside of the monitoring thread must -* be protected by @kdamond_lock. +* Once started, kdamond runs until explicitly required to be terminated or +* every monitoring target is invalid. The validity of the targets is checked +* via the &damon_operations.target_valid of @ops. The termination can also be +* explicitly requested by calling damon_stop(). To know if a kdamond is +* running, damon_is_running() can be used. * -* Note that the monitoring thread protects only @kdamond via @kdamond_lock. -* Accesses to other fields must be protected by themselves. +* While the kdamond is running, all accesses to &struct damon_ctx from a +* thread other than the kdamond should be made using safe DAMON APIs, +* including damon_call() and damos_walk(). * * @ops: Set of monitoring operations for given use cases. * @addr_unit: Scale factor for core to ops address conversion.
@@ -816,10 +813,12 @@ struct damon_ctx {struct damos_walk_control *walk_control;struct mutex walk_control_lock; -/* public: */ +/* Working thread of the given DAMON context */ struct task_struct *kdamond; +/* Protects @kdamond field access */ struct mutex kdamond_lock; +/* public: */ struct damon_operations ops;unsigned long addr_unit;unsigned long min_sz_region;
Signature · 1 line
2.47.3