|
|
|
|
|
|
by emn13
243 days ago
|
|
|
I mean, reliably tracking ownership and therefore knowing that e.g. an aliased write must complete before a read is surely helpful? It won't prevent all races, but it might help avoid mistakes in a few of em. And concurrency is such a pain; any such machine-checked guarantees are probably nice to have to those dealing with em - caveat being that I'm not such a person. |
|
|