‫معرفی WoofWare.PawPrint: یک محیط اجرای دترمینستیک برای .NET

پاتریک استیونز نسخه اولیه‌ای از WoofWare.PawPrint را منتشر کرد که یک محیط اجرای دترمینستیک (Deterministic Runtime) برای .NET است. این ابزار با هدف فراهم کردن قابلیت‌های عیب‌یابی سفر در زمان (Time-travel debugging) و کنترل دقیق بر تاریخچه اجرای برنامه طراحی شده است.
این محیط اجرا از BCL مربوط به .NET 10 پشتیبانی می‌کند و با تفسیر IL عمل می‌کند. WoofWare.PawPrint در حال حاضر قابلیت‌هایی نظیر Console.WriteLine و Task.Run و همچنین توابع بازتابی (Reflection) و ابزارهای همگام‌سازی مانند Monitor را پشتیبانی می‌کند.
برای بهینه‌سازی شناسایی تداخل‌های رشته‌ای، این ابزار از نسخه‌ای از تست‌های احتمالی هم‌روندی (Probabilistic Concurrency Testing) در زمان زمان‌بندی رشته‌ها استفاده می‌کند. نویسنده گزارش داده است که این سیستم توانسته است به طور دترمینستیک چندین وضعیت مسابقه (Race Condition) استاندارد و بن‌بست‌ها را شناسایی کند.
در توسعه این پروژه از مدل‌های زبانی بزرگ مانند Claude و GPT برای تسریع فرآیند کدنویسی و بررسی مشخصات ECMA-335 استفاده شده است. با این حال، در حال حاضر این ابزار برای کدهای بومی (Native Code) محدودیت دارد و برای اجرای صحیح آن‌ها نیاز به مدل‌سازی صریح دارد.