在SOR模型[1]的基础上提出了BRO-SOC（Backward Recovery Oriented Sphere of Correctness）框架,并在该框架的指导下提出了DoubleRun......