如何为Generic派生的类实例添加成本中心以定位性能瓶颈？

手动为实例函数添加显式成本中心 #

GHC的自动 profiling 机制通常不会为Generic自动派生的实例生成独立成本中心——这类代码由编译器自动生成，缺乏显式的函数边界。你可以手动为每个实例的函数添加SCC编译指令，强制生成单独的成本中心：

instance MyClass MyType where
  myClassMethod = {-# SCC "MyClass_MyType_myClassMethod" #-} genericMyClassMethod

SCC（Set Cost Center）指令会为该函数创建唯一的成本中心标记，在+RTS -p的 profiling 报告中，你就能看到这个实例方法的单独耗时统计。

调整Profiling编译选项 #

除了-fprof-auto-calls，结合以下选项能提升追踪精度：

• 用-fprof-auto-all替代-fprof-auto-calls：该选项会为所有顶级函数、局部函数甚至lambda生成成本中心，能捕获更多Generic派生代码的细节。
• 添加-fprof-cafs：追踪常量应用形式（CAF）的开销，Generic派生的实例常常依赖CAF存储类型元数据，这部分开销容易被忽略。
• 完整编译命令示例：

  ghc -O2 -prof -fprof-auto-all -fprof-cafs -rtsopts YourModule.hs
  

阻止内联以保留成本中心 #

如果GHC的优化将实例函数内联到调用点，profiling工具就无法将其识别为独立项。你可以用NOINLINE指令阻止内联：

instance MyClass MyType where
  myClassMethod = {-# SCC "MyClass_MyType" #-} {-# NOINLINE myClassMethod #-} genericMyClassMethod

注意：过度使用NOINLINE可能影响程序性能，建议只在需要追踪的实例上添加。

借助结构化Generic库定位开销 #

如果你使用Generics.SOP这类更具结构化的Generic库，其派生代码逻辑更显式，你可以在每个类型的处理函数上单独添加SCC标记。例如，在处理特定类型的分支函数中加入：

handleSpecificType :: ...
handleSpecificType = {-# SCC "Handle_MySpecificType" #-} ...

用Core转储验证成本中心 #

如果以上方法仍不生效，用-ddump-simpl编译选项查看GHC生成的Core代码，确认实例函数是否被正确标记为成本中心，或是被优化合并。例如：

ghc -O2 -prof -fprof-auto-all -ddump-simpl YourModule.hs > core_dump.txt

在输出中搜索SCC标记，确认对应的实例函数是否存在独立的成本中心定义。

内容的提问来源于stack exchange，提问作者Drathier