عند بدء تشغيل StableHLO من MHLO، اكتسبنا تنفيذ MHLO للعديد من الأشياء، بما في ذلك الطباعة الجميلة والتحقق واستنتاج الشكل. لهذا السبب، تتوفّر لدينا تغطية كبيرة لعملية التقييم، ولكن لا يزال هناك الكثير من الإجراءات لمراجعة عمليات التنفيذ الحالية للتأكّد من اكتمالها وتوفير عمليات تنفيذ جديدة لم يتم العثور عليها من الأساس.
هذه الوثيقة المباشرة مخصصة للمطورين والمستخدمين لتتبع التقدم في جوانب مختلفة من عملية التشغيل - المواصفات، والتحقق، واستنتاج النوع، والطباعة الجميلة، والترجمة الفورية، وما إلى ذلك.
كيفية استخدام فئة التدقيق الجديدة
يتم تتبع تقدم عملية StableHLO، كما هو مذكور في الصف المقابل، على جانب معين، كما هو مذكور في العمود المقابل، باستخدام إحدى علامات التتبع التالية.
- التصنيفات العامة
- yes: هناك عملية تنفيذ شاملة.
- no (لا): ليس هناك أي عملية تنفيذ، ولكن العمل على تنفيذ ذلك يشكّل جزءًا من خارطة الطريق. تجدر الإشارة إلى أنّه لا يمكن مطلقًا تصنيف جهة إثبات الملكية على أنّها "لا" لأنّ عملية التحقّق من صحة البيانات (ODS) تنفّذ بعض عمليات التحقّق.
- تصنيفات مخصّصة لأداة إثبات الملكية واستنتاج النوع
- yes: تتوفّر عملية تنفيذ وتتوافق مع المعنى الدلالي SttableHLO.
- yes*: تتوفّر عملية تنفيذ وتتوافق مع عبارات XLA. وبما أنّ دلالات XLA غير موثقة في كثير من الأحيان، نستخدم hlo_verifier.cc وshape_inference.cc كمرجع.
- revisit: هناك عملية تنفيذ، ولكنها لا تندرج ضمن "نعم" أو "نعم*"، إما لأنّنا لم ندقّق فيها بعد، أو لأنّنا واجهنا مشاكل وعثرنا عليها.
- غير ممكن: لا يوجد تنفيذ لأنه غير ممكن. على سبيل المثال، بسبب عدم إمكانية استنتاج نوع نتيجة عملية تشغيل من معاملاتها وسماتها.
الحالة
لعبة StableHLO Op | المواصفات | إثبات الملكية | استنتاج النوع | طباعة جميلة | الترجمة الفورية |
---|---|---|---|---|---|
abs | نعم | نعم | نعم | نعم | نعم |
إضافة | نعم | نعم | نعم | نعم | نعم |
after_all | نعم | نعم | نعم | نعم | نعم |
all_gather | نعم | إعادة زيارة | لا | لا | نعم |
all_reduce | نعم | إعادة زيارة | نعم | لا | نعم |
all_to_all | نعم | إعادة زيارة | نعم | لا | نعم |
و | نعم | نعم | نعم | نعم | نعم |
atan2 | نعم | نعم | نعم | نعم | نعم |
batch_norm_grad | نعم | إعادة زيارة | نعم | لا | إعادة زيارة |
batch_norm_inference | نعم | إعادة زيارة | نعم | لا | إعادة زيارة |
batch_norm_training | نعم | إعادة زيارة | نعم | لا | إعادة زيارة |
bitcast_convert | نعم | نعم | غير ممكن | نعم | نعم |
رسالة بث | لا | نعم* | نعم* | نعم | إعادة زيارة |
broadcast_in_dim | نعم | نعم | غير ممكن | نعم | نعم |
حافظة | نعم | إعادة زيارة | نعم | لا | نعم |
نظام CBRT | نعم | نعم | نعم | نعم | نعم |
ceil | نعم | نعم | نعم | نعم | نعم |
أزرق سماوي | نعم | نعم | نعم | نعم | إعادة زيارة |
مشبك | نعم | إعادة زيارة | نعم | نعم | نعم |
collective_permute | نعم | إعادة زيارة | نعم | لا | نعم |
مقارنة | نعم | نعم | نعم | نعم | نعم |
معقد | نعم | نعم | نعم | نعم | نعم |
compute_reshape_shape | لا | إعادة زيارة | لا | نعم | لا |
concatenate | نعم | نعم | نعم | نعم | نعم |
الثابت | نعم | نعم | نعم | نعم | نعم |
إجراء إحالة ناجحة | نعم | نعم | غير ممكن | نعم | نعم |
التفاف | نعم | نعم | غير ممكن | إعادة زيارة | لا |
جيب التمام | نعم | نعم | نعم | نعم | نعم |
count_leading_zeros | نعم | نعم | نعم | نعم | نعم |
create_token | لا | نعم* | نعم* | نعم | إعادة زيارة |
مجموع النسخ المتماثل | لا | إعادة زيارة | نعم* | لا | إعادة زيارة |
cstr_reshapable | لا | إعادة زيارة | لا | نعم | لا |
custom_call | نعم | نعم | غير ممكن | نعم | نعم |
قسمة | نعم | نعم | نعم | نعم | نعم |
نقطة | لا | إعادة زيارة | غير ممكن | نعم | إعادة زيارة |
dot_general | نعم | إعادة زيارة | غير ممكن | لا | نعم |
dynamic_broadcast_in_dim | لا | إعادة زيارة | غير ممكن | لا | لا |
dynamic_conv | لا | إعادة زيارة | لا | لا | لا |
dynamic_gather | لا | إعادة زيارة | إعادة زيارة | لا | لا |
dynamic_iota | لا | إعادة زيارة | غير ممكن | نعم | لا |
dynamic_pad | لا | إعادة زيارة | لا | نعم | لا |
dynamic_reshape | لا | إعادة زيارة | غير ممكن | نعم | لا |
dynamic_slice | نعم | نعم | نعم | نعم | نعم |
dynamic_update_slice | نعم | نعم | نعم | نعم | نعم |
einsum | لا | إعادة زيارة | لا | نعم | إعادة زيارة |
دالات أسية | نعم | نعم | نعم | نعم | نعم |
exponential_minus_one | نعم | نعم | نعم | نعم | نعم |
fft | نعم | إعادة زيارة | نعم | نعم | لا |
floor | نعم | نعم | نعم | نعم | نعم |
جمع | نعم | نعم | نعم | لا | نعم |
get_dimension_size | نعم | نعم | نعم | نعم | نعم |
get_tuple_element | نعم | نعم | نعم | نعم | نعم |
if | نعم | إعادة زيارة | نعم | لا | نعم |
تخيل | نعم | نعم | نعم | نعم | نعم |
إعلان ضمن الخلاصة | نعم | نعم | غير ممكن | لا | نعم |
يوتا | نعم | نعم | غير ممكن | نعم | نعم |
is_finite | نعم | نعم | نعم | نعم | نعم |
log | نعم | نعم | نعم | نعم | نعم |
log_plus_one | نعم | نعم | نعم | نعم | نعم |
لوجستي | نعم | نعم | نعم | نعم | نعم |
خريطة | نعم | إعادة زيارة | نعم | لا | نعم |
أعلى قيمة | نعم | نعم | نعم | نعم | نعم |
أقل قيمة | نعم | نعم | نعم | نعم | نعم |
ضرب | نعم | نعم | نعم | نعم | نعم |
ينفي | نعم | نعم | نعم | نعم | نعم |
ليس | نعم | نعم | نعم | نعم | نعم |
optimization_barrier | نعم | نعم | نعم | نعم | نعم |
أو | نعم | نعم | نعم | نعم | نعم |
خلاصة خارجية | نعم | نعم | نعم | لا | نعم |
وسادة | نعم | نعم | نعم | نعم | نعم |
partition_id | نعم | نعم | نعم | نعم | نعم |
الترويج | نعم | نعم | نعم | نعم | نعم |
الطاقة | نعم | نعم | نعم | نعم | نعم |
الريال | نعم | نعم | نعم | نعم | نعم |
real_dynamic_slice | لا | إعادة زيارة | لا | نعم | لا |
recv | نعم | نعم | غير ممكن | لا | نعم |
reduce | نعم | إعادة زيارة | نعم | إعادة زيارة | نعم |
reduce_precision | نعم | نعم | نعم | نعم | نعم |
reduce_scatter | نعم | إعادة زيارة | لا | لا | نعم |
reduce_window | نعم | إعادة زيارة | نعم | لا | نعم |
الباقي | نعم | نعم | نعم | نعم | نعم |
replica_id | نعم | نعم | نعم | نعم | نعم |
إعادة تشكيل | نعم | نعم | غير ممكن | نعم | نعم |
return | لا | إعادة زيارة | غير ممكن | نعم | نعم |
إلغاء | نعم | نعم | نعم | نعم | نعم |
rng | نعم | نعم | نعم | نعم | إعادة زيارة |
rng_bit_generator | نعم | إعادة زيارة | غير ممكن | نعم | إعادة زيارة |
round_nearest_afz | نعم | نعم | نعم | نعم | نعم |
round_nearest_even | نعم | نعم | نعم | نعم | نعم |
rsqrt | نعم | نعم | نعم | نعم | نعم |
scatter | نعم | إعادة زيارة | نعم | لا | نعم |
اختيار | نعم | نعم | نعم | نعم | نعم |
select_and_scatter | نعم | إعادة زيارة | نعم | لا | نعم |
إرسال | نعم | نعم | نعم | لا | نعم |
set_dimension_size | لا | نعم* | نعم* | نعم | لا |
shift_left | نعم | نعم | نعم | نعم | نعم |
shift_right_arithmetic | نعم | نعم | نعم | نعم | نعم |
shift_right_logical | نعم | نعم | نعم | نعم | نعم |
علامة | نعم | نعم | نعم | نعم | نعم |
جيب الزاوية | نعم | نعم | نعم | نعم | نعم |
slice | نعم | نعم | نعم | لا | نعم |
ترتيب | نعم | نعم | نعم | لا | نعم |
sqrt | نعم | نعم | نعم | نعم | نعم |
طرح | نعم | نعم | نعم | نعم | نعم |
تانه | نعم | نعم | نعم | نعم | نعم |
torch_index_select | لا | إعادة زيارة | لا | لا | إعادة زيارة |
trace | لا | إعادة زيارة | لا | نعم | إعادة زيارة |
تبديل الموضع | نعم | نعم | نعم | نعم | نعم |
triangular_solve | نعم | إعادة زيارة | نعم | لا | إعادة زيارة |
tuple | نعم | نعم | نعم | نعم | نعم |
unary_einsum | لا | إعادة زيارة | لا | نعم | إعادة زيارة |
uniform_dequantize | نعم | نعم | نعم | نعم | لا |
uniform_quantize | نعم | إعادة زيارة | غير ممكن | نعم | لا |
فيما | نعم | إعادة زيارة | نعم | إعادة زيارة | نعم |
سور | نعم | نعم | نعم | نعم | نعم |