How to free osrm-datastore's shared memory

[clintharris]

The process I use for "shutting down" OSRM, including freeing shared memory, is less than elegant:

1. Pay attention to osrm-datastore's runtime output, noting the # of bytes it loads.
2. Run icmp -m and look for a segment with the same # of bytes to get a shmid
3. Then run ipcrm -m {shmid} to free the shared memory...

Is there a better way of doing this?

[DennisOSRM]

At the time ipcrm is the way to go. We should add this functionality to osrm-datastore.

[DennisOSRM]

Adding it to osrm-datastore:

$ ./osrm-datastore -h
[info] osrm-datastore [<options>] <configuration>:

Options:
  -v [ --version ]                    Show version
  -h [ --help ]                       Show this help message
  -s [ --springclean ]                Remove all regions in shared memory
  -c [ --config ] arg (="server.ini") Path to a configuration file

Configuration:
  --hsgrdata arg        .hsgr file
  --nodesdata arg       .nodes file
  --edgesdata arg       .edges file
  --geometry arg        .geometry file
  --ramindex arg        .ramIndex file
  --fileindex arg       .fileIndex file
  --namesdata arg       .names file
  --timestamp arg       .timestamp file

usage is easy:

$ ./osrm-datastore --springclean
[info] springleaning: y
[info] spring-cleaning all shared memory regions