12.5 异步共享存储器系统中的可计算性＊