1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
(* Configuration file for the "internal_service" program. -*- tuareg -*- *)
netplex {
controller {
max_level = "debug"; (* Log level *)
logging {
type = "stderr"; (* Log to stderr *)
}
};
service {
name = "worker";
protocol {
(* This section creates the socket *)
name = "my_protocol";
address {
type = "internal";
name = "my_server_identifier";
};
};
processor {
type = "concat_service"
};
workload_manager {
type = "dynamic";
max_jobs_per_thread = 1;
min_free_jobs_capacity = 3;
max_free_jobs_capacity = 3;
max_threads = 20;
}
};
service {
name = "rpc_worker";
protocol {
(* This section creates the socket *)
name = "rpc_protocol";
address {
type = "internal";
name = "rpc_server_identifier";
};
};
processor {
type = "rpc_service"
};
workload_manager {
type = "dynamic";
max_jobs_per_thread = 1;
min_free_jobs_capacity = 3;
max_free_jobs_capacity = 3;
max_threads = 20;
}
}
}
|
