معامله پردازنده با ثبات فیزیک: بررسی دقیق اویلر، ورله و رانگه-کوتا

انتخاب بین انتگرال‌گیری صریح اویلر (Explicit Euler)، ورله (Verlet) و رانگه-کوتا (Runge-Kutta) در نهایت به یک بودجه‌بندی سخت‌گیرانه از چرخه‌های پردازنده در برابر خطر فروپاشی شبیه‌سازی فیزیک ختم می‌شود. اویلر ارزان اما بی‌ثبات است، ورله در اشیاء محدود شده مانند پارچه و رگدال می‌درخشد، و رانگه-کوتا (RK4) قدرت پردازشی را می‌بلعد تا دقت نقطه‌زن را برای مکانیک مداری و شبیه‌سازهای مسابقه‌ای تضمین کند. هر فریمی که در یک بازی مبتنی بر فیزیک رندر می‌شود، موتور بازی را ملزم می‌کند تا پیش‌بینی کند یک شیء در کسری از ثانیه آینده کجا خواهد بود.[1][6]

این ریاضیات پیش‌بینی‌کننده همان انتگرال‌گیری عددی است: گرفتن موقعیت فعلی، سرعت و نیروهای وارد بر یک شیء، و حرکت دادن آن به جلو در زمان. گلن فیدلر (Glenn Fiedler) در تحلیل سال ۲۰۰۴ خود در Gaffer On Games می‌نویسد: «انتگرال‌گیری فقط یک کلمه پرطمطراق برای حرکت دادن چیزها به جلو در زمان است.» اما نحوه محاسبه این گام تعیین می‌کند که آیا توده‌ای از جعبه‌های مجازی آرام روی هم می‌مانند یا آن‌قدر می‌لرزند تا در سراسر نقشه منفجر شوند.[1]

صریح اویلر نقطه شروع پیش‌فرض برای تقریباً هر موتور فیزیکی است، زیرا دقیقاً به یک ارزیابی مشتق در هر گام زمانی نیاز دارد. این روش سرعت فعلی را می‌گیرد، آن را در دلتای زمان (اغلب ۰.۰۱۶ ثانیه برای یک شبیه‌سازی ۶۰ هرتز) ضرب می‌کند و به موقعیت می‌افزاید. این ریاضیات بسیار سبک است و آن را برای هزاران افکت ذره‌ای ساده مانند جرقه، باران یا آوارهای دوردست ایده‌آل می‌کند.[1][2]

نقص فاجعه‌بار صریح اویلر این است که فرض می‌کند سرعت در طول آن پنجره ۰.۰۱۶ ثانیه‌ای ثابت می‌ماند. در واقعیت، نیروهایی مانند گرانش یا کشش فنر به طور مداوم تغییر می‌کنند. از آنجا که اویلر نیرو را تنها در ابتدای گام نمونه‌برداری می‌کند، به طور مداوم از مسیر واقعی فراتر می‌رود. در طی چندین فریم، این خطا انباشته می‌شود و انرژی کاذبی به سیستم اضافه می‌کند تا جایی که یک پاندول در هر قوس بالاتر می‌رود و در نهایت شبیه‌سازی را در هم می‌شکند.[1][3]

برای رفع بی‌ثباتی اویلر بدون از دست دادن سرعت آن، توسعه‌دهندگان به سراغ انتگرال‌گیری ورله می‌روند. یوهان کارستروم (Johan Kåhrström) در کالبدشکافی سال ۲۰۱۱ خود از این دو روش، رویکرد منحصربه‌فرد ورله را برجسته می‌کند: این روش سرعت صریح را به طور کامل کنار می‌گذارد. در عوض، موقعیت بعدی را بر اساس موقعیت فعلی و موقعیت فریم قبلی محاسبه کرده و سرعت را به طور ضمنی از تفاوت بین این دو به دست می‌آورد.[3]

این ویژگی، ورله را ذاتاً پایدار و از نظر زمانی برگشت‌پذیر می‌کند. اگر مدل یک کاراکتر بی‌حس شود، قیدهایی که اندام‌های او را در کنار هم نگه می‌دارند باید بدون افزودن انرژی حل و فصل شوند. ورله این قیدهای صلب را به زیبایی مدیریت می‌کند، و به همین دلیل است که پس از محبوبیتش در اوایل دهه ۲۰۰۰، به استاندارد صنعت برای شبیه‌سازی پارچه و فیزیک رگدال تبدیل شد. با این حال، نقطه ضعف آن این است که تغییر پویای گام زمانی (یک ترفند رایج برای حفظ نرخ فریم) می‌تواند فوراً یک سیستم ورله را بی‌ثبات کند.[3][5]

