std::mutex & sc_core::sc_mutex

C++11增加了对mutex (互斥、锁)的支持,主要用于多线程程序中 对共享内存的统一读写。最基本的std::mutex提供了lock /unlock /try_lock/native_handle四个函数。

一般情况下定义一个global的std::mutex变量,初始为unlock状态,然后在不同的thread函数中调用这个mutex变量的lock /unlock /try_lock函数。调用lock时,如果mutex处于lock状态,说明其他线程正在使用,则此线程需要等待,直到使用的那个线程调用了unlock,让mutex处于unlock状态后,本线程等待结束,调用lock成功。Bool try_lock() 是带返回值的,调用时,如果mutex处于lock状态,返回false;否则执行lock的动作,返回true。总结来说,lock是阻塞执行的,而try_lock是不阻塞本thread往下执行的。

需要注意的是,调用unlock的前提必须是当前thread调用了lock或try_lock使mutex处于lock状态,否则将会导致不可预知的问题。If the mutex is not currently locked by the calling thread, it causes undefined behavior。也就是说,同一个thread,lock和unlock的动作需要配对使用。

参考C++11中std::mutex的使用_fengbingchun的博客-CSDN博客_std::mutex用法

如果把std::mutex::lock - cppreference.com 示例中的 lock 和unlock行注释掉,会发现执行结果杂乱无章,这是因为两个thread都要访问g_num,执行顺序不可控。

 

SystemC中,sc_core::sc_mutex 属于sc_interface 的子类。类似与std::metux,一般用于两个process (SC_THREAD、SC_METHOD或SC_CTHREAD)之间对一个global 变量的互斥访问;也有lock/ unlock /try_lock 三个API。Lock的返回值永远为0,会blocking当前process的执行。try_lock的返回值为int,如果当前mutex为unlock状态,执行lock并返回0;否则返回-1。

需要注意的是,如果同一拍两个process都调用了lock,则那个process获取锁是不确定的。

If multiple processes attempt to lock the mutex in the same delta cycle, the choice of which process instance is given the lock in that delta cycle shall be non-deterministic; that is, it will rely on the order in which processes are resumed within the evaluation phase.

调用unlock的时候,如果当前mutex已经是unlock状态,则不处理,返回-1;如果当前mutex是lock状态,但是由其他process 执行的lock/ try_lock导致的,则返回-1;如果是lock状态,且是本process导致的,则将mutex状态改为unlock,且返回0。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

123axj

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值