Causality-based memory ordering in a multiprocessing environment Grant US-6681320-B1 United States of America 20 Jan 2004