We need to rewrite the linux kernel in a functional programming language
where partial evaluation of programs is easy :-)
Strictly speaking, tcp/ip code with dynamic partial evaluation did give
some speedup in real tests. I.e. we can hard code the ip addresses and
port numbers (and many othe parameters) after they have been fixed for a
connectin. This connection then gets it own specialised code which is
much simpler and faster.
A far future maybe :(
-- Meelis Roos (mroos@tartu.cyber.ee)- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/