|
|
发表于 2021-8-11 23:17:54
|
显示全部楼层
标准里面这段后面还有一段:
When events are merged, the assignment only affects the execution of subsequent event control or wait
operations. If a process is blocked waiting for event1 when another event is assigned to event1, the
currently waiting process shall never unblock.
所以如果由正在等待event1的线程,而 event1被赋予event2,此时等待event1的线程将不会unblock;
所以如果想要ev_b等待线程能执行, ev_b = ev_a的执行必须要在wait(ev_b.triggered)之前; |
|