this is used by the operating system for task management