public AddressSpace(Process owner, Arch.ArchAddressSpace impl) { Contract.Ensures(GhostOwner == owner); Contract.Ensures(Head.GhostOwner == GhostOwner); this.impl = impl; workingSet = new TableWorkingSet(); Head = MemoryRegion.CreateUserSpaceRegion(owner); this.GhostOwner = owner; }
public AddressSpace(Process owner, Arch.ArchAddressSpace impl) { Contract.Ensures(GhostOwner == owner); Contract.Ensures(Head.GhostOwner == GhostOwner); this.impl = impl; this.workingSet = new TableWorkingSet(); this.Head = MemoryRegion.CreateUserSpaceRegion(owner); this.GhostOwner = owner; this.Brk = this.StartBrk = 0; }