Linux线程API详解(下)

问题

一个线程执行后申请了资源，中途又不得不提前结束，该怎么办？

线程清理函数

void pthread_cleanup_push(void (*start_routine) (void*), void* arg);

void pthread_cleanup_pop(int execute);

pthread_cleanup_push：

• 注册线程 "被迫" 结束时，需要执行的函数 (资源释放可在函数中完成)

pthread_cleanup_pop：

• "弹出" 之前注册的函数，根据参数决定是否执行函数
• "弹出操作" 必须位于 return 语句之前

下面的程序输出什么？为什么？

何时会触发注册的清理函数？

pthread_exit() 与 pthread_cancel() 总是会触发清理函数执行

pthread_cleanup_pop() 的参数非零时，触发一个清理函数执行

通过 return 返回，未必会触发清理函数执行

清理函数触发实验

test1.c

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

void clean_test(void* arg)
{
	printf("clean_test : %lld\n", (long long)arg);
}

void foo(void)
{
	printf("I'm foo()!\n");
	pthread_exit(0);
}

void* pthread_entry(void* arg)
{
	pthread_cleanup_push(clean_test, (void*)111);
	
	foo();
	
	pthread_cleanup_pop(1);
	
	return NULL;
}

int main(int argc, char* argv[])
{
	pthread_t tid = {0};
	
	pthread_create(&tid, NULL, pthread_entry, NULL);
	
	pthread_join(tid, NULL);
	
	return 0;
}

第 17 行，通过 pthread_cleanup_push() 设置线程退出后的清理函数

第 21 行，pthread_cleanup_pop() 的参数为 1，表示线程退出后，会调用线程清理函数 clean_test()

子线程调用 foo() 后，会提前退出

程序允许结果如下图所示：

清理函数被执行了

将第 21 行，pthread_cleanup_pop() 的参数改为 0，查看程序运行结果：

清理函数被执行了

test2.c

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

void clean_test(void* arg)
{
	printf("clean_test : %lld\n", (long long)arg);
}

void foo(void)
{
	printf("I'm foo()!\n");
	// pthread_exit(0);
}

void* pthread_entry(void* arg)
{
	pthread_cleanup_push(clean_test, (void*)111);
	
	foo();
	
	pthread_cleanup_pop(1);
	
	return NULL;
}

int main(int argc, char* argv[])
{
	pthread_t tid = {0};
	
	pthread_create(&tid, NULL, pthread_entry, NULL);
	
	pthread_join(tid, NULL);
	
	return 0;
}

将 foo() 中的 pthread_exit() 去除

程序运行结果如下图所示：

清理函数被执行了

将第 21 行，pthread_cleanup_pop() 的参数改为 0，查看程序运行结果：

清理函数没有被调用

将 23 行 return NULL 改为 pthread_exit(0)，查看程序运行结果：

清理函数没有被调用

test3.c

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

void clean_test(void* arg)
{
	printf("clean_test : %lld\n", (long long)arg);
}

void foo(void)
{
	printf("I'm foo()!\n");
	// pthread_exit(0);
}

void* pthread_entry(void* arg)
{
	pthread_cleanup_push(clean_test, (void*)111);
	
	foo();
	
	return NULL;
	
	pthread_cleanup_pop(1);
	
}

int main(int argc, char* argv[])
{
	pthread_t tid = {0};
	
	pthread_create(&tid, NULL, pthread_entry, NULL);
	
	pthread_join(tid, NULL);
	
	return 0;
}

程序运行结果如下图所示：

清理函数没有被调用

结论：当线程注册了清理函数后，在 pthread_cleanup_pop() 前调用 pthread_exit()，则一定会触发清理函数的调用；若pthread_cleanup_pop() 的参数为 1，则也会触发清理函数的调用；在 pthread_cleanup_pop()  前 return 不会触发清理函数的调用，return 和清理函数没有关联

 下面的程序输出什么？为什么？

注意事项

Linux 中 "线程清理函数" 的本质是宏定义 (不是函数)

