[e2e] Reacting to corruption based loss

[David P. Reed]

I really think we missed the boat by not just proving all network 
components correct.   Errors are really unacceptable, given modern 
mathematical proof techniques.

Since Cannara believes that all erroneous packets can be reliably 
detected and signaled on the control plane, we are nearly there.   Just 
put a theorem prover in each router, prove that the packet will be 
delivered, and you don't even have to put it on the output queue!

A bonus question:  if you have two cesium clocks on the ends of a link, 
they will tick simultaneously, so you should be able to send data 
without any risk of skew, right?   And if you reduce the messages to 
single photons, you should NEVER have any errors, because photons are 
irreducible.   So if we pursue reductionism to its limit, there should 
be no errors in our system at all.   It's all "Internet Hooey" - the 
idea that congestion can't be prevented and corruption can't be detected 
are just foolish notions that SONET would never have to deal with.   
Cannara is right, the Internet is a completely idiotic idea, and the 
North American Numbering Plan was all we ever needed.


:-)