OpenMP并行任务场景下循环内指针e的取值逻辑与原因咨询

推导中成立的部分 #

• e的迭代变更仅发生在single区域的执行线程内部，这些迭代过程中的实时值，不会自发传递到后续生成的独立task执行上下文中。
• 若要让每个task读取到任务生成时刻对应的e的当前值，确实需要通过firstprivate(e)这类数据传递子句，将对应时刻的变量值拷贝为task的私有副本。

推导中存在偏差的部分 #

• 关于“不使用firstprivate(e)则single区域的变量值不会自动带入任务作用域”的表述不准确。这里问题的核心不是“值不会带入”，而是当前代码中e的默认数据共享属性为共享（shared）：
  e是在整个并行区域外部声明的变量，按照OpenMP默认规则，并行区域内所有对e的引用都会关联到同一块全局内存地址，所有线程、所有生成的task都访问这一地址。当task构造没有显式指定数据共享子句时，task会继承变量在当前上下文的共享属性——这里的e既不是task的私有变量，也不会在任务生成时拷贝当前值，而是直接复用single线程操作的那块内存。
• 关于“任务内读取到的e是随机值”“外部预初始化e为x则所有任务固定读到x”的判断不符合实际行为：
• 不存在随机取值的情况。因为e是共享的单内存地址，所有task读到的e值，就是e所在内存位置在task实际被调度执行时的最新值，而非生成task时刻的值。
• 按照这段代码的执行流程，single线程会连续跑完整个for循环：不断把e更新为链表的下一个节点，直到e为NULL时退出循环。整个过程中没有任何调度点会提前把入队的task分派出去，等single区域执行完成、触发隐式调度点时，之前循环中生成的所有task才会被工作线程池执行。此时共享的e已经被更新到循环终止时的状态（即NULL），所有task读取到的都是这个确定的最终值，而非随机值。
• 就算在并行区域外部提前把e初始化为固定值x，只要single块内的for循环正常执行，e就会被覆盖为链表遍历过程中的节点值、最终停在NULL；task被调度时读到的永远是它们运行时刻e的最新状态，不会固定为初始的x。

“所有任务读到的e值完全一致”的根本原因 #

这段代码的single执行流程是连续无停顿的：从第一个task入队到最后一个task生成、退出single区域，整个过程没有触发任务调度。等所有task生成完毕后，调度才会启动，此时e已经完成了全部迭代、停在循环的终止值（NULL），所有被调度的task自然会读到完全相同的e值。
如果在for循环内部加入显式调度点（比如taskwait），让生成的task在single线程还在迭代e的过程中就被调度执行，不同时间点运行的task读到的e值就是对应时刻的更新值，不会保持统一。

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