Feature #7622
closed
Add thread identifiers to comments for corresponding control functions
Added by Evgeny Novikov over 7 years ago.
Updated over 7 years ago.
Category:
Environment models
Description
Environment models are assumed to execute Linux kernel module callbacks in parallel. With using specific settings this is done explicitly using the pthread API and likely nothing additional should be done in this case. Otherwise everything is executed strictly sequentially but we can imagine virtual threads since this can improve error trace visualization. In these threads some (groups of) callbacks will be executed, so we will be able to show corresponding calls specifically.
- Subject changed from Add thread identifier to comments for corresponding control functions to Add thread identifiers to comments for corresponding control functions
What should the comments mean?
A place where switch from one thread to another thread happens? Or something else?
Alexey Khoroshilov wrote:
What should the comments mean?
A place where switch from one thread to another thread happens? Or something else?
These comments mean that corresponding control functions (bound with comments by their names) are executed in corresponding virtual threads. If some control function will be called inside of another one, it will be executed in a dedicated thread.
In parallel environment models there is no need in such comments since true thread identifiers will be specified by a verifier.
- Status changed from New to Resolved
Done in branch 'better-unsafes-and-marks'.
- Status changed from Resolved to Closed
Also available in: Atom
PDF