Checking the performance of parallel programs with common data

MaRDI QIDQ1082068zbMATH OpenFDO

Authors V. V. Parshentsev

Publication date 1986

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

partial correctnessprogram terminability

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

A sufficient condition for correct operation of parallel programs with common data is formulated and proved. An algorithm which checks common data operation on the basis of program text is described.

Recommendations

• Analysis of the correctness of a parallel program for set partitioning
• Parallel algorithms and correctness in parallel programs
• Designing checkers for programs that run in parallel
• Checking sequential correctness in shared-memory parallel programs
• Correctness properties in a shared-memory parallel language

Cited in

(8)

• Search for places for creation of consistent checkpoints in parallel programs by analyzing the program trace
• Program testing in parallel computing systems with single control stream
• On the correctness of parallel algorithms
• Analysis of the correctness of a parallel program for set partitioning
• Checking sequential correctness in shared-memory parallel programs
• scientific article; zbMATH DE number 4199622 (Why is no real title available?)
• Correctness properties in a shared-memory parallel language
• scientific article; zbMATH DE number 3978353 (Why is no real title available?)

This page was built for publication: Checking the performance of parallel programs with common data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082068)