Блог

Может ли кто-нибудь порекомендовать инструмент профилирования производительности с хорошей поддержкой F #?

Я использую профилировщик Visual Studio 2010, но обнаружил несколько проблем при использовании F #. Больше похоже, что я профилирую байтовый код после отражения, чем исходный F #.

Например, при профилировании следующего слегка надуманного примера:

 let Add a b = 
    a   b

let Add1 = Add 1

let rec MultiAdd count = 
    match count with
    | 1 -> 1
    | _ -> (Add1 1)   (MultiAdd (count - 1))

MultiAdd 10000 |> ignore
 

Я получаю следующее дерево вызовов:

Когда я просматриваю Microsoft.FSharp.Core.FSharpFunc`2.Invoke(0) в деталях функции, которые я вижу:

Я понимаю, что то, что я вижу, основано на базовой реализации скомпилированного кода, и хотя я могу следовать ему, это сложно.

Есть ли у кого-нибудь опыт использования других инструментов профилирования с F # и лучше ли они справляются с сопоставлением с исходным кодом F #?

Мой ответ может вас разочаровать, но он может быть полезен.

Несколько месяцев назад я пытался найти хороший бесплатный профилировщик .NET для моего проекта F #. Мой опыт работы с nprof, slimtune, EQATEC и (недавно коммерческим) Xte profiler не был достойным вообще. Я обнаружил, что их поддержка F # была очень ограниченной, и мне пришлось вернуться к профилировщику Visual Studio 2010. Я думаю, что лучше всего здесь использовать какой-нибудь коммерческий профилировщик (с которым у меня нет опыта).

Через некоторое время я привыкаю к профилировщику и вижу его представление результатов простым, ясным и понятным. Если бы вы оптимизировали параллельные программы, использование параллельного визуализатора было бы неизбежно. Тем не менее, единственное, что вас волнует, — это производительность; стоит попробовать хорошо поработать с профилировщиком VS 2010.

Для профилирования кода F # я также считаю, что стоит упомянуть CLR Profiler и ILSpy. Первый может визуализировать кучи, если вы хотите минимизировать выделение памяти или сбор мусора. Последний может создавать эквивалентный код на IL или C # (с которым я знаком больше, чем с F #); это может помочь понять, как работают конструкции высокого порядка в F #, чтобы использовать их надлежащим образом.

Обновить:

Дейв Томас написал отличный пост в блоге, в котором он использовал несколько коммерческих профилировщиков для обнаружения утечек памяти и настройки асинхронного приложения. Взгляните на эти профилировщики; они могут соответствовать вашим предпочтениям.

Это похоже на ваше профилирование в режиме отладки. Вам необходимо включить «Оптимизировать код» в меню проект -> свойства -> сборка. Вы также можете профилировать в режиме выпуска, в котором это включено по умолчанию. Если вы этого не сделаете, среди прочего, будет много вызовов invoke и создания объектов Tuple.

Приведенная выше функция MultiAdd не является хвостовой рекурсией. Если бы это было так, вам также нужно было бы включить «Генерировать хвостовые вызовы» в режиме отладки для профилирования.

Это также было бы хорошим примером для оптимизации конечных вызовов.

 let Add a b = 
    a   b

let Add1 = Add 1

let rec MultiAdd total count =
    match count with
    | 1 -> 1   total
    | _ -> MultiAdd (count - 1) (total   Add1 1)

MultiAdd 10000 0 |> ignore