自从问了这个问题(最后回答)以来,C就有了一个新的标准。
C11现在具有多线程支持,并解决了流的多线程行为:
§7.21.2流
¶7每个流都有一个关联的锁,该锁用于防止多个执行线程访问一个流时发生数据争用,并限制由多个线程执行的流操作的交织。一次只能有一个线程持有此锁。该锁是可重入的:单个线程可以在给定时间多次持有该锁。
¶8读取,写入,定位或查询流位置的所有函数在访问该流之前将其锁定。访问完成后,它们释放与流关联的锁。
因此,使用C11线程的实现必须保证使用printf是线程安全的。
乍看之下,是否能保证原子性(如无交织1)在我看来还不是很清楚,因为该标准讲的是限制交织,而不是防止交织,这是数据竞争所要求的。
我倾向于保证。该标准说的是限制交织,因为仍然允许发生一些不会改变结果的交织。例如, fwrite一些字节,再fseek返回一些字节,fwrite直到原始偏移为止,这样两个fwrites都是背对背的。该实现可以自由地对这两个2进行重新排序fwrite并将它们合并为一个写入。