Computer system designers wish to directly specify the computational semantics they desire with as much precision as possible. Because current operating systems make assumptions about the behavioral constraints of their applications, this is often unattainable. Each set of semantics imposes a set of constraints, and satisfaction of any given constraint may require precise control over any arbitrary set of system resources. Therefore, a configurable solution that allows control of all system… CONTINUE READING