Kueri Grafik Tindakan (aquery)

Laporkan masalah Lihat sumber

Nightly · 9.1 · 9.0 · 8.6 · 8.5 · 8.4 · 8.3 · 8.2 · 8.1

Perintah aquery memungkinkan Anda membuat kueri untuk tindakan dalam grafik build. Perintah ini beroperasi pada Configured Target Graph pasca-analisis dan menampilkan informasi tentang Tindakan, Artefak, dan hubungannya.

aquery berguna jika Anda tertarik dengan properti Tindakan/Artefak yang dihasilkan dari Configured Target Graph. Misalnya, perintah aktual yang dijalankan dan input/output/mnemoniknya.

Alat ini menerima beberapa opsi command line options. Khususnya, perintah aquery berjalan di atas build Bazel reguler dan mewarisi kumpulan opsi yang tersedia selama build.

Perintah ini mendukung kumpulan fungsi yang sama yang juga tersedia untuk query tradisional, tetapi siblings, buildfiles, dan tests.

Contoh output aquery (tanpa detail tertentu):

$ bazel aquery 'deps(//some:label)'
action 'Writing file some_file_name'
  Mnemonic: ...
  Target: ...
  Configuration: ...
  ActionKey: ...
  Inputs: [...]
  Outputs: [...]

Sintaksis dasar

Contoh sederhana sintaksis untuk aquery adalah sebagai berikut:

bazel aquery "aquery_function(function(//target))"

Ekspresi kueri (dalam tanda kutip) terdiri dari hal berikut:

• aquery_function(...): fungsi khusus untuk aquery. Detail selengkapnya di bawah.
• function(...): fungsi standar sebagai querytradisional.
• //target adalah label untuk target yang diinginkan.

# aquery examples:
# Get the action graph generated while building //src/target_a
$ bazel aquery '//src/target_a'

# Get the action graph generated while building all dependencies of //src/target_a
$ bazel aquery 'deps(//src/target_a)'

# Get the action graph generated while building all dependencies of //src/target_a
# whose inputs filenames match the regex ".*cpp".
$ bazel aquery 'inputs(".*cpp", deps(//src/target_a))'

Menggunakan fungsi aquery

Ada tiga fungsi aquery:

• inputs: memfilter tindakan berdasarkan input.
• outputs: memfilter tindakan berdasarkan output
• mnemonic: memfilter tindakan berdasarkan mnemonic

expr ::= inputs(word, expr)

Operator inputs menampilkan tindakan yang dihasilkan dari pembuatan expr, yang nama file inputnya cocok dengan regex yang disediakan oleh word.

$ bazel aquery 'inputs(".*cpp", deps(//src/target_a))'

Fungsi outputs dan mnemonic memiliki sintaksis yang serupa.

Anda juga dapat menggabungkan fungsi untuk mencapai operasi AND. Contoh:

  $ bazel aquery 'mnemonic("Cpp.*", (inputs(".*cpp", inputs("foo.*", //src/target_a))))'

Perintah di atas akan menemukan semua tindakan yang terlibat dalam pembuatan //src/target_a, yang mnemoniknya cocok dengan "Cpp.*" dan inputnya cocok dengan pola ".*cpp" dan "foo.*".

Penting: Fungsi aquery tidak dapat disarangkan di dalam fungsi non-aquery. Secara konseptual, hal ini masuk akal karena output fungsi aquery adalah Tindakan, bukan Target yang Dikonfigurasi.

