Memory models and the address spaces