StableHLO অবস্থা

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

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

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

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

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

অবস্থা

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

উপরের টেবিলের Type Inference কলামটি অ-কোয়ান্টাইজড অপারেশনের উপর ফোকাস করার উদ্দেশ্যে তৈরি করা হয়েছে। বেশিরভাগ কোয়ান্টাইজড অপারেশনের ক্ষেত্রে, ফলাফলের ধরণ অনুমান করা সম্ভব নয় কারণ ফলাফলের ধরণের কোয়ান্টাইজেশন প্যারামিটারগুলি অপারেন্ডগুলির থেকে আলাদা হতে পারে। কিছু ক্ষেত্রে ব্যতিক্রম যেখানে অপারেন্ড এবং ফলাফলের ধরণগুলি অভিন্নভাবে মিলতে হবে, অথবা ফলাফলের ধরণ অনুমান করার জন্য op-এর সীমাবদ্ধতা রয়েছে, সেগুলি নীচে তালিকাভুক্ত করা হয়েছে: 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 .