The current smart teardown --dragon does not clean up the /dev/shmem segments.
How to reproduce
Interrupt a running Dragon-based example which reserved shared memory segments and try to run smart teardown --dragon. The segments will not be cleared.
One possible explanation is that the teardown command is killed by dragon-cleanup before it gets to the shmem-related section of the dragon-cleanup script itself.
ankona
commented
1 week ago
Description
The current
smart teardown --dragondoes not clean up the/dev/shmemsegments.How to reproduce
Interrupt a running Dragon-based example which reserved shared memory segments and try to run
smart teardown --dragon. The segments will not be cleared.One possible explanation is that the teardown command is killed by
dragon-cleanupbefore it gets to the shmem-related section of thedragon-cleanupscript itself.Expected behavior
The shared memory segments should be cleaned up.
System