Tệp Bazel Lockfile

7.3 · 7.2 · 7.1 · 7.0 · 6.5

Tính năng tệp khoá trong Bazel cho phép ghi lại các phiên bản hoặc phần phụ thuộc cụ thể của thư viện phần mềm hoặc gói mà dự án yêu cầu. Thư viện này đạt được điều này bằng cách lưu trữ kết quả của việc phân giải mô-đun và đánh giá tiện ích. Tệp khoá thúc đẩy các bản dựng có thể tái tạo, đảm bảo môi trường phát triển nhất quán. Ngoài ra, tính năng này còn nâng cao hiệu quả xây dựng bằng cách cho phép Bazel bỏ qua các phần của quy trình phân giải không bị ảnh hưởng bởi các thay đổi trong phần phụ thuộc của dự án. Hơn nữa, tệp khoá giúp cải thiện độ ổn định bằng cách ngăn chặn các bản cập nhật không mong muốn hoặc các thay đổi gây lỗi trong thư viện bên ngoài, từ đó giảm nguy cơ xảy ra lỗi.

Tạo tệp Lockfile

Tệp khoá được tạo trong thư mục gốc của không gian làm việc có tên là MODULE.bazel.lock. Tệp này được tạo hoặc cập nhật trong quá trình xây dựng, cụ thể là sau khi đánh giá tiện ích và độ phân giải mô-đun. Điều quan trọng là tệp này chỉ bao gồm các phần phụ thuộc có trong lệnh gọi hiện tại của bản dựng.

Khi có thay đổi trong dự án ảnh hưởng đến các phần phụ thuộc của dự án, tệp khoá sẽ tự động cập nhật để phản ánh trạng thái mới. Điều này đảm bảo rằng tệp khoá vẫn tập trung vào tập hợp phần phụ thuộc cụ thể cần thiết cho bản dựng hiện tại, cung cấp bản trình bày chính xác các phần phụ thuộc đã được phân giải của dự án.

Mức sử dụng tệp khoá

Bạn có thể kiểm soát tệp khoá bằng cờ --lockfile_mode để tuỳ chỉnh hành vi của Bazel khi trạng thái dự án khác với tệp khoá. Các chế độ hiện có là:

update (Mặc định): Sử dụng thông tin có trong tệp khoá để bỏ qua việc tải các tệp đăng ký đã biết xuống và tránh đánh giá lại các tiện ích có kết quả vẫn mới nhất. Nếu thiếu thông tin, thông tin đó sẽ được thêm vào tệp khoá. Ở chế độ này, Bazel cũng tránh làm mới thông tin có thể biến đổi (chẳng hạn như phiên bản được kéo) cho các phần phụ thuộc chưa thay đổi.
refresh: Giống như update, nhưng thông tin có thể thay đổi luôn được làm mới khi chuyển sang chế độ này và cứ khoảng một giờ một lần khi ở chế độ này.
error: Giống như update, nhưng nếu bất kỳ thông tin nào bị thiếu hoặc đã lỗi thời, thì Baazel sẽ không hoạt động do lỗi. Chế độ này không bao giờ thay đổi tệp khoá hoặc thực hiện các yêu cầu mạng trong quá trình phân giải. Các tiện ích mô-đun tự đánh dấu là reproducible vẫn có thể thực hiện các yêu cầu mạng, nhưng dự kiến sẽ luôn cho ra kết quả tương tự.
off: Tệp khoá chưa được kiểm tra cũng như không cập nhật.

Lợi ích của Lockfile

Tệp khoá mang lại một số lợi ích và có thể được sử dụng theo nhiều cách:

