11.6 检验并行程序