diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-28 14:22:58 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-05-30 12:49:36 +0200 |
| commit | 94bf3d6cbe5815dc0953a51d2797b5d7583c623b (patch) | |
| tree | f403370ef14da151852dd8d5c09f3e9048d606f0 /doc | |
| parent | ab0599fcbdf25508e0a068edaee7a29aac14af8f (diff) | |
| download | justbuild-94bf3d6cbe5815dc0953a51d2797b5d7583c623b.tar.gz | |
Invocation server: use "build stop time" for build wall-clock time
As the end of the build can be significantly ahead of the end of
the incvocation, a new time stamp was added to the profile. Use
this new time stamp in the invocation server when determining the
wall-clock time of the build.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/invocations-http-server/server.py | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/invocations-http-server/server.py b/doc/invocations-http-server/server.py index b64252d6..3ac1043f 100755 --- a/doc/invocations-http-server/server.py +++ b/doc/invocations-http-server/server.py @@ -171,8 +171,9 @@ class InvocationServer: full_invocations_count += 1 target = profile_data.get("target") build_start_time = profile_data.get("build start time") + build_stop_time = profile_data.get("build stop time") stop_time = profile_data.get("stop time") - build_wall_clock_time = stop_time - build_start_time if (build_start_time is not None and stop_time is not None) else None + build_wall_clock_time = build_stop_time - build_start_time if (build_start_time is not None and build_stop_time is not None) else None config = core_config(profile_data.get("configuration", {})) context = meta_data.get("context", {}) remote = profile_data.get('remote', {}) @@ -555,9 +556,10 @@ class InvocationServer: params["non_cached"] = non_cached start_time = profile.get("start time") build_start_time = profile.get("build start time") + build_stop_time = profile.get("build stop time") stop_time = profile.get("stop time") wall_clock_time = stop_time - start_time if (start_time is not None and stop_time is not None) else None - build_wall_clock_time = stop_time - build_start_time if (build_start_time is not None and stop_time is not None) else None + build_wall_clock_time = build_stop_time - build_start_time if (build_start_time is not None and build_stop_time is not None) else None params["wall_clock_time"] = "%ds" % (wall_clock_time,) if wall_clock_time else None params["build_wall_clock_time"] = "%ds" % (build_wall_clock_time,) if build_wall_clock_time else None @@ -642,8 +644,8 @@ class InvocationServer: }) build_start_time = profile.get("build start time") - stop_time = profile.get("stop time") - build_wall_clock_time = stop_time - build_start_time if (build_start_time is not None and stop_time is not None) else None + build_stop_time = profile.get("build stop time") + build_wall_clock_time = build_stop_time - build_start_time if (build_start_time is not None and build_stop_time is not None) else None params["critical_artifact"] = { "name": max_name, "path": max_path_data if max_path_data else None, |