| commit | e61f8f5a955bac645d5b1093512250ac7b1b1089 | |
| author | Lucian Wischik <ljw@fb.com> | |
| Thu, 9 Jul 2020 03:40:07 +0000 (8 20:40 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 9 Jul 2020 03:54:34 +0000 (8 20:54 -0700) | ||
| tree | 043e36bf221757398e95153382d22808c5edae58 | treesnapshot (tar.gz zip) |
| parent | d334349fda6a4da112ece9c868db4e4f03498e9c | commitdiff |
track monitor times for request-handling
Summary:
My overall goal is to track end-to-end all the timings involved in handling a request.
This diff contributes the timings that the monitor knows about. It stores them inside the `Connection_tracker.t` record which we're passing around from client to monitor to server back to client.
Reviewed By: CatherineGasnier
Differential Revision: D22417968
fbshipit-source-id: ba1b685a0df2fda49570487dcc9b9e1507f940d6
Summary:
My overall goal is to track end-to-end all the timings involved in handling a request.
This diff contributes the timings that the monitor knows about. It stores them inside the `Connection_tracker.t` record which we're passing around from client to monitor to server back to client.
Reviewed By: CatherineGasnier
Differential Revision: D22417968
fbshipit-source-id: ba1b685a0df2fda49570487dcc9b9e1507f940d6
| hphp/hack/src/monitor/serverMonitor.ml | diffblobblamehistory | |
| hphp/hack/src/utils/connection_tracker.ml | diffblobblamehistory | |
| hphp/hack/src/utils/connection_tracker.mli | diffblobblamehistory |