Commit 771dcdd
committed
DPL: do own management of shared memory
We do not spawn a shm-monitor because that will create zombies when launched
inside a docker container. Instead by default we cleanup the shared memory
session on exit. Default behavior can still be obtained by passing
--shm-monitor true.1 parent f9b671e commit 771dcdd
3 files changed
Lines changed: 25 additions & 5 deletions
File tree
- Framework/Core
- src
- test
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
801 | 801 | | |
802 | 802 | | |
803 | 803 | | |
| 804 | + | |
804 | 805 | | |
805 | 806 | | |
806 | 807 | | |
| |||
850 | 851 | | |
851 | 852 | | |
852 | 853 | | |
| 854 | + | |
853 | 855 | | |
854 | 856 | | |
855 | 857 | | |
| |||
949 | 951 | | |
950 | 952 | | |
951 | 953 | | |
| 954 | + | |
952 | 955 | | |
953 | 956 | | |
954 | 957 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
273 | 273 | | |
274 | 274 | | |
275 | 275 | | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
| 285 | + | |
| 286 | + | |
| 287 | + | |
276 | 288 | | |
277 | 289 | | |
278 | 290 | | |
| |||
848 | 860 | | |
849 | 861 | | |
850 | 862 | | |
| 863 | + | |
| 864 | + | |
| 865 | + | |
851 | 866 | | |
852 | 867 | | |
853 | 868 | | |
| |||
1057 | 1072 | | |
1058 | 1073 | | |
1059 | 1074 | | |
1060 | | - | |
| 1075 | + | |
| 1076 | + | |
1061 | 1077 | | |
| 1078 | + | |
1062 | 1079 | | |
1063 | 1080 | | |
1064 | 1081 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
97 | 97 | | |
98 | 98 | | |
99 | 99 | | |
100 | | - | |
| 100 | + | |
101 | 101 | | |
102 | 102 | | |
103 | | - | |
| 103 | + | |
104 | 104 | | |
105 | 105 | | |
106 | | - | |
| 106 | + | |
107 | 107 | | |
108 | 108 | | |
109 | | - | |
| 109 | + | |
110 | 110 | | |
111 | 111 | | |
112 | 112 | | |
| |||
0 commit comments