وضعیت StableHLO

هنگام بوت‌استرپ کردن StableHLO از MHLO، ما پیاده‌سازی MHLO را در بسیاری از موارد، از جمله prettyprinting، تأیید و استنتاج شکل، به ارث برده‌ایم. به لطف این، ما پوشش قابل توجهی از opset داریم، اما هنوز کارهای زیادی برای بررسی کامل بودن پیاده‌سازی‌های موجود و ارائه پیاده‌سازی‌های جدید در مواردی که وجود ندارند، وجود دارد.

این سند زنده برای توسعه‌دهندگان و کاربران است تا پیشرفت جنبه‌های مختلف آپست - مشخصات، تأیید، استنتاج نوع، چاپ زیبا، مفسر و غیره - را پیگیری کنند.

نحوه استفاده از آن

پیشرفت یک عملیات StableHLO، همانطور که در ردیف مربوطه ذکر شده است، در یک جنبه خاص، همانطور که در ستون مربوطه ذکر شده است، با استفاده از یکی از برچسب‌های ردیابی زیر ردیابی می‌شود.

• برچسب‌های عمومی
  • بله : یک پیاده‌سازی جامع وجود دارد.
  • خیر : هیچ پیاده‌سازی وجود ندارد، اما کار بر روی آن بخشی از نقشه راه است. توجه داشته باشید که Verifier هرگز نمی‌تواند به عنوان "خیر" برچسب‌گذاری شود زیرا ODS از قبل برخی از تأییدها را پیاده‌سازی کرده است.
• برچسب‌های سفارشی برای تأییدکننده و استنتاج نوع
  • بله : یک پیاده‌سازی وجود دارد، و با معانی StableHLO هماهنگ است.
  • بله* : یک پیاده‌سازی وجود دارد و با معانی XLA هماهنگ است. از آنجایی که معانی XLA اغلب به اندازه کافی مستندسازی نشده است، ما از hlo_verifier.cc و shape_inference.cc به عنوان مرجع استفاده می‌کنیم.
  • revisit : پیاده‌سازی وجود دارد، اما در دسته «بله» یا «بله*» قرار نمی‌گیرد - یا به این دلیل که هنوز آن را حسابرسی نکرده‌ایم، یا به این دلیل که مشکلاتی داریم و آنها را پیدا کرده‌ایم.
  • infeasible : هیچ پیاده‌سازی وجود ندارد، زیرا infeasible است. به عنوان مثال، به این دلیل که نوع نتیجه یک op را نمی‌توان از عملوندها و ویژگی‌های آن استنباط کرد.

وضعیت

استنتاج نوع برای عملیات کوانتیزه

ستون Type Inference از جدول بالا برای تمرکز بر عملیات غیر کوانتیزه در نظر گرفته شده است. برای اکثر عملیات کوانتیزه، استنتاج نوع نتیجه امکان‌پذیر نیست زیرا پارامترهای کوانتیزه انواع نتیجه ممکن است با پارامترهای کوانتیزه عملوندها متفاوت باشد. به استثنای موارد معدودی که نوع عملوند و نتیجه باید به طور یکسان مطابقت داشته باشند، یا عملیات دارای محدودیت‌هایی است که برای استنباط نوع نتیجه مفید است، چنین عملیاتی در زیر فهرست شده‌اند: all_gather ، all_to_all ، case ، collective_permute ، compare ، concatenate ، constant ، dynamic_slice ، dynamic_update_slice ، gather ، get_tuple_element ، if ، infeed ، is_finite ، map ، optimization_barrier ، outfeed ، pad ، recv ، reduce ، reduce_scatter ، reduce_window ، reverse ، scatter ، select_and_scatter ، send ، slice ، sort ، transpose ، tuple ، uniform_dequantized ، while .