In this paper, we propose a nonlinear dynamics-based framework for modeling and analyzing computer systems. Working with this framework, we use a custom measurement infrastructure and delay-coordinate embedding to study the dynamics of these complex nonlinear systems. We find strong indications, from multiple corroborating methods, of low-dimensional dynamics in the performance of a simple program running on a popular Intel computer—including the first experimental evidence of chaotic dynamics in real computer hardware. We also find that the dynamics change completely when we run the same program on a different type of Intel computer, or when that program is changed slightly. This not only validates our framework; it also raises important issues about computer analysis and design. These engineered systems have grown so complex as to defy the analysis tools that are typically used by their designers: tools that assume linearity and stochasticity and essentially ignore dynamics. The ideas and methods developed by the nonlinear dynamics community, applied and interpreted in the context of the framework proposed here, are a much better way to study, understand, and design modern computer systems.

1.
S.
Nussbaum
and
J. E.
Smith
, in
PACT '01: Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques
(
IEEE Computer Society
,
Washington, DC
,
2001
), pp.
15
24
.
2.
R.
Nelson
,
Probability, Stochastic Processes, and Queueing Theory
(
Springer-Verlag
,
Berlin
,
1995
).
3.
A. R.
Alameldeen
and
D. A.
Wood
,
IEEE Micro
26
,
8
(
2006
).
4.
M.
Vachharajani
,
N.
Vachharajani
,
D. A.
Penry
,
J. A.
Blome
,
S.
Malik
, and
D. I.
August
,
ACM Trans. Comput. Syst.
24
,
211
(
2006
).
5.
R.
Desikan
,
D.
Burger
, and
S. W.
Keckler
, in
ISCA '01: Proceedings of the 28th Annual International Symposium on Computer Architecture
(
ACM
,
New York
,
2001
), pp.
266
277
.
6.
T.
Sherwood
,
E.
Perelman
, and
B.
Calder
, in
PACT '01: Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques
(
IEEE Computer Society
,
Washington, DC
,
2001
), pp.
3
14
.
7.
M.
Arnold
,
S.
Fink
,
D.
Grove
,
M.
Hind
, and
P. F.
Sweeney
, in
OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications
(
ACM
,
New York
,
2000
), pp.
47
65
.
8.
S.
McFarling
,
SIGPLAN Not.
26
,
71
(
1991
).
9.
K.
Pettis
and
R. C.
Hansen
,
SIGPLAN Not.
25
,
16
(
1990
).
10.
D. A.
Jiménez
,
Programming Language Design and Implementation
40
,
107
(
2005
).
11.
D.
Knights
,
T.
Mytkowicz
,
P. F.
Sweeney
,
M. C.
Mozer
, and
A.
Diwan
, in
CC '09: Proceedings of the 18th International Conference on Compiler Construction
(
Springer-Verlag
,
Berlin
,
2009
), pp.
251
265
.
12.
H.
Massalin
,
SIGPLAN Not.
22
,
122
(
1987
).
13.
J.
Cavazos
and
J. E. B.
Moss
,
SIGPLAN Not.
39
,
183
(
2004
).
14.
Z.
Ansari
, Intel Corporation (personal communication,
2009
).
15.
T.
Mytkowicz
,
A.
Diwan
,
M.
Hauswirth
, and
P. F.
Sweeney
, in
ASPLOS '09: Proceeding of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems
(
ACM
,
New York
,
2009
), pp.
265
276
.
16.
A.
Georges
,
D.
Buytaert
, and
L.
Eeckhout
,
SIGPLAN Not.
42
,
57
(
2007
).
17.
H.
Berry
,
D. G.
Pérez
, and
O.
Temam
,
Chaos
16
,
013110
(
2006
).
18.
D.
Burger
and
T. M.
Austin
,
SIGARCH Comput. Archit. News
25
,
13
(
1997
).
19.
N. L.
Binkert
,
R. G.
Dreslinski
,
L. R.
Hsu
,
K. T.
Lim
,
A. G.
Saidi
, and
S. K.
Reinhardt
,
IEEE Micro
26
,
52
(
2006
).
20.
J. R.
Bulpin
and
I. A.
Pratt
,
Workshop on Duplicating, Deconstructing, and Debunking (WDDD04)
,
2004
.
21.
A. R.
Lebeck
,
J.
Koppanalil
,
T.
Li
,
J.
Patwardhan
, and
E.
Rotenberg
, in
ISCA '02: Proceedings of the 29th Annual International Symposium on Computer Architecture
(
IEEE Computer Society
,
Washington, DC
,
2002
), pp.
59
70
.
22.
T.
Sherwood
,
E.
Perelman
,
G.
Hamerly
, and
B.
Calder
, in
ASPLOS-X: Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems
(
ACM
,
New York
,
2002
), pp.
45
57
.
24.
K.
Christensen
,
L.
Danon
,
T.
Scanlon
, and
P.
Bak
,
Proc. Natl. Acad. Sci. U.S.A.
99
,
2509
(
2002
).
25.
N.
Bastian
,
B.
Ercolano
,
M.
Gieles
,
E.
Rosolowski
,
R.
Scheepmaker
,
R.
Gutermuth
, and
Y.
Efremov
,
Mon. Not. R. Astron. Soc.
379
,
1302
(
2007
).
26.
A. M.
Fraser
and
H. L.
Swinney
,
Phys. Rev. A
33
,
1134
(
1986
).
27.
M. B.
Kennel
,
R.
Brown
, and
H. D. I.
Abarbanel
,
Phys. Rev. A
45
,
3403
(
1992
).
28.
R.
Hegger
,
H.
Kantz
, and
T.
Schreiber
,
Chaos
9
,
413
(
1999
).
29.
P.
Grassberger
and
I.
Procaccia
,
Physica D
9
,
189
(
1983
).
30.
M. T.
Rosenstein
,
J. J.
Collins
, and
C. J. D.
Luca
,
Physica D
65
,
117
(
1993
).
31.
T.
Sauer
,
J. A.
Yorke
, and
M.
Casdagli
,
J. Stat. Phys.
65
,
579
(
1991
).
33.
A.
Tsonis
,
J.
Elsner
, and
K.
Georgakakos
,
J. Atmos. Sci.
50
,
2549
(
1993
).
34.
J. P.
Eckmann
,
S.
Oliffson Kamphorst
, and
D.
Ruelle
,
Europhys. Lett.
4
,
973
(
1987
).
35.
D. A.
Penry
,
M.
Vachharajani
, and
D. I.
August
,
Proceedings of the Workshop on Modeling, Benchmarking, and Simulation (MoBS)
,
2005
.
36.
T.
Mytkowicz
,
E.
Bradley
, and
A.
Diwan
, Technical Report, University of Colorado at Boulder,
2007
.
You do not currently have access to this content.