Interesting analysis. Correction: The paragraph under "Fastest server OS": it says Linux has twice the average tick, but the graph shows it having half the average tick.

What sorts of decisions can we glean from this technical analysis?