لغة البرمجة P

📅 آخر تحديث: ٢٢ يوليو ٢٠٢٦
✍️ نُشر في: ٢٢ يوليو ٢٠٢٦
الموسوعة الحرة

P هي لغة برمجة للبرمجة غير المتزامنة القائمة على الأحداث وإنترنت الأشياء، تم تطويرها بواسطة مايكروسوفت وجامعة كاليفورنيا، بيركلي . [ 1 ]

تُمكّن لغة P المبرمجين من تحديد أنظمة تتكون من مجموعة من آلات الحالة التي تتواصل بشكل غير متزامن عبر الأحداث. [ 2 ] يمكن تشغيل برامج P وتحليلها على أي منصة يدعمها .NET . بالإضافة إلى ذلك، يمكن لبرامج P توليد أكواد C# وC.

P هو برنامج مفتوح المصدر ، مرخص بموجب ترخيص MIT ، ومتاح على GitHub . [ 3 ]

مثال

خادم البنك الآلي { var database: Database; حالة البداية Init { entry (initialBalance: map[int, int]){ قاعدة البيانات = قاعدة بيانات جديدة((الخادم = هذا، الرصيد الأولي = الرصيد الأولي)); انتقل إلى WaitForWithdrawRequests؛ } } حالة انتظار طلبات السحب { على eWithDrawReq do (wReq: tWithDrawReq) { var currentBalance: int; var response: tWithDrawResp; // قراءة رصيد الحساب الحالي من قاعدة البيانات currentBalance = ReadBankBalance(database, wReq.accountId); // إذا كان هناك رصيد كافٍ في الحساب بعد السحب إذا كان (الرصيد الحالي - مبلغ الطلب) أكبر من أو يساوي 10 { تحديث رصيد البنك (قاعدة البيانات، wReq.accountId، الرصيد الحالي - wReq.amount)؛ response = (status = WITHDRAW_SUCCESS, accountId = wReq.accountId, balance = currentBalance - wReq.amount, rId = wReq.rId); } وإلا // لا يوجد رصيد كافٍ بعد السحب { response = (status = WITHDRAW_ERROR, accountId = wReq.accountId, balance = currentBalance, rId = wReq.rId); } // إرسال الرد إلى العميل أرسل wReq.source، eWithDrawResp، الاستجابة؛ } } }

انظر أيضاً

مراجع

  1. ↑ مايكروسوفت تفتح لغة P لإنترنت الأشياء
  2. ^ أنكوش ديساي. فيفيك جوبتا؛ إيثان جاكسون؛ شاز قدير؛ سريرام راجاماني (نوفمبر 2012). "P: برمجة آمنة غير متزامنة تعتمد على الأحداث" . مايكروسوفت . تم الاسترجاع في 20 فبراير 2017 .
  3. ↑ سيرجيو دي سيمون. "لغة مايكروسوفت مفتوحة المصدر P للبرمجة الآمنة غير المتزامنة القائمة على الأحداث" . InfoQ . تم الاطلاع عليه بتاريخ 20 أكتوبر 2016 .

للمزيد من القراءة

  • P: برمجة آمنة غير متزامنة تعتمد على الأحداث. أنكوش ديساي، فيفيك غوبتا، إيثان جاكسون، شاز قدير، سريرام راجاماني، وداميان زوفيري. في وقائع مؤتمر ACM SIGPLAN حول تصميم وتنفيذ لغات البرمجة (PLDI)، 2013.
  • الاختبار المنهجي للأنظمة التفاعلية غير المتزامنة. أنكوش ديساي، شاز قدير، وسانجيت أ. سيشيا. في وقائع الاجتماع المشترك العاشر لعام 2015 حول أسس هندسة البرمجيات (ESEC/FSE 2015).
  • بناء أنظمة موزعة موثوقة، بالتعاون مع: ب. أنكوش ديساي، وإيثان جاكسون، وأمار فانيشاي، وشاز قدير، وسانجيت أ. سيشيا. جامعة كاليفورنيا، بيركلي . التقرير الفني رقم UCB/EECS-2015-198.