Project

General

Profile

Actions
Copy link

Feature #3243

open

123: might_sleep should not be called under spin_lock

Added by Denis Efremov over 12 years ago. Updated over 3 years ago.

Status:
Open
Priority:
Normal
Assignee:
-
Start date:
07/20/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Sleeping functions are not allowed under spin_locks.

Related issues 1 (1 open — 0 closed)

Related to Linux Kernel Safety RuleDB - Feature #3032: 115: Do not use might_sleep functions in interrupt contextOpen06/14/2012

Actions
Actions
Copy link
 #1

Updated by Denis Efremov over 12 years ago

  • Tracker changed from Bug to Feature
Actions
Copy link
 #2

Updated by Evgeny Novikov over 12 years ago

Denis, can you also formulate a similar feature request for rule 49? I guess that we will you use your implementation of a kernel API extractor for formalizing this rule as well.

Actions
Copy link
 #3

Updated by Vadim Mutilin about 12 years ago

Commits which fix this type of errors in linux-stable repository
4e2c404
890cd1b
e3a8550

Actions
Copy link
 #4

Updated by Vadim Mutilin about 12 years ago

More
306030a
8a7dfbe
91e0d66
83a9a80

Actions
Copy link
 #5

Updated by Ilya Shchepetkov over 10 years ago

  • Status changed from New to Open
  • Assignee changed from Denis Efremov to Ilya Shchepetkov

This model was added to our repository in the commit a97d037 of the rule_123 branch with a pre-generated list of might sleep functions (for 3.11-rc1 kernel, depth=1).

Actions
Copy link
 #6

Updated by Ilya Shchepetkov over 3 years ago

  • Assignee deleted (Ilya Shchepetkov)
Actions
Copy link

Also available in: Atom PDF