Bản dựng có thể tái tạo. Bằng cách ghi lại các phiên bản hoặc phần phụ thuộc cụ thể của thư viện phần mềm, tệp khoá đảm bảo rằng các bản dựng có thể tái tạo trên nhiều môi trường và theo thời gian. Nhà phát triển có thể dựa vào kết quả nhất quán và dễ dự đoán khi xây dựng dự án.
Độ phân giải gia tăng nhanh. Tệp khoá cho phép Bazel tránh tải các tệp đăng ký đã được dùng trong bản dựng trước đó xuống. Điều này giúp cải thiện đáng kể hiệu quả của bản dựng, đặc biệt là trong các tình huống có thể tốn thời gian giải quyết.
Ổn định và giảm rủi ro. Tệp khoá giúp duy trì sự ổn định bằng cách ngăn chặn các bản cập nhật không mong muốn hoặc các thay đổi gây lỗi trong thư viện bên ngoài. Bằng cách khoá các phần phụ thuộc với các phiên bản cụ thể, nguy cơ gây ra lỗi do các bản cập nhật không tương thích hoặc chưa được kiểm thử sẽ giảm.

Nội dung tệp khoá

Tệp khoá chứa tất cả thông tin cần thiết để xác định xem trạng thái dự án đã thay đổi hay chưa. Báo cáo này cũng bao gồm kết quả của việc tạo dự án ở trạng thái hiện tại. Tệp khoá bao gồm hai phần chính:

Hàm băm của tất cả tệp từ xa là dữ liệu đầu vào để phân giải mô-đun.
Đối với mỗi tiện ích mô-đun, tệp khoá bao gồm các dữ liệu đầu vào ảnh hưởng đến tiện ích đó, được biểu thị bằng bzlTransitiveDigest, usagesDigest và các trường khác, cũng như kết quả khi chạy tiện ích đó, được gọi là generatedRepoSpecs

Dưới đây là ví dụ minh hoạ cấu trúc của tệp khoá, cùng với nội dung giải thích cho từng phần:

{
  "lockFileVersion": 10,
  "registryFileHashes": {
    "https://bcr.bazel.build/bazel_registry.json": "8a28e4af...5d5b3497",
    "https://bcr.bazel.build/modules/foo/1.0/MODULE.bazel": "7cd0312e...5c96ace2",
    "https://bcr.bazel.build/modules/foo/2.0/MODULE.bazel": "70390338... 9fc57589",
    "https://bcr.bazel.build/modules/foo/2.0/source.json": "7e3a9adf...170d94ad",
    "https://registry.mycorp.com/modules/foo/1.0/MODULE.bazel": "not found",
    ...
  },
  "selectedYankedVersions": {
    "foo@2.0": "Yanked for demo purposes"
  },
  "moduleExtensions": {
    "//:extension.bzl%lockfile_ext": {
      "general": {
        "bzlTransitiveDigest": "oWDzxG/aLnyY6Ubrfy....+Jp6maQvEPxn0pBM=",
        "usagesDigest": "aLmqbvowmHkkBPve05yyDNGN7oh7QE9kBADr3QIZTZs=",
        ...,
        "generatedRepoSpecs": {
          "hello": {
            "bzlFile": "@@//:extension.bzl",
            ...
          }
        }
      }
    },
    "//:extension.bzl%lockfile_ext2": {
      "os:macos": {
        "bzlTransitiveDigest": "oWDzxG/aLnyY6Ubrfy....+Jp6maQvEPxn0pBM=",
        "usagesDigest": "aLmqbvowmHkkBPve05y....yDNGN7oh7r3QIZTZs=",
        ...,
        "generatedRepoSpecs": {
          "hello": {
            "bzlFile": "@@//:extension.bzl",
            ...
          }
        }
      },
      "os:linux": {
        "bzlTransitiveDigest": "eWDzxG/aLsyY3Ubrto....+Jp4maQvEPxn0pLK=",
        "usagesDigest": "aLmqbvowmHkkBPve05y....yDNGN7oh7r3QIZTZs=",
        ...,
        "generatedRepoSpecs": {
          "hello": {
            "bzlFile": "@@//:extension.bzl",
            ...
          }
        }
      }
    }
  }
}

Hàm băm tệp đăng ký

