ioutil.Discard 这个 io.writer 是线程安全的吗

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

The Go Programming Language

› http://golang.org/

› Go Playground

Go Projects

› Revel Web Framework

这是一个创建于 2469 天前的主题，其中的信息可能已经有所发展或是发生改变。

18 条回复 • 2018-03-01 09:23:51 +08:00

inkedawn

2018-02-19 18:46:34 +08:00

文档没写就看源码呗

ioutil.Discard 对象本身没有保存什么信息，进去的东西都被丢弃了

rrfeng

2018-02-19 21:54:32 +08:00 via Android

丢弃的数据需要什么线程安全？

sdrzlyz

2018-02-19 22:15:23 +08:00 via Android

😳 假设楼主 writer 并发写的话，最终顺序是啥？

sagaxu

2018-02-19 22:18:47 +08:00

https://golang.org/src/io/ioutil/ioutil.go

从 122 行开始看，
type devNull int
var Discard io.Writer = devNull(0)

没有 data，何来 data race ？

admirez

2018-02-19 23:37:26 +08:00

@sagaxu 受教

zwh2698

2018-02-20 02:24:24 +08:00 via Android

就是 /dev/null

CRVV

2018-02-28 10:16:51 +08:00

@sagaxu
1. 没有 data 也可以有 race，data race 是 race condition 的子集
2. 这个事要从 144 行来看，ioutil.Discard 被专门做成了线程安全的
3. ioutil.Discard 曾经不是线程安全的，还被当案例写下来了。https://blog.golang.org/race-detector

sagaxu

2018-02-28 10:52:40 +08:00 via Android

@CRVV 在多线程并发上除了 data race 还有什么 race ？或者说软件开发上，还有别的导致不线程安全的 race?

CRVV

2018-02-28 11:39:27 +08:00 via Android

@sagaxu
文件的 close 和 open 之间可以有 race，这个和常见的 data race 是两回事

Node.js 里，如果写
console.log('exit')
process.exit()
前面的写操作是异步的，所以这两行之间有 race

sagaxu

2018-02-28 11:47:20 +08:00 via Android

@CRVV 串行执行的时候，你 close 掉文件再写入一样有问题，这已经不是 race 了，是 data dependency。

CRVV

2018-02-28 11:59:50 +08:00 via Android

@sagaxu
不是先 close 再 read 的问题
是 close 和 open 的问题
我指的是 https://github.com/golang/go/issues/7970

sagaxu

2018-02-28 12:11:26 +08:00 via Android

@CRVV 你举的先 close 再 open 例子就是典型的 data race

admirez

2018-02-28 12:43:39 +08:00 via iPhone

@CRVV 感谢，非常感谢

CRVV

2018-02-28 13:11:12 +08:00

@sagaxu
1. 我不知道你说的“典型的 data race ”是什么。
https://blog.regehr.org/archives/490 明确地给出了 data race 和 race condition 的定义和它们之前的关系
2. 我上面说 “ data race 是 race condition 的子集”，这是错的，这两个东西互相不是对方的子集
3. 按照我发的链接里的定义，不同线程上的 2 个 open 和 close 之间构不成 data race，因为只有 open 一个地方用到了内存地址

sagaxu

2018-02-28 16:22:29 +08:00

@CRVV

f.fd = -1 没有 happens-before close(fd)，所以才引发了这个问题，在 Java Language Specification 里，这种因为 order 引发的错误，不管是代码写错还是编译器重排序引起，都称为 data race。

也有只把 data race 定义为 memory access 引发问题的，比如你给的那个博客。

CRVV

2018-02-28 18:37:18 +08:00

@sagaxu

https://docs.oracle.com/javase/specs/jls/se9/html/jls-17.html#jls-17.4.5
When a program contains two conflicting accesses (§17.4.1) that are not ordered by a happens-before relationship, it is said to contain a data race.

https://docs.oracle.com/javase/specs/jls/se9/html/jls-17.html#jls-17.4.1
Two accesses to (reads of or writes to) the same variable are said to be conflicting if at least one of the accesses is a write.

Java Language Specification 也把 data race 定义为 memory access

sagaxu

2018-02-28 20:28:40 +08:00 via Android

@CRVV 难道说这个 f.fd 不是共享的 instance field?

Table 17.4-B. Surprising results caused by statement reordering - valid compiler transformation

重排序引发的问题也当成 data race 的案例解释了

q397064399

2018-03-01 09:23:51 +08:00

@sagaxu #17 这里的重排是值 CPU 乱序指令执行吗？