Changeset 649efcd in mainline for tools/checkers/vcc.py

Timestamp:
2010-11-05T15:56:29Z (14 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
55bd76c
Parents:
84b7384
Message:

Add support for detecting deadlocks involving fibril rwlocks.

Readers are only tracked when waiting for a rwlock, but it is unfortunatelly not
possible to track their ownership of a rwlock. Because of this, some deadlock
scenarios can go unnoticed by the detection system.

(No files)

Note: See TracChangeset for help on using the changeset viewer.