同步语义学 【计】 semantics of synchronization