On 2021/8/19 23:55, David Teigland wrote:
On Thu, Aug 19, 2021 at 04:54:57PM +0800, Jia-Ju Bai wrote:
Hello,
My static analysis tool reports a possible ABBA deadlock in the dlm
filesystem in Linux 5.10:
dlm_recover_waiters_pre()
mutex_lock(>ls_waiters_mutex); --> lin
r this possible deadlock is real and how to
fix it if it is real.
Any feedback would be appreciated, thanks :)
Reported-by: TOTE Robot
Best wishes,
Jia-Ju Bai
Thanks for the reply :)
On 2019/7/24 17:04, Steven Whitehouse wrote:
Hi,
On 24/07/2019 09:50, Jia-Ju Bai wrote:
In gfs2_rgrp_bh_get, there is an if statement on line 1191 to check
whether "rgd->rd_bits[0].bi_bh" is NULL.
That is how we detect whether the rgrp has already bee
ereferences may occur.
These bugs are found by a static analysis tool STCheck written by us.
I do not know how to correctly fix these bugs, so I only report bugs.
Best wishes,
Jia-Ju Bai
tool STCheck written by us.
Signed-off-by: Jia-Ju Bai
---
fs/gfs2/super.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/fs/gfs2/super.c b/fs/gfs2/super.c
index 0acc5834f653..c07c3f4f8451 100644
--- a/fs/gfs2/super.c
+++ b/fs/gfs2/super.c
@@ -1728,8 +1728,9 @@ static
ity of sucessful allocation.
This is found by a static analysis tool named DCNS written by myself.
And I also manually check it.
Signed-off-by: Jia-Ju Bai <baijiaju1...@gmail.com>
---
fs/dlm/lowcomms.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/fs/dlm/lowcomms.c b/fs/dlm/l
my static analysis tool and my code review.
Thanks,
Jia-Ju Bai
