A look at The Machine
A look at The Machine
Posted Sep 4, 2015 18:39 UTC (Fri) by adler187 (guest, #80400)In reply to: A look at The Machine by mathstuf
Parent article: A look at The Machine
The MI architecture has special instructions for manipulating pointers, which prevent casting back and forth between int and if you try it, the tag bit will become unset by the hardware and attempting to dereference the pointer will cause a segmentation fault. This is similar to the CHERI CPU: https://lwn.net/Articles/604298/, though CHERI differs in that it has pointers and "capabilities" and you have to opt-in to capabilities, so applications that assume pointer == long continue to work, but you can get better protection by using capabilities - on IBM i there is no such luck, you have to update your application.
Posted Sep 11, 2015 12:12 UTC (Fri)
by mathstuf (subscriber, #69389)
[Link]
A look at The Machine