আমি বুঝতে পারি যে মরিচের আবর্জনা সংগ্রহকারী নেই এবং ভাবছি যে যখন কোনও বাঁধাই সুযোগের বাইরে চলে যায় তখন স্মৃতি কীভাবে মুক্তি পায়।
সুতরাং এই উদাহরণে, আমি বুঝতে পারি যে জাস্ট যখন সুযোগের বাইরে চলে যায় তখন 'ক' তে বরাদ্দকৃত স্মৃতি পুনরায় দাবি করে।
{
let a = 4
}
আমার যে সমস্যাটি হচ্ছে তা হ'ল প্রথমত এটি কীভাবে হয় এবং দ্বিতীয়ত এটি কোনও ধরণের আবর্জনা সংগ্রহ নয়? এটি 'সাধারণ' আবর্জনা সংগ্রহের থেকে কীভাবে আলাদা?
উত্তর:
আবর্জনা সংগ্রহ সাধারণত পর্যায়ক্রমে বা চাহিদার ভিত্তিতে ব্যবহৃত হয়, যেমন যদি গাদাটি পুরো কাছাকাছি বা কিছুদিকের উপরে থাকে। তখনই অব্যবহৃত ভেরিয়েবল জন্য দেখায় এবং তাদের মেমরির মুক্ত, তার উপর নির্ভর করে অ্যালগরিদম ।
মরিচা জানবে কখন পরিবর্তনশীল সুযোগের বাইরে চলে যায় বা তার জীবনকাল সংকলনের সময় শেষ হয় এবং এভাবে স্মৃতি মুক্ত করার জন্য সংশ্লিষ্ট এলএলভিএম / অ্যাসেম্বলি নির্দেশাবলী সন্নিবেশ করায়।
মরিচা কিছু ধরণের আবর্জনা সংগ্রহের অনুমতি দেয় যেমন পারমাণবিক রেফারেন্স গণনা করার মতো ।
new()সি এর মতো কোনও অভিষিক্ত ফাংশন রাখে না , এগুলি কেবল স্থির ফাংশন, এবং বিশেষত let x = MyStruct::new()স্ট্যাকের উপর এর বস্তু তৈরির মতো কিছু । বাস্তব গাদা বরাদ্দ এর সূচক Box::new()(অথবা কাঠামো যে বক্স উপর নির্ভর করে কোন)।
কোনও প্রোগ্রামে সংস্থান (মেমরি সহ) পরিচালনার প্রাথমিক ধারণাটি যাই হোক না কেন কৌশলই হ'ল অ্যাক্সেসযোগ্য "অবজেক্টস" এর সাথে আবদ্ধ সংস্থানগুলি পুনরুদ্ধার করা যায়। মেমরির বাইরে, এই সংস্থানগুলি মুটেক্স লক, ফাইল হ্যান্ডলগুলি, সকেট, ডাটাবেস সংযোগগুলি হতে পারে ...
কোনও আবর্জনা সংগ্রাহকযুক্ত ভাষাগুলি অব্যবহৃত অবজেক্টগুলি সন্ধানের জন্য পর্যায়ক্রমে মেমোরিটি স্ক্যান করে (এক উপায় বা অন্য), তাদের সাথে যুক্ত সংস্থানগুলি ছেড়ে দেয় এবং অবশেষে objects অবজেক্টগুলির দ্বারা ব্যবহৃত স্মৃতি ছেড়ে দেয়।
মরিচাটির একটি জিসি নেই, এটি কীভাবে পরিচালনা করবে?
মরিচের মালিকানা রয়েছে। একটি এফাইন টাইপ সিস্টেম ব্যবহার করে , এটি সনাক্ত করে যে কোন চলকটি এখনও কোনও বস্তুর উপরে ধারণ করে এবং যখন এইরকম চলক সুযোগের বাইরে চলে যায়, তখন তার ডেস্ট্রাক্টরকে ডাকে। আপনি এফাইন টাইপ সিস্টেমটি কার্যকরভাবে দেখতে পাচ্ছেন:
fn main() {
let s: String = "Hello, World!".into();
let t = s;
println!("{}", s);
}
উৎপাদনের:
<anon>:4:24: 4:25 error: use of moved value: `s` [E0382]
<anon>:4 println!("{}", s);
<anon>:3:13: 3:14 note: `s` moved here because it has type `collections::string::String`, which is moved by default
<anon>:3 let t = s;
^
যা নিখুঁতভাবে চিত্রিত করে যে সময়ে যে কোনও সময়ে, ভাষা পর্যায়ে, মালিকানা ট্র্যাক করা হয়।
এই মালিকানাটি পুনরাবৃত্তভাবে কাজ করে: আপনার যদি একটি Vec<String>(যেমন, স্ট্রিংগুলির একটি গতিশীল অ্যারে) থাকে, তবে প্রতিটি Stringস্বত্বের মালিকানাধীন Vecযা নিজেই একটি ভেরিয়েবল বা অন্য কোনও বস্তুর মালিকানাধীন, ইত্যাদি ... সুতরাং, যখন কোনও ভেরিয়েবল সুযোগের বাইরে চলে যায়, এমনকি এটি অপ্রত্যক্ষভাবে এমনকি এটি অনুষ্ঠিত সমস্ত সম্পদকে পুনরাবৃত্তভাবে মুক্ত করে। এর ক্ষেত্রে এর Vec<String>অর্থ:
StringVecনিজের সাথে সম্পর্কিত মেমরি বাফার প্রকাশ করাসুতরাং, মালিকানা ট্র্যাকিংয়ের জন্য ধন্যবাদ, সমস্ত প্রোগ্রামের সামগ্রীর আজীবন কঠোরভাবে একটি (বা বেশ কয়েকটি) ফাংশন ভেরিয়েবলের সাথে আবদ্ধ থাকে, যা শেষ পর্যন্ত সুযোগের বাইরে চলে যাবে (যখন তারা অবশেষে ব্লকটি শেষ করে)।
দ্রষ্টব্য: এটি কিছুটা আশাবাদী, রেফারেন্স গণনা ব্যবহার করে ( Rcবা Arc) রেফারেন্সের চক্র গঠন করা এবং এভাবে মেমরি ফাঁসের কারণ হতে পারে, সেক্ষেত্রে চক্রের সাথে জড়িত সংস্থানগুলি কখনই প্রকাশিত হতে পারে না।
এমন একটি ভাষার সাথে যেখানে আপনাকে ম্যানুয়ালি মেমোরি পরিচালনা করতে হবে, স্ট্যাক এবং হিপগুলির মধ্যে পার্থক্য সমালোচনামূলক হয়ে ওঠে। প্রতিবার আপনি যখন কোনও ফাংশন কল করেন, সেই ফাংশনের সুযোগের মধ্যে থাকা সমস্ত ভেরিয়েবলের জন্য স্ট্যাকের জন্য পর্যাপ্ত জায়গা বরাদ্দ করা হয়। যখন ফাংশনটি ফিরে আসে, সেই ফাংশনটির সাথে যুক্ত স্ট্যাক ফ্রেমটি স্ট্যাকের বাইরে "পপড" হয়ে যায় এবং ভবিষ্যতের ব্যবহারের জন্য স্মৃতি মুক্ত হয়।
ব্যবহারিক দৃষ্টিকোণ থেকে, এই অসাবধানতা মেমরি ক্লিনিংটি স্বয়ংক্রিয় মেমরি স্টোরেজের একটি মাধ্যম হিসাবে ব্যবহৃত হয় যা ফাংশনের পরিধি শেষে সাফ হয়ে যায়।
এখানে আরও তথ্য পাওয়া যায়: https://doc.rust-lang.org/book/the-stack-and-the-heap.html