这个问题遇到过好几次了,前面都是没弄明白问题根本,代码重写凑合把问题解决掉。今天忽然醒悟,记录一下,以后尽量少干这样的蠢事。
事情是这样的。
1. 某个程序,我开了一个新的线程 B ,我们把主线程叫做线程 A。
2. 当 A 需要关闭 B 时,A 关闭 B 中的某资源(比如文件);B 如果检查到该资源已关闭,则从 while 中退出。
看起来没问题?其实我们把线程运行的根本特点忘记了!时间片!和代码无关的时间分配!!结果是,代码可能停在任何地方!
比如下面这张图:
假设 read(f) 在上一个时间片执行到一半,那么此时,如果我们在另一个线程中将关键资源 f 关闭,下一个时间片来临时,read(f) 就会出现致命错误。即使我们在执行 read(f) 前已经判断 f 是否为 NULL 也无济于事!!!
怎么解决?
可行的办法之一,是不直接关闭资源,而是额外设置一个变量做信号等。比如上面的例子,我们可以在线程 A 中设置信号灯 stop_read = true,然后,我们可以在 read(f) 前进行检查“if( stop_read || f == NULL)”;如果 stop_read == true 成立,则由线程自行关闭资源即可。
这叫做线程的同步?