在此情况下,同步协议强制以正确的顺序执行,所以ConTest只是生成合法的交错。
In that case, the synchronization protocol forces the correct order, so ConTest only generates legal interleavings.
synchgc类型表示同步gc,它是从头到尾连续运行的gc循环;即,不与应用程序交错运行。
A synchgc type represents a synchronous gc, which is a gc cycle that ran uninterrupted from beginning to end; that is, interleaving with the application didn't happen. These can occur for two reasons.
采用脉冲交错技术使发射机或接收机能同步于收发冲激无线电信号脉冲。
The pulse interleaving technology is adopted to make the transmitter or receiver synchronize with the transmission and the reception of the impulse radio signal pulses.
应用推荐