خوارزمية مايكاوا

• الموقع هو أي جهاز حاسوبي يقوم بتشغيل خوارزمية مايكاوا
• لأي طلب دخول القسم الحرج :
  • الموقع الطالب هو الموقع الذي يطلب الدخول إلى القسم الحرج.
  • الموقع المُستقبِل هو كل موقع آخر يستقبل الطلب من الموقع الطالب.
• يشير ts إلى الطابع الزمني المحلي للنظام وفقًا لساعته المنطقية

الموقع الطالب :

• موقع طالب${\displaystyle P_{i}}$يرسل رسالة${\displaystyle {\text{request}}(ts,i)}$إلى جميع المواقع في مجموعة النصاب القانوني الخاصة بها${\displaystyle R_{i}}$.

موقع الاستقبال :

• عند استلام أ${\displaystyle {\text{request}}(ts,i)}$الرسالة، الموقع المُستقبِل${\displaystyle P_{j}}$سوف:
  • إذا كان الموقع${\displaystyle P_{j}}$لم يكن لديه سجل متميز${\displaystyle {\text{grant}}}$رسالة (أي،${\displaystyle {\text{grant}}}$(الرسالة التي لم يتم إصدارها)، ثم الموقع${\displaystyle P_{j}}$يرسل${\displaystyle {\text{grant}}(j)}$رسالة إلى الموقع${\displaystyle P_{i}}$.
  • إذا كان الموقع${\displaystyle P_{j}}$يتمتع بـ${\displaystyle {\text{grant}}}$رسالة ذات أولوية أعلى من أولوية الطلب، ثم الموقع${\displaystyle P_{j}}$يرسل${\displaystyle {\text{failed}}(j)}$رسالة إلى الموقع${\displaystyle P_{i}}$والموقع${\displaystyle P_{j}}$يقوم بوضع الطلب من الموقع في قائمة الانتظار${\displaystyle P_{i}}$.
  • إذا كان الموقع${\displaystyle P_{j}}$يتمتع بـ${\displaystyle {\text{grant}}}$رسالة ذات أولوية أقل من أولوية الطلب، ثم الموقع${\displaystyle P_{j}}$يرسل${\displaystyle {\text{inquire}}(j)}$رسالة إلى العملية التي مُنحت حاليًا حق الوصول إلى القسم الحرج حسب الموقع${\displaystyle P_{j}}$(أي الموقع المتميز)${\displaystyle {\text{grant}}}$رسالة.)
• عند استلام أ${\displaystyle {\text{inquire}}(j)}$رسالة، الموقع${\displaystyle P_{k}}$سوف:
  • أرسل${\displaystyle {\text{yield}}(k)}$رسالة إلى الموقع${\displaystyle P_{j}}$إذا وفقط إذا كان الموقع${\displaystyle P_{k}}$حصل على${\displaystyle {\text{فشل}}}$رسالة من موقع آخر أو إذا${\displaystyle P_{k}}$أرسل المنتج إلى موقع آخر لكنه لم يستلم منتجًا جديدًا${\displaystyle {\text{grant}}}$.
• عند استلام أ${\displaystyle {\text{yield}}(k)}$رسالة، موقع${\displaystyle P_{j}}$سوف:
  • أرسل${\displaystyle {\text{grant}}(j)}$تُرسل الرسالة إلى الطلب الموجود في أعلى قائمة الانتظار الخاصة به. لاحظ أن الطلبات الموجودة في الأعلى لها الأولوية القصوى.
  • مكان${\displaystyle P_{k}}$في قائمة طلباتها.
• عند استلام أ${\displaystyle {\text{release}}(i)}$رسالة، موقع${\displaystyle P_{j}}$سوف:
  • يمسح${\displaystyle P_{i}}$من قائمة طلباتها.
  • أرسل${\displaystyle {\text{grant}}(j)}$رسالة إلى الطلب الموجود في أعلى قائمة الطلبات الخاصة به.

القسم الحرج :

• موقع${\displaystyle P_{i}}$يدخل القسم الحرج عند استلام${\displaystyle {\text{grant}}}$رسالة من جميع المواقع في${\displaystyle R_{i}}$.
• عند الخروج من القسم الحرج،${\displaystyle P_{i}}$يرسل${\displaystyle {\text{release}}(i)}$رسالة إلى جميع المواقع في${\displaystyle R_{i}}$.

مجموعة النصاب (${\displaystyle R_{x}}$) : يجب أن تلتزم مجموعة النصاب بالخصائص التالية:

1. ${\displaystyle \forall i\,\forall j\,[R_{i}\bigcap R_{j}\neq \emptyset ]}$
2. ${\displaystyle \forall i\,[P_{i}\in R_{i}]}$
3. ${\displaystyle \forall i\,[|R_{i}|=K]}$
4. موقع${\displaystyle P_{i}}$يحتوي على بالضبط${\displaystyle K}$مجموعات الطلبات

لذلك:${\displaystyle |R_{i}|\geq {\sqrt {N-1}}}$

• عدد رسائل الشبكة؛${\displaystyle 3{\sqrt {N}}}$ل${\displaystyle 6{\sqrt {N}}}$
• تأخير التزامن: تأخيران في انتشار الرسائل
• قد يحدث تعطل في الخوارزمية في حال عدم وجود وسائل حماية. ^{[ 1 ] [ 2 ]}