我正在编写一个 SMT 程序,并且正在尝试解决一个有趣的问题。
我需要我的所有函数一起退出,但是有些线程卡在障碍物上,即使我不希望它们这样做。
我的问题是:当我删除障碍时会发生什么?线程是否卡在屏障释放处?有没有办法向某个障碍发出释放信号,即使障碍处的线程数尚未达到?
谢谢
我正在编写一个 SMT 程序,并且正在尝试解决一个有趣的问题。
我需要我的所有函数一起退出,但是有些线程卡在障碍物上,即使我不希望它们这样做。
我的问题是:当我删除障碍时会发生什么?线程是否卡在屏障释放处?有没有办法向某个障碍发出释放信号,即使障碍处的线程数尚未达到?
谢谢