Learn Rust with entirely too many linked lists (2019)

Re:Learn Rust with entirely too many linked lists (2019) by int_19h on Saturday February 22, 2020 @04:02PM (#22393304)

I don't see how you could trap creation or manipulation, since those pointers are stored in registers and/or memory, and both are fundamentally untyped. How would the hardware even know that something is a pointer, on any architecture that is popular today?

[ Parent | on HN ]

Re:Learn Rust with entirely too many linked lists (2019) by saagarjha on Saturday February 22, 2020 @08:13PM (#22394461)

Because you use typed instructions to access them. For example, on ARM with pointer authentication you’ll sign pointers and unsign them right before using them. If you forge a pointer it’ll cause a crash when it’s used because its signature will be incorrect.

[ Parent | on HN ]

Re:Learn Rust with entirely too many linked lists (2019) by int_19h on Saturday February 22, 2020 @09:11PM (#22394643)

But that would still happen at the point of dereference, no? Or does it allow to tag even operations like moves and adds?

[ Parent | on HN ]