Linux线程相关概念

目录

一.线程概述

二.线程相关API

三.互斥量

四.线程条件控制实现线程的同步

---

一.线程概述

进程与线程的区别

典型的UNIX/Linux进程可以看成只有一个控制线程：一个进程在同一时刻只做一件事情。有了多个控制线程后，在程序设计时可以把进程设计成在同一时刻做不止一件事，每个线程各自处理独立的任务。

进程是程序执行时的一个实例，是担当分配系统资源（CPU时间、内存等）的基本单位。在面向线程设计的系统中，进程本身不是基本运行单位，而是线程的容器。程序本身只是指令、数据及其组织形式的描述，进程才是程序（那些指令和数据）的真正运行实例。

线程是操作系统能够进行运算调度的最小单位。它被包含在进程之中，是进程中的实际运作单位。一条线程指的是进程中一个单一顺序的控制流，一个进程中可以并发多个线程，每条线程并行执行不同的任务。线程包含了表示进程内执行环境必须的信息，其中包括进程中表示线程的线程ID、一组寄存器值、栈、调度优先级和策略、信号屏蔽字、errno常量以及线程私有数据。进程的所有信息对该进程的所有线程都是共享的，包括可执行的程序文本、程序的全局内存和堆内存、栈以及文件描述符。在Unix和类Unix操作系统中线程也被称为轻量级进程（lightweight processes），但轻量级进程更多指的是内核线程（kernel thread），而把用户线程（user thread）称为线程。

进程有独立的地址空间，一个进程崩溃后，在保护模式下不会对其它进程产生影响，而线程只是一个进程中的不同执行路径。线程有自己的堆栈和局部变量，但线程没有单独的地址空间，一个线程死掉就等于整个进程死掉，所以多进程的程序要比多线程的程序健壮，但在进程切换时，耗费资源较大，效率要差一些。但对于一些要求同时进行并且又要共享某些变量的并发操作，只能用线程，不能用进程。

总结："进程——资源分配的最小单位，线程——程序执行的最小单位“

使用线程的理由

从上面我们知道了进程与线程的区别，其实这些区别也就是我们使用线程的理由。总的来说就是：进程有独立的地址空间，线程没有单独的地址空间（同一进程内的线程共享进程的地址空间）。

使用多线程的理由之一是和进程相比，它是一种非常"节俭"的多任务操作方式。我们知道，在Linux系统下，启动一个新的进程必须分配给它独立的地址空间，建立众多的数据表来维护它的代码段、堆栈段和数据段，这是一种"昂贵"的多任务工作方式。而运行于一个进程中的多个线程，它们彼此之间使用相同的地址空间，共享大部分数据，启动一个线程所花费的空间远远小于启动一个进程所花费的空间，而且，线程间彼此切换所需的时间也远远小于进程间切换所需要的时间。据统计，总的说来，一个进程的开销大约是一个线程开销的30倍左右，当然，在具体的系统上，这个数据可能会有较大的区别。

使用多线程的理由之二是线程间方便的通信机制。对不同进程来说，它们具有独立的数据空间，要进行数据的传递只能通过通信的方式进行，这种方式不仅费时，而且很不方便。线程则不然，由于同一进程下的线程之间共享数据空间，所以一个线程的数据可以直接为其它线程所用，这不仅快捷，而且方便。当然，数据的共享也带来其他一些问题，有的变量不能同时被两个线程所修改，有的子程序中声明为static的数据更有可能给多线程程序带来灾难性的打击，这些正是编写多线程程序时最需要注意的地方。

二.线程相关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，否则返回错误编号
第一个参数：一个无符号类型的长指针
第二个参数：线程属性（NULL）
第三个参数：函数指针
第四个参数：给这个线程传参的参数（回调函数的参数）

//2. 线程退出
#include <pthread.h>
int pthread_exit(void*rval_ptr);

rval_ptr是一个无类型指针，与传给启动例程的单个参数类似。
进程中的其他线程可以通过调用pthread_join函数访问到这个指针。

//3.阻塞等待线程退出，获取线程退出状态
#include <pthread.h>
int pthread_join(pthread_t pthread, void **retval)
// 返回：若成功返回0，否则返回错误编号
参数：
pthread:要回收的子线程的ID
retval:读取线程退出的携带信息
传出参数
void* ptr;
pthread_join(pthid,&ptr)；
指向的内存和pthread_exit参数指向地址一致

//4. 线程ID获取及比较
#include <pthread.h>
pthread_t pthread_self(void);
// 返回：调用线程的ID

demo

#include <stdio.h>
#include <pthread.h>

//int pthread_create(pthread_t *restrict tidp, const pthread_attr_t *restrict attr, void*(*start_rtn)(void*), void *restrict arg);

void *func1(void *arg){
        static int ret = 10;

        printf("t1:%ld pthread is creat\n",(unsigned long)pthread_self());
        printf("t1:param is:%d\n",*((int *)arg));

        pthread_exit((void *)&ret);
}

