التحكم التفاؤلي في التزامن

التحكم التفاؤلي بالتزامن ( OCC )، المعروف أيضًا باسم القفل التفاؤلي ، هو أسلوب للتحكم بالتزامن لا يعتمد على القفل، ويُطبق على الأنظمة المعاملاتية مثل أنظمة إدارة قواعد البيانات العلائقية وذاكرة المعاملات البرمجية . يفترض OCC إمكانية إتمام معاملات متعددة بشكل متكرر دون تداخل فيما بينها. أثناء التشغيل، تستخدم المعاملات موارد البيانات دون الحصول على أقفال عليها. قبل الالتزام، تتحقق كل معاملة من عدم قيام أي معاملة أخرى بتعديل البيانات التي قرأتها. إذا كشف الفحص عن تعديلات متعارضة، تتراجع المعاملة الملتزمة ويمكن إعادة تشغيلها. ^{[ 1 ]} طُرح التحكم التفاؤلي بالتزامن لأول مرة عام 1979 من قِبل إتش تي كونغ وجون تي روبنسون. ^{[ 2 ]}

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

تتضمن معاملات التحكم المتفائل في التزامن هذه المراحل: ^{[ 2 ]}

• البداية : سجل طابعًا زمنيًا يحدد بداية المعاملة.
• التعديل : قراءة قيم قاعدة البيانات، وكتابة التغييرات بشكل مبدئي.
• التحقق : التحقق مما إذا كانت معاملات أخرى قد عدّلت البيانات التي استخدمتها هذه المعاملة (قراءةً أو كتابةً). يشمل ذلك المعاملات التي اكتملت بعد وقت بدء هذه المعاملة، واختيارياً، المعاملات التي لا تزال نشطة وقت التحقق.
• الالتزام/التراجع : في حال عدم وجود تعارض، يتم تطبيق جميع التغييرات. أما في حال وجود تعارض، فيتم حله، عادةً بإلغاء العملية، مع إمكانية وجود طرق حل أخرى. يجب توخي الحذر لتجنب حدوث خطأ في وقت التحقق من وقت الاستخدام ، خاصةً إذا لم يتم تنفيذ هذه المرحلة والمرحلة السابقة لها كعملية ذرية واحدة .

إن طبيعة بروتوكول HTTP غير المعتمدة على الحالة تجعل آلية القفل غير عملية في واجهات المستخدم على الويب. فمن الشائع أن يبدأ المستخدم بتعديل سجل ثم يغادر دون النقر على رابط "إلغاء" أو "تسجيل الخروج". وفي حال استخدام آلية القفل، يتعين على المستخدمين الآخرين الذين يحاولون تعديل السجل نفسه الانتظار حتى تنتهي مهلة قفل المستخدم الأول.

يوفر بروتوكول HTTP شكلاً من أشكال التحكم في الوصول المضمنة. يمكن أن تتضمن الاستجابة لطلب GET الأولي علامة ETag لاستخدامها في طلبات PUT اللاحقة في ترويسة If-Match. وبالتالي، يمكن رفض أي طلبات PUT تحتوي على علامة ETag قديمة في ترويسة If-Match. ^{[ 3 ]}

توفر بعض أنظمة إدارة قواعد البيانات خاصية OCC بشكل أصلي، دون الحاجة إلى كتابة كود برمجي خاص. أما في أنظمة أخرى، فيمكن للتطبيق تنفيذ طبقة OCC خارج قاعدة البيانات، مما يجنب انتظار البيانات أو الكتابة فوق السجلات دون تنبيه. في هذه الحالة، قد يتضمن النموذج حقلاً مخفياً يحتوي على المحتوى الأصلي للسجل، أو طابعاً زمنياً، أو رقماً تسلسلياً، أو رمزاً غير شفاف. عند الإرسال، تتم مقارنة هذا الحقل بقاعدة البيانات. إذا كان هناك اختلاف، يتم استدعاء خوارزمية حل التعارضات.

• كتلة رسائل الخادم#القفل الانتهازي

• كونغ، إتش تي؛ جون تي. روبنسون (يونيو 1981). "حول الأساليب التفاؤلية للتحكم في التزامن". معاملات ACM لأنظمة قواعد البيانات . 6 (2): 213-226 . CiteSeerX 10.1.1.101.8988 . doi : 10.1145/319566.319567 . S2CID 61600099 .  
• Enterprise JavaBeans، الإصدار 3.0، تأليف بيل بيرك وريتشارد مونسون-هايفل، الفصل 16: المعاملات، القسم 16.3.5: القفل التفاؤلي، الناشر: أورايلي، تاريخ النشر: 16 مايو 2006، رقم ISBN المطبوع 0-596-00978-X،
• هولمان، أندرياس (مايو 2009). "العزل المتعدد: مزاياه وقيوده" (ملف PDF) . العزل المتعدد (ما الفرق بين القفل التشاؤمي والقفل التفاؤلي) . 01069 غوتزكوفشتراسه 30/F301.2، دريسدن: شركة هابي غايز سوفتوير. ص  8. تاريخ الاسترجاع: 16 مايو 2013 .{{cite conference}}: CS1 maint: location ( link )