Подтвердить что ты не робот

Профилирование Mathematica Code

Есть ли хороший способ профилировать код в Mathematica? Я хотел бы иметь возможность рекурсивно (т.е. Если я скажу f[a_] := b[a], то Profile[f[1]] должен давать почти тот же результат, что и Profile[b[1]]), но я соглашусь на то, что смогу сделать что-то вроде приложения Timing для каждого соответствующего подвыражения. Было бы неплохо, если бы у меня не было особых случаев, таких как Module, но я хотел бы, например, Profile[Module[{x=1+2},x!]] дать мне вывод вроде

Time    Expression         Result
0       1                  1
0       2                  2
0       1 + 2              3
0       x$1234             3   
0       x$1234 !           6
0       Module[{x=1+2},x!] 6

6

Ответ 1

Да, Wolfram Workbench имеет профилировщик, хотя в соответствии с документацией вывод не совсем в том виде, который вы хотите.

Я должен отметить, что проблема, поднятая Mr.Wizard в комментариях - результаты кэширования приведут к разным результатам синхронизации - также могут применяться в профиле.

Если вы хотите сделать что-то исключительно в Mathematica, вы можете попробовать что-то вроде:

myProfile[fun_Symbol,inputs_List]:=  
    TableForm[#[[{1,3,2}]]&/@ (Join @@@ ({Timing[f[#]],#} & /@ inputs))]

Если вы были достаточно счастливы, чтобы выводить как {time, output, input}, а не {timing, input, output}, как указано в вашем вопросе, вы можете избавиться от бит #[[{1,3,2}]].

ИЗМЕНИТЬ

Так как у меня Workbench, вот пример. У меня есть пакет AdvancedPlots, который включает в себя функцию CobwebPlot (и да, сама функция могла бы улучшиться).

CobwebPlot[x_?MatrixQ, opts___Rule] /; 
  And @@ (NumericQ /@ Flatten[x]) :=   
 Module[{n, \[Theta]s, numgrids, grids, struts, gridstyle, min, max, 
   data, labels, epilabels, pad},
  n = Length[First[x]];
  \[Theta]s = (2 \[Pi])/n Range[0, n] + If[OddQ[n], \[Pi]/2, 0];
  numgrids = 
   If[IntegerQ[#] && Positive[#], #, 
      NumberofGrids /. 
       Options[CobwebPlot] ] & @ (NumberofGrids /. {opts});
  {min, max} = {Min[#], Max[#]} &@ Flatten[x];
  gridstyle = GridStyle /. {opts} /. Options[CobwebPlot];
  pad = CobwebPadding /. {opts} /. Options[CobwebPlot];
  grids = 
   Outer[List, \[Theta]s, FindDivisions[{0, max + 1}, numgrids]];
  struts = Transpose[grids];
  labels = CobwebLabels /. {opts} /. Options[CobwebPlot];
  epilabels = 
   If[Length[labels] == n, 
    Thread[Text[
      labels, (1.2 max) Transpose[{Cos[Most[\[Theta]s]], 
         Sin[Most[\[Theta]s]]}]]], None];
  data = Map[Reverse, 
    Inner[List, Join[#, {First[#]}] & /@ x, \[Theta]s, List], {2}];
  Show[ListPolarPlot[grids, gridstyle, Joined -> True, Axes -> False, 
    PlotRangePadding -> pad], 
   ListPolarPlot[struts, gridstyle, Joined -> True, Axes -> False], 
   ListPolarPlot[data, 
    Sequence @@ FilterRules[{opts}, Options[ListPolarPlot]], 
    Sequence @@ 
     FilterRules[Options[CobwebPlot], Options[ListPolarPlot]], 
    Joined -> True, Axes -> None] , 
   If[Length[labels] == n, Graphics /@ epilabels, 
    Sequence @@ FilterRules[{opts}, Options[Graphics]] ]]
  ]

Запуск пакета в режиме отладки

А затем запустите этот ноутбук

Дает следующий вывод.

Ответ 2

Это попытка использовать TraceScan для выполнения отдельных шагов оценки. Он использует исходные дельта AbsoluteTime[], которые могут быть хорошими или плохими в зависимости от того, что вы действительно ожидаете от времени.

Обязательно запустите этот пример в новом ядре, или Prime будет кэшировать его результаты, и все тайминги будут ~ = 0.

t = AbsoluteTime[]; step = "start";

TraceScan[
  (Print[AbsoluteTime[] - t, " for ", step]; t = AbsoluteTime[]; step = #) &,
  Module[{x = 7 + 7}, [email protected][x!]]
]

0.0010001 for start

0.*10^-8 for Module[{x=7+7},Sqrt[Prime[x!]]]

0.*10^-8 for Module

0.*10^-8 for 7+7

0.*10^-8 for Plus

0.*10^-8 for 7

0.*10^-8 for 7

0.*10^-8 for 14

0.*10^-8 for x$149=Unevaluated[14]

0.*10^-8 for Set

0.*10^-8 for x$149=14

0.*10^-8 for 14

0.*10^-8 for Sqrt[Prime[x$149!]]

0.*10^-8 for Sqrt

0.*10^-8 for Prime[x$149!]

0.*10^-8 for Prime

0.*10^-8 for x$149!

0.*10^-8 for Factorial

0.*10^-8 for x$149

0.*10^-8 for 14

0.*10^-8 for 14!

0.*10^-8 for 87178291200

2.6691526 for Prime[87178291200]

0.*10^-8 for 2394322471421

0.*10^-8 for Sqrt[2394322471421]

0.*10^-8 for Sqrt[2394322471421]

0.*10^-8 for Power

0.*10^-8 for 2394322471421

0.*10^-8 for 1/2

Ответ 3

Как показало в ответ на вопрос, связанный выше, как и в случае с ним, Wolfram Workbench включает профилировщик. Однако я не использую Workbench, поэтому я не могу подробно описать его использование.