وضعیت StableHLO

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

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

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

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

• برچسب های عمومی
  • بله : یک پیاده سازی جامع وجود دارد.
  • خیر : هیچ اجرایی وجود ندارد، اما کار بر روی آن بخشی از نقشه راه است. توجه داشته باشید که Verifier هرگز نمی تواند به عنوان "نه" برچسب گذاری شود زیرا ODS قبلاً برخی از تأیید را اجرا می کند.
• برچسب‌های سفارشی‌شده برای تأییدکننده و استنتاج نوع
  • بله : یک پیاده سازی وجود دارد و با معنای StableHLO همگام است.
  • بله* : یک پیاده سازی وجود دارد و با معنای XLA همگام است. از آنجایی که معنای XLA اغلب مستند نیست، ما از hlo_verifier.cc و shape_inference.cc به عنوان مرجع استفاده می کنیم.
  • revisit : یک پیاده سازی وجود دارد، اما در "بله" یا "بله*" قرار نمی گیرد - یا به این دلیل که هنوز آن را بررسی نکرده ایم، یا به این دلیل که مشکلاتی را داریم و پیدا کرده ایم.
  • غیر قابل اجرا : هیچ اجرایی وجود ندارد، زیرا غیر ممکن است. به عنوان مثال، به این دلیل که نوع نتیجه یک 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 tuple reverse , scatter , select_and_scatter , send , slice while , transpose uniform_dequantized sort .