کتاب از راند تا اجماع: طراحی الگوریتم‌های همگام برای شبکه‌های توزیع‌شده

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .


ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

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

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

عنوان دوره: دوره از راند تا اجماع: طراحی الگوریتم‌های همگام برای شبکه‌های توزیع‌شده

موضوع کلی: رایانش توزیع‌شده و شبکه‌های مقیاس‌پذیر

موضوع میانی: الگوریتم‌ها و الگوهای همگام‌سازی در سامانه‌های توزیع‌شده

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

  • 1. مفهوم‌شناسی سیستم‌های توزیع‌شده و مسئله همگام‌سازی
  • 2. تفاوت شبکه توزیع‌شده، رایانش موازی و سامانه‌های بلادرنگ
  • 3. اجزا، فرض‌ها و مرزهای مدل همگام
  • 4. مدل راند کامل: زمان‌بندی، تأخیر و هم‌زمانی
  • 5. زمان‌سنج‌های جهانی، نیمه‌جهانی و محلی
  • 6. همگام‌سازی ساعت و اثر نامساوی ساعت‌ها
  • 7. مدل‌های شکست crash، omission، partition و Byzantine
  • 8. دانش محلی، شناسه‌ها و اطلاعات از topology
  • 9. الگوریتم‌های deterministic و randomized
  • 10. ویژگی‌های correctness، safety، liveness و progress
  • 11. پیچیدگی rounds، messages، bits و memory
  • 12. طراحی و ترکیب primitiveهای همگام
  • 13. معنای point-to-point و broadcast
  • 14. multicast و reliable broadcast
  • 15. gossip و rumor spreading
  • 16. flooding و suppression
  • 17. ping-echo و تشخیص reachability
  • 18. ساخت درخت پوشای حداقل‌ضرب‌المثل
  • 19. ساخت BFS و shortest-path
  • 20. کشف topology و نقشه‌برداری شبکه
  • 21. اجزای همبسته و partitionهای گرافی
  • 22. شمارش گره‌ها و برآورد اندازه شبکه
  • 23. aggregation و reduce
  • 24. انتخاب leader در ring و graphهای عمومی
  • 25. حدود پایین election و استدلال‌های adversary
  • 26. سینکرونیزاسیون barrier و rendezvous
  • 27. دسته‌جمعی توزیع‌شده
  • 28. تشخیص پایان محاسبات
  • 29. تشخیص deadlock
  • 30. پروتکل‌های همگام‌سازی ساعت
  • 31. heartbeat و تشخیص شکست
  • 32. سازگارسازی timeout با شبکه‌های متغیر
  • 33. broadcast مقاوم در برابر crash و atomic commit
  • 34. state machine replication
  • 35. مبانی consensus و ناتوانی‌های توزیع‌شده
  • 36. اجماع همگام با crash fault
  • 37. پروتکل‌های majority و quorum
  • 38. Paxos و Raft در فرض‌های همگام
  • 39. Byzantine agreement و interactive consistency
  • 40. Byzantine broadcast و کانال‌های معتبر
  • 41. حدود تحمل خطای n>f و n>3f
  • 42. virtual synchrony و view changes
  • 43. مدیریت partition و پیشگیری از split-brain
  • 44. partial synchrony و eventual synchrony
  • 45. roundهای سازگار با شرایط پویا
  • 46. fault containment و recovery
  • 47. checkpointing و rollback recovery
  • 48. recovery اتمیک و stable storage
  • 49. consensus تصادفی
  • 50. coin flipping و shared randomness
  • 51. ضمانت‌های Las Vegas و Monte Carlo
  • 52. مدل‌های adversarial و تحلیل احتمالاتی
  • 53. election و dissemination تصادفی
  • 54. expected versus worst-case rounds
  • 55. حدود پایین consensus و election
  • 56. حدود پایین مبتنی بر diameter و topology
  • 57. حدود پایین ارتباطی و استدلال‌های cut
  • 58. شبیه‌سازی الگوریتم‌های همگام روی شبکه‌های asynchronous
  • 59. تبدیل rounds به latency واقعی
  • 60. زمان‌بندی و buffering در هر راند
  • 61. batching، pipelining و congestion control
  • 62. میان‌باز throughput و latency
  • 63. load balancing و communication hotspots
  • 64. بهینگی انرژی در رندهای همگام
  • 65. فرض bounded delay و اثر jitter
  • 66. درift ساعت، skew و هزینه همگام‌سازی
  • 67. آزمون‌گیری با تزریق شکست و تأخیر
  • 68. شبیه‌سازی و تولید workload
  • 69. مانیتورینگ، tracing و observability
  • 70. مشخص‌سازی رسمی با TLA+ و PlusCal
  • 71. model checking و verification مبتنی بر اثبات
  • 72. مطالعه موردی: کنترل توزیع‌شده بلادرنگ
  • 73. مطالعه موردی: replication در پایگاه داده توزیع‌شده
  • 74. مطالعه موردی: اجماع در سامانه‌های blockchain
  • 75. چک‌لیست طراحی و پروژه پایانی دوره

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .


ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.