在Linux中,线程的实现是基于POSIX标准的,所以都是以pthread开头。
如同进程的pid一样,线程也有一个类似的值来标示一个线程: pthread_t,不过值得注意的是,进程的pid是整个系统都可见可用的,但是pthread_t只是在本进程中有效。
不过pthread_t到底是个什么类型呢,它从何而来呢? 这其实要根据系统的不同来确定pthread_t 到底是个整数值还是一个地址值,不过我们不用关心这个,只要系统给我们提供了用于获得 tid 和比较tid 的函数就行了。
int pthread_equal(pthread_t tid1, pthread_t tid2) : 用于比较两个线程的tid是否相同。
pthread_t pthread_self(void) :用来获得当前线程的 tid
1.Create a thread
int pthread_create(pthread_t *tidp, const pthreada_attr_t *attr, void *(*start_rtn)(void *), void *arg)
attr 这个参数是用于设置线程的一些属性,我们后面再说,现在只要把它设置为 NULL即可。
此函数不会设置全局的errno !!!
2. Terminate a Thread
有几种方式来终止一个线程:
1)在线程中使用 return, return 的值将作为线程的退出码 (exit code)
2)同一进程中的其他线程可以使用 pthread_cancel(tid) 来停掉tid标示的线程
3)本线程调用pthread_exit(return_val)来终止,return_val作为exit code
我们先来看看这个函数
void pthread_exit(void *rval_ptr)
注意 rval_ptr 是一个通用类型的参数,可以通过它来设置exit code,其他线程可以通过使用 pthread_join(tid, void ** rval_ptr)来获得这个exit code。
int pthread_join(pthread_t tid, void **rval_ptr)
这个函数是阻塞的,直到指定的线程退出或者该函数调用失败。失败的原因可能是tid 不存在,或者tid指定的线程设置了 detached state。
int pthread_cancel(pthread_t tid)
这不是一个阻塞的函数。tid指定的线程的表现如同调用了pthread_exit() 而参数是PTHREAD_CANCELED
还记得进程中我们可以通过 atexit() 预先设置一些函数,当进程调用exit时将会按照相反的顺序调用这些函数完成一些清理工作。在线程中也有类似的函数来完成这个功能:
void pthread_cleanup_push(void (*rtn)(void *), void *arg)
void pthread_cleanup_pop(int execute)
通过pthread_cleanup_push来设置的函数在下面的几种情况下才会被调用
1)线程调用pthread_exit
2)response to pthread_cancel()
3)调用pthread_cleanup_pop(excute), 其中execute 不为 0
第三种情况需要说明一下,只有参数excute不为零的时候才会调用push的函数,如果为0则不会调用。
3 线程同步
由于同一个进程中的多个线程共享进程的地址空间,如果多个线程同时read/write同一块内存,那么就有可能导致内存的不一致性,此时必须使用锁来进行线程的同步。
1)先来看看最常用的锁 mutex,相关的函数如下
int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *attr) :用于初始化mutex,如果锁是全局的,还可以使用宏 PTHREAD_MUTEX_INITIALIZER 来进行初始化。
int pthread_mutex_destroy(pthread_mutex_t *mutex):销毁mutex,释放其内存
int pthreada_mutex_lock(pthread_mutex_t *mutex):阻塞的方式获得锁
int pthread_mutex_trylock(pthread_mutex_t *mutex):非阻塞方式获得锁,如果没能获得锁将会返回EBUSY,成功则返回 0
int pthread_mutex_unlock(pthread_mutex_t *mutex):释放锁
2)读写锁
如果一块内存被多个线程同时读是没有问题的,只有在读或者写的同时有另外的线程也在写这块内存才会出现问题,这个时候就需要同步。
如果一块内存大部分时候都在进行读操作,极少时候才进行写操作的话,如果使用普通的mutex将会降低效率,因为每一个读线程都要等待锁,这其实是没有必要的,在这种情况下就适用读写锁。
int pthread_rwlock_init(pthread_rwlock_t *rwlock, const pthread_rwlockattr_t *attr)
int pthread_rwlock_destroy(pthread_rwlock_t * rwlock)
int pthread_rwlock_rdlock(pthread_rwlock_t * rwlock)
int pthread_rwlock_tryrdlock(pthread_rwlock_t * rwlock)
int pthread_rwlock_wrlock(pthread_rwlock_t * rwlock)
int pthread_rwlock_trywrlock(pthread_rwlock_t * rwlock)
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock)
如果没有一个线程获得了写锁,那么读锁可以被多个线程同时获得。如果任何一个线程想要获得写锁的话,那么他需要等到其他线程把读写锁释放掉才可以。
3)条件锁(条件变量)
当满足一定条件的时候才唤醒线程继续执行,这就是条件锁的用途。
我们还是先来看一看相关的各个函数:
int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *attr):初始化一个条件变量,全局的还可以用PTHREAD_COND_INITIALIZER来初始化
int pthread_cond_destroy(pthread_cond_t *cond)
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex):参数mutex用来保护条件变量。当调用这个函数时,线程释放锁mutex并进入阻塞状态。
int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *timeout):功能与pthread_cond_wait一样,只不过有一个超时时间,当超时之后,该函数获得锁mutex并返回 ETIMEOUT。这里的参数timeout是下面的结构体:
struct timespec{
time_t tv_sec;
long tv_nsec;
};
这个时间表示我们想要等待多长时间,是绝对时间而不是相对时间哦!!!通常我们可以使用下面的代码来设置这个结构体:
void make_timeout(struct timespec *tsp, long minutes)
{
struct timeval now;
//get current time
gettimeofday(&now);
tsp->tv_sec = now.tv_sec;
tsp->tv_nsec = now.tv_usec * 1000;
// add the minutes we wanna wait
tsp->tv_sec += minutes * 60;
}
int pthread_cond_signal(pthread_cond_t *cond):唤醒一个等待条件的线程
int pthread_cond_broadcast(pthread_cond_t *cond):通知所有等待条件的线程
下面的代码展示了条件锁的使用规范
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t ready = PTHREAD_COND_INITIALIZER;
bool cond = false;
void func()
{
pthread_mutex_lock(&mutex);
while (!cond)
pthreada_cond_wait(&ready, &mutex);
// do something here
pthread_mutex_unlock(&mutex);
// do other things
}
NOTE:
还有一种情况需要注意:一个线程pthread_cond_signal 在另一个线程pthread_conf_wait之前,也就是错过信号,这该如何处理 ?