Probabilistic models of computer systems?Part I (exact results)