分享
 
 
 

C++ Multithreading

王朝c/c++·作者佚名  2006-01-10
窄屏简体版  字體: |||超大  

许多 C++ 权威,或者甚至是计算机科学的权威,都把并行,或者在微观的层面上,多线程,看作下一次革命的主题。

很久没有关心这些事情了,今天读了一些相关文章,很有启发。首先是 C++0x 的一篇 proposal N1680: Memory model for multithreaded C++ 。

A memory model describes the behavior of threads with respect to basic memory operations – mainly reads and writes of variables potentially accessible across multiple threads. The main questions addressed by a memory model include:

Atomicity: Which memory operations have indivisible effects?

Visibility: Under what conditions will the effects of a write action by one thread be seen by a read by another thread?

Ordering: Under what conditions are sequences of memory operations by one or more threads guaranteed to be visible in the same order by other threads?

除了定义这些,主要还谈到由于 Java Memory Model 在这方面相当成熟,未来可能主要会 "Adopt" Java 的模型。

在 N1876 里面,有些东西比较具体化了,比如 Atomicity :

For example, atomically updated integers would provide operations such as load Atomically read the value of the integer.

store Atomically replace the value of the integer.

fetch and add Atomically add a value to the integer.

store with release ordering semantics Atomically replace the value of the integer, and ensure that all prior memory operations executed by this thread become visible to other threads before the update.

load with acquire ordering semantics Atomically load the value of the integer, and ensure that all later memory operations performed by this thread become visible after the load.

其实后面两个在语义上与 locking 有一定的相似之处,但是使用 atomicity, visibility 和 ordering 这样的方式来定义它们给人以 lock-free 的暗示。而且,它们的语义比起 locking 来,还是要弱一些。例如第三个,它只说明内存操作要 visible to other threads ,而 locking 的意思是在同一时间根本不允许其他线程的访问。的确,lock free 算法在性能上的好处是很大的,而且没有 locking 带来的一系列问题。在 HP 网站上,Boehm 给出了一个非常粗略的模型:

enum ordering_constraint {none, acquire, release, ordered};

template <class T>

class atomic {

public:

static bool basics_supported();

template <ordering_constraint c>

void store(const T&);

template <ordering_constraint c>

T load();

static bool cas_supported();

template <ordering_constraint c>

bool cas(const T& old, const T& new_val);

};

template <class T = emulated_atomic<int> >

class atomic_int : public T {

public:

template <ordering_constraint c>

T fetch_and_add(const T&);

template <ordering_constraint c>

T fetch_and_add1();

template <ordering_constraint c>

T fetch_and_sub1();

template <ordering_constraint c>

T fetch_and_and(const T&);

template <ordering_constraint c>

T fetch_and_or(const T&);

};

相信对于程序员来说,这些代码比长篇大论来得更清楚。通过 atomic 可以建立起具有原子性操作语义的数据结构以及对于 CAS 的直接支持,由于 lock-free 算法很难写,使用 lock-free 的数据结构可能是个更好的选择。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有