int main()
{
        pthread_t t1;
        int ret;
        int param = 100;
        int *pret;

        ret = pthread_create(&t1,NULL,func1,(void *)&param);
        if(ret == 0){
                printf("main:creat t1 success\n");
        }
        printf("main:%ld pthread is creat\n",(unsigned long)pthread_self());

        pthread_join(t1, (void **)&pret);
        printf("main quit = %d\n",*pret);
        return 0;
}

三.互斥量

互斥量（mutex）从本质上来说是一把锁，在访问共享资源前对互斥量进行加锁，在访问完成后释放互斥量上的锁。对互斥量进行加锁后，任何其他试图再次对互斥量加锁的线程将会被阻塞直到当前线程释放该互斥锁。如果释放互斥锁时有多个线程阻塞，所有在该互斥锁上的阻塞线程都会变成可运行状态，第一个变为可运行状态的线程可以对互斥量加锁，其他线程将会看到互斥锁依然被锁住，只能回去等待它重新变为可用。在这种方式下，每次只有一个线程可以向前运行。

在设计时需要规定所有的线程必须遵守相同的数据访问规则。只有这样，互斥机制才能正常工作。操作系统并不会做数据访问的串行化。如果允许其中的某个线程在没有得到锁的情况下也可以访问共享资源，那么即使其它的线程在使用共享资源前都获取了锁，也还是会出现数据不一致的问题。

互斥变量用pthread_mutex_t数据类型表示。在使用互斥变量前必须对它进行初始化，可以把它置为常量PTHREAD_MUTEX_INITIALIZER（只对静态分配的互斥量），也可以通过调用pthread_mutex_init函数进行初始化。如果动态地分配互斥量（例如通过调用malloc函数），那么在释放内存前需要调用pthread_mutex_destroy。

相关API

1. 创建及销毁互斥锁
#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。

2. 加锁及解锁
#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。

demo

#include <stdio.h>
#include <pthread.h>

pthread_mutex_t mutex;

void *func1(void *arg){
        int i;
        pthread_mutex_lock(&mutex); //加锁
        for(i=0;i<5;i++){
        printf("t1:%ld pthread is creat\n",(unsigned long)pthread_self());
        printf("t1:param is:%d\n",*((int *)arg));
        }
        pthread_mutex_unlock(&mutex); //解锁
}

void *func2(void *arg){
        pthread_mutex_lock(&mutex); //加锁

        printf("t2:%ld pthread is creat\n",(unsigned long)pthread_self());
        printf("t2:param is:%d\n",*((int *)arg));

        pthread_mutex_unlock(&mutex);  //解锁
}

int main()
{
        pthread_t t1;
        pthread_t t2;
        int ret;
        int param = 100;

        pthread_mutex_init(&mutex,NULL);  //创建互斥锁

        ret = pthread_create(&t1,NULL,func1,(void *)&param);
        if(ret == 0){
                printf("main:creat t1 success\n");
        }

        ret = pthread_create(&t2,NULL,func2,(void *)&param);
        if(ret == 0){
                printf("main:creat t2 success\n");
        }

        printf("main:%ld pthread is creat\n",(unsigned long)pthread_self());

        pthread_join(t1,NULL);
        pthread_join(t2,NULL);

        pthread_mutex_destroy(&mutex);//销毁锁
        return 0;
}

四.线程条件控制实现线程的同步

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函数将唤醒等待该条件的所有进程

demo

#include <stdio.h>
#include <pthread.h>

pthread_mutex_t mutex;
pthread_cond_t cond;
int g_data = 0;

void *func1(void *arg){
        while(1){
        pthread_cond_wait(&cond, &mutex); //等待线程2完成条件
        printf("t1:g_data=%d\n",g_data);
        printf("t1:run==================\n");
        sleep(1);
        g_data = 0;
        }
}

void *func2(void *arg){

        while(1){
        printf("t2:g_data=%d\n",g_data);
        pthread_mutex_lock(&mutex);  //加锁
        g_data++;
        if(g_data == 3){
                pthread_cond_signal(&cond);  /触发条件
        }
        pthread_mutex_unlock(&mutex);  //解锁
        sleep(1);
        }
}


int main()
{
        pthread_t t1;
        pthread_t t2;
        int ret;
        int param = 100;

        pthread_mutex_init(&mutex,NULL);
        pthread_cond_init(&cond,NULL);  //创建条件变量初始化

        ret = pthread_create(&t1,NULL,func1,(void *)&param);
        if(ret == 0){
                printf("main:creat t1 success\n");
        }

        ret = pthread_create(&t2,NULL,func2,(void *)&param);
        if(ret == 0){
                printf("main:creat t2 success\n");
        }
        printf("main:%ld pthread is creat\n",(unsigned long)pthread_self());

        pthread_join(t1,NULL);
        pthread_join(t2,NULL);

        pthread_mutex_destroy(&mutex);  //销毁互斥锁
        pthread_cond_destroy(&cond);   //销毁条件变量
        return 0;
}