| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 1 | From d20698e4802b801807d0474f1d1d003b13c78277 Mon Sep 17 00:00:00 2001 |
| 2 | From: Tim Windelschmidt <tim@monogon.tech> |
| 3 | Date: Fri, 12 Jan 2024 15:44:41 +0100 |
| 4 | Subject: [PATCH] Improve reproducibility |
| 5 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 6 | Fixes a few issues with rules_rust/rustc reproducibility when the same code is |
| 7 | being built in slightly different BuildConfigurations. |
| 8 | |
| 9 | Even if BuildConfigurations differ only by insignificant (to rules_rust) |
| 10 | configuration flags, the resulting output directory will be different (keyed by |
| 11 | an 'ST-hash' which is generated from the configuration). |
| 12 | |
| 13 | Unfortunately, rust/rules_rust really likes to embed bazel-out/<dir>/bin paths |
| 14 | into the binaries by default, thus embedding the ST-hash, thus leading to |
| 15 | different bit-for-bit binaries when built across two slightly different |
| 16 | configs. |
| 17 | |
| 18 | We fix this by doing two changes: |
| 19 | |
| 20 | 1. We override the codegen metadata hash suffix to not depend on the ST-hash |
| 21 | directory name. Otherwise, built rlibs will have a numeric .XXX suffix that |
| 22 | changes depending on the ST-hash. We have to do this separately for prost |
| 23 | codegen, too. |
| 24 | 2. We add a remap path option to rustc that replaces bazel-out/<dir>/bin/ with |
| 25 | bin/. |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 26 | --- |
| 27 | proto/prost/private/prost.bzl | 4 +++- |
| 28 | proto/protobuf/proto.bzl | 2 +- |
| 29 | rust/private/clippy.bzl | 2 +- |
| 30 | rust/private/rust.bzl | 6 +++--- |
| 31 | rust/private/rustc.bzl | 4 ++++ |
| 32 | rust/private/utils.bzl | 7 +++++-- |
| 33 | 6 files changed, 17 insertions(+), 8 deletions(-) |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 34 | |
| 35 | diff --git a/proto/prost/private/prost.bzl b/proto/prost/private/prost.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 36 | index e3e5e382..b91123f3 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 37 | --- a/proto/prost/private/prost.bzl |
| 38 | +++ b/proto/prost/private/prost.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 39 | @@ -125,7 +125,9 @@ def _compile_rust(ctx, attr, crate_name, src, deps, edition): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 40 | A DepVariantInfo provider. |
| 41 | """ |
| 42 | toolchain = ctx.toolchains["@rules_rust//rust:toolchain_type"] |
| 43 | - output_hash = repr(hash(src.path + ".prost")) |
| 44 | + src_path = src.path.replace(ctx.bin_dir.path, 'bin') |
| 45 | + print(src.path, src_path) |
| 46 | + output_hash = repr(hash(src_path + ".prost")) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 47 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 48 | lib_name = "{prefix}{name}-{lib_hash}{extension}".format( |
| 49 | prefix = "lib", |
| 50 | diff --git a/proto/protobuf/proto.bzl b/proto/protobuf/proto.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 51 | index 7b254305..d61a1cbc 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 52 | --- a/proto/protobuf/proto.bzl |
| 53 | +++ b/proto/protobuf/proto.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 54 | @@ -187,7 +187,7 @@ def _rust_proto_compile(protos, descriptor_sets, imports, crate_name, ctx, is_gr |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 55 | srcs.append(lib_rs) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 56 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 57 | # And simulate rust_library behavior |
| 58 | - output_hash = determine_output_hash(lib_rs, ctx.label) |
| 59 | + output_hash = determine_output_hash(ctx.bin_dir, lib_rs, ctx.label) |
| 60 | rust_lib = ctx.actions.declare_file("%s/lib%s-%s.rlib" % ( |
| 61 | output_dir, |
| 62 | crate_name, |
| 63 | diff --git a/rust/private/clippy.bzl b/rust/private/clippy.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 64 | index 9fd9842c..54a0547c 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 65 | --- a/rust/private/clippy.bzl |
| 66 | +++ b/rust/private/clippy.bzl |
| 67 | @@ -120,7 +120,7 @@ def _clippy_aspect_impl(target, ctx): |
| 68 | dep_info = dep_info, |
| 69 | linkstamp_outs = linkstamp_outs, |
| 70 | ambiguous_libs = ambiguous_libs, |
| 71 | - output_hash = determine_output_hash(crate_info.root, ctx.label), |
| 72 | + output_hash = determine_output_hash(ctx.bin_dir, crate_info.root, ctx.label), |
| 73 | rust_flags = [], |
| 74 | out_dir = out_dir, |
| 75 | build_env_files = build_env_files, |
| 76 | diff --git a/rust/private/rust.bzl b/rust/private/rust.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 77 | index 7727febb..217f1059 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 78 | --- a/rust/private/rust.bzl |
| 79 | +++ b/rust/private/rust.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 80 | @@ -159,7 +159,7 @@ def _rust_library_common(ctx, crate_type): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 81 | if crate_type in ["cdylib", "staticlib"]: |
| 82 | output_hash = None |
| 83 | else: |
| 84 | - output_hash = determine_output_hash(crate_root, ctx.label) |
| 85 | + output_hash = determine_output_hash(ctx.bin_dir, crate_root, ctx.label) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 86 | |
| 87 | rust_lib_name = determine_lib_name( |
| 88 | crate_name, |
| 89 | @@ -310,7 +310,7 @@ def _rust_test_impl(ctx): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 90 | # Target is building the crate in `test` config |
| 91 | crate = ctx.attr.crate[rust_common.crate_info] if rust_common.crate_info in ctx.attr.crate else ctx.attr.crate[rust_common.test_crate_info].crate |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 92 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 93 | - output_hash = determine_output_hash(crate.root, ctx.label) |
| 94 | + output_hash = determine_output_hash(ctx.bin_dir, crate.root, ctx.label) |
| 95 | output = ctx.actions.declare_file( |
| 96 | "test-%s/%s%s" % ( |
| 97 | output_hash, |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 98 | @@ -369,7 +369,7 @@ def _rust_test_impl(ctx): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 99 | crate_root = crate_root_src(ctx.attr.name, ctx.files.srcs, crate_root_type) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 100 | srcs, crate_root = transform_sources(ctx, ctx.files.srcs, crate_root) |
| 101 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 102 | - output_hash = determine_output_hash(crate_root, ctx.label) |
| 103 | + output_hash = determine_output_hash(ctx.bin_dir, crate_root, ctx.label) |
| 104 | output = ctx.actions.declare_file( |
| 105 | "test-%s/%s%s" % ( |
| 106 | output_hash, |
| 107 | diff --git a/rust/private/rustc.bzl b/rust/private/rustc.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 108 | index ef3479e5..06c94574 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 109 | --- a/rust/private/rustc.bzl |
| 110 | +++ b/rust/private/rustc.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 111 | @@ -966,6 +966,10 @@ def construct_arguments( |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 112 | if remap_path_prefix != None: |
| 113 | rustc_flags.add("--remap-path-prefix=${{pwd}}={}".format(remap_path_prefix)) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 114 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 115 | + # Replace unstable bindir path (based on ST-hash which is in turn based on |
| 116 | + # build configuration) with a stable bin/ path. |
| 117 | + rustc_flags.add("--remap-path-prefix={}=bin".format(ctx.bin_dir.path)) |
| 118 | + |
| 119 | if emit: |
| 120 | rustc_flags.add_joined(emit_with_paths, format_joined = "--emit=%s", join_with = ",") |
| 121 | if error_format != "json": |
| 122 | diff --git a/rust/private/utils.bzl b/rust/private/utils.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 123 | index 4e9b4b79..82317359 100644 |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 124 | --- a/rust/private/utils.bzl |
| 125 | +++ b/rust/private/utils.bzl |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 126 | @@ -182,7 +182,7 @@ def abs(value): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 127 | return -value |
| 128 | return value |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 129 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 130 | -def determine_output_hash(crate_root, label): |
| 131 | +def determine_output_hash(bin_dir, crate_root, label): |
| 132 | """Generates a hash of the crate root file's path. |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 133 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 134 | Args: |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 135 | @@ -193,8 +193,11 @@ def determine_output_hash(crate_root, label): |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 136 | str: A string representation of the hash. |
| 137 | """ |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 138 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 139 | + # Remove any unstable BuildConfiguration derived dir fragments to unify |
| 140 | + # hashes between different configs. |
| 141 | + crate_root_path = crate_root.path.replace(bin_dir.path, 'bin') |
| 142 | # Take the absolute value of hash() since it could be negative. |
| 143 | - h = abs(hash(crate_root.path) + hash(repr(label))) |
| 144 | + h = abs(hash(crate_root_path) + hash(repr(label))) |
| 145 | return repr(h) |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 146 | |
| Serge Bazanski | 4f00f90 | 2023-12-19 13:54:04 +0100 | [diff] [blame] | 147 | def get_preferred_artifact(library_to_link, use_pic): |
| Tim Windelschmidt | 223609c | 2024-01-12 22:59:20 +0100 | [diff] [blame^] | 148 | -- |
| 149 | 2.42.0 |
| 150 | |