Hacker News new | past | comments | ask | show | jobs | submit login

Your example was hard to follow. What do you mean exactly. Write it in terms of memory operations performed and values observed by each CPU and address, with assertions that are or are not violated according to your example.



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

Search: