Chương trình đăng ký tham gia sự kiện BazelCon 2024 đã bắt đầu!

Trang này được dịch bởi Cloud Translation API.

Khía cạnh

Trang này giải thích các thông tin cơ bản và lợi ích của việc sử dụng các khía cạnh, đồng thời cung cấp các ví dụ đơn giản và nâng cao.

Các khía cạnh cho phép bổ sung thông tin và hành động bổ sung vào biểu đồ phần phụ thuộc của bản dựng. Một số trường hợp điển hình khi các khía cạnh có thể hữu ích:

Các IDE tích hợp Bazel có thể sử dụng các khía cạnh để thu thập thông tin về dự án.
Các công cụ tạo mã có thể tận dụng các khía cạnh để thực thi trên dữ liệu đầu vào theo cách không phân biệt mục tiêu. Ví dụ: tệp BUILD có thể chỉ định hệ phân cấp của các định nghĩa thư viện protobuf và các quy tắc dành riêng cho ngôn ngữ có thể sử dụng các khía cạnh để đính kèm các thao tác tạo mã hỗ trợ protobuf cho một ngôn ngữ cụ thể.

Kiến thức cơ bản về tỷ lệ khung hình

Tệp BUILD cung cấp nội dung mô tả về mã nguồn của dự án: những tệp nguồn nào thuộc dự án, những cấu phần phần mềm (mục tiêu) nào cần được tạo từ các tệp đó, phần phụ thuộc giữa các tệp đó là gì, v.v. Bazel sử dụng thông tin này để tạo bản dựng, tức là tìm ra tập hợp các hành động cần thiết để tạo cấu phần phần mềm (chẳng hạn như chạy trình biên dịch hoặc trình liên kết) và thực thi các hành động đó. Bazel thực hiện việc này bằng cách tạo một biểu đồ phần phụ thuộc giữa các mục tiêu và truy cập vào biểu đồ này để thu thập các hành động đó.

Hãy xem xét tệp BUILD sau:

java_library(name = 'W', ...)
java_library(name = 'Y', deps = [':W'], ...)
java_library(name = 'Z', deps = [':W'], ...)
java_library(name = 'Q', ...)
java_library(name = 'T', deps = [':Q'], ...)
java_library(name = 'X', deps = [':Y',':Z'], runtime_deps = [':T'], ...)

Tệp BUILD này xác định một biểu đồ phần phụ thuộc như trong hình sau:

Tạo biểu đồ

Hình 1. Biểu đồ phần phụ thuộc tệp BUILD.

Bazel phân tích biểu đồ phần phụ thuộc này bằng cách gọi một hàm triển khai của quy tắc tương ứng (trong trường hợp này là "java_library") cho mọi mục tiêu trong ví dụ trên. Các hàm triển khai quy tắc sẽ tạo ra các thao tác tạo cấu phần phần mềm (chẳng hạn như tệp .jar) và truyền thông tin (chẳng hạn như vị trí và tên của các cấu phần phần mềm) đến các phần phụ thuộc ngược của các mục tiêu đó trong trình cung cấp.

Các khía cạnh tương tự như quy tắc ở chỗ đều có hàm triển khai tạo ra các thao tác và trình cung cấp trả về. Tuy nhiên, sức mạnh của chúng đến từ cách tạo biểu đồ phần phụ thuộc cho chúng. Một khía cạnh có một phương thức triển khai và danh sách tất cả các thuộc tính mà khía cạnh đó truyền tải. Hãy xem xét một khía cạnh A truyền tải dọc theo các thuộc tính có tên là "deps". Bạn có thể áp dụng phương diện này cho một mục tiêu X, tạo ra một nút ứng dụng phương diện A(X). Trong quá trình áp dụng, khía cạnh A được áp dụng đệ quy cho tất cả các mục tiêu mà X tham chiếu đến trong thuộc tính "phần phụ thuộc" (tất cả các thuộc tính trong danh sách truyền tải của A).

