A Model of Efficient Asynchronous Parallel Algorithms on Multicomputer Systems