العلامات الشائعة：
الافتراضية أمان DNS التحقق الرسمي تحليل قابلية الوصول أخطاء المترجم تضارب الماكرو امتدادات الويب إطار عمل تطوير كومودور 64 بياسيك 2.0 جميع العلامات

الصيغ البولية الصغرى: أناقة وتحديات في تصميم الخوارزميات

2025-06-23

تروي هذه المقالة رحلة حساب الحد الأدنى لعدد مُشغلي AND أو OR اللازمين للتعبير عن أي دالة بولية ذات خمسة متغيرات. في البداية، تم استخدام شكل مُعدل من خوارزمية Floyd-Warshall، لكنها ثبت أنها غير فعالة. تعاون الكاتب و Alex Healy لاحقًا، مستفيدين من تماثلات الدوال وخصائص أخرى لتحسين الخوارزمية بشكل كبير، ليصلوا في النهاية إلى النتيجة 28. تُفصّل المقالة عملية تحسين الخوارزمية، بما في ذلك تقليل الحساب من خلال تماثلات الدوال وفئات التكافؤ، والانتقال من بناء تصاعدي إلى بحث تنازلي. أدت الخوارزمية النهائية إلى تقليل وقت الحساب من أشهر مُقدرة إلى أقل من نصف يوم.

اقرأ المزيد
(research.swtch.com)
التطوير الدالة البولية

التغطية التفاضلية للرمز للتصحيح: تقنية فعالة

2025-04-25

تقدم هذه المقالة تقنية فعالة للتصحيح: تحليل التغطية التفاضلية للرمز. من خلال مقارنة تغطية الرمز للاختبارات الناجحة والاختبارات الفاشلة، يمكنك تحديد موقع الرمز الخاطئ بسرعة. يستخدم الكاتب مكتبة Go's `math/big` كمثال، ويوضح كيفية استخدام `go test` و `go tool cover` لإنشاء تقارير التغطية و `diff` لمقارنة الاختلافات. هذا يحدد بكفاءة جزء الرمز الذي يتسبب في فشل الاختبار، مما يقلل بشكل كبير من وقت التصحيح مقارنة بالطرق التقليدية. توضح هذه التقنية من خلال إيجاد خلل في عدد قليل من أسطر التعليمات البرمجية من أكثر من 15000 سطر.

اقرأ المزيد
(research.swtch.com)
التطوير تغطية الرمز تصحيح

C/C++: الأداء مقابل الصحة؟

2025-03-31

تتناول هذه المقالة مُعضلات "السلوك غير المُعرّف" في لغات البرمجة C و C++. في سعينا لتحقيق الأداء الأمثل، غالبًا ما تتبنى المُترجمات نهجًا سلبيًا تجاه المتغيرات غير المُهيّأة، والفيضان الحسابي، والحلقات اللانهائية، ومُؤشرات الصفر، بدلاً من الإبلاغ عن الأخطاء أو إدخال عمليات فحص الأمان. يُؤدي هذا إلى صعوبة تصحيح الأخطاء وصيانة البرامج، وقد يُسبب تعطلًا غير متوقع. يستخدم الكاتب العديد من الأمثلة لتوضيح كيف تُعطي مُترجمات C/C++ الأولوية للتحسين، حتى على حساب صحة البرامج وقابلية التنبؤ بها، مما يُثير تساؤلات حول هذه الفلسفة التصميمية.

اقرأ المزيد
(research.swtch.com)
التطوير

واجهات Go: التحقق الثابت وقت التجميع، والإرسال الديناميكي وقت التشغيل

2025-02-09

تُعد واجهات Go، وهي مزيج فريد من التحقق الثابت من النوع والإرسال الديناميكي، من أكثر ميزات اللغة إثارة للاهتمام على الأرجح. يتعمق هذا المنشور في تفاصيل تنفيذ قيم الواجهة داخل مُجمعات gc في Go، حيث يغطي تمثيلها في الذاكرة، وإنشاء وتخزين itable (جدول الواجهة) مؤقتًا، وتحسينات الذاكرة لأحجام البيانات المختلفة. من خلال أمثلة الشفرة والرسوم التوضيحية، يشرح المؤلف بوضوح كيف يحقق Go السلامة من النوع وقت التجميع، ونداءات الواجهة الفعالة وقت التشغيل. تُبرز المقارنات مع تنفيذات الواجهة في لغات أخرى النهج المميز لـ Go.

اقرأ المزيد
(research.swtch.com)
التطوير واجهات تصميم المُجمع

هياكل البيانات في جو: غوص عميق في تخطيط الذاكرة

2025-02-05

يوفر هذا المنشور شرحًا تفصيليًا لتخطيط ذاكرة أنواع البيانات الأساسية، والهياكل، والمصفوفات، والشرائح في جو. باستخدام رسوم توضيحية، يُظهر بوضوح كيفية تمثيل أنواع البيانات المختلفة في الذاكرة، بما في ذلك الأعداد الصحيحة، والأعداد العائمة، والمصفوفات، والهياكل، والوصلات. يشرح المقال أيضًا بشكل خاص التنفيذ الأساسي للسلاسل والشرائح في جو، بالإضافة إلى الاختلافات بين دالتي `new` و `make`. هذا يساعد القراء على فهم آليات كفاءة جو بشكل أفضل، واكتساب فهم أعمق لإدارة الذاكرة في جو.

اقرأ المزيد
(research.swtch.com)
التطوير

نماذج ذاكرة لغات البرمجة: التحديات والحلول في البرمجة المتزامنة

2024-12-12

تتناول هذه المقالة بالتفصيل نماذج ذاكرة لغات البرمجة، وتحديداً سلوك الذاكرة المشتركة في البرامج متعددة الخيوط. باستخدام برنامج بسيط يشبه لغة C كمثال، توضح المقالة كيف يمكن أن تؤدي تحسينات المُجمع إلى نتائج غير متوقعة، مثل حالات التنافس بين الخيوط. ولمعالجة هذا، تُقدم لغات البرمجة الحديثة متغيرات ذرية وعمليات ذرية لضمان مزامنة الخيوط وتجنب حالات التنافس. تقارن المقالة نماذج ذاكرة Java و C++ و Rust ولغات أخرى، وتحليل نقاط القوة والضعف والتطور، وتشير إلى التحديات المتبقية في تحديد نماذج الذاكرة رسميًا.

اقرأ المزيد
(research.swtch.com)
التطوير نموذج الذاكرة متعدد الخيوط البرمجة المتزامنة