线程及常用操作函数

本文详细介绍了Linux中线程的概念,如其与进程的区别,以及线程ID、创建线程的pthread_create、退出线程的pthread_exit、线程同步的信号量和互斥锁的使用。还讨论了线程同步中的死锁问题和相关函数。

一、什么是线程

LWP:light weight process 轻量级的进程,本质仍是进程(在Linux环境下)

进程:独立地址空间,拥有PCB

线程:也有PCB,但没有独立的地址空间(共享)

区别:在于是否共享地址空间。 独居(进程);合租(线程)。

Linux下: 线程:最小的执行单位

进程:最小分配资源单位,可看成是只有一个线程的进程。

在linux下,线程是最小的执行单位,进程是最小的分配资源单位

线程和进程底层实现都是调用同一个内核函数clone。

如果复制对方的地址空间,那么就产出一个“进程”;如果共享对方的地址空间,就产生一个“线程”。

因此:Linux内核是不区分进程和线程的。只在用户层面上进行区分。所以,线程所有操作函数 pthread_* 是库函数,而非系统调用。

二、线程共享资源

1.文件描述符表

2.每种信号的处理方式

3.当前工作目录

4.用户ID和组ID

5.内存地址空间 (.text/.data/.bss/heap/共享库)

三、线程非共享资源

1.线程id

2.处理器现场和栈指针(内核栈)

3.独立的栈空间(用户空间栈)

4.errno变量

5.信号屏蔽字

6.调度优先级

四、线程函数

4.1.pthread_self函数 pthread_t pthread_self(void);获取线程ID

返回值:成功:0;失败:无

线程ID:pthread_t类型。在linux下为无符号长整型;

线程id是进程内部,识别表示,(两个进程间允许线程id相等)

4.2.pthread_create函数,创建线程

原函数:int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine) (void *), void *arg);

返回值:0 :错误号

thread,:保存系统为我们分配好的线程ID

pthread_t *thread:线程id

const pthread_attr_t *attr:线程默认属性,通常为NULL,可以更改

void *(*start_routine) (void *):函数指针指向主函数,z主函数运行结束,则线程结束

void *arg:主函数执行期间的所用属性,通常传NULL,可以修改

4.3.pthread_exit函数,将单个线程退出

原函数:void pthread_exit(void *retval);

retval : 表示线程退出状态,通常传NULL

return:返回到调用者那里去。

pthread_exit():将调用该函数的线程

exit: 将进程退出。

4.4.pthread_join函数:阻塞等待线程退出,获取线程退出状态

原函数:int pthread_join(pthread_t thread, void **retval)

返回值:成功:0;失败:错误号

thread:线程ID

retval:存储线程结束状态。

4.5.pthread_cancel函数:杀死(取消)线程

原函数:int pthread_cancel(pthread_t thread);

返回值: 成功:0;失败:错误号

thread:线程ID

五、使用信号量实现线程同步

头文件:#include <semaphore.h>

s1: 创建结构体,子线程和主线程存放数据

*buf:主线程和子线程存放数据

data : ;消息。,数据

space : 空间

typedef struct

{

char *buf;

int *data;

int *spac;

} arguments;

set_T:信号量类型

s2:申请数据,等待信号量

s3:业务

s4:释放空间

s5:终端终端信号

signal函数

六、锁

死锁:线程加锁,未主动解锁,其他需要锁线程阻塞等待导致程序不能继续业务;

6.1.主要函数

pthread_mutex_init函数:初始化一个互斥锁

原函数: int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);

参数:

mutex是一个指向互斥锁对象的指针,

attr是一个指向互斥锁属性对象的指针。

pthread_mutex_destroy函数: 销毁一个互斥锁

原函数:int pthread_mutex_destroy(pthread_mutex_t *mutex);

pthread_mutex_lock函数: 加锁。

int pthread_mutex_lock(pthread_mutex_t *mutex);

pthread_mutex_trylock函数 : 尝试加锁

int pthread_mutex_trylock(pthread_mutex_t *mutex);

pthread_mutex_unlock函数 : 解锁。可理解为将mutex ++(或+1)

int pthread_mutex_unlock(pthread_mutex_t *mutex);

互斥锁:确保在同一时间只有一个线程可以访问共享资源,资源互斥

