spring/spring — comment on commit e6bfced1b2e5a699cfe65ee0af40ce42d9b2be29
File:  line 0
By jk3064:

1. For the unsynced code sorting doesn't matter.
2. For synced code it only matters that the sync_id of a later created object is larger than the one of a older one.

So it doesn't matter if an unsynced & synced object got the same id.
Only the writeback of an old id by a non-sim thread can cause a problem.