Add a module *owner field to the fpga_manager_ops and fpga_manager
structs to protect the fpga manager against the unloading of the
low-level control module while someone is holding a reference to the
manager device. Low-level control modules should statically set the
owner field of the fpga_manager_ops struct to THIS_MODULE. Then, when
the manager is registered using fpga_mgr_register(), the value is copied
into the owner field of the fpga_manager struct (that contains the
device context). In this way, the manager can later use it in
fpga_mgr_get() to take the low-level module's refcount. To prevent races
while unloading the low-level control module, fpga_mgr_get() and part of
the fpga_mgr_unregister() methods are protected with a mutex.
Other changes: move put_device() from __fpga_mgr_get() to fpga_mgr_get()
and of_fpga_mgr_get() to improve code clarity.
Fixes: 654ba4cc0f3e ("fpga manager: ensure lifetime with of_fpga_mgr_get")
Signed-off-by: Marco Pagani <[email protected]>
---
drivers/fpga/fpga-mgr.c | 56 +++++++++++++++++++++++++----------
include/linux/fpga/fpga-mgr.h | 4 +++
2 files changed, 44 insertions(+), 16 deletions(-)
diff --git a/drivers/fpga/fpga-mgr.c b/drivers/fpga/fpga-mgr.c
index 06651389c592..608605d59860 100644
--- a/drivers/fpga/fpga-mgr.c
+++ b/drivers/fpga/fpga-mgr.c
@@ -21,6 +21,8 @@
static DEFINE_IDA(fpga_mgr_ida);
static const struct class fpga_mgr_class;
+static DEFINE_MUTEX(mgr_lock);
+
struct fpga_mgr_devres {
struct fpga_manager *mgr;
};
@@ -667,17 +669,15 @@ ATTRIBUTE_GROUPS(fpga_mgr);
static struct fpga_manager *__fpga_mgr_get(struct device *dev)
{
struct fpga_manager *mgr;
+ struct module *owner;
mgr = to_fpga_manager(dev);
+ owner = mgr->owner;
- if (!try_module_get(dev->parent->driver->owner))
- goto err_dev;
+ if (owner && !try_module_get(owner))
+ mgr = ERR_PTR(-ENODEV);
return mgr;
-
-err_dev:
- put_device(dev);
- return ERR_PTR(-ENODEV);
}
static int fpga_mgr_dev_match(struct device *dev, const void *data)
@@ -693,12 +693,22 @@ static int fpga_mgr_dev_match(struct device *dev, const void *data)
*/
struct fpga_manager *fpga_mgr_get(struct device *dev)
{
- struct device *mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev,
- fpga_mgr_dev_match);
+ struct fpga_manager *mgr = ERR_PTR(-ENODEV);
+ struct device *mgr_dev;
+
+ mutex_lock(&mgr_lock);
+
+ mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev, fpga_mgr_dev_match);
if (!mgr_dev)
- return ERR_PTR(-ENODEV);
+ goto out;
+
+ mgr = __fpga_mgr_get(mgr_dev);
+ if (IS_ERR(mgr))
+ put_device(mgr_dev);
- return __fpga_mgr_get(mgr_dev);
+out:
+ mutex_unlock(&mgr_lock);
+ return mgr;
}
EXPORT_SYMBOL_GPL(fpga_mgr_get);
@@ -711,13 +721,22 @@ EXPORT_SYMBOL_GPL(fpga_mgr_get);
*/
struct fpga_manager *of_fpga_mgr_get(struct device_node *node)
{
- struct device *dev;
+ struct fpga_manager *mgr = ERR_PTR(-ENODEV);
+ struct device *mgr_dev;
+
+ mutex_lock(&mgr_lock);
+
+ mgr_dev = class_find_device_by_of_node(&fpga_mgr_class, node);
+ if (!mgr_dev)
+ goto out;
- dev = class_find_device_by_of_node(&fpga_mgr_class, node);
- if (!dev)
- return ERR_PTR(-ENODEV);
+ mgr = __fpga_mgr_get(mgr_dev);
+ if (IS_ERR(mgr))
+ put_device(mgr_dev);
- return __fpga_mgr_get(dev);
+out:
+ mutex_unlock(&mgr_lock);
+ return mgr;
}
EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
@@ -727,7 +746,7 @@ EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
*/
void fpga_mgr_put(struct fpga_manager *mgr)
{
- module_put(mgr->dev.parent->driver->owner);
+ module_put(mgr->owner);
put_device(&mgr->dev);
}
EXPORT_SYMBOL_GPL(fpga_mgr_put);
@@ -806,6 +825,7 @@ fpga_mgr_register_full(struct device *parent, const struct fpga_manager_info *in
mgr->name = info->name;
mgr->mops = info->mops;
+ mgr->owner = info->mops->owner;
mgr->priv = info->priv;
mgr->compat_id = info->compat_id;
@@ -888,7 +908,11 @@ void fpga_mgr_unregister(struct fpga_manager *mgr)
*/
fpga_mgr_fpga_remove(mgr);
+ mutex_lock(&mgr_lock);
+
device_unregister(&mgr->dev);
+
+ mutex_unlock(&mgr_lock);
}
EXPORT_SYMBOL_GPL(fpga_mgr_unregister);
diff --git a/include/linux/fpga/fpga-mgr.h b/include/linux/fpga/fpga-mgr.h
index 54f63459efd6..eaf6e072dbc0 100644
--- a/include/linux/fpga/fpga-mgr.h
+++ b/include/linux/fpga/fpga-mgr.h
@@ -162,6 +162,7 @@ struct fpga_manager_info {
* @write_complete: set FPGA to operating state after writing is done
* @fpga_remove: optional: Set FPGA into a specific state during driver remove
* @groups: optional attribute groups.
+ * @owner: owner module.
*
* fpga_manager_ops are the low level functions implemented by a specific
* fpga manager driver. The optional ones are tested for NULL before being
@@ -184,6 +185,7 @@ struct fpga_manager_ops {
struct fpga_image_info *info);
void (*fpga_remove)(struct fpga_manager *mgr);
const struct attribute_group **groups;
+ struct module *owner;
};
/* FPGA manager status: Partial/Full Reconfiguration errors */
@@ -201,6 +203,7 @@ struct fpga_manager_ops {
* @state: state of fpga manager
* @compat_id: FPGA manager id for compatibility check.
* @mops: pointer to struct of fpga manager ops
+ * @owner: owner module.
* @priv: low level driver private date
*/
struct fpga_manager {
@@ -210,6 +213,7 @@ struct fpga_manager {
enum fpga_mgr_states state;
struct fpga_compat_id *compat_id;
const struct fpga_manager_ops *mops;
+ struct module *owner;
void *priv;
};
--
2.42.0
On Fri, Nov 24, 2023 at 05:28:06PM +0100, Marco Pagani wrote:
> Add a module *owner field to the fpga_manager_ops and fpga_manager
> structs to protect the fpga manager against the unloading of the
> low-level control module while someone is holding a reference to the
> manager device. Low-level control modules should statically set the
> owner field of the fpga_manager_ops struct to THIS_MODULE. Then, when
> the manager is registered using fpga_mgr_register(), the value is copied
> into the owner field of the fpga_manager struct (that contains the
> device context). In this way, the manager can later use it in
> fpga_mgr_get() to take the low-level module's refcount. To prevent races
> while unloading the low-level control module, fpga_mgr_get() and part of
> the fpga_mgr_unregister() methods are protected with a mutex.
>
> Other changes: move put_device() from __fpga_mgr_get() to fpga_mgr_get()
> and of_fpga_mgr_get() to improve code clarity.
>
> Fixes: 654ba4cc0f3e ("fpga manager: ensure lifetime with of_fpga_mgr_get")
> Signed-off-by: Marco Pagani <[email protected]>
> ---
> drivers/fpga/fpga-mgr.c | 56 +++++++++++++++++++++++++----------
> include/linux/fpga/fpga-mgr.h | 4 +++
> 2 files changed, 44 insertions(+), 16 deletions(-)
>
> diff --git a/drivers/fpga/fpga-mgr.c b/drivers/fpga/fpga-mgr.c
> index 06651389c592..608605d59860 100644
> --- a/drivers/fpga/fpga-mgr.c
> +++ b/drivers/fpga/fpga-mgr.c
> @@ -21,6 +21,8 @@
> static DEFINE_IDA(fpga_mgr_ida);
> static const struct class fpga_mgr_class;
>
> +static DEFINE_MUTEX(mgr_lock);
> +
> struct fpga_mgr_devres {
> struct fpga_manager *mgr;
> };
> @@ -667,17 +669,15 @@ ATTRIBUTE_GROUPS(fpga_mgr);
> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
> {
> struct fpga_manager *mgr;
> + struct module *owner;
>
> mgr = to_fpga_manager(dev);
> + owner = mgr->owner;
>
> - if (!try_module_get(dev->parent->driver->owner))
> - goto err_dev;
> + if (owner && !try_module_get(owner))
No need to test owner == NULL, try_module_get() does this.
> + mgr = ERR_PTR(-ENODEV);
>
> return mgr;
> -
> -err_dev:
> - put_device(dev);
> - return ERR_PTR(-ENODEV);
> }
>
> static int fpga_mgr_dev_match(struct device *dev, const void *data)
> @@ -693,12 +693,22 @@ static int fpga_mgr_dev_match(struct device *dev, const void *data)
> */
> struct fpga_manager *fpga_mgr_get(struct device *dev)
> {
> - struct device *mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev,
> - fpga_mgr_dev_match);
> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
> + struct device *mgr_dev;
> +
> + mutex_lock(&mgr_lock);
> +
> + mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev, fpga_mgr_dev_match);
> if (!mgr_dev)
> - return ERR_PTR(-ENODEV);
> + goto out;
> +
> + mgr = __fpga_mgr_get(mgr_dev);
> + if (IS_ERR(mgr))
> + put_device(mgr_dev);
>
> - return __fpga_mgr_get(mgr_dev);
> +out:
> + mutex_unlock(&mgr_lock);
> + return mgr;
> }
> EXPORT_SYMBOL_GPL(fpga_mgr_get);
>
> @@ -711,13 +721,22 @@ EXPORT_SYMBOL_GPL(fpga_mgr_get);
> */
> struct fpga_manager *of_fpga_mgr_get(struct device_node *node)
> {
> - struct device *dev;
> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
> + struct device *mgr_dev;
> +
> + mutex_lock(&mgr_lock);
> +
> + mgr_dev = class_find_device_by_of_node(&fpga_mgr_class, node);
> + if (!mgr_dev)
> + goto out;
>
> - dev = class_find_device_by_of_node(&fpga_mgr_class, node);
> - if (!dev)
> - return ERR_PTR(-ENODEV);
> + mgr = __fpga_mgr_get(mgr_dev);
> + if (IS_ERR(mgr))
> + put_device(mgr_dev);
>
> - return __fpga_mgr_get(dev);
> +out:
> + mutex_unlock(&mgr_lock);
> + return mgr;
> }
> EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
>
> @@ -727,7 +746,7 @@ EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
> */
> void fpga_mgr_put(struct fpga_manager *mgr)
> {
> - module_put(mgr->dev.parent->driver->owner);
> + module_put(mgr->owner);
> put_device(&mgr->dev);
> }
> EXPORT_SYMBOL_GPL(fpga_mgr_put);
> @@ -806,6 +825,7 @@ fpga_mgr_register_full(struct device *parent, const struct fpga_manager_info *in
>
> mgr->name = info->name;
> mgr->mops = info->mops;
> + mgr->owner = info->mops->owner;
> mgr->priv = info->priv;
> mgr->compat_id = info->compat_id;
>
> @@ -888,7 +908,11 @@ void fpga_mgr_unregister(struct fpga_manager *mgr)
> */
> fpga_mgr_fpga_remove(mgr);
>
> + mutex_lock(&mgr_lock);
> +
> device_unregister(&mgr->dev);
> +
> + mutex_unlock(&mgr_lock);
Why this part should be protected rather than the whole
fpga_mgr_unregister()?
I feel the scope of the protection is unclear to me in this patch. What
data should be protected from concurrent access by this mutex? From the
code seems the racing of mgr dev should be protected but apparently it
doesn't have to.
And with this mutex, the get/put/unregister() for one mgr should be
exclusive with another mgr, but that also seems not necessary.
I think the mgr->owner & mgr->ops should be protected from concurrent
access of delete_module & fpga_mgr_get/put(), so how about:
struct fpga_manager_ops {
struct module *owner;
...
};
struct fpga_manager {
...
struct mutex mops_lock;
const struct fpga_manager_ops *mops;
...
};
static struct fpga_manager *__fpga_mgr_get(struct device *dev)
{
struct fpga_manager *mgr;
mgr = to_fpga_manager(dev);
mutex_lock(&mgr->mops_lock);
if (!mgr->mops || !try_module_get(mgr->mops->owner))
mgr = ERR_PTR(-ENODEV);
mutex_unlock(&mgr->mops_lock);
return mgr;
}
void fpga_mgr_unregister(struct fpga_manager *mgr)
{
fpga_mgr_fpga_remove(mgr);
mutex_lock(&mgr->ops_lock);
mgr->mops = NULL;
mutex_unlock(&mgr->ops_lock);
device_unregister(&mgr->dev);
}
Not actually tested.
Thanks,
Yilun
> }
> EXPORT_SYMBOL_GPL(fpga_mgr_unregister);
>
> diff --git a/include/linux/fpga/fpga-mgr.h b/include/linux/fpga/fpga-mgr.h
> index 54f63459efd6..eaf6e072dbc0 100644
> --- a/include/linux/fpga/fpga-mgr.h
> +++ b/include/linux/fpga/fpga-mgr.h
> @@ -162,6 +162,7 @@ struct fpga_manager_info {
> * @write_complete: set FPGA to operating state after writing is done
> * @fpga_remove: optional: Set FPGA into a specific state during driver remove
> * @groups: optional attribute groups.
> + * @owner: owner module.
> *
> * fpga_manager_ops are the low level functions implemented by a specific
> * fpga manager driver. The optional ones are tested for NULL before being
> @@ -184,6 +185,7 @@ struct fpga_manager_ops {
> struct fpga_image_info *info);
> void (*fpga_remove)(struct fpga_manager *mgr);
> const struct attribute_group **groups;
> + struct module *owner;
> };
>
> /* FPGA manager status: Partial/Full Reconfiguration errors */
> @@ -201,6 +203,7 @@ struct fpga_manager_ops {
> * @state: state of fpga manager
> * @compat_id: FPGA manager id for compatibility check.
> * @mops: pointer to struct of fpga manager ops
> + * @owner: owner module.
> * @priv: low level driver private date
> */
> struct fpga_manager {
> @@ -210,6 +213,7 @@ struct fpga_manager {
> enum fpga_mgr_states state;
> struct fpga_compat_id *compat_id;
> const struct fpga_manager_ops *mops;
> + struct module *owner;
> void *priv;
> };
>
> --
> 2.42.0
>
>
On 2023-11-25 10:11, Xu Yilun wrote:
> On Fri, Nov 24, 2023 at 05:28:06PM +0100, Marco Pagani wrote:
>> Add a module *owner field to the fpga_manager_ops and fpga_manager
>> structs to protect the fpga manager against the unloading of the
>> low-level control module while someone is holding a reference to the
>> manager device. Low-level control modules should statically set the
>> owner field of the fpga_manager_ops struct to THIS_MODULE. Then, when
>> the manager is registered using fpga_mgr_register(), the value is copied
>> into the owner field of the fpga_manager struct (that contains the
>> device context). In this way, the manager can later use it in
>> fpga_mgr_get() to take the low-level module's refcount. To prevent races
>> while unloading the low-level control module, fpga_mgr_get() and part of
>> the fpga_mgr_unregister() methods are protected with a mutex.
>>
>> Other changes: move put_device() from __fpga_mgr_get() to fpga_mgr_get()
>> and of_fpga_mgr_get() to improve code clarity.
>>
>> Fixes: 654ba4cc0f3e ("fpga manager: ensure lifetime with of_fpga_mgr_get")
>> Signed-off-by: Marco Pagani <[email protected]>
>> ---
>> drivers/fpga/fpga-mgr.c | 56 +++++++++++++++++++++++++----------
>> include/linux/fpga/fpga-mgr.h | 4 +++
>> 2 files changed, 44 insertions(+), 16 deletions(-)
>>
>> diff --git a/drivers/fpga/fpga-mgr.c b/drivers/fpga/fpga-mgr.c
>> index 06651389c592..608605d59860 100644
>> --- a/drivers/fpga/fpga-mgr.c
>> +++ b/drivers/fpga/fpga-mgr.c
>> @@ -21,6 +21,8 @@
>> static DEFINE_IDA(fpga_mgr_ida);
>> static const struct class fpga_mgr_class;
>>
>> +static DEFINE_MUTEX(mgr_lock);
>> +
>> struct fpga_mgr_devres {
>> struct fpga_manager *mgr;
>> };
>> @@ -667,17 +669,15 @@ ATTRIBUTE_GROUPS(fpga_mgr);
>> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
>> {
>> struct fpga_manager *mgr;
>> + struct module *owner;
>>
>> mgr = to_fpga_manager(dev);
>> + owner = mgr->owner;
>>
>> - if (!try_module_get(dev->parent->driver->owner))
>> - goto err_dev;
>> + if (owner && !try_module_get(owner))
>
> No need to test owner == NULL, try_module_get() does this.
You are right. I'll remove it in the next version.
>
>> + mgr = ERR_PTR(-ENODEV);
>>
>> return mgr;
>> -
>> -err_dev:
>> - put_device(dev);
>> - return ERR_PTR(-ENODEV);
>> }
>>
>> static int fpga_mgr_dev_match(struct device *dev, const void *data)
>> @@ -693,12 +693,22 @@ static int fpga_mgr_dev_match(struct device *dev, const void *data)
>> */
>> struct fpga_manager *fpga_mgr_get(struct device *dev)
>> {
>> - struct device *mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev,
>> - fpga_mgr_dev_match);
>> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
>> + struct device *mgr_dev;
>> +
>> + mutex_lock(&mgr_lock);
>> +
>> + mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev, fpga_mgr_dev_match);
>> if (!mgr_dev)
>> - return ERR_PTR(-ENODEV);
>> + goto out;
>> +
>> + mgr = __fpga_mgr_get(mgr_dev);
>> + if (IS_ERR(mgr))
>> + put_device(mgr_dev);
>>
>> - return __fpga_mgr_get(mgr_dev);
>> +out:
>> + mutex_unlock(&mgr_lock);
>> + return mgr;
>> }
>> EXPORT_SYMBOL_GPL(fpga_mgr_get);
>>
>> @@ -711,13 +721,22 @@ EXPORT_SYMBOL_GPL(fpga_mgr_get);
>> */
>> struct fpga_manager *of_fpga_mgr_get(struct device_node *node)
>> {
>> - struct device *dev;
>> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
>> + struct device *mgr_dev;
>> +
>> + mutex_lock(&mgr_lock);
>> +
>> + mgr_dev = class_find_device_by_of_node(&fpga_mgr_class, node);
>> + if (!mgr_dev)
>> + goto out;
>>
>> - dev = class_find_device_by_of_node(&fpga_mgr_class, node);
>> - if (!dev)
>> - return ERR_PTR(-ENODEV);
>> + mgr = __fpga_mgr_get(mgr_dev);
>> + if (IS_ERR(mgr))
>> + put_device(mgr_dev);
>>
>> - return __fpga_mgr_get(dev);
>> +out:
>> + mutex_unlock(&mgr_lock);
>> + return mgr;
>> }
>> EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
>>
>> @@ -727,7 +746,7 @@ EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
>> */
>> void fpga_mgr_put(struct fpga_manager *mgr)
>> {
>> - module_put(mgr->dev.parent->driver->owner);
>> + module_put(mgr->owner);
>> put_device(&mgr->dev);
>> }
>> EXPORT_SYMBOL_GPL(fpga_mgr_put);
>> @@ -806,6 +825,7 @@ fpga_mgr_register_full(struct device *parent, const struct fpga_manager_info *in
>>
>> mgr->name = info->name;
>> mgr->mops = info->mops;
>> + mgr->owner = info->mops->owner;
>> mgr->priv = info->priv;
>> mgr->compat_id = info->compat_id;
>>
>> @@ -888,7 +908,11 @@ void fpga_mgr_unregister(struct fpga_manager *mgr)
>> */
>> fpga_mgr_fpga_remove(mgr);
>>
>> + mutex_lock(&mgr_lock);
>> +
>> device_unregister(&mgr->dev);
>> +
>> + mutex_unlock(&mgr_lock);
>
> Why this part should be protected rather than the whole
> fpga_mgr_unregister()?
>
Protecting the fpga_remove() op seems unnecessary to me because it
does not affect the manager device's lifetime. Moreover, it may hold
the mutex for a long time since it was intended to interact with the
hardware to put it in a specific state before removing the driver.
> I feel the scope of the protection is unclear to me in this patch. What
> data should be protected from concurrent access by this mutex? From the
> code seems the racing of mgr dev should be protected but apparently it
> doesn't have to.
The mutex is there to ensure the lifetime of the manager device and
its context (struct fpga_manager) if fpga_mgr_get() happens to run
concurrently with the removal of the low-level module.
>
> And with this mutex, the get/put/unregister() for one mgr should be
> exclusive with another mgr, but that also seems not necessary.
>
I decided to use a static mutex because I thought putting the mutex
in the manager's context would be unsafe since its life would be tied
to the manager's life. For instance, consider the following sequence:
- A removes the low-level control module, and delete_module progresses
up to the point when it calls the module's exit function, which in turn
calls fpga_mgr_unregister().
- fpga_mgr_unregister() takes the mutex but gets descheduled before
completing the unregistering of the manager device.
- Meanwhile, B wants to get the manager (it is still there) and calls
fpga_mgr_get(), which tries to take the mutex but gets suspended since
it is held by A.
- A resumes and fpga_mgr_unregister() releases the manager device and
its context, including the mutex on which B is suspended.
We could mitigate this specific case using mutex_trylock(). However,
there will still be other problematic cases, like if fpga_mgr_get()
gets suspended right before taking the mutex and then delete_module
proceeds up to when fpga_mgr_unregister() frees the manager device
and its context.
> I think the mgr->owner & mgr->ops should be protected from concurrent
> access of delete_module & fpga_mgr_get/put(), so how about:
>
> struct fpga_manager_ops {
> struct module *owner;
> ...
> };
>
> struct fpga_manager {
> ...
> struct mutex mops_lock;
> const struct fpga_manager_ops *mops;
> ...
> };
>
>
> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
> {
> struct fpga_manager *mgr;
>
> mgr = to_fpga_manager(dev);
>
> mutex_lock(&mgr->mops_lock);
>
> if (!mgr->mops || !try_module_get(mgr->mops->owner))
> mgr = ERR_PTR(-ENODEV);
>
> mutex_unlock(&mgr->mops_lock);
>
> return mgr;
> }
>
> void fpga_mgr_unregister(struct fpga_manager *mgr)
> {
> fpga_mgr_fpga_remove(mgr);
>
> mutex_lock(&mgr->ops_lock);
> mgr->mops = NULL;
> mutex_unlock(&mgr->ops_lock);
>
> device_unregister(&mgr->dev);
> }
>
> Not actually tested.
>
I think protecting the only the ops is not enough for the same reasons.
If fpga_mgr_get() gets suspended right after class_find_device(),and
meanwhile the low-level module is removed, it resumes with a reference
to a manager device that no longer exists.
In a certain sense, however, using a mutex seems like a mitigation
that does not solve the problem at its root. I honestly still think
that taking the module's refcount right when registering the manager
is the only way that is both safe and robust against code changes.
However, my proposal was rejected.
So, if you prefer, I can drop the mutex entirely in the next version,
and we leave the responsibility of keeping all kernel pieces to the
user. It will still be an improvement over taking the low-level
module's refcount through the parent device's driver pointer.
Thanks,
Marco
On Thu, Nov 30, 2023 at 11:42:36AM +0100, Marco Pagani wrote:
>
>
> On 2023-11-25 10:11, Xu Yilun wrote:
> > On Fri, Nov 24, 2023 at 05:28:06PM +0100, Marco Pagani wrote:
> >> Add a module *owner field to the fpga_manager_ops and fpga_manager
> >> structs to protect the fpga manager against the unloading of the
> >> low-level control module while someone is holding a reference to the
> >> manager device. Low-level control modules should statically set the
> >> owner field of the fpga_manager_ops struct to THIS_MODULE. Then, when
> >> the manager is registered using fpga_mgr_register(), the value is copied
> >> into the owner field of the fpga_manager struct (that contains the
> >> device context). In this way, the manager can later use it in
> >> fpga_mgr_get() to take the low-level module's refcount. To prevent races
> >> while unloading the low-level control module, fpga_mgr_get() and part of
> >> the fpga_mgr_unregister() methods are protected with a mutex.
> >>
> >> Other changes: move put_device() from __fpga_mgr_get() to fpga_mgr_get()
> >> and of_fpga_mgr_get() to improve code clarity.
> >>
> >> Fixes: 654ba4cc0f3e ("fpga manager: ensure lifetime with of_fpga_mgr_get")
> >> Signed-off-by: Marco Pagani <[email protected]>
> >> ---
> >> drivers/fpga/fpga-mgr.c | 56 +++++++++++++++++++++++++----------
> >> include/linux/fpga/fpga-mgr.h | 4 +++
> >> 2 files changed, 44 insertions(+), 16 deletions(-)
> >>
> >> diff --git a/drivers/fpga/fpga-mgr.c b/drivers/fpga/fpga-mgr.c
> >> index 06651389c592..608605d59860 100644
> >> --- a/drivers/fpga/fpga-mgr.c
> >> +++ b/drivers/fpga/fpga-mgr.c
> >> @@ -21,6 +21,8 @@
> >> static DEFINE_IDA(fpga_mgr_ida);
> >> static const struct class fpga_mgr_class;
> >>
> >> +static DEFINE_MUTEX(mgr_lock);
> >> +
> >> struct fpga_mgr_devres {
> >> struct fpga_manager *mgr;
> >> };
> >> @@ -667,17 +669,15 @@ ATTRIBUTE_GROUPS(fpga_mgr);
> >> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
> >> {
> >> struct fpga_manager *mgr;
> >> + struct module *owner;
> >>
> >> mgr = to_fpga_manager(dev);
> >> + owner = mgr->owner;
> >>
> >> - if (!try_module_get(dev->parent->driver->owner))
> >> - goto err_dev;
> >> + if (owner && !try_module_get(owner))
> >
> > No need to test owner == NULL, try_module_get() does this.
>
> You are right. I'll remove it in the next version.
>
> >
> >> + mgr = ERR_PTR(-ENODEV);
> >>
> >> return mgr;
> >> -
> >> -err_dev:
> >> - put_device(dev);
> >> - return ERR_PTR(-ENODEV);
> >> }
> >>
> >> static int fpga_mgr_dev_match(struct device *dev, const void *data)
> >> @@ -693,12 +693,22 @@ static int fpga_mgr_dev_match(struct device *dev, const void *data)
> >> */
> >> struct fpga_manager *fpga_mgr_get(struct device *dev)
> >> {
> >> - struct device *mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev,
> >> - fpga_mgr_dev_match);
> >> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
> >> + struct device *mgr_dev;
> >> +
> >> + mutex_lock(&mgr_lock);
> >> +
> >> + mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev, fpga_mgr_dev_match);
> >> if (!mgr_dev)
> >> - return ERR_PTR(-ENODEV);
> >> + goto out;
> >> +
> >> + mgr = __fpga_mgr_get(mgr_dev);
> >> + if (IS_ERR(mgr))
> >> + put_device(mgr_dev);
> >>
> >> - return __fpga_mgr_get(mgr_dev);
> >> +out:
> >> + mutex_unlock(&mgr_lock);
> >> + return mgr;
> >> }
> >> EXPORT_SYMBOL_GPL(fpga_mgr_get);
> >>
> >> @@ -711,13 +721,22 @@ EXPORT_SYMBOL_GPL(fpga_mgr_get);
> >> */
> >> struct fpga_manager *of_fpga_mgr_get(struct device_node *node)
> >> {
> >> - struct device *dev;
> >> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
> >> + struct device *mgr_dev;
> >> +
> >> + mutex_lock(&mgr_lock);
> >> +
> >> + mgr_dev = class_find_device_by_of_node(&fpga_mgr_class, node);
> >> + if (!mgr_dev)
> >> + goto out;
> >>
> >> - dev = class_find_device_by_of_node(&fpga_mgr_class, node);
> >> - if (!dev)
> >> - return ERR_PTR(-ENODEV);
> >> + mgr = __fpga_mgr_get(mgr_dev);
> >> + if (IS_ERR(mgr))
> >> + put_device(mgr_dev);
> >>
> >> - return __fpga_mgr_get(dev);
> >> +out:
> >> + mutex_unlock(&mgr_lock);
> >> + return mgr;
> >> }
> >> EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
> >>
> >> @@ -727,7 +746,7 @@ EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
> >> */
> >> void fpga_mgr_put(struct fpga_manager *mgr)
> >> {
> >> - module_put(mgr->dev.parent->driver->owner);
> >> + module_put(mgr->owner);
> >> put_device(&mgr->dev);
> >> }
> >> EXPORT_SYMBOL_GPL(fpga_mgr_put);
> >> @@ -806,6 +825,7 @@ fpga_mgr_register_full(struct device *parent, const struct fpga_manager_info *in
> >>
> >> mgr->name = info->name;
> >> mgr->mops = info->mops;
> >> + mgr->owner = info->mops->owner;
> >> mgr->priv = info->priv;
> >> mgr->compat_id = info->compat_id;
> >>
> >> @@ -888,7 +908,11 @@ void fpga_mgr_unregister(struct fpga_manager *mgr)
> >> */
> >> fpga_mgr_fpga_remove(mgr);
> >>
> >> + mutex_lock(&mgr_lock);
> >> +
> >> device_unregister(&mgr->dev);
> >> +
> >> + mutex_unlock(&mgr_lock);
> >
> > Why this part should be protected rather than the whole
> > fpga_mgr_unregister()?
> >
>
> Protecting the fpga_remove() op seems unnecessary to me because it
> does not affect the manager device's lifetime. Moreover, it may hold
> the mutex for a long time since it was intended to interact with the
> hardware to put it in a specific state before removing the driver.
>
> > I feel the scope of the protection is unclear to me in this patch. What
> > data should be protected from concurrent access by this mutex? From the
> > code seems the racing of mgr dev should be protected but apparently it
> > doesn't have to.
>
> The mutex is there to ensure the lifetime of the manager device and
> its context (struct fpga_manager) if fpga_mgr_get() happens to run
> concurrently with the removal of the low-level module.
>
> >
> > And with this mutex, the get/put/unregister() for one mgr should be
> > exclusive with another mgr, but that also seems not necessary.
> >
>
> I decided to use a static mutex because I thought putting the mutex
> in the manager's context would be unsafe since its life would be tied
> to the manager's life. For instance, consider the following sequence:
>
> - A removes the low-level control module, and delete_module progresses
> up to the point when it calls the module's exit function, which in turn
> calls fpga_mgr_unregister().
>
> - fpga_mgr_unregister() takes the mutex but gets descheduled before
> completing the unregistering of the manager device.
>
> - Meanwhile, B wants to get the manager (it is still there) and calls
> fpga_mgr_get(), which tries to take the mutex but gets suspended since
> it is held by A.
>
> - A resumes and fpga_mgr_unregister() releases the manager device and
The lifecycle of the manager device is not entirely decided by
fpga_mgr_unregister(), this func just puts/decreases the device
refcount.
Remember fpga_mgr_get() gets the device via
class_find_device()->get_device(). I assume if the valid device pointer
could be returned by class_find_device(), it would never be released by
other nice players. So I have no worry about the per manager mutex.
> its context, including the mutex on which B is suspended.
>
> We could mitigate this specific case using mutex_trylock(). However,
> there will still be other problematic cases, like if fpga_mgr_get()
> gets suspended right before taking the mutex and then delete_module
> proceeds up to when fpga_mgr_unregister() frees the manager device
> and its context.
>
> > I think the mgr->owner & mgr->ops should be protected from concurrent
> > access of delete_module & fpga_mgr_get/put(), so how about:
> >
> > struct fpga_manager_ops {
> > struct module *owner;
> > ...
> > };
> >
> > struct fpga_manager {
> > ...
> > struct mutex mops_lock;
> > const struct fpga_manager_ops *mops;
> > ...
> > };
> >
> >
> > static struct fpga_manager *__fpga_mgr_get(struct device *dev)
> > {
> > struct fpga_manager *mgr;
> >
> > mgr = to_fpga_manager(dev);
> >
> > mutex_lock(&mgr->mops_lock);
> >
> > if (!mgr->mops || !try_module_get(mgr->mops->owner))
> > mgr = ERR_PTR(-ENODEV);
> >
> > mutex_unlock(&mgr->mops_lock);
> >
> > return mgr;
> > }
> >
> > void fpga_mgr_unregister(struct fpga_manager *mgr)
> > {
> > fpga_mgr_fpga_remove(mgr);
> >
> > mutex_lock(&mgr->ops_lock);
> > mgr->mops = NULL;
> > mutex_unlock(&mgr->ops_lock);
> >
> > device_unregister(&mgr->dev);
> > }
> >
> > Not actually tested.
> >
>
> I think protecting the only the ops is not enough for the same reasons.
> If fpga_mgr_get() gets suspended right after class_find_device(),and
> meanwhile the low-level module is removed, it resumes with a reference
> to a manager device that no longer exists.
>
> In a certain sense, however, using a mutex seems like a mitigation
> that does not solve the problem at its root. I honestly still think
> that taking the module's refcount right when registering the manager
> is the only way that is both safe and robust against code changes.
I would nak either. As mentioned above, that makes rmmod vendor module
impossible. Introducing another user interface to release the module's
refcount is also a bad idea. Who decides to take the ref, who releases
it. A user has no knowledge of what is happening inside and should not
enforce.
> However, my proposal was rejected.
>
> So, if you prefer, I can drop the mutex entirely in the next version,
> and we leave the responsibility of keeping all kernel pieces to the
No, please try to fix it. Could you please reconsider my proposal?
Thanks,
Yilun
> user. It will still be an improvement over taking the low-level
> module's refcount through the parent device's driver pointer.
>
> Thanks,
> Marco
>
>
On 2023-12-02 13:16, Xu Yilun wrote:
> On Thu, Nov 30, 2023 at 11:42:36AM +0100, Marco Pagani wrote:
>>
>>
>> On 2023-11-25 10:11, Xu Yilun wrote:
>>> On Fri, Nov 24, 2023 at 05:28:06PM +0100, Marco Pagani wrote:
>>>> Add a module *owner field to the fpga_manager_ops and fpga_manager
>>>> structs to protect the fpga manager against the unloading of the
>>>> low-level control module while someone is holding a reference to the
>>>> manager device. Low-level control modules should statically set the
>>>> owner field of the fpga_manager_ops struct to THIS_MODULE. Then, when
>>>> the manager is registered using fpga_mgr_register(), the value is copied
>>>> into the owner field of the fpga_manager struct (that contains the
>>>> device context). In this way, the manager can later use it in
>>>> fpga_mgr_get() to take the low-level module's refcount. To prevent races
>>>> while unloading the low-level control module, fpga_mgr_get() and part of
>>>> the fpga_mgr_unregister() methods are protected with a mutex.
>>>>
>>>> Other changes: move put_device() from __fpga_mgr_get() to fpga_mgr_get()
>>>> and of_fpga_mgr_get() to improve code clarity.
>>>>
>>>> Fixes: 654ba4cc0f3e ("fpga manager: ensure lifetime with of_fpga_mgr_get")
>>>> Signed-off-by: Marco Pagani <[email protected]>
>>>> ---
>>>> drivers/fpga/fpga-mgr.c | 56 +++++++++++++++++++++++++----------
>>>> include/linux/fpga/fpga-mgr.h | 4 +++
>>>> 2 files changed, 44 insertions(+), 16 deletions(-)
>>>>
>>>> diff --git a/drivers/fpga/fpga-mgr.c b/drivers/fpga/fpga-mgr.c
>>>> index 06651389c592..608605d59860 100644
>>>> --- a/drivers/fpga/fpga-mgr.c
>>>> +++ b/drivers/fpga/fpga-mgr.c
>>>> @@ -21,6 +21,8 @@
>>>> static DEFINE_IDA(fpga_mgr_ida);
>>>> static const struct class fpga_mgr_class;
>>>>
>>>> +static DEFINE_MUTEX(mgr_lock);
>>>> +
>>>> struct fpga_mgr_devres {
>>>> struct fpga_manager *mgr;
>>>> };
>>>> @@ -667,17 +669,15 @@ ATTRIBUTE_GROUPS(fpga_mgr);
>>>> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
>>>> {
>>>> struct fpga_manager *mgr;
>>>> + struct module *owner;
>>>>
>>>> mgr = to_fpga_manager(dev);
>>>> + owner = mgr->owner;
>>>>
>>>> - if (!try_module_get(dev->parent->driver->owner))
>>>> - goto err_dev;
>>>> + if (owner && !try_module_get(owner))
>>>
>>> No need to test owner == NULL, try_module_get() does this.
>>
>> You are right. I'll remove it in the next version.
>>
>>>
>>>> + mgr = ERR_PTR(-ENODEV);
>>>>
>>>> return mgr;
>>>> -
>>>> -err_dev:
>>>> - put_device(dev);
>>>> - return ERR_PTR(-ENODEV);
>>>> }
>>>>
>>>> static int fpga_mgr_dev_match(struct device *dev, const void *data)
>>>> @@ -693,12 +693,22 @@ static int fpga_mgr_dev_match(struct device *dev, const void *data)
>>>> */
>>>> struct fpga_manager *fpga_mgr_get(struct device *dev)
>>>> {
>>>> - struct device *mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev,
>>>> - fpga_mgr_dev_match);
>>>> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
>>>> + struct device *mgr_dev;
>>>> +
>>>> + mutex_lock(&mgr_lock);
>>>> +
>>>> + mgr_dev = class_find_device(&fpga_mgr_class, NULL, dev, fpga_mgr_dev_match);
>>>> if (!mgr_dev)
>>>> - return ERR_PTR(-ENODEV);
>>>> + goto out;
>>>> +
>>>> + mgr = __fpga_mgr_get(mgr_dev);
>>>> + if (IS_ERR(mgr))
>>>> + put_device(mgr_dev);
>>>>
>>>> - return __fpga_mgr_get(mgr_dev);
>>>> +out:
>>>> + mutex_unlock(&mgr_lock);
>>>> + return mgr;
>>>> }
>>>> EXPORT_SYMBOL_GPL(fpga_mgr_get);
>>>>
>>>> @@ -711,13 +721,22 @@ EXPORT_SYMBOL_GPL(fpga_mgr_get);
>>>> */
>>>> struct fpga_manager *of_fpga_mgr_get(struct device_node *node)
>>>> {
>>>> - struct device *dev;
>>>> + struct fpga_manager *mgr = ERR_PTR(-ENODEV);
>>>> + struct device *mgr_dev;
>>>> +
>>>> + mutex_lock(&mgr_lock);
>>>> +
>>>> + mgr_dev = class_find_device_by_of_node(&fpga_mgr_class, node);
>>>> + if (!mgr_dev)
>>>> + goto out;
>>>>
>>>> - dev = class_find_device_by_of_node(&fpga_mgr_class, node);
>>>> - if (!dev)
>>>> - return ERR_PTR(-ENODEV);
>>>> + mgr = __fpga_mgr_get(mgr_dev);
>>>> + if (IS_ERR(mgr))
>>>> + put_device(mgr_dev);
>>>>
>>>> - return __fpga_mgr_get(dev);
>>>> +out:
>>>> + mutex_unlock(&mgr_lock);
>>>> + return mgr;
>>>> }
>>>> EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
>>>>
>>>> @@ -727,7 +746,7 @@ EXPORT_SYMBOL_GPL(of_fpga_mgr_get);
>>>> */
>>>> void fpga_mgr_put(struct fpga_manager *mgr)
>>>> {
>>>> - module_put(mgr->dev.parent->driver->owner);
>>>> + module_put(mgr->owner);
>>>> put_device(&mgr->dev);
>>>> }
>>>> EXPORT_SYMBOL_GPL(fpga_mgr_put);
>>>> @@ -806,6 +825,7 @@ fpga_mgr_register_full(struct device *parent, const struct fpga_manager_info *in
>>>>
>>>> mgr->name = info->name;
>>>> mgr->mops = info->mops;
>>>> + mgr->owner = info->mops->owner;
>>>> mgr->priv = info->priv;
>>>> mgr->compat_id = info->compat_id;
>>>>
>>>> @@ -888,7 +908,11 @@ void fpga_mgr_unregister(struct fpga_manager *mgr)
>>>> */
>>>> fpga_mgr_fpga_remove(mgr);
>>>>
>>>> + mutex_lock(&mgr_lock);
>>>> +
>>>> device_unregister(&mgr->dev);
>>>> +
>>>> + mutex_unlock(&mgr_lock);
>>>
>>> Why this part should be protected rather than the whole
>>> fpga_mgr_unregister()?
>>>
>>
>> Protecting the fpga_remove() op seems unnecessary to me because it
>> does not affect the manager device's lifetime. Moreover, it may hold
>> the mutex for a long time since it was intended to interact with the
>> hardware to put it in a specific state before removing the driver.
>>
>>> I feel the scope of the protection is unclear to me in this patch. What
>>> data should be protected from concurrent access by this mutex? From the
>>> code seems the racing of mgr dev should be protected but apparently it
>>> doesn't have to.
>>
>> The mutex is there to ensure the lifetime of the manager device and
>> its context (struct fpga_manager) if fpga_mgr_get() happens to run
>> concurrently with the removal of the low-level module.
>>
>>>
>>> And with this mutex, the get/put/unregister() for one mgr should be
>>> exclusive with another mgr, but that also seems not necessary.
>>>
>>
>> I decided to use a static mutex because I thought putting the mutex
>> in the manager's context would be unsafe since its life would be tied
>> to the manager's life. For instance, consider the following sequence:
>>
>> - A removes the low-level control module, and delete_module progresses
>> up to the point when it calls the module's exit function, which in turn
>> calls fpga_mgr_unregister().
>>
>> - fpga_mgr_unregister() takes the mutex but gets descheduled before
>> completing the unregistering of the manager device.
>>
>> - Meanwhile, B wants to get the manager (it is still there) and calls
>> fpga_mgr_get(), which tries to take the mutex but gets suspended since
>> it is held by A.
>>
>> - A resumes and fpga_mgr_unregister() releases the manager device and
>
> The lifecycle of the manager device is not entirely decided by
> fpga_mgr_unregister(), this func just puts/decreases the device
> refcount.
Right, but here I'm considering the case where no one has previously
taken the manager device. In that specific case, the refcount will be
decremented to zero, and the device (with its context) will be released.
However, you got me thinking about how the mutex is causing the problem
in this case.
>
> Remember fpga_mgr_get() gets the device via
> class_find_device()->get_device(). I assume if the valid device pointer
> could be returned by class_find_device(), it would never be released by
> other nice players. So I have no worry about the per manager mutex.
>
>> its context, including the mutex on which B is suspended.
>>
>> We could mitigate this specific case using mutex_trylock(). However,
>> there will still be other problematic cases, like if fpga_mgr_get()
>> gets suspended right before taking the mutex and then delete_module
>> proceeds up to when fpga_mgr_unregister() frees the manager device
>> and its context.
>>
>>> I think the mgr->owner & mgr->ops should be protected from concurrent
>>> access of delete_module & fpga_mgr_get/put(), so how about:
>>>
>>> struct fpga_manager_ops {
>>> struct module *owner;
>>> ...
>>> };
>>>
>>> struct fpga_manager {
>>> ...
>>> struct mutex mops_lock;
>>> const struct fpga_manager_ops *mops;
>>> ...
>>> };
>>>
>>>
>>> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
>>> {
>>> struct fpga_manager *mgr;
>>>
>>> mgr = to_fpga_manager(dev);
>>>
>>> mutex_lock(&mgr->mops_lock);
>>>
>>> if (!mgr->mops || !try_module_get(mgr->mops->owner))
>>> mgr = ERR_PTR(-ENODEV);
>>>
>>> mutex_unlock(&mgr->mops_lock);
>>>
>>> return mgr;
>>> }
>>>
>>> void fpga_mgr_unregister(struct fpga_manager *mgr)
>>> {
>>> fpga_mgr_fpga_remove(mgr);
>>>
>>> mutex_lock(&mgr->ops_lock);
>>> mgr->mops = NULL;
>>> mutex_unlock(&mgr->ops_lock);
>>>
>>> device_unregister(&mgr->dev);
>>> }
>>>
>>> Not actually tested.
>>>
>>
>> I think protecting the only the ops is not enough for the same reasons.
>> If fpga_mgr_get() gets suspended right after class_find_device(),and
>> meanwhile the low-level module is removed, it resumes with a reference
>> to a manager device that no longer exists.
>>
>> In a certain sense, however, using a mutex seems like a mitigation
>> that does not solve the problem at its root. I honestly still think
>> that taking the module's refcount right when registering the manager
>> is the only way that is both safe and robust against code changes.
>
> I would nak either. As mentioned above, that makes rmmod vendor module
> impossible. Introducing another user interface to release the module's
> refcount is also a bad idea. Who decides to take the ref, who releases
> it. A user has no knowledge of what is happening inside and should not
> enforce.
>
>> However, my proposal was rejected.
>>
>> So, if you prefer, I can drop the mutex entirely in the next version,
>> and we leave the responsibility of keeping all kernel pieces to the
>
> No, please try to fix it. Could you please reconsider my proposal?
>
I have considered it and thought about it. However, I don't think we need a
mutex to protect mgr->mops. This is because the low-level module's refcount has
already been decremented when fpga_mgr_unregister() is called by the module's
exit function. So, when we get to the point of executing fpga_mgr_unregister(),
any concurrent call to try_module_get() will fail (if no one has taken the
module before) without the need to check mops first.
If we assume (as you pointed out) that class_find_device() can be safely
executed concurrently with device_unregister() (returning either a valid dev
pointer or null) and, consequently, the manager context is guaranteed to exist
after that point. Then, we should be good without the mutex if we call
try_module_get() on a copy of the owner pointer stored in the manager context.
>> user. It will still be an improvement over taking the low-level
>> module's refcount through the parent device's driver pointer.
>>
Thanks,
Marco
> >>> I feel the scope of the protection is unclear to me in this patch. What
> >>> data should be protected from concurrent access by this mutex? From the
> >>> code seems the racing of mgr dev should be protected but apparently it
> >>> doesn't have to.
> >>
> >> The mutex is there to ensure the lifetime of the manager device and
> >> its context (struct fpga_manager) if fpga_mgr_get() happens to run
> >> concurrently with the removal of the low-level module.
> >>
> >>>
> >>> And with this mutex, the get/put/unregister() for one mgr should be
> >>> exclusive with another mgr, but that also seems not necessary.
> >>>
> >>
> >> I decided to use a static mutex because I thought putting the mutex
> >> in the manager's context would be unsafe since its life would be tied
> >> to the manager's life. For instance, consider the following sequence:
> >>
> >> - A removes the low-level control module, and delete_module progresses
> >> up to the point when it calls the module's exit function, which in turn
> >> calls fpga_mgr_unregister().
> >>
> >> - fpga_mgr_unregister() takes the mutex but gets descheduled before
> >> completing the unregistering of the manager device.
> >>
> >> - Meanwhile, B wants to get the manager (it is still there) and calls
> >> fpga_mgr_get(), which tries to take the mutex but gets suspended since
> >> it is held by A.
> >>
> >> - A resumes and fpga_mgr_unregister() releases the manager device and
> >
> > The lifecycle of the manager device is not entirely decided by
> > fpga_mgr_unregister(), this func just puts/decreases the device
> > refcount.
>
> Right, but here I'm considering the case where no one has previously
> taken the manager device. In that specific case, the refcount will be
I don't think this is valid, anyone should firstly get the manager
device via get_device() then try to access its context.
> decremented to zero, and the device (with its context) will be released.
If no one has taken the manager device, the device & its context are
safe to be released.
>
> However, you got me thinking about how the mutex is causing the problem
> in this case.
>
> >
> > Remember fpga_mgr_get() gets the device via
> > class_find_device()->get_device(). I assume if the valid device pointer
> > could be returned by class_find_device(), it would never be released by
> > other nice players. So I have no worry about the per manager mutex.
> >
> >> its context, including the mutex on which B is suspended.
> >>
> >> We could mitigate this specific case using mutex_trylock(). However,
> >> there will still be other problematic cases, like if fpga_mgr_get()
> >> gets suspended right before taking the mutex and then delete_module
> >> proceeds up to when fpga_mgr_unregister() frees the manager device
> >> and its context.
> >>
> >>> I think the mgr->owner & mgr->ops should be protected from concurrent
> >>> access of delete_module & fpga_mgr_get/put(), so how about:
> >>>
> >>> struct fpga_manager_ops {
> >>> struct module *owner;
> >>> ...
> >>> };
> >>>
> >>> struct fpga_manager {
> >>> ...
> >>> struct mutex mops_lock;
> >>> const struct fpga_manager_ops *mops;
> >>> ...
> >>> };
> >>>
> >>>
> >>> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
> >>> {
> >>> struct fpga_manager *mgr;
> >>>
> >>> mgr = to_fpga_manager(dev);
> >>>
> >>> mutex_lock(&mgr->mops_lock);
> >>>
> >>> if (!mgr->mops || !try_module_get(mgr->mops->owner))
> >>> mgr = ERR_PTR(-ENODEV);
> >>>
> >>> mutex_unlock(&mgr->mops_lock);
> >>>
> >>> return mgr;
> >>> }
> >>>
> >>> void fpga_mgr_unregister(struct fpga_manager *mgr)
> >>> {
> >>> fpga_mgr_fpga_remove(mgr);
> >>>
> >>> mutex_lock(&mgr->ops_lock);
> >>> mgr->mops = NULL;
> >>> mutex_unlock(&mgr->ops_lock);
> >>>
> >>> device_unregister(&mgr->dev);
> >>> }
> >>>
> >>> Not actually tested.
> >>>
> >>
> >> I think protecting the only the ops is not enough for the same reasons.
> >> If fpga_mgr_get() gets suspended right after class_find_device(),and
> >> meanwhile the low-level module is removed, it resumes with a reference
> >> to a manager device that no longer exists.
> >>
> >> In a certain sense, however, using a mutex seems like a mitigation
> >> that does not solve the problem at its root. I honestly still think
> >> that taking the module's refcount right when registering the manager
> >> is the only way that is both safe and robust against code changes.
> >
> > I would nak either. As mentioned above, that makes rmmod vendor module
> > impossible. Introducing another user interface to release the module's
> > refcount is also a bad idea. Who decides to take the ref, who releases
> > it. A user has no knowledge of what is happening inside and should not
> > enforce.
> >
> >> However, my proposal was rejected.
> >>
> >> So, if you prefer, I can drop the mutex entirely in the next version,
> >> and we leave the responsibility of keeping all kernel pieces to the
> >
> > No, please try to fix it. Could you please reconsider my proposal?
> >
>
> I have considered it and thought about it. However, I don't think we need a
> mutex to protect mgr->mops. This is because the low-level module's refcount has
> already been decremented when fpga_mgr_unregister() is called by the module's
> exit function. So, when we get to the point of executing fpga_mgr_unregister(),
> any concurrent call to try_module_get() will fail (if no one has taken the
Are you still taking care of your previous finding [1]? It says:
To be clear, you should only use try_module_get() *iff* you are 100% sure
the module already does exist ...
IIUC, if you do nothing on fpga_mgr_unregister(), the low-level module may
just disappear and any copy of the owner pointer became invalid. Then
try_module_get() would not fail but panic.
[1] 557aafac1153 ("kernel/module: add documentation for try_module_get()")
Thanks,
Yilun
> module before) without the need to check mops first.
>
> If we assume (as you pointed out) that class_find_device() can be safely
> executed concurrently with device_unregister() (returning either a valid dev
> pointer or null) and, consequently, the manager context is guaranteed to exist
> after that point. Then, we should be good without the mutex if we call
> try_module_get() on a copy of the owner pointer stored in the manager context.
>
> >> user. It will still be an improvement over taking the low-level
> >> module's refcount through the parent device's driver pointer.
> >>
>
> Thanks,
> Marco
>
>
On 2023-12-09 16:27, Xu Yilun wrote:
>>>>> I feel the scope of the protection is unclear to me in this patch. What
>>>>> data should be protected from concurrent access by this mutex? From the
>>>>> code seems the racing of mgr dev should be protected but apparently it
>>>>> doesn't have to.
>>>>
>>>> The mutex is there to ensure the lifetime of the manager device and
>>>> its context (struct fpga_manager) if fpga_mgr_get() happens to run
>>>> concurrently with the removal of the low-level module.
>>>>
>>>>>
>>>>> And with this mutex, the get/put/unregister() for one mgr should be
>>>>> exclusive with another mgr, but that also seems not necessary.
>>>>>
>>>>
>>>> I decided to use a static mutex because I thought putting the mutex
>>>> in the manager's context would be unsafe since its life would be tied
>>>> to the manager's life. For instance, consider the following sequence:
>>>>
>>>> - A removes the low-level control module, and delete_module progresses
>>>> up to the point when it calls the module's exit function, which in turn
>>>> calls fpga_mgr_unregister().
>>>>
>>>> - fpga_mgr_unregister() takes the mutex but gets descheduled before
>>>> completing the unregistering of the manager device.
>>>>
>>>> - Meanwhile, B wants to get the manager (it is still there) and calls
>>>> fpga_mgr_get(), which tries to take the mutex but gets suspended since
>>>> it is held by A.
>>>>
>>>> - A resumes and fpga_mgr_unregister() releases the manager device and
>>>
>>> The lifecycle of the manager device is not entirely decided by
>>> fpga_mgr_unregister(), this func just puts/decreases the device
>>> refcount.
>>
>> Right, but here I'm considering the case where no one has previously
>> taken the manager device. In that specific case, the refcount will be
>
> I don't think this is valid, anyone should firstly get the manager
> device via get_device() then try to access its context.
>
>> decremented to zero, and the device (with its context) will be released.
>
> If no one has taken the manager device, the device & its context are
> safe to be released.
>
>>
>> However, you got me thinking about how the mutex is causing the problem
>> in this case.
>>
>>>
>>> Remember fpga_mgr_get() gets the device via
>>> class_find_device()->get_device(). I assume if the valid device pointer
>>> could be returned by class_find_device(), it would never be released by
>>> other nice players. So I have no worry about the per manager mutex.
>>>
>>>> its context, including the mutex on which B is suspended.
>>>>
>>>> We could mitigate this specific case using mutex_trylock(). However,
>>>> there will still be other problematic cases, like if fpga_mgr_get()
>>>> gets suspended right before taking the mutex and then delete_module
>>>> proceeds up to when fpga_mgr_unregister() frees the manager device
>>>> and its context.
>>>>
>>>>> I think the mgr->owner & mgr->ops should be protected from concurrent
>>>>> access of delete_module & fpga_mgr_get/put(), so how about:
>>>>>
>>>>> struct fpga_manager_ops {
>>>>> struct module *owner;
>>>>> ...
>>>>> };
>>>>>
>>>>> struct fpga_manager {
>>>>> ...
>>>>> struct mutex mops_lock;
>>>>> const struct fpga_manager_ops *mops;
>>>>> ...
>>>>> };
>>>>>
>>>>>
>>>>> static struct fpga_manager *__fpga_mgr_get(struct device *dev)
>>>>> {
>>>>> struct fpga_manager *mgr;
>>>>>
>>>>> mgr = to_fpga_manager(dev);
>>>>>
>>>>> mutex_lock(&mgr->mops_lock);
>>>>>
>>>>> if (!mgr->mops || !try_module_get(mgr->mops->owner))
>>>>> mgr = ERR_PTR(-ENODEV);
>>>>>
>>>>> mutex_unlock(&mgr->mops_lock);
>>>>>
>>>>> return mgr;
>>>>> }
>>>>>
>>>>> void fpga_mgr_unregister(struct fpga_manager *mgr)
>>>>> {
>>>>> fpga_mgr_fpga_remove(mgr);
>>>>>
>>>>> mutex_lock(&mgr->ops_lock);
>>>>> mgr->mops = NULL;
>>>>> mutex_unlock(&mgr->ops_lock);
>>>>>
>>>>> device_unregister(&mgr->dev);
>>>>> }
>>>>>
>>>>> Not actually tested.
>>>>>
>>>>
>>>> I think protecting the only the ops is not enough for the same reasons.
>>>> If fpga_mgr_get() gets suspended right after class_find_device(),and
>>>> meanwhile the low-level module is removed, it resumes with a reference
>>>> to a manager device that no longer exists.
>>>>
>>>> In a certain sense, however, using a mutex seems like a mitigation
>>>> that does not solve the problem at its root. I honestly still think
>>>> that taking the module's refcount right when registering the manager
>>>> is the only way that is both safe and robust against code changes.
>>>
>>> I would nak either. As mentioned above, that makes rmmod vendor module
>>> impossible. Introducing another user interface to release the module's
>>> refcount is also a bad idea. Who decides to take the ref, who releases
>>> it. A user has no knowledge of what is happening inside and should not
>>> enforce.
>>>
>>>> However, my proposal was rejected.
>>>>
>>>> So, if you prefer, I can drop the mutex entirely in the next version,
>>>> and we leave the responsibility of keeping all kernel pieces to the
>>>
>>> No, please try to fix it. Could you please reconsider my proposal?
>>>
>>
>> I have considered it and thought about it. However, I don't think we need a
>> mutex to protect mgr->mops. This is because the low-level module's refcount has
>> already been decremented when fpga_mgr_unregister() is called by the module's
>> exit function. So, when we get to the point of executing fpga_mgr_unregister(),
>> any concurrent call to try_module_get() will fail (if no one has taken the
>
> Are you still taking care of your previous finding [1]? It says:
>
> To be clear, you should only use try_module_get() *iff* you are 100% sure
> the module already does exist ...
>
> IIUC, if you do nothing on fpga_mgr_unregister(), the low-level module may
> just disappear and any copy of the owner pointer became invalid. Then
> try_module_get() would not fail but panic.
>
> [1] 557aafac1153 ("kernel/module: add documentation for try_module_get()")
>
You are right. I'll follow your proposal for locking. I would have preferred a
solution that kept the module locked until it was safe to remove it, but I
cannot come up with anything reasonable at the moment.
>
>> module before) without the need to check mops first.
>>
>> If we assume (as you pointed out) that class_find_device() can be safely
>> executed concurrently with device_unregister() (returning either a valid dev
>> pointer or null) and, consequently, the manager context is guaranteed to exist
>> after that point. Then, we should be good without the mutex if we call
>> try_module_get() on a copy of the owner pointer stored in the manager context.
>>
>>>> user. It will still be an improvement over taking the low-level
>>>> module's refcount through the parent device's driver pointer.
>>>>
Thanks,
Marco