Practical condition synchronization for transactional memory
X10: an object-oriented approach to non-uniform cluster computing