Do đó, một hành động áp dụng khía cạnh A cho mục tiêu X sẽ tạo ra một "biểu đồ bóng" của biểu đồ phần phụ thuộc ban đầu của các mục tiêu như minh hoạ trong hình sau:

Tạo biểu đồ có Aspect

Hình 2. Xây dựng biểu đồ có các khía cạnh.

Các cạnh duy nhất bị đổ bóng là các cạnh dọc theo các thuộc tính trong tập hợp truyền tải, do đó, cạnh runtime_deps không bị đổ bóng trong ví dụ này. Sau đó, hàm triển khai khung hình được gọi trên tất cả các nút trong biểu đồ bóng đổ, tương tự như cách gọi phương thức triển khai quy tắc trên các nút của biểu đồ ban đầu.

Ví dụ đơn giản

Ví dụ này minh hoạ cách in đệ quy các tệp nguồn cho một quy tắc và tất cả các phần phụ thuộc có thuộc tính deps. Trang này cho thấy cách triển khai một khía cạnh, định nghĩa một khía cạnh và cách gọi khía cạnh từ dòng lệnh Bazel.

def _print_aspect_impl(target, ctx):
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the files that make up the sources and
        # print their paths.
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                print(f.path)
    return []

print_aspect = aspect(
    implementation = _print_aspect_impl,
    attr_aspects = ['deps'],
)

Hãy chia nhỏ ví dụ này thành nhiều phần rồi kiểm tra riêng từng phần.

Định nghĩa về tỷ lệ khung hình

print_aspect = aspect(
    implementation = _print_aspect_impl,
    attr_aspects = ['deps'],
)

Định nghĩa về khía cạnh tương tự như định nghĩa về quy tắc và được xác định bằng hàm aspect.

Giống như quy tắc, một khía cạnh có một hàm triển khai, trong trường hợp này là _print_aspect_impl.

attr_aspects là danh sách các thuộc tính quy tắc mà theo đó phương diện sẽ truyền tải. Trong trường hợp này, khung hình sẽ được truyền dọc theo thuộc tính deps của các quy tắc được áp dụng.

Một đối số phổ biến khác cho attr_aspects là ['*']. Đối số này sẽ truyền tải khía cạnh đến tất cả các thuộc tính của một quy tắc.

Triển khai tỷ lệ khung hình

def _print_aspect_impl(target, ctx):
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the files that make up the sources and
        # print their paths.
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                print(f.path)
    return []

Các hàm triển khai khía cạnh tương tự như các hàm triển khai quy tắc. Các phương thức này trả về trình cung cấp, có thể tạo thao tác và nhận 2 đối số:

target: Mục tiêu mà phương diện đang được áp dụng.
ctx: Đối tượng ctx có thể được dùng để truy cập vào các thuộc tính, tạo đầu ra và hành động.

Hàm triển khai có thể truy cập vào các thuộc tính của quy tắc mục tiêu thông qua ctx.rule.attr. Phương thức này có thể kiểm tra các trình cung cấp do mục tiêu cung cấp (thông qua đối số target).

Các khía cạnh bắt buộc phải trả về danh sách nhà cung cấp. Trong ví dụ này, phương diện không cung cấp bất kỳ giá trị nào, do đó sẽ trả về một danh sách trống.

Gọi phương diện bằng dòng lệnh

Cách đơn giản nhất để áp dụng một khía cạnh là từ dòng lệnh bằng cách sử dụng đối số --aspects. Giả sử tỷ lệ khung hình ở trên được xác định trong tệp có tên print.bzl như sau:

bazel build //MyExample:example --aspects print.bzl%print_aspect

sẽ áp dụng print_aspect cho mục tiêu example và tất cả các quy tắc mục tiêu có thể truy cập đệ quy thông qua thuộc tính deps.

Cờ --aspects nhận một đối số, là thông số kỹ thuật của tỷ lệ khung hình ở định dạng <extension file label>%<aspect top-level name>.

Ví dụ nâng cao

