微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

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。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