Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

To add to the example of 'DSingularity: remember that the memory ordering guarantees specify the behavior of individual processors in a multi-processor system. You have to extrapolate the system behavior from there. The guarantee on reordering of loads with respect to each other is only unnecessary if you assume that no other processor modifies those locations between loads.


Ah yes, I understand it now. Took me some time to get myself thinking on that abstraction level again :) Thanks!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: