[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

[/quote]



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 mailing list