Generalizations to autosaving