pthread互斥锁运行逻辑及线程执行顺序问题咨询

首先纠正你代码里的几处笔误（否则无法正常编译运行） #

• #inlcude <stdio.h> 拼写错误，改为 #include <stdio.h>
• pthread_mutex_t_mtx; 语法错误，少了变量名前的空格，改为 pthread_mutex_t mtx;
• if(pthread_create(th + i, NULL, routine, i){ 缺少右括号，且参数类型需要适配，改为 if(pthread_create(th + i, NULL, routine, (void*)i)) {

关于输出顺序的结论 #

• 不会出现第一个创建的线程先跑完100万次循环再轮到第二个线程的情况，常规操作系统调度下这种概率可以忽略不计
• 首个输出的内容不一定属于先创建的线程
• 整体执行顺序是无确定规律的，完全由操作系统的线程调度策略决定

原理说明 #

默认属性的pthread_mutex_t属于非公平互斥锁，它的作用只有一个：保证同一时间最多只有一个线程成功持有锁，其余尝试加锁的线程会进入阻塞等待状态。因此你可以保证输出的每一行内容都是完整的，不会出现两行内容错乱穿插的情况，总输出行数固定为200万行，和你认知的一致。
但互斥锁本身不保证锁的获取顺序：当锁被pthread_mutex_unlock释放后，操作系统会从所有等待该锁的阻塞线程中任意挑选一个唤醒获取锁，没有先来后到的优先级规则。
你代码中每个线程释放锁后会立刻进入下一次循环尝试重新加锁，这种场景下两个线程会交替获取锁输出内容，交替的间隔也没有固定规律，你可能会看到连续多行都是同一个线程的输出，也可能看到两个线程严格交替输出，具体表现完全取决于当前系统的调度状态。

内容的提问来源于stack exchange，提问作者Johnny