حالة StableHLO

عند بدء تشغيل 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 نعم إعادة زيارة غير ممكن نعم لا
فيما نعم إعادة زيارة نعم إعادة زيارة نعم
سور نعم نعم نعم نعم نعم