search

uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
162 stars 22 forks source link

make writing to the best result file atomic #9

Closed chengniansun closed 1 year ago

chengniansun commented 3 years ago

It is possible that when Perses is writing to the best result file, Perses is killed. We need to have a better way to make sure the writing operation is atomic. In other words, we need to make sure it is either success or fail. For example, we can write to a temp file first, and then rename it to the best file.

chengniansun commented 1 year ago

Managed by an internal issue.