Project

General

Profile

Actions

Feature #2717

open

102: Check that skb doesn't allocated in pm_runtime context

Added by Evgeny Novikov almost 12 years ago. Updated over 11 years ago.

Status:
Open
Priority:
Normal
Start date:
04/05/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

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.

Actions #1

Updated by Evgeny Novikov almost 12 years ago

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.

Actions #2

Updated by Evgeny Novikov almost 12 years ago

The problem class is specific:context:sleep:pm_runtime:alloc_flag.

Actions #3

Updated by Alexey Khoroshilov almost 12 years ago

  • 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
Actions #4

Updated by Evgeny Novikov almost 12 years ago

  • Priority changed from High to Normal

Reduce priority until we'll decide that it's high actually.

Actions #5

Updated by Vadim Mutilin over 11 years ago

This rule is similar to 43

Actions

Also available in: Atom PDF