Contoh error sintaksis yang dihasilkan:

        $ bazel aquery 'deps(inputs(".*cpp", //src/target_a))'
        ERROR: aquery filter functions (inputs, outputs, mnemonic) produce actions,
        and therefore can't be the input of other function types: deps
        deps(inputs(".*cpp", //src/target_a))

Opsi

Opsi build

aquery berjalan di atas build Bazel reguler dan mewarisi kumpulan opsi yang tersedia selama build.

Opsi Aquery

--output=(text|summary|commands|proto|jsonproto|textproto), default=text

Format output default (text) dapat dibaca manusia, gunakan proto, textproto, atau jsonproto untuk format yang dapat dibaca mesin. Pesan proto adalah analysis.ActionGraphContainer.

Format output commands mencetak daftar perintah build dengan satu perintah per baris.

Secara umum, jangan bergantung pada urutan output. Untuk mengetahui informasi selengkapnya, lihat kontrak pengurutan kueri inti.

--include_commandline, default=true

Menyertakan konten command line tindakan dalam output (berpotensi besar).

--include_artifacts, default=true

Menyertakan nama input dan output tindakan dalam output (berpotensi besar).

--include_aspects, default=true

Apakah akan menyertakan tindakan yang dihasilkan Aspek dalam output.

--include_param_files, default=false

Menyertakan konten file parameter yang digunakan dalam perintah (berpotensi besar).

Peringatan:Mengaktifkan flag ini akan otomatis mengaktifkan flag flag.

--include_commandline

--include_file_write_contents, default=false

Menyertakan konten file untuk tindakan actions.write() dan konten file manifes untuk tindakan SourceSymlinkManifest. Konten file ditampilkan di kolom file_contents dengan --output=xxxproto. Dengan --output=text, output memiliki FileWriteContents: [<base64-encoded file contents>] baris

--skyframe_state, default=false

Tanpa melakukan analisis tambahan, buang Action Graph dari Skyframe.

Catatan: Menentukan target dengan --skyframe_state saat ini tidak didukung. Flag ini hanya tersedia dengan --output=proto atau --output=textproto.

Alat dan fitur lainnya

Membuat kueri terhadap status Skyframe

Skyframe adalah model evaluasi dan inkrementalitas Bazel. Pada setiap instance server Bazel, Skyframe menyimpan grafik dependensi yang dibuat dari proses sebelumnya pada fase Analisis.

Dalam beberapa kasus, berguna untuk membuat kueri Action Graph di Skyframe. Contoh kasus penggunaan adalah:

1. Jalankan bazel build //target_a
2. Jalankan bazel build //target_b
3. File foo.out telah dibuat.

Sebagai pengguna Bazel, saya ingin menentukan apakah foo.out dihasilkan dari pembuatan //target_a atau //target_b.

Seseorang dapat menjalankan bazel aquery 'outputs("foo.out", //target_a)' dan bazel aquery 'outputs("foo.out", //target_b)' untuk mengetahui tindakan yang bertanggung jawab untuk membuat foo.out, dan pada gilirannya target. Namun, jumlah target berbeda yang sebelumnya dibuat dapat lebih besar dari 2, sehingga menjalankan beberapa perintah aquery menjadi merepotkan.

Sebagai alternatif, flag --skyframe_state dapat digunakan:

  # List all actions on Skyframe's action graph
  $ bazel aquery --output=proto --skyframe_state

  # or

  # List all actions on Skyframe's action graph, whose output matches "foo.out"
  $ bazel aquery --output=proto --skyframe_state 'outputs("foo.out")'

Dengan mode --skyframe_state, aquery mengambil konten Action Graph yang disimpan Skyframe di instance Bazel, (opsional) melakukan pemfilteran di dalamnya dan menampilkan konten, tanpa menjalankan kembali fase analisis.

Pertimbangan khusus

Format output

--skyframe_state saat ini hanya tersedia untuk --output=proto dan --output=textproto

Tidak menyertakan label target dalam ekspresi kueri

Saat ini, --skyframe_state membuat kueri seluruh grafik tindakan yang ada di Skyframe, terlepas dari targetnya. Menentukan label target dalam kueri bersama dengan --skyframe_state dianggap sebagai error sintaksis:

  # WRONG: Target Included
  $ bazel aquery --output=proto --skyframe_state **//target_a**
  ERROR: Error while parsing '//target_a)': Specifying build target(s) [//target_a] with --skyframe_state is currently not supported.

  # WRONG: Target Included
  $ bazel aquery --output=proto --skyframe_state 'inputs(".*.java", **//target_a**)'
  ERROR: Error while parsing '//target_a)': Specifying build target(s) [//target_a] with --skyframe_state is currently not supported.

  # CORRECT: Without Target
  $ bazel aquery --output=proto --skyframe_state
  $ bazel aquery --output=proto --skyframe_state 'inputs(".*.java")'

Membandingkan output aquery

Anda dapat membandingkan output dari dua pemanggilan aquery yang berbeda menggunakan alat aquery_differ. Misalnya: saat Anda membuat beberapa perubahan pada definisi aturan dan ingin memverifikasi bahwa command line yang dijalankan tidak berubah. aquery_differ adalah alat untuk itu.

Alat ini tersedia di repositori bazelbuild/bazel. Untuk menggunakannya, clone repositori ke komputer lokal Anda. Contoh penggunaan:

  $ bazel run //tools/aquery_differ -- \
  --before=/path/to/before.proto \
  --after=/path/to/after.proto \
  --input_type=proto \
  --attrs=cmdline \
  --attrs=inputs

Perintah di atas menampilkan perbedaan antara output aquery before dan after: tindakan mana yang ada di satu output, tetapi tidak di output lainnya, tindakan mana yang memiliki command line/input yang berbeda di setiap output aquery, ...). Hasil menjalankan perintah di atas adalah:

  Aquery output 'after' change contains an action that generates the following outputs that aquery output 'before' change doesn't:
  ...
  /list of output files/
  ...

  [cmdline]
  Difference in the action that generates the following output(s):
    /path/to/abc.out
  --- /path/to/before.proto
  +++ /path/to/after.proto
  @@ -1,3 +1,3 @@
    ...
    /cmdline diff, in unified diff format/
    ...

Opsi perintah

--before, --after: File output aquery yang akan dibandingkan

--input_type=(proto|text_proto), default=proto: format file input. Dukungan disediakan untuk proto dan textproto output aquery.

--attrs=(cmdline|inputs), default=cmdline: atribut tindakan yang akan dibandingkan.

Aspek-ke-aspek

Aspek dapat diterapkan di atas satu sama lain. Output aquery dari tindakan yang dihasilkan oleh Aspek ini kemudian akan menyertakan jalur Aspek, yang merupakan urutan Aspek yang diterapkan ke target yang menghasilkan tindakan.

Contoh Aspek-ke-Aspek:

  t0
  ^
  | <- a1
  t1
  ^
  | <- a2
  t2

Misalkan t_i adalah target aturan r_i, yang menerapkan Aspek a_i ke dependensinya.

Asumsikan bahwa a2 menghasilkan tindakan X saat diterapkan ke target t0. Output teks bazel aquery --include_aspects 'deps(//t2)' untuk tindakan X adalah:

  action ...
  Mnemonic: ...
  Target: //my_pkg:t0
  Configuration: ...
  AspectDescriptors: [//my_pkg:rule.bzl%**a2**(foo=...)
    -> //my_pkg:rule.bzl%**a1**(bar=...)]
  ...

Artinya, tindakan X dihasilkan oleh Aspek a2 yang diterapkan ke a1(t0), dengan a1(t0) adalah hasil dari Aspek a1 yang diterapkan ke target t0.

Setiap AspectDescriptor memiliki format berikut:

  AspectClass([param=value,...])

AspectClass dapat berupa nama class Aspek (untuk Aspek native) atau bzl_file%aspect_name (untuk Aspek Starlark). AspectDescriptor diurutkan dalam urutan topologi grafik dependensi.

Menautkan dengan profil JSON

Meskipun aquery memberikan informasi tentang tindakan yang dijalankan dalam build (alasan tindakan dijalankan, input/output-nya), profil JSON memberi tahu kita waktu dan durasi eksekusinya. Anda dapat menggabungkan 2 kumpulan informasi ini melalui penyebut yang sama: output utama tindakan.

Untuk menyertakan output tindakan dalam profil JSON, buat profil dengan --experimental_include_primary_output --noslim_profile. Profil ringkas tidak kompatibel dengan penyertaan output utama. Output utama tindakan disertakan secara default oleh aquery.

Saat ini, kami tidak menyediakan alat kanonis untuk menggabungkan 2 sumber data ini, tetapi Anda dapat membuat skrip sendiri dengan informasi di atas.

Masalah umum

Menangani tindakan bersama

Terkadang tindakan dibagikan di antara target yang dikonfigurasi.

Pada fase eksekusi, tindakan bersama tersebut adalah hanya dianggap sebagai satu dan hanya dieksekusi satu kali. Namun, aquery beroperasi pada grafik tindakan pasca-analisis pra-eksekusi, sehingga memperlakukan tindakan ini seperti tindakan terpisah yang Artefak outputnya memiliki execPath yang sama persis. Akibatnya, Artefak yang setara muncul dua kali.

Daftar masalah/fitur yang direncanakan aquery dapat ditemukan di GitHub.

FAQ

ActionKey tetap sama meskipun konten file input berubah.

Dalam konteks aquery, ActionKey mengacu pada String yang diperoleh dari ActionAnalysisMetadata#getKey:

  Returns a string encoding all of the significant behaviour of this Action that might affect the
  output. The general contract of `getKey` is this: if the work to be performed by the
  execution of this action changes, the key must change.

  ...

  Examples of changes that should affect the key are:

  - Changes to the BUILD file that materially affect the rule which gave rise to this Action.
  - Changes to the command-line options, environment, or other global configuration resources
      which affect the behaviour of this kind of Action (other than changes to the names of the
      input/output files, which are handled externally).
  - An upgrade to the build tools which changes the program logic of this kind of Action
      (typically this is achieved by incorporating a UUID into the key, which is changed each
      time the program logic of this action changes).
  Note the following exception: for actions that discover inputs, the key must change if any
  input names change or else action validation may falsely validate.

Hal ini tidak mencakup perubahan pada konten file input, dan tidak boleh disamakan dengan RemoteCacheClient#ActionKey.

Update

Untuk masalah/permintaan fitur, harap laporkan masalah di sini.