> AFAIU, ld4.c.nc doesn't provide any ordering semantics, so a load to an > unrelated address from within the following critical section could be > speculated before we've actually acquired the lock. > > What am I missing? Does the ALAT provide guarantees against other loads > somehow or does ld4.c.nc provide ordering guarantees that I didn't spot > in the manuals? I don't recall. I pinged the Itanium h/w architect that helped me write that code, but it may be a while before I get an answer (they said it would require paging in some old context to the brain, and they are swamped with other work now). -Tony -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html