diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 17:13:03 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-29 17:13:03 +0200 |
commit | f1806ab001cfbc9548e607397fc55b9c1be7c25b (patch) | |
tree | 9a14f5bc56e4ad19b977f6606ff86d86d8d892d7 /doc | |
parent | f67ebbba77998e6469ad0fc9dc80b306ab2e62ce (diff) | |
parent | c62a286bad2ec0ced1e7b5e8987f5f7e476ab11c (diff) |
Merge PR #950: Rudimentary support for native_compute profiling, BZ#5170
Diffstat (limited to 'doc')
-rw-r--r-- | doc/refman/RefMan-tac.tex | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/refman/RefMan-tac.tex b/doc/refman/RefMan-tac.tex index b3b0df5c8..6e2735700 100644 --- a/doc/refman/RefMan-tac.tex +++ b/doc/refman/RefMan-tac.tex @@ -3269,7 +3269,7 @@ The call-by-value strategy is the one used in ML languages: the arguments of a function call are systematically weakly evaluated first. Despite the lazy strategy always performs fewer reductions than the call-by-value strategy, the latter is generally more efficient for -evaluating purely computational expressions (i.e. with few dead code). +evaluating purely computational expressions (i.e. with little dead code). \begin{Variants} \item {\tt compute} \tacindex{compute}\\ @@ -3317,6 +3317,20 @@ evaluating purely computational expressions (i.e. with few dead code). compilation cost is higher, so it is worth using only for intensive computations. + On Linux, if you have the {\tt perf} profiler installed, you can profile {\tt native\_compute} evaluations. + The command + \begin{quote} + {\tt Set Native Compute Profiling} + \end{quote} + enables profiling. Use the command + \begin{quote} + {\tt Set NativeCompute Profile Filename \str} + \end{quote} + to specify the profile output; the default is {\tt native\_compute\_profile.data}. The actual filename used + will contain extra characters to avoid overwriting an existing file; that filename is reported to the user. That means + you can individually profile multiple uses of {\tt native\_compute} in a script. From the Linux command line, run {\tt perf report} on + the profile file to see the results. Consult the {\tt perf} documentation for more details. + \end{Variants} % Obsolete? Anyway not very important message |