Phần registryFileHashes chứa hàm băm của mọi tệp từ sổ đăng ký từ xa được truy cập trong quá trình phân giải mô-đun. Vì thuật toán độ phân giải hoàn toàn mang tính quyết định khi đưa ra cùng một dữ liệu đầu vào và tất cả các dữ liệu đầu vào từ xa đều được băm, nên điều này đảm bảo kết quả phân giải có thể tái tạo đầy đủ, đồng thời tránh việc sao chép quá nhiều thông tin từ xa trong tệp khoá. Xin lưu ý rằng thao tác này cũng yêu cầu ghi lại khi một sổ đăng ký cụ thể không chứa một mô-đun nhất định, nhưng sổ đăng ký có mức độ ưu tiên thấp hơn thì lại chứa (xem mục "không tìm thấy" trong ví dụ). Bạn có thể cập nhật thông tin vốn có thể thay đổi này thông qua bazel mod deps --lockfile_mode=refresh.

Bazel sử dụng các hàm băm từ tệp khoá để tra cứu các tệp đăng ký trong bộ nhớ đệm của kho lưu trữ trước khi tải xuống, nhờ đó tăng tốc độ phân giải tiếp theo.

Các phiên bản đã bị xoá đã chọn

Phần selectedYankedVersions chứa phiên bản được trích dẫn của các mô-đun được chọn theo độ phân giải của mô-đun. Vì điều này thường dẫn đến lỗi khi cố gắng xây dựng, nên phần này chỉ có nội dung không trống khi các phiên bản được trích xuất được cho phép một cách rõ ràng thông qua --allow_yanked_versions hoặc BZLMOD_ALLOW_YANKED_VERSIONS.

Trường này là cần thiết vì so với các tệp mô-đun, thông tin phiên bản được trích dẫn vốn có thể thay đổi và do đó không thể tham chiếu bằng hàm băm. Bạn có thể cập nhật thông tin này qua bazel mod deps --lockfile_mode=refresh.

Tiện ích mô-đun

Phần moduleExtensions là một bản đồ chỉ bao gồm các tiện ích được sử dụng trong lệnh gọi hiện tại hoặc đã được gọi trước đó, đồng thời loại trừ mọi tiện ích không còn được sử dụng. Nói cách khác, nếu một tiện ích hiện không được dùng nữa trên biểu đồ phần phụ thuộc, thì tiện ích đó sẽ bị xoá khỏi bản đồ moduleExtensions.

Nếu một tiện ích độc lập với hệ điều hành hoặc loại cấu trúc, thì phần này chỉ có một mục "chung". Nếu không, nhiều mục nhập sẽ được đưa vào, đặt tên theo hệ điều hành, cấu trúc hoặc cả hai, trong đó mỗi mục tương ứng với kết quả đánh giá tiện ích dựa trên những thông tin cụ thể đó.

Mỗi mục nhập trong bản đồ tiện ích tương ứng với một tiện ích đã sử dụng và được xác định bằng tên và tệp chứa tiện ích đó. Giá trị tương ứng cho mỗi mục nhập chứa thông tin liên quan đến tiện ích đó:

bzlTransitiveDigest là thông báo tóm tắt về việc triển khai tiện ích và các tệp .bzl được tải chuyển tiếp bằng tiện ích đó.
usagesDigest là bản tóm tắt về các cách sử dụng của tiện ích trong biểu đồ phần phụ thuộc, bao gồm tất cả các thẻ.
Các trường chưa chỉ định khác theo dõi các dữ liệu đầu vào khác cho tiện ích, chẳng hạn như nội dung của các tệp hoặc thư mục mà tiện ích đọc hoặc các biến môi trường mà tiện ích sử dụng.
generatedRepoSpecs mã hoá những kho lưu trữ do tiện ích tạo bằng dữ liệu đầu vào hiện tại.
Trường moduleExtensionMetadata không bắt buộc chứa siêu dữ liệu do phần mở rộng cung cấp, chẳng hạn như liệu mô-đun gốc có nên nhập một số kho lưu trữ nhất định mà phần mở rộng đã tạo thông qua use_repo hay không. Thông tin này hỗ trợ lệnh bazel mod tidy.

