I went to a pretty fascinating talk by a Green Hills engineer a while back about memory barriers and how compilers treat them. Definitely a good company's careers page to keep an eye on. Good luck!