Tak zrovna todle by se stalo i v Rustu, protoze to je problem v RCU, kdy reader nedrzi read_lock, takze pri dalsi synchonizaci RCU je objekt uvolnen. Rustovskej ownership totiz neuchrani data sdilena vice thready a je potreba pouzit neco jineho jako reference counting a nebo RCU.
Use-after-free je hodně velké zjednodušení, aby to pochopil i průměrný programátor. Je to ale mnohem složitější, takže bych doporučil si přečíst ten commit log.
Bohužel high performance = unsafe, a uživatel obvykle chce ten výkon...