Download DIET Users Manual

DIET User’s Manual
Contents
Introduction
1 A DIET platform
1.1 DIET components . .
1.2 Communications layer
1.3 DIET initialization . .
1.4 Solving a problem . .
1.5 DIET Extensions . . .
1.5.1 Multi-MA . . .
1.5.2 FAST . . . . .
1.5.3 CoRI . . . . . .
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
10
11
11
12
12
12
12
2 DIET installation
2.1 Dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 General remarks on DIET platform dependencies . . . . . .
2.1.2 Hardware dependencies . . . . . . . . . . . . . . . . . . . .
2.1.3 Supported compilers . . . . . . . . . . . . . . . . . . . . . .
2.1.4 Operating system dependencies . . . . . . . . . . . . . . . .
2.1.5 Software dependencies . . . . . . . . . . . . . . . . . . . . .
2.2 Compiling the platform . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Obtaining and installing cmake per se . . . . . . . . . . . .
2.2.2 Configuring DIET’s compilation: cmake quick introduction
2.2.3 A ccmake walk-through for the impatients . . . . . . . . . .
2.2.4 DIET’s main configuration flags . . . . . . . . . . . . . . .
2.2.5 DIET’s extensions configuration flags . . . . . . . . . . . .
2.2.6 DIET’s advanced configuration flags . . . . . . . . . . . . .
2.2.7 Compiling and installing . . . . . . . . . . . . . . . . . . . .
2.3 Diet client/server examples . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Compiling the examples . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
13
13
13
14
14
14
14
14
16
16
17
18
19
20
20
.
.
.
.
.
.
23
23
23
23
24
24
24
.
.
.
.
.
.
.
.
3 DIET data
3.1 Data types . . . . . . .
3.1.1 Base types . . .
3.1.2 Composite types
3.1.3 Persistence mode
3.2 Data description . . . .
3.3 Data management . . .
c INRIA, ENS-Lyon, UCBL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Page 3