Trạng thái StableHLO

Khi tự khởi động StableHLO từ MHLO, chúng tôi đã kế thừa cách triển khai của MHLO về nhiều tính năng, bao gồm cả việc in hình rất đẹp, xác minh và dự đoán hình dạng. Nhờ đó, chúng ta đã có phạm vi bao phủ đáng kể của điện thoại thông minh, nhưng vẫn còn nhiều việc cần làm để xem lại các phương thức triển khai hiện có để đảm bảo tính hoàn chỉnh và cung cấp các phương thức triển khai mới chưa có.

Tài liệu trực tiếp này dành cho các nhà phát triển và người dùng để theo dõi tiến trình về các khía cạnh khác nhau của thiết bị điều khiển – như quy cách, hoạt động xác minh, suy luận kiểu, in đẹp, thông dịch viên, v.v.

Cách sử dụng

Tiến trình của một hoạt động StableHLO (như đã đề cập trong hàng tương ứng) trên một khía cạnh cụ thể (như đã đề cập trong cột tương ứng) được theo dõi bằng một trong các nhãn theo dõi sau.

• Nhãn chung
  • yes: có cách triển khai toàn diện.
  • no: không có cách triển khai nào, nhưng việc triển khai như vậy là một phần trong lộ trình phát triển. Xin lưu ý rằng bạn không thể gắn nhãn Người xác minh là "không" vì ODS đã triển khai một số quy trình xác minh.
• Các nhãn tuỳ chỉnh cho Trình xác minh và Dự đoán loại
  • yes: đã có một cách triển khai và đồng bộ hoá với ngữ nghĩa StableHLO.
  • yes*: có một cách triển khai và đồng bộ hoá với ngữ nghĩa XLA. Vì ngữ nghĩa XLA thường không được ghi nhận trong tài liệu, nên chúng tôi dùng hlo_verifier.cc và shape_inference.cc làm tệp tham chiếu.
  • revisit: có cách triển khai, nhưng không thuộc trường "yes" (có) hoặc "yes*" (có) – do chúng tôi chưa kiểm tra, hoặc do chúng tôi đã phát hiện và phát hiện ra vấn đề.
  • không khả thi: không có cách triển khai nào vì không khả thi. Ví dụ: vì hệ thống không thể suy ra loại kết quả của một op từ các toán hạng và thuộc tính của toán hạng đó.

Trạng thái

Suy luận kiểu dữ liệu cho các phép toán tử lượng tử

Cột Type Inference trong bảng ở trên được dùng để tập trung vào các thao tác không có lượng tử. Đối với phần lớn các phép toán lượng tử, bạn không thể suy luận ra loại kết quả vì tham số lượng tử hoá của các loại kết quả có thể khác với tham số của các toán hạng. Ngoại trừ một số trường hợp, toán hạng và loại kết quả phải khớp giống nhau, hoặc toán hạng có các hạn chế hữu ích để suy ra loại kết quả, các hoạt động đó được liệt kê dưới đây: all_gather, all_to_all, case, collective_permute, compare, concatenate, constant, dynamic_slice, dynamic_update_slice, gather, get_tuple_element, if, infeed, is_finite, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_all, all_to_allmapoptimization_barrieroutfeedpadrecvreducereduce_scatterreduce_windowreversescatterselect_and_scattersendslicesorttransposetupleuniform_dequantizedwhile