http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47618

--- Comment #9 from Roland Schulz <roland at rschulz dot eu> 2012-07-24 
23:52:41 UTC ---
I think a tool to merge would be a good partial solution.

As far as I can see what would still be missing for user-friendly usage, is a
mechanism to guarantee that all pre-merged files are saved with different
names, so that different processes don't overwrite each others output files. In
the case of MPI one would want to have the mpi rank as part of the output
folder to guarantee unique file names. Thus my suggestion to support
-fprofile-dir /some/path/%q{SOME_ENV}, where SOME_ENV would be the environment
variable containing the mpi rank. Without being able to make the output path
depending on a environment variable one would be required to write some wrapper
scripts and that might not even be possible in all cases.

Reply via email to