Via Ltu, via Green Hat Journal what looks like an interesting research paper from Microsoft on Control Transfer in Operating System Kernels. It's from 1994, but the results are probably still relevant - I don't know that its conclusions have been implemented in any operating system.
My thesis is that a programming language abstraction, continuations, can be adapted for use in operating system kernels to achieve increased flexibility and performance for control transfer. The flexibility that continuations provide allows the kernel designer when necessary to choose implementation performance over convenience, without affecting the design of the rest of the kernel. The continuation abstraction generalizes existing operating system control transfer optimizations.
Saturday, March 1, 2003
Permalink
Feel free to post a comment below. Please see my comment policy.
Formatting Rules (No HTML):