[ros-users] [Discourse.ros.org] [Next Generation ROS] Adding clang thread safety analysis for ROS2 core packages
Geoffrey Biggs via Discourse.ros.org
ros.discourse at gmail.com
Thu Feb 21 00:19:06 UTC 2019
[quote="emersonknapp, post:3, topic:7930"]
Anything not annotated doesnt get analyzed. The llvm libcxx implementation has the Capability annotations on its `std::mutex` implementation, but if you dont mark any data as `GUARDED_BY` the mutex, the analysis has nothing to operate on
Yep, that makes sense. What I'm wondering is does this have any impact on the analysis of threads that are annotated? If an annotated thread interacts with a non-annotated one, how trustworthy are the analysis results?
[Visit Topic](https://discourse.ros.org/t/adding-clang-thread-safety-analysis-for-ros2-core-packages/7930/4) or reply to this email to respond.
More information about the ros-users