[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Date: Thu, 4 Apr 2019 13:03:10 +0800
From: Yuyang Du <duyuyang@...il.com>
To: peterz@...radead.org, will.deacon@....com, mingo@...nel.org
Cc: Bart Van Assche <bvanassche@....org>, linux-kernel@...r.kernel.org
Subject: Question on a lockdep test case about mixed read-write ABBA
Hi Peter,
I observed this test case you wrote in Commit: e9149858974606
("locking/lockdep/selftests: Add mixed read-write ABBA").
static void rwsem_ABBA2(void)
{
RSL(X1);
ML(Y1);
MU(Y1);
RSU(X1);
ML(Y1);
RSL(X1);
RSU(X1);
MU(Y1); // should fail
}
Why should it fail? This is not a deadlock, right? The depencencies
would be built by lockdep though; that results in a false positive.
Thanks,
Yuyang
Powered by blists - more mailing lists