treewide: fix interrupted release
Subsystems (7)
cover treewide: fix interrupted release
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Note that all but the s390 patch have only been compile tested, while the s390 one has not even been built.
Johan
Johan Hovold (4):
drm/msm: fix memleak on release
media: bdisp: fix memleak on release
media: radio: wl1273: fix interrupt masking on release s390/zcrypt: fix memleak at release
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- drivers/media/platform/sti/bdisp/bdisp-v4l2.c | 3 +-- drivers/media/radio/radio-wl1273.c | 3 +-- drivers/s390/crypto/zcrypt_api.c | 3 +-- 4 files changed, 4 insertions(+), 11 deletions(-)
Signature · 1 line
2.23.0
PATCH 1/4 drm/msm: fix memleak on release
If a process is interrupted while accessing the "gpu" debugfs file and the drm device struct_mutex is contended, release() could return early and fail to free related resources.
Note that the return value from release() is ignored.
--- drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)
drivers/gpu/drm/msm/msm_debugfs.c +1 -5
@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret; +mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);
Signature · 1 line
2.23.0
Re: [PATCH 1/4] drm/msm: fix memleak on release
Quoted 4 lines · Johan Hovold
If a process is interrupted while accessing the "gpu" debugfs file and the drm device
struct_mutexis contended,release()could return early and fail to free related resources.
Quoted 8 lines
Note that the return value from
release()is ignored.Fixes 4f776f4511c7 ("drm/msm/gpu: Convert the GPU show function to use the GPU state")Cc stable <[email protected]> # 4.18Cc Jordan Crouse <[email protected]>Cc Rob Clark <[email protected]>Signed-off-by Johan Hovold <[email protected]>---
Rob, Sean,
Sending a reminder about this one, which is not yet in linux-next.
Perhaps Daniel can pick it up otherwise?
Thanks,
Johan
Quoted 10 lines
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)drivers/gpu/drm/msm/msm_debugfs.c +0
-0@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;
drivers/gpu/drm/msm/msm_debugfs.c static int msm_gpu_release(struct inode *inode, struct file *file) · line 53
Quoted 10 lines
drivers/gpu/drm/msm/msm_debugfs.c +1
-5struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret; +mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);
_______________________________________________
Freedreno mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/freedreno
Re: [PATCH 1/4] drm/msm: fix memleak on release
Quoted 14 lines · Johan Hovold
Quoted 4 lines · Johan Hovold
If a process is interrupted while accessing the "gpu" debugfs file and the drm device
struct_mutexis contended,release()could return early and fail to free related resources.Quoted 8 lines
Note that the return value from
release()is ignored.Fixes 4f776f4511c7 ("drm/msm/gpu: Convert the GPU show function to use the GPU state")Cc stable <[email protected]> # 4.18Cc Jordan Crouse <[email protected]>Cc Rob Clark <[email protected]>Signed-off-by Johan Hovold <[email protected]>---
Quoted 5 lines
Rob, Sean,
Sending a reminder about this one, which is not yet in linux-next.
Perhaps Daniel can pick it up otherwise?
Another two weeks, another reminder. This one is still not in -next.
Johan
Quoted 20 lines
Quoted 20 lines
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)drivers/gpu/drm/msm/msm_debugfs.c +1
-5@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret; +mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);
Re: [PATCH 1/4] drm/msm: fix memleak on release
Quoted 15 lines · Johan Hovold
Quoted 14 lines · Johan Hovold
Quoted 12 lines · Johan Hovold
If a process is interrupted while accessing the "gpu" debugfs file and the drm device
struct_mutexis contended,release()could return early and fail to free related resources.Note that the return value from
release()is ignored.Fixes 4f776f4511c7 ("drm/msm/gpu: Convert the GPU show function to use the GPU state")Cc stable <[email protected]> # 4.18Cc Jordan Crouse <[email protected]>Cc Rob Clark <[email protected]>Signed-off-by Johan Hovold <[email protected]>---
Quoted 7 lines
Quoted 5 lines
Rob, Sean,
Sending a reminder about this one, which is not yet in linux-next.
Perhaps Daniel can pick it up otherwise?
Another two weeks, another reminder. This one is still not in -next.
Well msm is maintained in a separate tree, so the usual group maintainer fallback for when patches are stuck doesn't apply.
Rob, Sean, time to reconsider drm-misc for msm? I think there's some more oddball patches that occasionally get stuck for msm ...
Also +Dave.
-Daniel
Quoted 23 lines
Johan
Quoted 20 lines
Quoted 20 lines
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)drivers/gpu/drm/msm/msm_debugfs.c +1
-5@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret; +mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);
Signature · 3 lines
Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch
Rob Clark
Reviewed-byRe: [PATCH 1/4] drm/msm: fix memleak on release
Quoted 19 lines · Daniel Vetter
Quoted 17 lines · Johan Hovold
Quoted 16 lines · Johan Hovold
Quoted 4 lines · Johan Hovold
If a process is interrupted while accessing the "gpu" debugfs file and the drm device
struct_mutexis contended,release()could return early and fail to free related resources.Quoted 8 lines
Note that the return value from
release()is ignored.Fixes 4f776f4511c7 ("drm/msm/gpu: Convert the GPU show function to use the GPU state")Cc stable <[email protected]> # 4.18Cc Jordan Crouse <[email protected]>Cc Rob Clark <[email protected]>Signed-off-by Johan Hovold <[email protected]>---
Rob, Sean,
Quoted 8 lines
Quoted 5 lines
Quoted 3 lines
Sending a reminder about this one, which is not yet in linux-next.
Perhaps Daniel can pick it up otherwise?
Another two weeks, another reminder. This one is still not in -next.
Well msm is maintained in a separate tree, so the usual group maintainer fallback for when patches are stuck doesn't apply.
oh, sorry, this wasn't showing up in patchwork.. or rather it did but the non-msm related series subject made me overlook it.
I've already sent a PR, but this shouldn't conflict with anything and I think it can go in via drm-misc/fixes
Quoted 34 lines
Rob, Sean, time to reconsider drm-misc for msm? I think there's some more oddball patches that occasionally get stuck for msm ...
Also +Dave.
-DanielQuoted 20 lines
Johan
Quoted 17 lines
Quoted 17 lines
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)drivers/gpu/drm/msm/msm_debugfs.c +0
-5@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret;Quoted 3 lines
Quoted 3 lines
drivers/gpu/drm/msm/msm_debugfs.c static int msm_gpu_release(struct inode *inode, struct file *file) · line 53
Quoted 3 lines
drivers/gpu/drm/msm/msm_debugfs.c +1
-0+mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);--
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
Sean Paul
reviewerRe: [PATCH 1/4] drm/msm: fix memleak on release
Quoted 29 lines · Rob Clark
Quoted 19 lines · Daniel Vetter
Quoted 17 lines · Johan Hovold
Quoted 16 lines · Johan Hovold
Quoted 4 lines · Johan Hovold
If a process is interrupted while accessing the "gpu" debugfs file and the drm device
struct_mutexis contended,release()could return early and fail to free related resources.Quoted 8 lines
Note that the return value from
release()is ignored.Fixes 4f776f4511c7 ("drm/msm/gpu: Convert the GPU show function to use the GPU state")Cc stable <[email protected]> # 4.18Cc Jordan Crouse <[email protected]>Cc Rob Clark <[email protected]>Signed-off-by Johan Hovold <[email protected]>---
Rob, Sean,
Quoted 8 lines
Quoted 5 lines
Quoted 3 lines
Sending a reminder about this one, which is not yet in linux-next.
Perhaps Daniel can pick it up otherwise?
Another two weeks, another reminder. This one is still not in -next.
Well msm is maintained in a separate tree, so the usual group maintainer fallback for when patches are stuck doesn't apply.
Quoted 7 lines
oh, sorry, this wasn't showing up in patchwork.. or rather it did but the non-msm related series subject made me overlook it.
I've already sent a PR, but this shouldn't conflict with anything and I think it can go in via drm-misc/fixes
Reviewed-by Rob Clark <[email protected]>
Thanks for the patch, pushed to drm-misc-next-fixes
Sean
Quoted 35 lines
Quoted 35 lines
Rob, Sean, time to reconsider drm-misc for msm? I think there's some more oddball patches that occasionally get stuck for msm ...
Also +Dave.
-DanielQuoted 20 lines
Johan
Quoted 17 lines
Quoted 17 lines
drivers/gpu/drm/msm/msm_debugfs.c | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-)drivers/gpu/drm/msm/msm_debugfs.c +0
-5@@ -47,12 +47,8 @@ static int msm_gpu_release(struct inode *inode, struct file *file)struct msm_gpu_show_priv *show_priv = m->private;struct msm_drm_private *priv = show_priv->dev->dev_private;struct msm_gpu *gpu = priv->gpu; -int ret; - - ret =mutex_lock_interruptible (&show_priv->dev->struct_mutex); -if (ret) -return ret;Quoted 3 lines
Quoted 3 lines
drivers/gpu/drm/msm/msm_debugfs.c static int msm_gpu_release(struct inode *inode, struct file *file) · line 53
Quoted 3 lines
drivers/gpu/drm/msm/msm_debugfs.c +1
-0+mutex_lock (&show_priv->dev->struct_mutex); gpu->funcs->gpu_state_put (show_priv->state);mutex_unlock (&show_priv->dev->struct_mutex);--
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
Signature · 1 line
Sean Paul, Software Engineer, Google / Chromium OS
PATCH 2/4 media: bdisp: fix memleak on release
In reply to Johan HovoldIf a process is interrupted while accessing the video device and the device lock is contended, release() could return early and fail to free related resources.
Note that the return value of the v4l2 release file operation is ignored.
--- drivers/media/platform/sti/bdisp/bdisp-v4l2.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)
drivers/media/platform/sti/bdisp/bdisp-v4l2.c +1 -2
@@ -651,8 +651,7 @@ static int bdisp_release(struct file *file)dev_dbg (bdisp->dev,"%s\n" , __func__); -if (mutex_lock_interruptible (&bdisp->lock)) -return -ERESTARTSYS ; +mutex_lock (&bdisp->lock);v4l2_m2m_ctx_release (ctx->fh.m2m_ctx);
Signature · 6 lines
2.23.0 _______________________________________________ dri-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dri-devel
Re: [PATCH 2/4] media: bdisp: fix memleak on release
Hi Johan
Thank you for the patch
BR
Fabien
Quoted 7 lines · Johan Hovold
If a process is interrupted while accessing the video device and the device lock is contended,
release()could return early and fail to free related resources.Note that the return value of the v4l2 release file operation is ignored.
Quoted 6 lines
Fixes 28ffeebbb7bd ("[media] bdisp: 2D blitter driver using v4l2 mem2mem framework")Cc stable <[email protected]> # 4.2Cc Fabien Dessenne <[email protected]>Cc Hans Verkuil <[email protected]>Cc Mauro Carvalho Chehab <[email protected]>Signed-off-by Johan Hovold <[email protected]>
Quoted 18 lines
--- drivers/media/platform/sti/bdisp/bdisp-v4l2.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)drivers/media/platform/sti/bdisp/bdisp-v4l2.c +1
-2@@ -651,8 +651,7 @@ static int bdisp_release(struct file *file)dev_dbg (bdisp->dev,"%s\n" , __func__); -if (mutex_lock_interruptible (&bdisp->lock)) -return -ERESTARTSYS ; +mutex_lock (&bdisp->lock);v4l2_m2m_ctx_release (ctx->fh.m2m_ctx);
PATCH 3/4 media: radio: wl1273: fix interrupt masking on release
In reply to Johan HovoldIf a process is interrupted while accessing the radio device and the core lock is contended, release() could return early and fail to update the interrupt mask.
Note that the return value of the v4l2 release file operation is ignored.
--- drivers/media/radio/radio-wl1273.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)
drivers/media/radio/radio-wl1273.c +1 -2
@@ -1148,8 +1148,7 @@ static int wl1273_fm_fops_release(struct file *file)if (radio->rds_users >0 ) { radio->rds_users--;if (radio->rds_users ==0 ) { -if (mutex_lock_interruptible (&core->lock)) -return -EINTR ; +mutex_lock (&core->lock); radio->irq_flags &= ~WL1273_RDS_EVENT ;
Signature · 1 line
2.23.0
PATCH 4/4 s390/zcrypt: fix memleak at release
In reply to Johan HovoldIf a process is interrupted while accessing the crypto device and the global ap_perms_mutex is contented, release() could return early and fail to free related resources.
--- drivers/s390/crypto/zcrypt_api.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)
drivers/s390/crypto/zcrypt_api.c +1 -2
@@ -522,8 +522,7 @@ static int zcrypt_release(struct inode *inode, struct file *filp)if (filp->f_inode->i_cdev == &zcrypt_cdev) {struct zcdn_device *zcdndev; -if (mutex_lock_interruptible (&ap_perms_mutex)) -return -ERESTARTSYS ; +mutex_lock (&ap_perms_mutex); zcdndev =find_zcdndev_by_devt (filp->f_inode->i_rdev);mutex_unlock (&ap_perms_mutex);if (zcdndev) {
Signature · 6 lines
2.23.0 _______________________________________________ dri-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dri-devel
Heiko Carstens
AppliedRe: [PATCH 4/4] s390/zcrypt: fix memleak at release
Quoted 4 lines · Johan Hovold
If a process is interrupted while accessing the crypto device and the global
ap_perms_mutexis contented,release()could return early and fail to free related resources.
Quoted 8 lines
Fixes 00fab2350e6b ("s390/zcrypt: multiple zcrypt device nodes support")Cc stable <[email protected]> # 4.19Cc Harald Freudenberger <[email protected]>Cc Martin Schwidefsky <[email protected]>Signed-off-by Johan Hovold <[email protected]>--- drivers/s390/crypto/zcrypt_api.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)
Applied, thanks!
Quoted 8 lines · Johan Hovold
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Note that all but the s390 patch have only been compile tested, while the s390 one has not even been built.
Random funny idea: Could we do some debug annotations (akin to might_sleep) that splats when you might_sleep_interruptible somewhere where interruptible sleeps are generally a bad idea? Like in fops->release?
Something like non_block_start/end that I've recently done, but for interruptible sleeps only? Would need might_sleep_interruptibly() annotations and non_interruptly_sleep_start/end annotations. -Daniel
Quoted 19 lines
Johan
Johan Hovold (4):
drm/msm: fix memleak on release
media: bdisp: fix memleak on release
media: radio: wl1273: fix interrupt masking on release s390/zcrypt: fix memleak at releasedrivers/gpu/drm/msm/msm_debugfs.c | 6 +----- drivers/media/platform/sti/bdisp/bdisp-v4l2.c | 3 +-- drivers/media/radio/radio-wl1273.c | 3 +-- drivers/s390/crypto/zcrypt_api.c | 3 +-- 4 files changed, 4 insertions(+), 11 deletions(-)Signature · 1 line
2.23.0
Signature · 7 lines
Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch _______________________________________________ Freedreno mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/freedreno
Quoted 11 lines · Daniel Vetter
Quoted 5 lines · Johan Hovold
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Random funny idea: Could we do some debug annotations (akin to
might_sleep) that splats when youmight_sleep_interruptiblesomewhere where interruptible sleeps are generally a bad idea? Like infops->release?
There's nothing wrong with interruptible sleep in fops->release per se, it's just that drivers cannot return -ERESTARTSYS and friends and expect to be called again later.
The return value from release() is ignored by vfs, and adding a splat in __fput() to catch these buggy drivers might be overkill.
Johan
Quoted 8 lines · Johan Hovold
Quoted 6 lines · Daniel Vetter
Quoted 5 lines · Johan Hovold
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Quoted 8 lines
Quoted 4 lines
Random funny idea: Could we do some debug annotations (akin to
might_sleep) that splats when youmight_sleep_interruptiblesomewhere where interruptible sleeps are generally a bad idea? Like infops->release?There's nothing wrong with interruptible sleep in
fops->releaseper se, it's just that drivers cannot return-ERESTARTSYSand friends and expect to be called again later.
Do you have a legit usecase for interruptible sleeps in fops->release?
I'm not even sure killable is legit in there, since it's an fd, not a process context ...
Quoted 2 lines
The return value from
release()is ignored by vfs, and adding a splat in__fput()to catch these buggy drivers might be overkill.
Ime once you have a handful of instances of a broken pattern, creating a check for it (under a debug option only ofc) is very much justified. Otherwise they just come back to life like the undead, all the time. And there's a _lot_ of fops->release callbacks in the kernel. -Daniel
Signature · 3 lines
Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch
Quoted 14 lines · Daniel Vetter
Quoted 13 lines · Johan Hovold
Quoted 11 lines · Daniel Vetter
Quoted 5 lines · Johan Hovold
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Random funny idea: Could we do some debug annotations (akin to
might_sleep) that splats when youmight_sleep_interruptiblesomewhere where interruptible sleeps are generally a bad idea? Like infops->release?
Quoted 5 lines
Quoted 3 lines
There's nothing wrong with interruptible sleep in
fops->releaseper se, it's just that drivers cannot return-ERESTARTSYSand friends and expect to be called again later.Do you have a legit usecase for interruptible sleeps in
fops->release?
The tty layer depends on this for example when waiting for buffered writes to complete (something which may never happen when using flow control).
Quoted 2 lines
I'm not even sure killable is legit in there, since it's an fd, not a process context ...
It will be run in process context in many cases, and for ttys we're good AFAICT.
Quoted 7 lines
Quoted 2 lines
The return value from
release()is ignored by vfs, and adding a splat in__fput()to catch these buggy drivers might be overkill.Ime once you have a handful of instances of a broken pattern, creating a check for it (under a debug option only ofc) is very much justified. Otherwise they just come back to life like the undead, all the time. And there's a _lot_ of
fops->releasecallbacks in the kernel.
Yeah, you have a point.
But take tty again as an example, the close tty operation called from release() is declared void so there's no propagated return value for vfs to check.
It may even be better to fix up the 100 or so callbacks potentially returning non-zero and make fops->release void so that the compiler would help us catch any future bugs and also serve as a hint for developers that returning errnos from fops->release is probably not what you want to do.
But that's a lot of churn of course.
Johan
Quoted 25 lines · Johan Hovold
Quoted 14 lines · Daniel Vetter
Quoted 13 lines · Johan Hovold
Quoted 11 lines · Daniel Vetter
Quoted 5 lines · Johan Hovold
Two old USB drivers had a bug in them which could lead to memory leaks if an interrupted process raced with a disconnect event.
Turns out we had a few more driver in other subsystems with the same kind of bug in them.
Random funny idea: Could we do some debug annotations (akin to
might_sleep) that splats when youmight_sleep_interruptiblesomewhere where interruptible sleeps are generally a bad idea? Like infops->release?Quoted 5 lines
Quoted 3 lines
There's nothing wrong with interruptible sleep in
fops->releaseper se, it's just that drivers cannot return-ERESTARTSYSand friends and expect to be called again later.Do you have a legit usecase for interruptible sleeps in
fops->release?The tty layer depends on this for example when waiting for buffered writes to complete (something which may never happen when using flow control).
Quoted 5 lines
Quoted 2 lines
I'm not even sure killable is legit in there, since it's an fd, not a process context ...
It will be run in process context in many cases, and for ttys we're good AFAICT.
Huh, read it a bit, all the ->shutdown callbacks have void return type. But there's indeed interruptible sleeps in there. Doesn't this break userspace that expects that a close() actually flushes the tty?
Imo if you're ->release callbacks feels like it should do a wait to guaranteed something userspace expects, then doing a wait_interruptible/killable feels like a bug. Or alternatively, the wait isn't really needed in the first place.
Quoted 14 lines
Quoted 7 lines
Quoted 2 lines
The return value from
release()is ignored by vfs, and adding a splat in__fput()to catch these buggy drivers might be overkill.Ime once you have a handful of instances of a broken pattern, creating a check for it (under a debug option only ofc) is very much justified. Otherwise they just come back to life like the undead, all the time. And there's a _lot_ of
fops->releasecallbacks in the kernel.Yeah, you have a point.
But take tty again as an example, the close tty operation called from
release()is declared void so there's no propagated return value for vfs to check.
Quoted 7 lines
It may even be better to fix up the 100 or so callbacks potentially returning non-zero and make
fops->releasevoid so that the compiler would help us catch any future bugs and also serve as a hint for developers that returning errnos fromfops->releaseis probably not what you want to do.But that's a lot of churn of course.
Hm indeed ->release has int as return type. I guess that's needed for file I/O errno and similar stuff ...
Still void return value doesn't catch funny stuff like doing interruptible waits and occasionally failing if you have a process that likes to use signals and also uses some library somewhere to do something. In graphics we have that, with Xorg loving signals for various things. -Daniel
Signature · 7 lines
Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch _______________________________________________ Freedreno mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/freedreno
Quoted 12 lines · Daniel Vetter
Quoted 11 lines · Johan Hovold
Quoted 1 line · Daniel Vetter
Do you have a legit usecase for interruptible sleeps in
fops->release?The tty layer depends on this for example when waiting for buffered writes to complete (something which may never happen when using flow control).
Quoted 2 lines
I'm not even sure killable is legit in there, since it's an fd, not a process context ...
Quoted 6 lines
Quoted 2 lines
It will be run in process context in many cases, and for ttys we're good AFAICT.
Huh, read it a bit, all the ->shutdown callbacks have void return type. But there's indeed interruptible sleeps in there. Doesn't this break userspace that expects that a
close()actually flushes the tty?
This behaviour has been there since "forever" so the problem is rather the other way round; changing it now might break user space.
Quoted 4 lines
Imo if you're ->release callbacks feels like it should do a wait to guaranteed something userspace expects, then doing a wait_interruptible/killable feels like a bug. Or alternatively, the wait isn't really needed in the first place.
Posix says that the final tty close should cause any output to be sent. And as mentioned before, due to flow control this may never finish. So for usability reasons, you want to be able to interrupt that final close, while removing the flush completely would break applications currently expecting output to be flushed.
Also note that we have an interface for controlling how long to wait for data to be sent (typically 30 s by default, but can be set to wait forever).
Quoted 22 lines
Quoted 14 lines
Quoted 7 lines
Quoted 2 lines
The return value from
release()is ignored by vfs, and adding a splat in__fput()to catch these buggy drivers might be overkill.Ime once you have a handful of instances of a broken pattern, creating a check for it (under a debug option only ofc) is very much justified. Otherwise they just come back to life like the undead, all the time. And there's a _lot_ of
fops->releasecallbacks in the kernel.Yeah, you have a point.
But take tty again as an example, the close tty operation called from
release()is declared void so there's no propagated return value for vfs to check.Quoted 7 lines
It may even be better to fix up the 100 or so callbacks potentially returning non-zero and make
fops->releasevoid so that the compiler would help us catch any future bugs and also serve as a hint for developers that returning errnos fromfops->releaseis probably not what you want to do.But that's a lot of churn of course.
Quoted 7 lines
Hm indeed ->release has int as return type. I guess that's needed for file I/O errno and similar stuff ...
Still void return value doesn't catch funny stuff like doing interruptible waits and occasionally failing if you have a process that likes to use signals and also uses some library somewhere to do something. In graphics we have that, with Xorg loving signals for various things.
Right, but since there arguable are legitimate uses for interruptible sleep at release(), I don't see how we can catch that at runtime.
Johan