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 _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
