Needed for trace splitting (temporal or functional): - fast-mode - checkpointing - gogen - inter shard consistancy proof (bus, etc)