Ví dụ sau đây minh hoạ việc sử dụng một khía cạnh từ quy tắc mục tiêu để đếm các tệp trong mục tiêu, có thể lọc các tệp đó theo đuôi. Bài viết này cho biết cách sử dụng trình cung cấp để trả về các giá trị, cách sử dụng các thông số để truyền một đối số vào quá trình triển khai khía cạnh và cách gọi một khía cạnh từ một quy tắc.

Tệp file_count.bzl:

FileCountInfo = provider(
    fields = {
        'count' : 'number of files'
    }
)

def _file_count_aspect_impl(target, ctx):
    count = 0
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the sources counting files
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                if ctx.attr.extension == '*' or ctx.attr.extension == f.extension:
                    count = count + 1
    # Get the counts from our dependencies.
    for dep in ctx.rule.attr.deps:
        count = count + dep[FileCountInfo].count
    return [FileCountInfo(count = count)]

file_count_aspect = aspect(
    implementation = _file_count_aspect_impl,
    attr_aspects = ['deps'],
    attrs = {
        'extension' : attr.string(values = ['*', 'h', 'cc']),
    }
)

def _file_count_rule_impl(ctx):
    for dep in ctx.attr.deps:
        print(dep[FileCountInfo].count)

file_count_rule = rule(
    implementation = _file_count_rule_impl,
    attrs = {
        'deps' : attr.label_list(aspects = [file_count_aspect]),
        'extension' : attr.string(default = '*'),
    },
)

Tệp BUILD.bazel:

load('//:file_count.bzl', 'file_count_rule')

cc_library(
    name = 'lib',
    srcs = [
        'lib.h',
        'lib.cc',
    ],
)

cc_binary(
    name = 'app',
    srcs = [
        'app.h',
        'app.cc',
        'main.cc',
    ],
    deps = ['lib'],
)

file_count_rule(
    name = 'file_count',
    deps = ['app'],
    extension = 'h',
)

Định nghĩa về tỷ lệ khung hình

file_count_aspect = aspect(
    implementation = _file_count_aspect_impl,
    attr_aspects = ['deps'],
    attrs = {
        'extension' : attr.string(values = ['*', 'h', 'cc']),
    }
)

Ví dụ này cho thấy cách phương diện truyền tải thông qua thuộc tính deps.

attrs xác định một tập hợp các thuộc tính cho một khía cạnh. Thuộc tính khía cạnh công khai thuộc loại string và được gọi là tham số. Các tham số phải có thuộc tính values được chỉ định. Ví dụ này có một tham số có tên là extension được phép có giá trị là "*", "h" hoặc "cc".

Giá trị tham số cho phương diện được lấy từ thuộc tính chuỗi có cùng tên với quy tắc yêu cầu phương diện (xem định nghĩa của file_count_rule). Không thể sử dụng các phương diện có tham số thông qua dòng lệnh vì không có cú pháp để xác định các tham số.

Các khía cạnh cũng được phép có các thuộc tính riêng tư thuộc loại label hoặc label_list. Bạn có thể sử dụng các thuộc tính nhãn riêng tư để chỉ định các phần phụ thuộc trên các công cụ hoặc thư viện cần thiết cho các hành động do các khía cạnh tạo ra. Không có thuộc tính riêng tư được xác định trong ví dụ này, nhưng đoạn mã sau đây minh hoạ cách bạn có thể truyền một công cụ đến một khung hình:

...
    attrs = {
        '_protoc' : attr.label(
            default = Label('//tools:protoc'),
            executable = True,
            cfg = "exec"
        )
    }
...

Triển khai tỷ lệ khung hình

FileCountInfo = provider(
    fields = {
        'count' : 'number of files'
    }
)

def _file_count_aspect_impl(target, ctx):
    count = 0
    # Make sure the rule has a srcs attribute.
    if hasattr(ctx.rule.attr, 'srcs'):
        # Iterate through the sources counting files
        for src in ctx.rule.attr.srcs:
            for f in src.files.to_list():
                if ctx.attr.extension == '*' or ctx.attr.extension == f.extension:
                    count = count + 1
    # Get the counts from our dependencies.
    for dep in ctx.rule.attr.deps:
        count = count + dep[FileCountInfo].count
    return [FileCountInfo(count = count)]

