[webkit-changes] [WebKit/WebKit] 64ebe5: Add --profiling-interval to run-benchmark

[Ryosuke Niwa]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 64ebe5ffcf06e4b81e34e00f8644f2d28fa92086
      https://github.com/WebKit/WebKit/commit/64ebe5ffcf06e4b81e34e00f8644f2d28fa92086
  Author: Ryosuke Niwa <rniwa at webkit.org>
  Date:   2023-07-24 (Mon, 24 Jul 2023)

  Changed paths:
    M Tools/Scripts/webkitpy/benchmark_runner/benchmark_runner.py
    M Tools/Scripts/webkitpy/benchmark_runner/browser_driver/browser_driver.py
    M Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py
    M Tools/Scripts/webkitpy/benchmark_runner/webserver_benchmark_runner.py

  Log Message:
  -----------
  Add --profiling-interval to run-benchmark
https://bugs.webkit.org/show_bug.cgi?id=259470

Reviewed by Cameron McCormack.

Added an option to specify the profiling interval such as 1ms and 100us.

* Tools/Scripts/webkitpy/benchmark_runner/benchmark_runner.py:
(BenchmarkRunner.__init__):
* Tools/Scripts/webkitpy/benchmark_runner/browser_driver/browser_driver.py:
(BrowserDriver.profile):
* Tools/Scripts/webkitpy/benchmark_runner/run_benchmark.py:
(config_argument_parser):
(run_benchmark_plan):
* Tools/Scripts/webkitpy/benchmark_runner/webserver_benchmark_runner.py:
(WebServerBenchmarkRunner.__init__):
(WebServerBenchmarkRunner):

Canonical link: https://commits.webkit.org/266283@main