Bounds-checking elimination
কম্পিউটার বিজ্ঞানে, বাউন্ড-চেকিং এলিমিনেশন হল একটি কম্পাইলার অপ্টিমাইজেশন যা প্রোগ্রামিং ভাষা বা রানটাইম সিস্টেমে দরকারী যা বাউন্ড চেকিং প্রয়োগ করে, প্রতিটি সূচককে একটি অ্যারেতে পরীক্ষা করার অনুশীলন যাতে যাচাই করা যায় যে সূচকটি সংজ্ঞায়িত বৈধ পরিসরের মধ্যে রয়েছে। এর লক্ষ্য হল এই সূচীকরণ ক্রিয়াকলাপগুলির মধ্যে কোনটি রানটাইমে বৈধ করার প্রয়োজন নেই তা সনাক্ত করা এবং সেই চেকগুলি বাদ দেওয়া। একটি সাধারণ উদাহরণ হল একটি অ্যারে উপাদান অ্যাক্সেস করা, এটি সংশোধন করা এবং একই স্থানে একই অ্যারেতে পরিবর্তিত মান সংরক্ষণ করা। সাধারণত, এই উদাহরণের ফলে অ্যারে থেকে উপাদানটি পড়ার সময় একটি সীমা পরীক্ষা করা হয় এবং একই অ্যারে সূচক ব্যবহার করে পরিবর্তিত উপাদানটি সংরক্ষণ করার সময় একটি দ্বিতীয় সীমা পরীক্ষা করা হয়। যদি কম্পাইলার বা রানটাইম নির্ধারণ করতে পারে যে অ্যারের আকার বা সূচক দুটি অ্যারের ক্রিয়াকলাপের মধ্যে পরিবর্তন করতে পারে না তবে বাউন্ড-চেকিং এলিমিনেশন দ্বিতীয় চেকটি সরিয়ে দিতে পারে। আরেকটি উদাহরণ ঘটে যখন কোনও প্রোগ্রামার অ্যারের উপাদানগুলির উপর লুপ করে এবং লুপ শর্তটি নিশ্চিত করে যে সূচকটি অ্যারের সীমার মধ্যে রয়েছে। এটি সনাক্ত করা কঠিন হতে পারে যে প্রোগ্রামারের ম্যানুয়াল চেক স্বয়ংক্রিয় চেককে অপ্রয়োজনীয় করে তোলে। যাইহোক, এই ক্ষেত্রে কম্পাইলার বা রানটাইমের পক্ষে যথাযথ সীমা-পরীক্ষা নির্মূল করা এখনও সম্ভব হতে পারে। স্থানীয়ভাবে সংকলিত ভাষাগুলিতে বাস্তবায়ন সীমা-পরীক্ষা অপসারণের একটি কৌশল হল একটি টাইপ করা স্ট্যাটিক একক অ্যাসাইনমেন্ট ফর্ম উপস্থাপনা ব্যবহার করা এবং প্রতিটি অ্যারের জন্য সেই নির্দিষ্ট অ্যারের জন্য একটি নিরাপদ সূচকের প্রতিনিধিত্বকারী একটি নতুন প্রকার তৈরি করা। অ্যারে সূচক হিসাবে একটি মানের প্রথম ব্যবহারের ফলে একটি রানটাইম টাইপ কাস্ট (এবং উপযুক্ত চেক) হয়, তবে পরবর্তীকালে নিরাপদ সূচক মানটি সঠিকতা বা নিরাপত্তা ত্যাগ না করে টাইপ কাস্ট ছাড়াই ব্যবহার করা যেতে পারে। জেআইটি-সংকলিত ভাষাগুলিতে জাভা এবং সি #-এর মতো জাস্ট-ইন-টাইম সংকলিত ভাষাগুলি প্রায়শই অ্যারে অ্যাক্সেস করার আগে রানটাইমে সূচকগুলি পরীক্ষা করে। কিছু জাস্ট-ইন-টাইম কম্পাইলার যেমন হটস্পট এই চেকগুলির মধ্যে কিছু বাদ দিতে সক্ষম হয় যদি তারা আবিষ্কার করে যে সূচকটি সর্বদা সঠিক সীমার মধ্যে থাকে, অথবা যদি পূর্ববর্তী চেক ইতিমধ্যে একটি ব্যতিক্রম ফেলে থাকে। রেফারেন্স বাহ্যিক লিঙ্ক ডব্লিউ. আম্মে, জে. ভন রন, এম. ফ্রাঞ্জ। একটি বিদ্যমান জাভা ভার্চ্যুয়াল মেশিনের কর্মক্ষমতা বাড়াতে সেফটিএসএ উপস্থাপনা ব্যবহার করা (2002)। কম্পিউটার ত্রুটি সংকলক অপ্টিমাইজেশান