1.线程与进程的关系
最基础的Linux进程可以看作只有一个控制线程,即一个进程在同一时刻只做一件事,当我们在一个进程中创建多个线程后,进程中的每个线程就能各自处理独立的任务。进程是程序执行时的一个实例,是担当分配系统资源(CPU时间、内存等)的基本单位,每一个进程被时占用一块新的内存,进程本身不是基本运行单位,而是线程的容器。程序本身只是指令、数据及其组织形式的描述,进程才是程序(那些指令和数据)的真正运行实例。
线程是操作系统能够进行运算调度的最小单位。它被包含在进程之中,是进程中的实际运作单位。一条线程指的是进程中一个单一顺序的控制流,一个进程中可以并发多个线程,每条线程并行执行不同的任务。进程的所有信息对该进程的所有线程都是共享的,包括可执行的程序文本、程序的全局内存和堆内存、栈以及文件描述符。
"进程——资源分配的最小单位,线程——程序执行的最小单位"
进程有独立的地址空间,一个进程崩溃后,在保护模式下不会对其它进程产生影响,而线程只是一个进程中的不同执行路径。线程有自己的堆栈和局部变量,但线程没有单独的地址空间,一个线程死掉就等于整个进程死掉,所以多进程的程序要比多线程的程序健壮,但在进程切换时,耗费资源较大,效率要差一些。但对于一些要求同时进行并且又要共享某些变量的并发操作,最好用线程。
2.使用线程的原因.
(1)进程有独立的地址空间,线程没有单独的地址空间(同一进程内的线程共享进程的地址空间)。
(2)和进程相比,线程是一种非常"节俭"的多任务操作方式,在Linux系统下,启动一个新的进程必须分配给它独立的地址空间,一个进程的开销大概时线程的30倍。
(3)每个进程具有独立的内存空间,进程间的通信只能用各种进程通信方式非常不方便,而线程共享数据内存,一个线程的数据可以直接被其他线程使用,很方便。
线程的其他优点:
- 提高应用程序响应。这对图形界面的程序尤其有意义,当一个操作耗时很长时,整个系统都会等待这个操作,此时程序不会响应键盘、鼠标、菜单的操作,而使用多线程技术,将耗时长的操作(time consuming)置于一个新的线程,可以避免这种尴尬的情况。
- 使多CPU系统更加有效。操作系统会保证当线程数不大于CPU数目时,不同的线程运行于不同的CPU上。
- 改善程序结构。一个既长又复杂的进程可以考虑分为多个线程,成为几个独立或半独立的运行部分,这样的程序会利于理解和修改。
Linux线程开发API
1. 线程创建
#include <pthread.h> int pthread_create(pthread_t *restrict tidp, const pthread_attr_t *restrict attr, void *(*start_rtn)(void *), void *restrict arg);
// 返回:若成功返回0,否则返回错误编号
当pthread_create成功返回时,由tidp指向的内存单元被设置为新创建线程的线程ID。attr参数用于定制各种不同的线程属性,暂可以把它设置为NULL,以创建默认属性的线程。
新创建的线程从start_rtn函数的地址开始运行,该函数只有一个无类型指针参数arg。如果需要向start_rtn函数传递的参数不止一个,那么需要把这些参数放到一个结构中,然后把这个结构的地址作为arg参数传入。
2. 线程退出
单个线程可以通过以下三种方式退出,在不终止整个进程的情况下停止它的控制流:
1)线程只是从启动例程中返回,返回值是线程的退出码。
2)线程可以被同一进程中的其他线程取消。
3)线程调用pthread_exit:
#include <pthread.h> int pthread_exit(void *rval_ptr); rval_ptr是一个无类型指针,与传给启动例程的单个参数类似。进程中的其他线程可以通过调用pthread_join函数访问到这个指针。 3. 线程等待 #include <pthread.h> int pthread_join(pthread_t thread, void **rval_ptr); // 返回:若成功返回0,否则返回错误编号 调用这个函数的线程将一直阻塞,直到指定的线程调用pthread_exit、从启动例程中返回或者被取消。如果例程只是从它的启动例程返回i,rval_ptr将包含返回码。如果线程被取消,由rval_ptr指定的内存单元就置为PTHREAD_CANCELED。 可以通过调用pthread_join自动把线程置于分离状态,这样资源就可以恢复。如果线程已经处于分离状态,pthread_join调用就会失败,返回EINVAL。 如果对线程的返回值不感兴趣,可以把rval_ptr置为NULL。在这种情况下,调用pthread_join函数将等待指定的线程终止,但并不获得线程的终止状态。
#include <pthread.h>
#include <stdio.h>
void *funcl(void *arg)
{
//static int ret=10;
static char *ret="t1 ic run out";//设置pthread_join()要接受的信息。
printf("t1:%ld thread is create.\n",(unsigned long)pthread_self());//打印新线程的ID与原线程不一样
printf("t1:the param is:%d\n",*((int *)arg));//打印param传来的数据可以位NULL
pthread_exit((void *)ret);//结束进程
//pthread_exit((void *)&ret);
}
int main()
{
int ret;
pthread_t t1; //创建一个参数,&t1指向的内存单元位新线程的ID
int param=100;//向新线程传递的参数
char *pret=NULL;//定义一个指针用于pthread_jion()接受信息
//int *pret=NULL;
ret=pthread_create(&t1,NULL,funcl,(void *)¶m);//创建线程并得到返回值,若不需要传参则param写为NULL
if(ret == 0){
printf("main:the pthread create success.\n");
}
printf("main:%ld\n",(unsigned long)pthread_self());//pthread_self()函数得到原线程的ID
pthread_join(t1,(void **)&pret);//pthread_jion()函数等待线程调用pthread_exit()退出并接受传回的信息。
printf("main:t1 quit:%s\n",pret);
return 0;
}
4. 线程ID获取及比较
#include <pthread.h>
pthread_t pthread_self(void); // 返回:调用线程的ID
对于线程ID比较,为了可移植操作,我们不能简单地把线程ID当作整数来处理,因为不同系统对线程ID的定义可能不一样。我们应该要用下边的函数:
#include <pthread.h> int pthread_equal(pthread_t tid1, pthread_t tid2); // 返回:若相等则返回非0值,否则返回0 对于多线程程序来说,我们往往需要对这些多线程进行同步。同步(synchronization)是指在一定的时间内只允许某一个线程访问某个资源。而在此时间内,不允许其它的线程访问该资源。我们可以通过互斥锁(mutex),条件变量(condition variable)和读写锁(reader-writer lock)来同步资源。
5.互斥锁相关API
互斥量(执行内容)就是一把锁,当进程中存在多个线程时,程序运行过程中各个线程会同时争夺访问共享资源的权限,如果在访问前没有对互斥量加锁会使线程运行的顺序混乱,对互斥量进行加锁后,任何其他试图再次对互斥量加锁的线程将会被阻塞直到当前线程释放该互斥锁。如果释放互斥锁时有多个线程阻塞,所有在该互斥锁上的阻塞线程都会变成可运行状态,第一个变为可运行状态的线程可以对互斥量加锁,其他线程将会看到互斥锁依然被锁住,只能回去等待它重新变为可用。在这种方式下,每次只有一个线程可以向前运行。
创建及销毁互斥锁
#include <pthread.h> int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr); int pthread_mutex_destroy(pthread_mutex_t *mutex);//在线程结束后销毁锁。 // 返回:若成功返回0,否则返回错误编号 要用默认的属性初始化互斥量,只需把attr设置为NULL。
加锁及解锁
#include <pthread.h>
int pthread_mutex_lock(pthread_mutex_t *mutex);//对互斥量上锁
int pthread_mutex_trylock(pthread_mutex_t *mutex);
int pthread_mutex_unlock(pthread_mutex_t *mutex);//解锁
// 返回:若成功返回0,否则返回错误编号
如果线程不希望被阻塞,它可以使用pthread_mutex_trylock尝试对互斥量进行加锁。如果调用pthread_mutex_trylock时互斥量处于未锁住状态,那么pthread_mutex_trylock将锁住互斥量,不会出现阻塞并返回0,否则pthread_mutex_trylock就会失败,不能锁住互斥量,而返回EBUSY。
#include <pthread.h>
#include <stdio.h>
int g_data=0;
pthread_mutex_t mutex;//定义一个锁的全局变量。
void *funcl(void *arg)
{
printf("t1:%ld thread is create.\n",(unsigned long)pthread_self());
printf("t1:the param is:%d\n",*((int *)arg));
while(1){
pthread_mutex_lock(&mutex);//给互斥量上锁
printf("t1:%d\n",g_data++);//互斥量
pthread_mutex_unlock(&mutex);//解锁
sleep(1);
}
}
void *funcl2(void *arg)
{
printf("t2:%ld thread is create.\n",(unsigned long)pthread_self());
printf("t2:the param is:%d\n",*((int *)arg));
pthread_mutex_lock(&mutex);
while(1){
printf("t2:%d\n",g_data++);
sleep(1);//每打印一次睡眠1秒
if(g_data == 3){
pthread_mutex_unlock(&mutex);//控制指定线程改变数据
printf("t2 quit=====================\n");
// pthread_exit(NULL);
exit(0);//结束线程
}
}
}
int main()
{
int ret;
pthread_t t1;
pthread_t t2;
pthread_mutex_init(&mutex,NULL);//初始化锁
int param=100;//设置线程传递的参数,可以为NULL
ret=pthread_create(&t1,NULL,funcl,(void *)¶m);
if(ret == 0){ //判断线程是否创建成功
printf("main:the pthread create success.\n");
}
pthread_create(&t2,NULL,funcl2,(void *)¶m);
printf("main:%ld\n",(unsigned long)pthread_self());
while(1){
printf("main:%d\n",g_data);//所有的线程共享全局变量g_data
sleep(1);
}
pthread_join(t2,NULL);//阻塞并等待进程结束;
pthread_mutex_destroy(&mutex);//销毁锁
return 0;}
与条件变量相关API
条件变量是线程另一可用的同步机制。条件变量给多个线程提供了一个会合的场所。条件变量与互斥量一起使用时,允许线程以无竞争的方式等待特定的条件发生。
条件本身是由互斥量保护的。线程在改变条件状态前必须首先锁住互斥量,其他线程在获得互斥量之前不会察觉到这种改变,因为必须锁定互斥量以后才能计算条件。
条件变量和锁使用之前必须首先初始化,pthread_cond_t数据类型代表的条件变量可以用两种方式进行初始化,可以把常量PTHREAD_COND_INITIALIZER赋给静态分配的条件变量,但是如果条件变量是动态分配的,可以使用pthread_cond_destroy函数对条件变量和锁进行去除初始化。
1. 创建及销毁条件变量
#include <pthread.h>
int pthread_cond_init(pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr);
int pthread_cond_destroy(pthread_cond_t *cond);
// 返回:若成功返回0,否则返回错误编号
除非需要创建一个非默认属性的条件变量,否则pthread_cont_init函数的attr参数可以设置为NULL。
2. 等待
#include <pthread.h>
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex);
int pthread_cond_timedwait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex, cond struct timespec *restrict timeout);
// 返回:若成功返回0,否则返回错误编号
pthread_cond_wait等待条件变为真。如果在给定的时间内条件不能满足,那么会生成一个代表一个出错码的返回变量。传递给pthread_cond_wait的互斥量对条件进行保护,调用者把锁住的互斥量传给函数。函数把调用线程放到等待条件的线程列表上,然后对互斥量解锁,这两个操作都是原子操作。这样就关闭了条件检查和线程进入休眠状态等待条件改变这两个操作之间的时间通道,这样线程就不会错过条件的任何变化。pthread_cond_wait返回时,互斥量再次被锁住。
pthread_cond_timedwait函数的工作方式与pthread_cond_wait函数类似,只是多了一个timeout。timeout指定了等待的时间,它是通过timespec结构指定。
3. 触发
#include <pthread.h>
int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
// 返回:若成功返回0,否则返回错误编号
这两个函数可以用于通知线程条件已经满足。pthread_cond_signal函数将唤醒等待该条件的某个线程,而pthread_cond_broadcast函数将唤醒等待该条件的所有进程。
注意一定要在改变条件状态以后再给线程发信号。
互斥变量用pthread_mutex_t数据类型表示。在使用互斥变量前必须对它进行初始化,可以把它置为常量PTHREAD_MUTEX_INITIALIZER(只对静态分配的互斥量),也可以通过调用pthread_mutex_init函数进行初始化。如果动态地分配互斥量(例如通过调用malloc函数),那么在释放内存前需要调用pthread_mutex_destroy,条件变量的创建同样如此。
#include <pthread.h>
#include <stdio.h>
int g_data=0;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;//静态初始化锁
pthread_cond_t cond;
void *funcl(void *arg)
{
printf("t1:%ld thread is create.\n",(unsigned long)pthread_self());
printf("t1:the param is:%d\n",*((int *)arg));
while(1){
pthread_mutex_lock(&mutex);//加锁
printf("t1:%d\n",g_data++);
if(g_data == 3){
pthread_cond_signal(&cond); //特定条件下发送条件变量
}
pthread_mutex_unlock(&mutex);//解锁
sleep(1);
}
}
void *funcl2(void *arg)
{
printf("t2:%ld thread is create.\n",(unsigned long)pthread_self());
printf("t2:the param is:%d\n",*((int *)arg));
while(1){
pthread_cond_wait(&cond,&mutex);//等待条件为真时加锁
printf("t2:%d\n",g_data);
printf("t2 quit=====================\n");
g_data=0;
sleep(1);//睡眠过程中线程一从新获得锁,线程二等待条件第二次为真。
}
}
int main()
{
pthread_t t1;
pthread_t t2;
// pthread_mutex_init(&mutex,NULL);//动态初始化后必须调用destroy销毁锁
int param=100;
pthread_cond_init(&cond,NULL);
pthread_create(&t1,NULL,funcl,(void *)¶m);
pthread_create(&t2,NULL,funcl2,(void *)¶m);
printf("main:%ld\n",(unsigned long)pthread_self());
pthread_join(t2,NULL);
pthread_mutex_destroy(&mutex);
pthread_cond_destroy(&cond);
return 0;
}
什么情况会造成死锁?
当同时有两个锁A,B和两个线程a,b。若存在这种情况ABa BAb时,对于线程a:A先上锁然后B再去上锁,由于锁B已经被线程b使用,在b线程解锁之前a进程都无法得到锁B,b线程也无法得到锁A,两个线程都无法正常运行就会造成死锁。