On Wed, 2014-07-02 at 11:42 +0100, David Matthews wrote:
My preference would be for a way to have the equivalent of named shared memory segments. If there is no alternative to the present scheme of creating a mapped file in the file system then it would probably be better to only create it if the creating process explicitly requests it. That could be a flag somewhere in PolyML.Statistics or, probably easier, a command line option. Any ideas?
While I agree that leftover files in ~/.poly are not ideal, a benefit of the current solution is that it allows performance monitoring without explicit support from the monitored process.
How about POSIX shared memory (shm_open and related functions)? This should create files in /dev/shm on Linux. If I understand correctly, these will be removed automatically eventually (e.g., on reboot).
Alternatively, how about simply relocating the current files to /tmp?
Best, Tjark