Sorry but I guess I managed to misread the functions in question.

So, resuming the discussion:
1) Wouldn't we be breaking the standard, and maybe, adding more  
processing in the case of  SEQ_GT th->th_ack, tp->snd_max ?
2) I think it's safer to stop/restart the retransmit timers before  
moving on to the adjusting the congestion window.
3) This is probably a matter of taste, but I prefer it this way.  
Maybe I'm wrong, but I think it doesn't involve any performance  
drawback this way.

What do you think?

--
Rui Paulo