4 ms·
Yes, you're right. The definition of an optimization being ``safe'' is tricky in the presence of non-determinism. The set of possible executions of a correctly
by endoplasm 9y ago
Yes, you're right. The definition of an optimization being ``safe'' is tricky in the presence of non-determinism.
The set of possible executions of a correctly optimized program should be a subset of---and specifically, need not be necessarily equal to---the possible executions of the original unoptimized version.