Program Chopping #73
Description
A program may itself be composed of a number of independent programs; or programs that do not read or write any keys in common. These independent programs may be executed in parallel. For example, consider the program cons(write("x", real(1)), write("y", real(2))). The programs write("x", real(1)) and write("y", real(2))) are independent and may be processed in parallel. Splitting programs into pieces reduces the likelihood of conflict and the cost of retrying should they conflict, and executing them in parallel improves performance.