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。

相关文章

学习编程是顺着互联网的发展潮流,是一件好事。新手如何学习...
IT行业是什么工作做什么?IT行业的工作有:产品策划类、页面...
女生学Java好就业吗?女生适合学Java编程吗?目前有不少女生...
Can’t connect to local MySQL server through socket \'/v...
oracle基本命令 一、登录操作 1.管理员登录 # 管理员登录 ...
一、背景 因为项目中需要通北京网络,所以需要连vpn,但是服...