.线程访问机制
任务间的关系有两种:1,间接关系;2,直接关系。
例如1. 任务A对莫个缓冲区进行写操作。任务B从这个缓冲区进行读操作。那么A和B的关系就是直接的关系,那么实现这种直接关系的机制就是同步
2. 任务A要使用打印机,任务b也要使用打印机,那么只有在任务A使用结束的情况下才能使用打印机,所以A和B的关系是间接的关系。那么要实现这种间接的关系的机制是互斥.
在linux中实现线程间的互斥和同步的主要的机制是:信号量和互斥锁
互斥锁
mutex 是一种简单的加锁的方法来控制对共享资源的存取。这个互斥锁只有两种状态,也就是上锁和解锁。
可以把互斥锁看作某种意义上的全局变量。在同一时刻只能有一个线程掌握某个互斥上的锁,拥有上锁状态的线程能够对共享资源进行操作。若其他线程希望上锁一个已经上锁了的互斥锁,则该线程就会挂起,直到上锁的线程释放掉互斥锁为止。可以说,这把互斥锁使得共享资源按序在各个线程中操作。
互斥锁的操作主要包括以下几个步骤。
互斥锁初始化:pthread_mutex_init
互斥锁上锁:pthread_mutex_lock
互斥锁判断上锁:pthread_mutex_trylock
互斥锁接锁:pthread_mutex_unlock
消除互斥锁:pthread_mutex_destroy
其中,互斥锁可以分为快速互斥锁、递归互斥锁和检错互斥锁。这三种锁的区别主要在于其他未占有互斥锁的线程在希望得到互斥锁时的是否需要阻塞等待。
快速锁是指调用线程会阻塞直至拥有互斥锁的线程解锁为止。
递归互斥锁能够成功地返回并且增加调用线程在互斥上加锁的次数,而检错互斥锁则为快速互斥锁的非阻塞版本,它会立即返回并返回一个错误信息。
int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)//互斥锁初始化函数
mutexattr = PTHREAD_MUTEX_INITIALIZER:创建快速互斥锁,快速锁是指调用线程会阻塞直至拥有互斥锁的线程解锁为止
PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP:创建递归函数传入值 Mutexattr 互斥锁,递归互斥锁能够成功地返回并且增加调用线程在互斥上加锁的次数
PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP:创建检错互斥锁,而检错互斥锁则为快速互斥锁的非阻塞版本.
int pthread_mutex_lock(pthread_mutex_t *mutex,) //互斥锁上锁
int pthread_mutex_trylock(pthread_mutex_t *mutex,) //互斥锁判断上锁
int pthread_mutex_unlock(pthread_mutex_t *mutex,) //互斥锁接锁
int pthread_mutex_destroy(pthread_mutex_t *mutex,) //消除互斥锁
在所有的线程同步方法中,恐怕互斥锁(mutex)的出场率远远高于其它方法。
Mutex可以分为递归锁(recursive mutex)和非递归锁(non-recursive mutex)。可递归锁也可称为可重入锁(reentrant mutex),
非递归锁又叫不可重入锁(non-reentrant mutex)。
二者唯一的区别是,同一个线程可以多次获取同一个递归锁,不会产生死锁。而如果一个线程多次获取同一个非递归锁,则会产生死锁。
Windows下的Mutex和Critical Section是可递归的。Linux下的pthread_mutex_t锁默认是非递归的。
可以显示的设置PTHREAD_MUTEX_RECURSIVE属性,将pthread_mutex_t设为递归锁。
但是如果将这两种锁误用,很可能会造成程序的死锁。。
MutexLock mutex;
void f1()
{
mutex.lock(); // do something
mutex.unlock();
}
void f2()
{
mutex.lock(); // do something
f1();
mutex.unlock();
}
f1函数和f2函数都获取了同一个锁,而f2函数又会调用f1函数。如果MutexLock锁是个非递归锁,则这个程序会立即死锁。
因此在为一段程序加锁时要格外小心,否则很容易因为这种调用关系而造成死锁。
但是这并不意味着应该用递归锁去代替非递归锁。递归锁用起来固然简单,但往往会隐藏某些代码问题。
比如调用函数和被调用函数以为自己拿到了锁,都在修改同一个对象,这时就很容易出现问题。因此在能使用非递归锁的情况下,
应该尽量使用非递归锁,因为死锁相对来说,更容易通过调试发现。