Project

General

Profile

Actions
Copy link

Feature #6824

open

Support for kthread_run in EMG

Added by Vadim Mutilin almost 9 years ago. Updated over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Environment models
Target version:
-
Start date:
02/08/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

kthread_run(func) should be modelled in EMG by activating new process executing func passed as a parameter to kthread_run
See 

063579d~1, drivers/w1/wire.ko, 32_7a

Actions
Copy link
 #1

Updated by Vadim Mutilin almost 9 years ago

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

Updated by Ilja Zakharov almost 9 years ago

  • Priority changed from High to Normal
Actions
Copy link
 #3

Updated by Evgeny Novikov over 8 years ago

The pointed bug was found by LDV Tools (https://git.kernel.org/cgit/linux/kernel/git/stable/linux-stable.git/commit/?id=063579d) that clearly demonstrates that modelling kthread_run() is likely not required to find it since the old environment model generator also doesn't model it. I assume that the bug was found when __w1_remove_master_device() that contained the bug was called in w1_fini().

Actions
Copy link

Also available in: Atom PDF