diff --git a/docs/src/performance.md b/docs/src/performance.md index 9dff1d7f5ff0961d33169ee5c8761016d8fb7564..a04d7c5c342d4f0dfa506451d4b890bfdfd1013c 100644 --- a/docs/src/performance.md +++ b/docs/src/performance.md @@ -4,7 +4,13 @@ How to use our internal tools to profile and keep Zed fast. See what the CPU spends the most time on. Strongly recommend you use [samply](https://github.com/mstange/samply). It opens an interactive profile in -the browser. See its README on how to install and run. +the browser (specifically a local instance of [firefox_profiler](https://profiler.firefox.com/)). + +See [samply](https://github.com/mstange/samply)'s README on how to install and run. + +The profile.json does not contain any symbols. Firefox profiler can add the local symbols to the profile for for. To do that hit the upload local profile button in the top right corner. + +image # Task/Async profiling