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,…
Neither of those optimizations looks safe to me. Couldn't they potentially introduce deadlocks?
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,…
Neither of those optimizations looks safe to me. Couldn't they potentially introduce deadlocks?