可串行化判断相关论文