کتاب صوتی درک عمیق سیستم مالکیت و امانت‌گیری در راست با مدل Place Capability Graphs

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره درک عمیق سیستم مالکیت و امانت‌گیری در راست با مدل Place Capability Graphs

موضوع کلی: برنامه‌نویسی و توسعه نرم‌افزار

موضوع میانی: زبان برنامه‌نویسی راست (Rust) و سیستم‌های حافظه

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر اهمیت مدیریت حافظه بدون Garbage Collector در زبان راست
• 2. مفهوم دقیق Place در راست و تفاوت آن با متغیرها و مقادیر (Values)
• 3. معرفی مدل Place Capability Graphs (PCG) و کاربرد آن در تحلیل کدهای راست
• 4. بررسی مفاهیم قابلیت‌ها (Capabilities): دسترسی‌های خواندن، نوشتن و انحصار
• 5. مکانیسم مالکیت (Ownership) و انتقال آن (Move Semantics) از منظر مدل PCG
• 6. امانت‌گیری اشتراکی (Shared Borrowing) و محدودیت‌های دسترسی همزمان
• 7. امانت‌گیری اختصاصی (Exclusive Borrowing) و قوانین تغییرپذیری (Mutability)
• 8. نحوه عملکرد Borrow Checker در کامپایلر راست و ساختار درونی آن
• 9. تعریف مسیرهای حافظه (Access Paths) و نحوه ردگیری آن‌ها در گراف قابلیت‌ها
• 10. طول عمر متغیرها (Lifetimes) و ارتباط آن با گراف‌های قابلیت مکان
• 11. تحلیل طول عمر غیرجاری (Non-Lexical Lifetimes - NLL) با مدل گراف
• 12. مفهوم Reborrowing و نحوه تبدیل و انقضای قابلیت‌ها در گراف
• 13. تحلیل گراف قابلیت‌ها در ساختارهای داده‌ای مرکب (Structs and Tuples)
• 14. مدیریت قابلیت‌ها در آرایه‌ها، اسلایس‌ها و بردارها (Vectors)
• 15. مدیریت مالکیت و امانت‌گیری در enumها و Pattern Matching
• 16. بررسی تعامل قابلیت‌ها با اشاره‌گرهای هوشمند (Box, Rc, Arc)
• 17. تحلیل مدل دسترسی در ساختارهای دارای تغییرپذیری درونی (Interior Mutability)
• 18. بررسی رفتارهای Unsafe Rust و چگونگی دور زدن کنترل‌های سیستم PCG
• 19. روش‌های رفع خطاهای رایج Borrow Checker با استفاده از الگوی گراف قابلیت‌ها
• 20. تحلیل ساختارهای داده‌ای متصل (Graph/Tree Data Structures) و چالش‌های امانت‌گیری
• 21. بهینه‌سازی کدهای راست بر اساس مدلسازی دقیق جریان قابلیت‌ها و مدیریت حافظه