Tiện ích mô-đun có thể chọn không đưa vào tệp khoá bằng cách đặt siêu dữ liệu trả về bằng reproducible = True. Bằng cách làm như vậy, họ hứa hẹn rằng họ sẽ luôn tạo cùng một kho lưu trữ khi được cung cấp cùng một dữ liệu đầu vào.

Các phương pháp hay nhất

Để khai thác tối đa lợi ích của tính năng tệp khoá, hãy cân nhắc các phương pháp hay nhất sau:

Thường xuyên cập nhật tệp khoá để phản ánh các thay đổi trong phần phụ thuộc hoặc cấu hình của dự án. Điều này đảm bảo rằng các bản dựng tiếp theo dựa trên nhóm phần phụ thuộc mới nhất và chính xác nhất. Để khoá tất cả tiện ích cùng một lúc, hãy chạy bazel mod deps --lockfile_mode=update.
Đưa tệp khoá vào chế độ quản lý phiên bản để tạo điều kiện cho việc cộng tác và đảm bảo rằng tất cả thành viên trong nhóm đều có quyền truy cập vào cùng một tệp khoá, giúp thúc đẩy các môi trường phát triển nhất quán trên toàn dự án.
Sử dụng bazelisk để chạy Bazel và đưa tệp .bazelversion vào quy trình quản lý phiên bản để chỉ định phiên bản Bazel tương ứng với tệp khoá. Vì bản thân Bazel là một phần phụ thuộc của bản dựng, nên tệp khoá dành riêng cho phiên bản Bazel và sẽ thay đổi ngay cả giữa các bản phát hành Bazel tương thích ngược. Việc sử dụng bazelisk đảm bảo rằng tất cả nhà phát triển đều đang sử dụng phiên bản Bazel khớp với tệp khoá.

Bằng cách làm theo các phương pháp hay nhất này, bạn có thể sử dụng hiệu quả tính năng tệp khoá trong Bazel, nhờ đó quy trình phát triển phần mềm trở nên hiệu quả, đáng tin cậy và có tính cộng tác hơn.

Xung đột hợp nhất

Định dạng tệp khoá được thiết kế để giảm thiểu xung đột hợp nhất, nhưng vẫn có thể xảy ra.

Độ phân giải tự động

Bazel cung cấp một trình điều khiển git hợp nhất tuỳ chỉnh để giúp tự động giải quyết các xung đột này.

Thiết lập trình điều khiển bằng cách thêm dòng này vào tệp .gitattributes trong thư mục gốc của kho lưu trữ git:

# A custom merge driver for the Bazel lockfile.
# https://bazel.build/external/lockfile#automatic-resolution
MODULE.bazel.lock merge=bazel-lockfile-merge

Sau đó, mỗi nhà phát triển muốn sử dụng trình điều khiển phải đăng ký một lần bằng cách làm theo các bước sau:

Cài đặt jq (1.5 trở lên).
Chạy các lệnh sau:

jq_script=$(curl https://raw.githubusercontent.com/bazelbuild/bazel/master/scripts/bazel-lockfile-merge.jq)
printf '%s\n' "${jq_script}" | less # to optionally inspect the jq script
git config --global merge.bazel-lockfile-merge.name   "Merge driver for the Bazel lockfile (MODULE.bazel.lock)"
git config --global merge.bazel-lockfile-merge.driver "jq -s '${jq_script}' -- %O %A %B > %A.jq_tmp && mv %A.jq_tmp %A"

Độ phân giải thủ công

Bạn có thể giải quyết an toàn các xung đột hợp nhất đơn giản trong trường registryFileHashes và selectedYankedVersions bằng cách giữ lại tất cả các mục nhập từ cả hai phía của xung đột.

Bạn không nên giải quyết các loại xung đột hợp nhất khác theo cách thủ công. Thay vào đó:

Khôi phục trạng thái trước đó của tệp khoá thông qua git reset MODULE.bazel.lock && git checkout MODULE.bazel.lock.
Giải quyết mọi xung đột trong tệp MODULE.bazel.
Chạy bazel mod deps để cập nhật tệp khoá.