Giống như hàm triển khai quy tắc, hàm triển khai khía cạnh sẽ trả về một cấu trúc của các trình cung cấp mà các phần phụ thuộc có thể truy cập.

Trong ví dụ này, FileCountInfo được xác định là một nhà cung cấp có một trường count. Tốt nhất là bạn nên xác định rõ ràng các trường của nhà cung cấp bằng cách sử dụng thuộc tính fields.

Tập hợp các nhà cung cấp cho một ứng dụng khía cạnh A(X) là tập hợp hợp nhất các nhà cung cấp đến từ việc triển khai một quy tắc cho mục tiêu X và từ việc triển khai khía cạnh A. Các nhà cung cấp mà quá trình triển khai quy tắc sẽ truyền tải được tạo và đóng băng trước khi các khía cạnh được áp dụng và không thể sửa đổi từ một khía cạnh. Sẽ xảy ra lỗi nếu một mục tiêu và một khía cạnh được áp dụng cho mục tiêu đó cung cấp cho nhà cung cấp cùng một loại, ngoại trừ OutputGroupInfo (được hợp nhất, miễn là quy tắc và khía cạnh chỉ định các nhóm đầu ra khác nhau) và InstrumentedFilesInfo (được lấy từ khía cạnh). Điều này có nghĩa là các phương thức triển khai khía cạnh có thể không bao giờ trả về DefaultInfo.

Các tham số và thuộc tính riêng được truyền trong các thuộc tính của ctx. Ví dụ này tham chiếu đến tham số extension và xác định những tệp cần được tính.

Đối với các nhà cung cấp trả về, giá trị của các thuộc tính mà theo đó phương diện được truyền (từ danh sách attr_aspects) sẽ được thay thế bằng kết quả của việc áp dụng phương diện cho các nhà cung cấp đó. Ví dụ: nếu mục tiêu X có Y và Z trong phần phụ thuộc, thì ctx.rule.attr.deps cho A(X) sẽ là [A(Y), A(Z)]. Trong ví dụ này, ctx.rule.attr.deps là các đối tượng Mục tiêu là kết quả của việc áp dụng khung hình cho "deps" của mục tiêu ban đầu mà khung hình được áp dụng.

Trong ví dụ này, phương diện truy cập vào trình cung cấp FileCountInfo từ các phần phụ thuộc của mục tiêu để tích luỹ tổng số tệp bắc cầu.

Gọi phương diện từ một quy tắc

def _file_count_rule_impl(ctx):
    for dep in ctx.attr.deps:
        print(dep[FileCountInfo].count)

file_count_rule = rule(
    implementation = _file_count_rule_impl,
    attrs = {
        'deps' : attr.label_list(aspects = [file_count_aspect]),
        'extension' : attr.string(default = '*'),
    },
)

Việc triển khai quy tắc minh hoạ cách truy cập vào FileCountInfo thông qua ctx.attr.deps.

Phần khai báo quy tắc minh hoạ cách xác định một tham số (extension) và gán giá trị mặc định cho tham số đó (*). Xin lưu ý rằng việc có giá trị mặc định không phải là "cc", "h" hoặc "*" sẽ là lỗi do các quy tắc hạn chế đặt ra cho tham số trong phần khai báo phương diện.

Gọi một khía cạnh thông qua quy tắc mục tiêu

load('//:file_count.bzl', 'file_count_rule')

cc_binary(
    name = 'app',
...
)

file_count_rule(
    name = 'file_count',
    deps = ['app'],
    extension = 'h',
)

Mã này minh hoạ cách truyền tham số extension vào phương diện thông qua quy tắc. Vì tham số extension có giá trị mặc định trong quá trình triển khai quy tắc, nên extension sẽ được coi là tham số không bắt buộc.

Khi mục tiêu file_count được tạo, khía cạnh của chúng ta sẽ được tự đánh giá và tất cả mục tiêu có thể truy cập theo cách đệ quy thông qua deps.