Happy to see pointer provenance finally stabilized today. However, I didn't find the description of runtime overhead across the std doc.
When we manipulate the raw pointers in Rust code, it is most likely the cases where we care more about the performance and need to control low-level behaviors to optimize the performance even in cache-line granularity. As a result, I think it is necessary to document the runtime overhead for pointer provenance to help us understand what's going on under the hood.
Though described in the std doc:
Note that the full definition of provenance in Rust is not decided yet
We may not need precise definitions, some descriptional statements are just fine.
6 posts - 4 participants