ماشین مجازی اتریوم چیست؟
ارسال شده توسط ali1369 5 سال پیش

⚠️ گزارش تخلف

ماشین‌های مجازی ماشین‌هایی هستند که پیچیدگی را بین دو عنصر ایجاد می‌کنند. این دو عنصر اجرای کد و اجرای ماشین هستند. این لایه خاص قابلیت حمل کلی نرم افزار را بهبود می‌بخشد. با استفاده از این ماشین، اطمینان حاصل می‌شود که برنامه‌ها از یکدیگر و از میزبانشان جدا شده‌اند.

ماشین مجازی اتریوم به عنوان یک ماشین کامل شبه تورینگ (Turing) دیده می‌شود. تکمیل تورینگ اصطلاحی است که به سیستمی از قوانین دستکاری داده اشاره دارد و نام خود را از آلان تورینگ (Alan Turing) گرفته است. تورینگ مردی است که ماشین نامگذاری (eponymous machine) را ایجاد کرده است. این ماشین یک مدل ریاضیاتی محاسبه است که ارائه‌دهنده یک ماشین انتزاعی است. آن اساسا نماد‌ها را در یک باریکه نوار مطابق با یک مجموعه قوانین دستکاری می‌کند. این مدل معمولا خیلی ساده است و ماشین قادر است لوجیک (logic) الگوریتمی کامپیوتر را شبیه‌سازی کند.

زبان‌های برنامه‌نویسی و واحد‌های پردازشگر مرکزی دو نمونه برجسته از سیستم‌هایی هستند که به داده‌ها دسترسی داشته و آنها را تغییر می‌دهند. اگر این قوانین قادر به شبیه‌سازی محاسبه فرضی تورینگ باشند، این قوانین تورینگ کامل هستند. این سیستم می‌تواند هر نوع محاسبه یا برنامه کامپیوتری را اجرا کند.

پس اساسا یک ماشین تورینگ کامل از لحاظ ریاضیاتی قادر به حل هر مشکلی است که به آن معرفی شود. همان طور که قبلا اشاره شد، ماشین مجازی اتریوم شبیه این ماشین است. محاسباتی که ماشین مجازی اتریوم انجام می‌دهد به گس (gas) وابسته است. این اساسا به عنوان محدوده‌ای برای تعداد کل محاسباتی که می‌توان انجام داد، عملکرد دارد.