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 . . . . . .
8
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
12
12
13
13
14
14
14
14
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 . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
15
15
15
16
16
16
16
16
18
18
19
20
21
22
23
.
.
.
.
.
.
25
25
25
25
26
26
26
.
.
.
.
.
.
.
.
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