Moving Memory Around

Containers
Used to transfer memory
Have versions
Incremented after most operations
Permits servers to determine if data was compromised

container_create (num pages, time, task) => handle
container_create_from (array of pages, time, task) => handle
container_deallocate (handle) => version

Places a number of physical pages into a container
Specifies the maximum locking time
Gives a task access to it
Sets version id to 0

container_grant_access (handle, task) => version

Gives access of a container to another task
Returns the new version