A task-controlled memory managing system for capability-based addressing architectures