منصوبے کے بارے میں

asupersync Rust کے لیے ایک async runtime ہے جو اس اصول کے گرد ڈیزائن کیا گیا ہے کہ درستگی runtime پر نافذ کرنے کے بجائے ساختی ہونی چاہیے۔ یہ asynchronous Rust کوڈ لکھنے کے لیے بنیاد فراہم کرتا ہے جہاں حفاظتی خصوصیات type system اور task ownership ماڈل میں شامل ہوتی ہیں۔ اہم ڈیزائن ستون: - Region-owned tasks: Tasks واضح regions سے منسلک ہوتے ہیں، جس سے ڈویلپرز کو task lifetimes پر باریک کنٹرول ملتا ہے اور async سیاق و سباق میں leaks یا dangling references روکے جاتے ہیں۔ - Cancel-correct پروٹوکول: منسوخی ایسے پروٹوکول کے ذریعے ہینڈل کی جاتی ہے جو cleanup، resource release، اور state consistency کی ضمانت دیتے ہیں، چاہے tasks درمیان میں ختم کر دیے جائیں۔ یہ Rust async کا کلاسیکی مسئلہ حل کرتا ہے جہاں منسوخ شدہ futures غیر متعین حالت میں side effects چھوڑ دیتے ہیں۔ - Capability-gated اثرات: قابل مشاہدہ اثرات پیدا کرنے والے آپریشنز capability tokens کے پیچھے محدود ہوتے ہیں۔ صرف وہی کوڈ جو مناسب capability رکھتا ہے اثر انجام دے سکتا ہے، جس سے side effects واضح اور compile time پر قابلِ آڈٹ ہو جاتے ہیں۔ - Deterministic replay ٹیسٹنگ: runtime deterministic replay کی حمایت کرتا ہے، جس سے ٹیسٹ async execution traces ریکارڈ اور دوبارہ چلا سکتے ہیں۔ یہ غیر متعین concurrency bugs کو قابلِ تولید اور قابلِ ڈیبگ بناتا ہے۔ یہ لائبریری ان ڈویلپرز کے لیے ہے جو ایسے سسٹمز بناتے ہیں جہاں async درستگی ناگزیر ہے—جیسے infrastructure services، concurrent systems، اور حفاظت سے متعلق حساس ایپلیکیشنز—جہاں روایتی async runtimes خاموش درستگی کی خلاف ورزیوں کی اجازت دے سکتے ہیں۔ یہ MIT لائسنس کے تحت شائع ہوتا ہے۔