وقتی دقت غیرقابل مذاکره است، موتورها روش رانگه-کوتا، به ویژه نوع مرتبه چهارم آن که به عنوان RK4 شناخته می‌شود را مستقر می‌کنند. RK4 به جای اینکه کورکورانه بر اساس نیروی اولیه به جلو گام بردارد، مشتق‌ها را چهار بار جداگانه ارزیابی می‌کند: یک بار در ابتدا، دو بار در نقطه میانی و یک بار در پایان گام زمانی. سپس این نمونه‌ها را با استفاده از یک فرمول وزن‌دار میانگین‌گیری می‌کند تا یک منحنی بسیار دقیق را ترسیم کند.[1][4]

هزینه این دقت بسیار سنگین است. یک گام منفرد RK4 به چهار برابر بار محاسباتی یک گام اویلر نیاز دارد. برای بازی‌ای که مسیر ۱۰ هزار قطعه آوار را محاسبه می‌کند، RK4 فوراً پردازنده را دچار گلوگاه می‌کند. اما برای یک شبیه‌ساز فضایی که مکانیک مداری را ردیابی می‌کند، یا یک بازی مسابقه‌ای که در آن مدل‌های اصطکاک تایر نیازمند وفاداری مطلق هستند، RK4 تضمین می‌کند که وسیله نقلیه از ریل‌های ریاضی خود خارج نشود.[1][2]

تحلیل جیسون ساکس (Jason Sachs) از فلوکسیون‌ها اشاره می‌کند که روش‌های میانی، مانند قاعده ذوزنقه‌ای یا روش هیون (Heun)، یک حد وسط را ارائه می‌دهند. آن‌ها مشتق را دو بار ارزیابی می‌کنند و ثبات بهتری نسبت به اویلر بدون وزن خردکننده RK4 فراهم می‌کنند. این روش‌های مرتبه دوم اغلب زمانی استفاده می‌شوند که اویلر بیش از حد پر هرج و مرج است اما RK4 بسیار گران تمام می‌شود.[4]

برنامه‌های آکادمیک، مانند رشته مهندسی بازی در دانشگاه نیوکاسل، این روش‌های انتگرال‌گیری عددی را به عنوان دانش پایه به صراحت آموزش می‌دهند. درک اینکه چرا یک شبیه‌سازی منفرد می‌شود، به همان اندازه مهم است که بدانیم چگونه یک چندضلعی را رندر کنیم. دانشجویان یاد می‌گیرند که اعمال انتگرال‌گیر اشتباه روی یک سیستم فنری منجر به نوسان بی‌نهایت می‌شود که نشانه کلاسیک شکست اویلر است.[5]

واقعیت مهندسی این است که هیچ عنوان مدرنی به یک انتگرال‌گیر واحد متکی نیست. یک موتور بازی‌سازی AAA از RK4 برای وسیله نقلیه بازیکن، از ورله برای شنل کاراکتر و از اویلر برای دود اگزوز استفاده خواهد کرد. تسلط بر فیزیک بازی در یافتن معادله بی‌نقص نیست، بلکه در این است که دقیقاً بدانیم چشم بازیکن چقدر بی‌دقتی را پیش از در هم شکستن توهم بازی تحمل خواهد کرد.[2][6]

در نهایت، ماتریس تصمیم‌گیری توسط سخت‌افزار هدف دیکته می‌شود. یک بازی موبایل که روی یک تراشه ARM با محدودیت حرارتی اجرا می‌شود، نمی‌تواند هزینه RK4 را برای اشیاء پس‌زمینه بپردازد، در حالی که یک شبیه‌ساز انحصاری رایانه‌های شخصی که روی یک پردازنده مدرن ۱۶ هسته‌ای اجرا می‌شود، فضای حرارتی لازم برای اعمال دقت با نیروی بی‌رحمانه را دارد. موتور فیزیک باید سخت‌گیری ریاضی خود را با سیلیکونی که روی آن اجرا می‌شود، تطبیق دهد.[6]