Feature #2717
open
102: Check that skb doesn't allocated in pm_runtime context
Added by Evgeny Novikov about 12 years ago.
Updated over 11 years ago.
Description
When netdev_alloc_skb (that calls __netdev_alloc_skb with GFP_ATOMIC flag) is called with obtained pm_runtime (device run-time power management) it leads to sleep in atomic context. We should avoid this.
Model 102_1a will try to fix this.
Commit b2f601b of the master branch add a new model, 102_1a, that finds an error from our classifier (commit 431e8d4 of linux-stable branch). Unfortunately CPAchecker doesn't catch this error because of problems like described in #2706.
The problem class is specific:context:sleep:pm_runtime:alloc_flag.
- Subject changed from Check that skb doesn't allocated in pm_runtime context to 102: Check that skb doesn't allocated in pm_runtime context
- Priority changed from High to Normal
Reduce priority until we'll decide that it's high actually.
This rule is similar to 43
Also available in: Atom
PDF