StableHLO অবস্থা

MHLO থেকে StableHLO তৈরি করার সময়, আমরা প্রিটিপ্রিন্টিং, ভেরিফিকেশন এবং শেপ ইনফারেন্স সহ MHLO-এর অনেক কিছুর ইমপ্লিমেন্টেশন উত্তরাধিকারসূত্রে পেয়েছি। এর ফলে, আমাদের কাছে ইতিমধ্যেই অপসেটের একটি উল্লেখযোগ্য কভারেজ রয়েছে, কিন্তু বিদ্যমান ইমপ্লিমেন্টেশনগুলোর সম্পূর্ণতা পর্যালোচনা করা এবং যেখানে কোনো ইমপ্লিমেন্টেশন নেই সেখানে নতুন ইমপ্লিমেন্টেশন সরবরাহ করার জন্য এখনও অনেক কাজ বাকি আছে।

এই লাইভ ডকুমেন্টটি ডেভেলপার এবং ব্যবহারকারীদের জন্য অপসেটের বিভিন্ন দিক—যেমন স্পেসিফিকেশন, ভেরিফিকেশন, টাইপ ইনফারেন্স, প্রিটি প্রিন্টিং, ইন্টারপ্রেটার ইত্যাদির অগ্রগতি ট্র্যাক করার উদ্দেশ্যে তৈরি।

কীভাবে এটি ব্যবহার করবেন

সংশ্লিষ্ট সারিতে উল্লিখিত একটি StableHLO অপ-এর, সংশ্লিষ্ট কলামে উল্লিখিত একটি নির্দিষ্ট অ্যাস্পেক্টের উপর অগ্রগতি, নিম্নলিখিত ট্র্যাকিং লেবেলগুলির মধ্যে একটি ব্যবহার করে ট্র্যাক করা হয়।

• সাধারণ লেবেল
  • হ্যাঁ , এর একটি ব্যাপক বাস্তবায়ন রয়েছে।
  • না : এর কোনো বাস্তবায়ন নেই, তবে এটি নিয়ে কাজ করা রোডম্যাপের একটি অংশ। উল্লেখ্য যে, ভেরিফায়ারকে কখনোই "না" হিসেবে চিহ্নিত করা যাবে না, কারণ ওডিএস ইতিমধ্যেই কিছু যাচাইকরণ বাস্তবায়ন করে।
• ভেরিফায়ার এবং টাইপ ইনফারেন্সের জন্য কাস্টমাইজড লেবেল
  • হ্যাঁ : এর একটি বাস্তবায়ন আছে, এবং এটি StableHLO-এর শব্দার্থের সাথে সামঞ্জস্যপূর্ণ।
  • হ্যাঁ* : এর একটি বাস্তবায়ন আছে, এবং এটি XLA সিম্যান্টিক্সের সাথে সামঞ্জস্যপূর্ণ। যেহেতু XLA সিম্যান্টিক্স প্রায়শই অপর্যাপ্তভাবে নথিভুক্ত থাকে, তাই আমরা রেফারেন্স হিসেবে hlo_verifier.cc এবং shape_inference.cc ব্যবহার করছি।
  • পুনরায় পর্যালোচনা : একটি বাস্তবায়ন আছে, কিন্তু এটি 'হ্যাঁ' বা 'হ্যাঁ*'-এর আওতায় পড়ে না - কারণ হয় আমরা এখনও এটি নিরীক্ষা করিনি, অথবা নিরীক্ষা করে কিছু সমস্যা পেয়েছি।
  • অসম্ভব : এর কোনো বাস্তবায়ন নেই, কারণ এটি অসম্ভব। উদাহরণস্বরূপ, কোনো অপারেশনের ফলাফলের ধরন তার অপারেন্ড এবং অ্যাট্রিবিউট থেকে অনুমান করা যায় না।

অবস্থা

কোয়ান্টাইজড অপারেশনের জন্য টাইপ অনুমান

উপরের টেবিলের 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 ।