DOI: https://doi.org/10.1145/3714465
تاريخ النشر: 2025-01-23
المؤلف: Yixuan Zhang وآخرون
الموضوع الرئيسي: المنطق، البرمجة، وأنظمة الأنواع
نظرة عامة
تقدم هذه القسم نظرة عامة على WebAssembly (Wasm)، وهي تقنية تم تصميمها في الأصل لتطبيقات الويب ولكنها الآن تُطبق عبر مجالات متنوعة. يمكن للمطورين إنشاء تطبيقات Wasm عن طريق تجميع لغات البرمجة عالية المستوى إلى ثنائيات Wasm أو تحويل التنسيقات النصية إلى ثنائيات. يتم تسهيل تنفيذ هذه الثنائيات بواسطة وقت تشغيل Wasm، الذي يوفر بيئة آمنة وفعالة من حيث الذاكرة ومعزولة مصممة لتطبيقات Wasm. تستعرض الورقة 98 مقالة حول أوقات تشغيل Wasm، مصنفة البحث إلى جوانب “داخلية”، مثل تصميم وقت التشغيل والاختبار، و”خارجية” لتطبيقات Wasm في مجالات متنوعة.
في الخاتمة، يلخص المؤلفون تحليلهم الشامل لأبحاث وقت تشغيل Wasm، موضحين التعريف، والهندسة المعمارية، والحالة الحالية لأوقات تشغيل Wasm. يناقشون المنهجيات المستخدمة في تصميم وتعزيز أوقات تشغيل Wasm، بما في ذلك المعايير وتقنيات اكتشاف الأخطاء. تحدد الورقة التحديات الحالية ضمن الأدبيات وتقترح اتجاهات البحث المستقبلية، بهدف إبلاغ وتوجيه الباحثين والمطورين والمستخدمين في مجتمع Wasm حول التطورات والفرص المستمرة في هذا المجال.
مقدمة
ت outlines مقدمة الورقة تطور وأهمية WebAssembly (Wasm)، وهو تنسيق تعليمات ثنائي مصمم لجهاز افتراضي قائم على المكدس، تم اقتراحه في الأصل لتطبيقات الويب في عام 2017. يعمل Wasm كهدف تجميع عالمي لمختلف لغات البرمجة، مما يتيح نشرًا سلسًا عبر تطبيقات العميل والخادم. لقد توسع اعتماده إلى ما هو أبعد من متصفحات الويب—مثل Chrome وFirefox وSafari وEdge—إلى مجالات متنوعة بما في ذلك إنترنت الأشياء (IoT)، والبلوكشين، والحوسبة بدون خادم، والحوسبة الحافة. يعتمد تنفيذ ثنائيات Wasm على أوقات تشغيل Wasm، التي توفر بيئة آمنة وفعالة لتشغيل هذه التطبيقات، سواء ضمن سياقات الويب أو بشكل مستقل.
تقدم هذه الورقة أول مسح شامل للأبحاث التي تركز على أوقات تشغيل Wasm، حيث تستعرض بشكل منهجي 98 منشورًا ذا صلة. يتم تقسيم التحليل إلى بحث “داخلي”، يتناول تصميم واختبار وتحسين أداء أوقات تشغيل Wasm، وبحث “خارجي”، يستكشف تطبيق أوقات تشغيل Wasm عبر مجالات متنوعة والتحديات التي تواجهها. تشمل مساهمات هذا الاستطلاع تعريف أوقات تشغيل Wasm، وتوصيف الدراسات الحالية، وتحديد القضايا الحالية واتجاهات البحث المستقبلية لتقدم مجتمع Wasm.
نقاش
تناقش هذه القسم الجوانب الأساسية لـ WebAssembly (Wasm)، وهو تنسيق ثنائي تم تصميمه في الأصل لتطبيقات الويب ولكنه الآن يُستخدم عبر مجالات متنوعة، بما في ذلك إنترنت الأشياء، والحوسبة الحافة، والبلوكشين. ي outlines سير العمل لـ Wasm، موضحًا كيف يتم تجميع اللغات عالية المستوى إلى ثنائيات Wasm، التي يمكن تنفيذها في كل من متصفحات الويب وأوقات التشغيل المستقلة. يتم تعريف هندسة أوقات تشغيل Wasm، مع تسليط الضوء على مكونات مثل مجمع Wasm، والمفسر، وبيئة وقت التشغيل، التي تسهل تنفيذ ثنائيات Wasm إما من خلال التفسير أو التجميع إلى كود أصلي. يتم تقديم واجهة نظام WebAssembly (WASI) كطبقة حاسمة تتيح لثنائيات Wasm التفاعل بشكل متسق مع أنظمة التشغيل المختلفة، مما يوسع من قابلية تطبيق Wasm خارج الويب.
علاوة على ذلك، تصنف هذه القسم أوقات تشغيل Wasm الشائعة إلى أنواع مستقلة ومتكاملة، مع أمثلة تشمل Wasmtime وWasmer، التي تدعم أوضاع تنفيذ متنوعة ومصممة لتطبيقات متنوعة. يؤكد النقاش على أهمية الأمان والكفاءة والتوافق والتصميم الخفيف في أوقات تشغيل Wasm، والتي تعتبر ضرورية لنشرها في بيئات محدودة الموارد. تؤكد النتائج على تعددية استخدام Wasm وأهميته المتزايدة في تطوير البرمجيات الحديثة، كما يتضح من العدد المتزايد من المقالات البحثية التي تركز على أوقات تشغيل Wasm وتطبيقاتها عبر سيناريوهات متعددة.
DOI: https://doi.org/10.1145/3714465
Publication Date: 2025-01-23
Author(s): Yixuan Zhang et al.
Primary Topic: Logic, programming, and type systems
Overview
This section provides an overview of WebAssembly (Wasm), a technology initially designed for web applications but now applied across various domains. Developers can create Wasm applications by compiling high-level programming languages into Wasm binaries or converting textual formats into binaries. The execution of these binaries is facilitated by a Wasm runtime, which offers a secure, memory-efficient, and sandboxed environment tailored for Wasm applications. The paper surveys 98 articles on Wasm runtimes, categorizing the research into “internal” aspects, such as runtime design and testing, and “external” applications of Wasm in diverse fields.
In the conclusion, the authors summarize their comprehensive analysis of Wasm runtime research, detailing the definition, architecture, and current state of Wasm runtimes. They discuss the methodologies used to design and enhance Wasm runtimes, including benchmarks and bug detection techniques. The paper identifies existing challenges within the literature and proposes future research directions, aiming to inform and guide researchers, developers, and users in the Wasm community about ongoing developments and opportunities in the field.
Introduction
The introduction of the paper outlines the evolution and significance of WebAssembly (Wasm), a binary instruction format designed for a stack-based virtual machine, initially proposed for web applications in 2017. Wasm serves as a universal compilation target for various programming languages, enabling seamless deployment across both client and server applications. Its adoption has expanded beyond web browsers—such as Chrome, Firefox, Safari, and Edge—into diverse domains including the Internet of Things (IoT), blockchain, serverless computing, and edge computing. The execution of Wasm binaries relies on Wasm runtimes, which provide a secure and efficient environment for running these applications, whether within web contexts or standalone.
This paper presents the first comprehensive survey of research focused on Wasm runtimes, systematically reviewing 98 relevant publications. The analysis is bifurcated into “internal” research, which addresses the design, testing, and performance enhancement of Wasm runtimes, and “external” research, which explores the application of Wasm runtimes across various domains and the challenges encountered therein. The contributions of this survey include defining Wasm runtimes, characterizing existing studies, and identifying current issues and future research directions to advance the Wasm community.
Discussion
The section discusses the foundational aspects of WebAssembly (Wasm), a binary format initially designed for web applications but now utilized across various domains, including IoT, edge computing, and blockchain. It outlines the workflow of Wasm, detailing how high-level languages are compiled into Wasm binaries, which can be executed in both web browsers and standalone runtimes. The architecture of Wasm runtimes is defined, highlighting components such as the Wasm compiler, interpreter, and the runtime environment, which facilitate the execution of Wasm binaries either through interpretation or compilation into native code. The WebAssembly System Interface (WASI) is introduced as a crucial layer that enables Wasm binaries to interact consistently with different operating systems, thereby broadening the applicability of Wasm beyond the web.
Furthermore, the section categorizes popular Wasm runtimes into standalone and integrated types, with examples including Wasmtime and Wasmer, which support various execution modes and are designed for diverse applications. The discussion emphasizes the importance of safety, efficiency, compatibility, and lightweight design in Wasm runtimes, which are essential for their deployment in resource-constrained environments. The findings underscore the versatility of Wasm and its growing significance in modern software development, as evidenced by the increasing number of research articles focused on Wasm runtimes and their applications across multiple scenarios.