A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory