Feature #7622
closedAdd thread identifiers to comments for corresponding control functions
0%
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.
Updated by Evgeny Novikov over 7 years ago
- Subject changed from Add thread identifier to comments for corresponding control functions to Add thread identifiers to comments for corresponding control functions
Updated by Alexey Khoroshilov over 7 years ago
What should the comments mean?
A place where switch from one thread to another thread happens? Or something else?
Updated by Evgeny Novikov over 7 years ago
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.
Updated by Ilja Zakharov over 7 years ago
- Status changed from New to Resolved
Done in branch 'better-unsafes-and-marks'.
Updated by Ilja Zakharov over 7 years ago
- Status changed from Resolved to Closed
Merged in 6e2305dc.