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