Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation executions.
['Leslie Lamport']
I am writing a research paper on a idea How to make a correct multiprocess program execute correctly on a multiprocessor
[{"from": "human", "value": "I am writing a research paper on a idea How to make a correct multiprocess program execute correctly on a multiprocessor"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation executions."}]