pthread_cleanup_push() 和 pthread_cleanup_pop() 之间构成内部作用域

pthread_cleanup_push() 定义中包含一个 "多余的" {

pthread_cleanup_pop() 定义中包含一个 "多余的" }

线程清理函数本质实验

test4.c

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

void clean_test(void* arg)
{
	printf("clean_test : %lld\n", (long long)arg);
}

void foo(void)
{
	printf("I'm foo()!\n");
}

void* pthread_entry(void* arg)
{
	pthread_cleanup_push(clean_test, (void*)111);
	
	int i = 0;
	
	foo();
	
	pthread_cleanup_pop(0);
	
	for(i = 0; i < 10; i++)
	{
		printf("i = %d\n", i);
	}
	
	return NULL;
}

int main(int argc, char* argv[])
{
	pthread_t tid = {0};
	
	pthread_create(&tid, NULL, pthread_entry, NULL);
	
	pthread_join(tid, NULL);
	
	return 0;
}

编译上面的程序，查看编译结果

编译未通过，提示变量 i 未定义，但是我们明明在线程函数体中定义了 i，这是因为pthread_cleanup_push() 和 pthread_cleanup_pop() 是宏定义而不是函数，

pthread_cleanup_push() 定义中包含一个 "多余的" {，pthread_cleanup_pop() 定义中包含一个 "多余的" }，这样我们定义的 i 的作用域就不在线程函数体中了

思考

如果主线程调用了 pthread_exit(0) 会发生什么？

下面的程序输出什么？为什么？

线程深度实验

test5.c

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

void* pthread_entry(void* arg)
{
	for(int i = 0; i < 20; i++)
	{
		printf("I'm foo()!\n");
		sleep(1);
	}
	
	return NULL;
}

int main(int argc, char* argv[])
{
	pthread_t tid = {0};
	
	pthread_create(&tid, NULL, pthread_entry, NULL);
	
	pthread_exit(NULL);
}

第 22 行，主线程通过 pthread_exit() 退出

程序运行结果如下图所示：

主线程退出后，子线程还在继续运行

我们使用 ps aux 命令查看下进程的状态

进程的状态为 Zl+，表示当前进程的状态为僵尸态，有多个线程，位于前台进程组中

当主线程通过 pthread_exit() 退出后，如果还有子线程在运行，则进程变成僵尸态

将程序第 27 行，改为 return 0

程序运行结果如下图所示：

主线程通过 return 退出，进程直接结束了

将程序第 27 行，改为 exit(0)

程序运行结果如下图所示：

主线程通过 exit() 退出，进程直接结束了

pthread_exit() VS exit()

pthread_exit() => 结束当前执行流，仅释放线程固定资源

• 如果调用线程是主线程，则：
  • 单线程 => 线程执行流结束，进程立即结束
  • 多线程 => 主线程执行流结束，进程进入僵尸状态，其他线程继续执行

exit() => 结束当前进程，释放所有资源

一些推论

Linux 中进程的结束标志是 主线程 是否执行结束

• 当主线程执行结束 (exit()) 进程结束，所有资源被释放
• 主线程调用 pthread_exit() 进程进入僵尸状态 (子线程执行结束则进程结束)

main() 中执行 return 语句，意味着主线程执行结束，因此进程结束

• 在应用开发过程中，应避免在主线程中调用 pthread_exit()

pthread_create() VS fork()

再论 fork()：

• 创建子进程，然而不会复制父进程空间中的数据 
• 子进程直接使用父进程空间 (没有完整独立的进程空间)
• 子进程可以使用父进程的数据 (堆，栈，全局)
• 子进程不能从创建点 return 返回

pthread_create() VS vfork()

vfork() 进程与线程的不同

vfork() 进程只是一个新的执行流 (无任何附带资源的执行流)

线程有自己的专用资源 (如：栈) 同时共享进程全局资源

vfork() 不能和父进程同时执行 (父进程等待子进程结束)

子线程 和 主线程 同时执行，可同时使用进程全局资源