Loading…
Shanghai, China
June 24–26, 2019
Click here for more information and registration

Simultaneous translation will be provided for all keynote and breakout sessions.
我们将为所有主题演讲和分组会议提供同声传译服务。

To view the Chinese version of this schedule please go here.
请点击此处查看中文版本。

Venue + Sponsor Showcase Map
场馆 + 赞助商展示区地图
Tuesday, June 25 • 15:05 - 15:40
Recursive Read Deadlocks and Where to Find Them - Boqun Feng, Huawei

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
Lockdep (the deadlock detector in the Linux kernel) is a powerful tool to detect deadlocks, and has been used for a long time by kernel developers. However, when comes to read/write lock deadlock detections, lockdep only has limited support. Another thing makes this limited support worse is some major architectures (x86 and arm64) has switched or is trying to switch its rwlock implementation to queued rwlock. One example is we found some deadlock cases that happened in kernel but we could not detect it with lockdep.

To improve this situation, a patchset to support read/write deadlock detection in lockdep has been post to lkml and got to its v6.

This topic will give a brief introduction on rwlock related deadlocks (recursive read deadlocks) and how we can tweak lockdep to detect them. It will focus on the detection algorithm and its correctness, but also some implementation details.

Speakers
BF

Boqun Feng

Software Engineer, Huawei
Boqun Feng is an active developer in Linux kernel community. He focuses on parallel programming areas in Linux kernel (atomics/locks/rcu). He is the dedicated reviewer for atomic subsystem and co-maintainer of both Linux Kernel Memory Model and Restartable Sequence in Linux kernel... Read More →



Tuesday June 25, 2019 15:05 - 15:40
518