TSM aids Non-Blocking Synchronization

Type stability ensures safety of pointer dereferences.
Without TSM, delete example is too big to fit on slide.
- Need to check for changes on each loop iteration

TSM makes NBS code simpler and faster