前言:
单线程条件下,由于只有一个线程来操作数据,因此不需要担心数据的同步问题。
但现代的操作系统,基本都是并发机制,尽管有时候只是表面的并发。在Linux中,并发用的最多的是基于线程的并发,因为进程代价太高。在多线程的条件下,对于共享数据可能会涉及到多个线程来操作的情况。因此这里就要采用同步机制来保证每个线程操作的正确性。这里讨论的“互斥锁”就是一种同步机制来保证在任一时刻,只能有一个线程访问共享数据,用来保证共享数据的完整性与正确性。
1.互斥锁的概念
互斥锁提供一个可以在同一时间,只让一个线程访问临界资源的的操作接口。互斥锁(Mutex)是个提供线程同步的基本锁。某一线程上锁后,其他的线程如果想要锁上,会被阻塞,直到锁释放后(一般会把访问共享内存这段代码放在上锁程序之后)。在锁释放前,其他的多个线程被阻塞,锁被释放后,所有的被阻塞的线程会被设为可执行状态。线程抢占,第一个执行的线程,取得锁的控制权,上锁。其他的线程继续阻塞。
2.互斥锁的创建
互斥锁的创建方式有两种:静态方式和动态方式
(1)静态方式
POSIX定义了一个宏PTHREAD_MUTEX_INITIALIZER来静态初始化互斥锁,方法如下:
pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;
在LinuxThreads实现中,pthread_mutex_t是一个结构,而PTHREAD_MUTEX_INITIALIZER则是一个结构常量。
(2)动态方式
动态方式是采用pthread_mutex_init()函数来初始化互斥锁,API定义如下:
int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr);
其中mutexattr用于指定互斥锁属性(见下),如果为NULL则使用缺省属性。
注意:互斥锁被创建后,初始化为未锁住的状态!
3.互斥锁的销毁
pthread_mutex_destroy()用于注销一个互斥锁,API定义如下:
int pthread_mutex_destroy(pthread_mutex_t *mutex);
销毁一个互斥锁即意味着释放它所占用的资源,且要求锁当前处于开放状态。由于在Linux中,互斥锁并不占用任何资源,因此Lin