<think>好的,我现在需要帮助用户了解C++线程库及其常用成员函数的使用方法。首先,我应该回顾一下用户提供的引用内容,看看有哪些相关的信息可以整合进来。用户提到了几个引用,包括const成员函数在多线程中的作用,线程库的基本使用,带参数的线程函数,互斥量,条件变量,以及std::future和std::async。这些内容都是关键点,需要涵盖在回答中。 接下来,我需要确定用户的具体需求。用户想了解线程库的常用成员函数及其使用方法。因此,我应该从thread类的基本成员函数开始,比如构造函数、join()、detach()、joinable()等,然后扩展到互斥量、条件变量等同步机制。 首先,构造函数的用法。根据引用3和4,线程对象可以通过传递函数名和参数来创建。例如,带参数的函数需要将参数依次传递给thread的构造函数。这里需要举例说明,比如如何创建线程执行成员函数或普通函数,如何处理参数传递的问题。 然后是join()和detach()的区别。join()会阻塞主线程直到子线程完成,而detach()则让线程在后台运行,主线程不再等待。需要提到使用detach()时的注意事项,比如资源管理的问题,避免悬空指针或引用。 接下来是joinable()函数,用来检查线程是否可加入。这在调用join()或detach()之前进行检查很重要,避免重复操作导致异常。 然后可能需要提到互斥量库(mutex)中的lock_guard和unique_lock,这些都是管理锁的RAII类,能自动释放锁,避免死锁。引用2和5中提到了这些内容,特别是条件变量使用时需要配合unique_lock。 条件变量部分,需要解释wait()和notify_one()/notify_all()的使用方法,以及如何与互斥量配合使用。引用5中的代码示例可以用来展示生产者-消费者模型的基本结构,说明条件变量如何用于线程间通信。 此外,原子操作库(atomic)也是线程安全的重要部分,可以简要提及,但用户的问题主要集中在成员函数,可能不需要深入展开。 还要注意用户提到的const成员函数在多线程中的作用,这可能涉及到线程安全的设计,确保成员函数不会修改对象状态,从而避免数据竞争。引用1中提到这一点,可以在适当的地方提到,比如在讨论线程安全时强调使用const成员函数来保证状态不变性。 在组织回答时,应该按照逻辑顺序,从线程的创建和管理,到同步机制,再到实际应用中的注意事项。每个部分都提供代码示例,并引用相关的引用来源。例如,在解释线程构造函数时,引用3和4中的例子可以说明如何传递参数;在讨论条件变量时,引用5中的代码可以作为示例。 此外,用户要求生成相关问题,需要根据回答内容设计相关问题,比如线程同步的方法、detach的注意事项、条件变量的应用场景等。 最后,确保所有数学表达式和独立公式使用正确的LaTeX格式,但根据用户的问题,可能这部分内容较少,主要集中在代码示例上。需要检查代码格式是否正确,使用反引号包裹代码块,并标明语言类型。 现在需要整合这些思路,结构清晰地分点回答,确保每个成员函数都有说明、示例和注意事项,并正确引用来源。</think>### C++线程常用成员函数详解 #### 一、线程对象构造与基础操作 1. **构造函数** 通过函数指针或可调用对象创建线程,支持传递参数[^3][^4]: ```cpp void func(int a, string s) { /*...*/ } thread t1(func, 10, "test"); // 传递函数及参数 // 成员函数作为线程入口 class MyClass { public: void run(int x) { /*...*/ } }; MyClass obj; thread t2(&MyClass::run, &obj, 5); // 需传递对象指针和参数 ``` 2. **join()** 阻塞当前线程直到目标线程完成[^5]: ```cpp thread t([](){ cout << "子线程"; }); t.join(); // 主线程在此等待 ``` 3. **detach()** 分离线程,使其独立运行(注意资源生命周期问题)[^2]: ```cpp thread t([](){ /* 长时间任务 */ }); t.detach(); // 主线程不再管理此线程 ``` 4. **joinable()** 检查线程是否可加入/分离: ```cpp if(t.joinable()) { t.join(); // 避免重复操作导致崩溃 } ``` --- #### 二、同步机制成员函数 1. **互斥量(mutex)** ```cpp std::mutex mtx; mtx.lock(); // 手动加锁 mtx.unlock(); // 手动解锁 // RAII方式(推荐) std::lock_guard<std::mutex> lock(mtx); // 构造时自动加锁[^2] std::unique_lock<std::mutex> ulock(mtx); // 更灵活的锁[^5] ``` 2. **条件变量(condition_variable)** 使用`wait()`和`notify_one()`实现线程协调: ```cpp std::condition_variable cv; bool data_ready = false; // 等待方 std::unique_lock<std::mutex> lock(mtx); cv.wait(lock, []{ return data_ready; }); // 自动释放锁并等待 // 通知方 { std::lock_guard<std::mutex> lock(mtx); data_ready = true; } cv.notify_one(); ``` --- #### 三、关键注意事项 1. **参数传递** - 参数按值拷贝传递,需用`std::ref`传递引用[^4]: ```cpp int a = 10; thread t([](int& x){ x *= 2; }, std::ref(a)); ``` 2. **线程安全设计** - 对可能被多线程访问的成员函数使用`const`限定,确保不修改对象状态[^1] 3. **异常处理** - 在析构前必须调用`join()`或`detach()`,否则触发`terminate` ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值