c – Clang线程安全分析和线程角色

发布时间：2020-12-16 06:51:05 所属栏目：百科来源：网络整理

导读：铿锵声线安全分析 docs和 paper暗示可以指示特定功能仅由特定线程调用.从论文： #include "ThreadRole.h"ThreadRole InputThread;ThreadRole GUIThread;class Widget {public : virtual void onClick() REQUIRES(InputThread); virtual void draw() REQUIRES

铿锵声线安全分析 docs和 paper暗示可以指示特定功能仅由特定线程调用.从论文：

#include "ThreadRole.h"

ThreadRole InputThread;
ThreadRole GUIThread;

class Widget {
public :
    virtual void onClick() REQUIRES(InputThread);
    virtual void draw() REQUIRES(GUIThread);
};

class Button : public Widget {
public :
    void onClick() override {
        depressed = true;
        draw() ; // WARNING!
    }
};

但是,这两个doc都没有说明你是如何实际注释ThreadRole来实现这一点的. ThreadRole必须具备什么才能使其工作？

解决方法

相关：
https://insights.sei.cmu.edu/sei_blog/2014/10/thread-safety-analysis-in-c-and-c.html

typedef int __attribute __((capability(“role”)))ThreadRole;
ThreadRole FlightControl,Logging;
void acquire(ThreadRole R)__ attribute __((acquire_capability(R)))__ attribute __((no_thread_safety_analysis)){}
void release(ThreadRole R)__ attribute __((release_capability(R)))__ attribute __((no_thread_safety_analysis)){}

…

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!