Safety Mechanism Design and Verification of Safety Computer Parallel Program