এএমডি স্পেকটার-এসটিএল আক্রমণে এএমডি জেন ​​3 সিপিইউগুলির সম্ভাব্য দুর্বলতা নিশ্চিত করেছে

AMD Zen 3 সিরিজের প্রসেসরগুলিতে বাস্তবায়িত PSF (প্রেডিকটিভ স্টোর ফরওয়ার্ডিং) অপ্টিমাইজেশান প্রযুক্তির নিরাপত্তা বিশ্লেষণ করে একটি প্রতিবেদন প্রকাশ করেছে৷ গবেষণাটি তাত্ত্বিকভাবে স্পেকটার-এসটিএল (স্পেক্টার-ভি4) আক্রমণ পদ্ধতির প্রযোজ্যতা নিশ্চিত করেছে, যা মে 2018 সালে চিহ্নিত করা হয়েছে৷ PSF প্রযুক্তি, কিন্তু বাস্তবে, আক্রমণের দিকে পরিচালিত করতে সক্ষম এমন কোন কোড টেমপ্লেট এখনও পাওয়া যায়নি এবং সামগ্রিক বিপদকে তুচ্ছ হিসাবে মূল্যায়ন করা হয়েছে।

আমাদের স্মরণ করা যাক যে Specter-v4 (স্পেকুলেটিভ স্টোর বাইপাস) আক্রমণটি ডেটা পুনরুদ্ধারের উপর ভিত্তি করে তৈরি হয় যা পরোক্ষ ঠিকানা ব্যবহার করে অল্টারনেটিং রাইট এবং রিড অপারেশনগুলি প্রক্রিয়া করার সময় অপারেশনগুলির অনুমানমূলক কার্য সম্পাদনের ফলাফল বাতিল করার পরে প্রসেসর ক্যাশে স্থির হয়। যখন একটি রিড অপারেশন একটি লেখার ক্রিয়াকলাপ অনুসরণ করে (যেমন, mov [rbx + rcx], 0x0; mov rax, [rdx + rsi]), তখন অনুরূপ ক্রিয়াকলাপ সম্পাদিত হওয়ার কারণে পঠিত ঠিকানার অফসেট ইতিমধ্যেই জানা যেতে পারে (পড়া অপারেশনগুলি হল অনেক বেশি ঘন ঘন সঞ্চালিত হয় এবং ক্যাশে থেকে রিডস সঞ্চালিত হতে পারে) এবং প্রসেসর অনুমানমূলকভাবে লেখার পূর্বে পঠন সম্পাদন করতে পারে লেখার পরোক্ষ অফসেট গণনা করার জন্য অপেক্ষা না করে।

এই বৈশিষ্ট্যটি একটি পঠিত নির্দেশকে কোনো ঠিকানায় একটি পুরানো মান অ্যাক্সেস করার অনুমতি দেয় যখন স্টোর অপারেশন এখনও সম্পূর্ণ হয়নি। যদি একটি ভবিষ্যদ্বাণী ত্রুটি থাকে, তাহলে অসফল অনুমানমূলক অপারেশন বাতিল করা হবে, তবে এর কার্য সম্পাদনের চিহ্নগুলি প্রসেসরের ক্যাশে থেকে যাবে এবং অ্যাক্সেসের পরিবর্তনগুলির বিশ্লেষণের ভিত্তিতে ক্যাশের বিষয়বস্তু নির্ধারণের পদ্ধতিগুলির একটি দ্বারা পুনরুদ্ধার করা যেতে পারে। ক্যাশে এবং আনক্যাশড ডেটার সময়।

AMD Zen 3 প্রসেসরে যোগ করা হয়েছে, PSF STLF (স্টোর-টু-লোড-ফরওয়ার্ডিং) কে অপ্টিমাইজ করে, যা রিড এবং রাইট অপারেশনের মধ্যে সম্পর্কের পূর্বাভাস দিয়ে অনুমানমূলকভাবে রিড অপারেশন করে। ক্লাসিক STLF ব্যবহার করার সময়, প্রসেসর পূর্ববর্তী "স্টোর" কমান্ড থেকে সরাসরি ফরওয়ার্ড করা ডেটার উপর একটি "লোড" অপারেশন করে, ফলাফল আসলে মেমরিতে লেখার জন্য অপেক্ষা না করে, কিন্তু নিশ্চিত করে যে ঠিকানাগুলি "লোড" এ ব্যবহৃত হয়েছে। এবং "স্টোর" কমান্ড মেলে। পিএসএফ অপ্টিমাইজেশান ঠিকানা পরীক্ষাকে অনুমানমূলক করে তোলে এবং ঠিকানার তথ্য গণনা করার আগে একটি "লোড" অপারেশন সম্পাদন করে যদি একটি স্টোর/লোড পেয়ার একটি একক ঠিকানার হেরফের পূর্বে কার্যকর করা হয়। ভবিষ্যদ্বাণী ব্যর্থ হলে, রাজ্যটি ফিরিয়ে আনা হয়, কিন্তু ডেটা ক্যাশে থেকে যায়।

PSF-এর উপর আক্রমণ শুধুমাত্র এক স্তরের সুবিধার কাঠামোর মধ্যেই সম্ভব, শুধুমাত্র বর্তমান প্রক্রিয়ার প্রেক্ষাপটকে কভার করে এবং ঠিকানা স্থান বিচ্ছিন্নকরণ পদ্ধতি বা হার্ডওয়্যার স্যান্ডবক্স প্রক্রিয়া দ্বারা অবরুদ্ধ। এই ক্ষেত্রে, প্রক্রিয়াগুলিতে সফ্টওয়্যার স্যান্ডবক্সিং পদ্ধতিগুলি সম্ভাব্য সমস্যা দ্বারা প্রভাবিত হতে পারে৷ আক্রমণটি ব্রাউজার, কোড এক্সিকিউশন ভার্চুয়াল মেশিন এবং জেআইটি-এর মতো সিস্টেমগুলির জন্য হুমকি তৈরি করে যা একটি একক প্রক্রিয়ার মধ্যে তৃতীয় পক্ষের কোড কার্যকর করে (আক্রমণটি অবিশ্বস্ত স্যান্ডবক্সড কোডকে অন্যান্য প্রক্রিয়ার ডেটাতে অ্যাক্সেস পেতে অনুমতি দিতে পারে)।

এএমডি PSF সম্পূর্ণ বা বেছে বেছে অক্ষম করার জন্য বেশ কয়েকটি পদ্ধতি প্রদান করেছে, কিন্তু বেশিরভাগ অ্যাপ্লিকেশনের জন্য নগণ্য ঝুঁকির কারণে, এই অপ্টিমাইজেশনটি ডিফল্টরূপে অক্ষম না করার সুপারিশ করেছে। অবিশ্বস্ত কোড নির্বাহকারী ব্যক্তিদের বিচ্ছিন্ন করে এমন প্রক্রিয়াগুলিকে নির্বাচনীভাবে রক্ষা করতে, পৃথক থ্রেড সহ "SSBD" এবং "PSFD" MSR বিটগুলি সেট করে PSF নিষ্ক্রিয় করার প্রস্তাব করা হয়েছে৷ লিনাক্স কার্নেলের জন্য প্যাচগুলি "psfd" এবং "nopsfd" কমান্ড লাইন বিকল্পগুলি বাস্তবায়নের সাথে প্রস্তুত করা হয়েছে যা নিয়ন্ত্রণ করে কিভাবে PSF চালু এবং বন্ধ করা হয়।

উত্স: opennet.ru