التحول التشغيلي

الموسوعة الحرة

التحويل التشغيلي ( OT ) هو تقنية تدعم مجموعة واسعة من وظائف التعاون في أنظمة البرمجيات التعاونية المتقدمة . طُورت هذه التقنية في الأصل للحفاظ على الاتساق والتحكم في التزامن أثناء التحرير التعاوني للمستندات النصية . وقد توسعت إمكانياتها وتطبيقاتها لتشمل التراجع الجماعي، والقفل، وحل التعارضات، وإشعارات العمليات، والضغط، والوعي بالمجموعات، وتحرير مستندات HTML و XML والمستندات ذات البنية الشجرية، وأدوات الإنتاجية المكتبية التعاونية، ومشاركة التطبيقات، وأدوات تصميم الوسائط بمساعدة الحاسوب التعاونية. [ 1 ] في عام 2009، اعتُمدت تقنية التحويل التشغيلي كتقنية أساسية لميزات التعاون في كلٍ من Google Wave و Google Docs آنذاك .

تاريخ

بدأ التحول التشغيلي على يد سي. إليس وإس. جيبس ​​[ 2 ] في نظام GROVE (نظام تحرير وعرض المخططات الجماعية) عام 1989. بعد عدة سنوات، تم تحديد بعض مشكلات الدقة، واقتُرحت عدة مناهج [ 3 ] [ 4 ] [ 5 ] [ 6 ] بشكل مستقل لحل هذه المشكلات، وتلا ذلك عقد آخر من الجهود المتواصلة لتوسيع وتحسين التحول التشغيلي من قِبل مجتمع من الباحثين المتخصصين. في عام 1998، تم إنشاء مجموعة اهتمام خاصة بالتحرير التعاوني [ 7 ] لتعزيز التواصل والتعاون بين باحثي التحرير التعاوني والتحول التشغيلي. ومنذ ذلك الحين، تُقيم المجموعة ورش عمل سنوية حول التحرير التعاوني بالتزامن مع مؤتمرات رئيسية في مجال العمل التعاوني المدعوم بالحاسوب ، مثل ACM وCSCW وGROUP وECSCW.

بنية النظام

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

الأساسيات

الفكرة الأساسية وراء OT. يتم تحويل العملية O2 - del[2, "c"] - التي أنشأها المستخدم على الجانب الأيمن، إلى del[3, "c"] بمجرد استلامها من قبل المستخدم على الجانب الأيسر واكتشاف وجود عملية (O1) تم تنفيذها هناك ولم يتم أخذها في الاعتبار بعد بواسطة O2.

يمكن توضيح الفكرة الأساسية لتقنية OT باستخدام سيناريو بسيط لتحرير النصوص كما يلي. لنفترض وجود مستند نصي يحتوي على السلسلة "abc" مكررة في موقعين متعاونين؛ وعمليتين متزامنتين:

  1. O 1 = Insert[0, "x"] (لإدراج الحرف "x" في الموضع "0")
  2. O 2 = Delete[2, "c"] (لحذف الحرف "c" في الموضع "2")

تم إنشاء المستند بواسطة مستخدمين في موقعين متعاونين، 1 و2 على التوالي. لنفترض أن العمليتين تُنفذان بالترتيب O1 و O2 ( في الموقع 1). بعد تنفيذ O1 ، يصبح المستند "xabc". لتنفيذ O2 بعد O1 ، يجب تحويل O2 مقابل O1 ليصبح: O2 ' = Delete[3, " c"]، حيث يتم زيادة قيمة المعامل الموضعي بمقدار واحد نتيجةً لإضافة الحرف "x" بواسطة O1 . يؤدي تنفيذ O2 ' على "xabc" إلى حذف الحرف "c" الصحيح، ويصبح المستند "xab". مع ذلك، إذا تم تنفيذ O2 بدون تحويل، فإنه يحذف الحرف "b" بدلاً من "c" بشكل خاطئ. الفكرة الأساسية لتقنية OT هي تحويل (أو تعديل) معلمات عملية التحرير وفقًا لتأثيرات العمليات المتزامنة المنفذة سابقًا، بحيث تحقق العملية المُحوّلة التأثير الصحيح وتحافظ على اتساق المستند .

نماذج الاتساق

تتمثل إحدى وظائف خوارزمية OT في دعم الحفاظ على الاتساق في أنظمة التحرير التعاوني. وقد تم اقتراح عدد من نماذج الاتساق في الأوساط البحثية، بعضها عام لأنظمة التحرير التعاوني، وبعضها الآخر خاص بخوارزميات OT.

طراز CC

في ورقة إليس وجيبس لعام 1989 بعنوان "التحكم في التزامن في أنظمة البرمجيات الجماعية"، [ 2 ] هناك خاصيتان للاتساق مطلوبتان لأنظمة التحرير التعاوني:

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

بما أن العمليات المتزامنة قد تُنفذ بترتيبات مختلفة، ولأن عمليات التحرير ليست تبادلية بشكل عام، فقد تتباين نسخ المستند في مواقع مختلفة (غير متسقة). وقد طُرحت أول خوارزمية OT في ورقة إليس وجيبس [ 2 ] لتحقيق التقارب في محرر نصوص جماعي ؛ حيث استُخدم متجه الحالة (أو ساعة المتجهات في الحوسبة الموزعة التقليدية ) للحفاظ على خاصية الأسبقية.

نموذج CCI

تم اقتراح نموذج CCI كآلية لإدارة الاتساق في أنظمة التحرير التعاوني. [ 4 ] [ 8 ] وبموجب نموذج CCI، يتم تجميع ثلاث خصائص للاتساق معًا:

  • الحفاظ على السببية C : كما هو الحال في نموذج CC.
  • التقارب : هو نفسه كما في نموذج CC.
  • الحفاظ على النية : يضمن أن يكون تأثير تنفيذ عملية ما على أي حالة مستند مطابقًا لنية تلك العملية. تُعرَّف نية العملية (O) بأنها تأثير التنفيذ الذي يمكن تحقيقه بتطبيق (O) على حالة المستند التي تم توليد (O) منها.

يُوسّع نموذج CCI نموذج CC بمعيار جديد: الحفاظ على النية. ويكمن الفرق الجوهري بين التقارب والحفاظ على النية في أن الأول يُمكن تحقيقه دائمًا بواسطة بروتوكول تسلسل، بينما قد لا يُمكن تحقيق الثاني بأي بروتوكول تسلسل إذا نُفّذت العمليات دائمًا بأشكالها الأصلية. وقد شكّل تحقيق خاصية الحفاظ على النية غير القابلة للتسلسل تحديًا تقنيًا كبيرًا. وُجد أن OT مناسب بشكل خاص لتحقيق التقارب والحفاظ على النية في أنظمة التحرير التعاوني.

نموذج CCI مستقل عن أنواع المستندات أو نماذج البيانات، أو أنواع العمليات، أو التقنيات الداعمة (مثل OT، والإصدارات المتعددة، والتسلسل، والتراجع/الإعادة). لم يُصمم هذا النموذج للتحقق من صحة التقنيات (مثل OT) المصممة لنماذج بيانات وعمليات محددة، أو لتطبيقات محددة. في بحث تشنغ تشنغ صن وآخرون [ 4 ] ، تم تعريف مفهوم الحفاظ على النية وتطويره على ثلاثة مستويات: أولًا، تم تعريفه كمتطلب اتساق عام لأنظمة التحرير التعاوني؛ ثانيًا، تم تعريفه كشروط ما قبل وما بعد التحويل القائمة على سياق العملية لوظائف OT العامة؛ ثالثًا، تم تعريفه كمعايير محددة للتحقق من العملية لتوجيه تصميم وظائف OT لعمليتين أساسيتين: الإدراج والحذف على مستوى السلسلة النصية، في محررات النصوص البسيطة التعاونية.

نموذج CSM

لم يُحدد شرط الحفاظ على النية بشكل رسمي في نموذج CCI لأغراض البراهين الرسمية. تحاول منهجا SDT [ 9 ] وLBT [ 10 ] صياغة شروط بديلة يمكن إثباتها. يتكون نموذج الاتساق المقترح في هذين المنهجين من الشروط الرسمية التالية:

  • السببية C : نفس التعريف كما في نموذج CC
  • تأثيرات العملية الواحدة : يحقق تنفيذ أي عملية في أي حالة تنفيذ نفس التأثير كما في حالة توليدها.
  • تأثيرات العمليات المتعددة : يتم الحفاظ على علاقة التأثيرات بين أي عمليتين بعد تنفيذهما معًا في أي حالة

نموذج CA

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

بدلاً من ذلك، يعتمد نموذج CA على نظرية المقبولية . [ 11 ] يتضمن نموذج CA جانبين:

  • السببية C : نفس التعريف كما في نموذج CC
  • A dmissibility : The calling of every operation is mitsible in its execution state, ie, every calling must not violate any effects relationship (object ordering) that has been created by previous callings.

يُشير هذان الشرطان إلى التقارب. تتقارب جميع المواقع المتعاونة في حالةٍ يكون فيها نفس مجموعة العناصر بنفس الترتيب. علاوةً على ذلك، يتحدد الترتيب فعليًا بتأثيرات العمليات عند إنشائها. ولأن هذين الشرطين يفرضان قيودًا إضافية على ترتيب العناصر، فإنهما في الواقع أقوى من التقارب. تم شرح نموذج الأتمتة الخلوية ومنهجية التصميم/الإثبات بالتفصيل في ورقة بحثية نُشرت عام ٢٠٠٥. [ ١١ ] لم يعد من الضروري تحديد ترتيب كلي للعناصر في نموذج الاتساق والحفاظ عليه في الخوارزمية، مما يُؤدي بالتالي إلى تقليل تعقيدات الوقت والمساحة في الخوارزمية.

بنية نظام OT

يُعد نظام OT نظامًا متعدد المكونات. وتتمثل إحدى الاستراتيجيات الراسخة لتصميم أنظمة OT [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 12 ] [ 13 ] في فصل خوارزميات التحكم في التحويل (أو التكامل) عالية المستوى عن وظائف التحويل منخفضة المستوى.

خوارزميات التحكم في العمليات التشغيلية (تحديد العمليات التي يتم تحويلها مقابل العمليات الأخرى وفقًا لعلاقات التزامن/السياق الخاصة بها)
خصائص وشروط OT (تقسيم المسؤوليات بين الخوارزميات والوظائف)
دوال تحويل OT (تحديد كيفية تحويل زوج من العمليات الأولية وفقًا لأنواع العمليات ومواقعها ومعلمات أخرى)

تهتم خوارزمية التحكم في التحويل بتحديد ما يلي:

  1. أي عملية يجب تحويلها مقابل عملية جديدة جاهزة سببيًا
  2. ترتيب التحولات

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

تم اقتراح النهج البديل الآخر في بحث روي لي ودي لي. [ 11 ] في نهجهما، تكون خوارزمية OT صحيحة إذا استوفت معيارين رسميين للصحة:

  1. الحفاظ على السببية
  2. الحفاظ على المقبولية

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

بيانات التشغيل ونماذج التشغيل

يوجد نموذجان أساسيان في كل نظام OT: نموذج البيانات الذي يُحدد كيفية معالجة عناصر البيانات في المستند بواسطة العمليات، ونموذج العمليات الذي يُحدد مجموعة العمليات التي يمكن تحويلها مباشرةً بواسطة وظائف OT. قد تختلف نماذج البيانات والعمليات بين أنظمة OT المختلفة. على سبيل المثال، نموذج بيانات نظام OT الأول [ 2 ] هو مساحة عنوان خطية واحدة ؛ ويتكون نموذج عملياته من عمليتين أساسيتين: الإدراج والحذف حرفًا حرفًا. تم توسيع نموذج العمليات الأساسي ليشمل عملية أساسية ثالثة هي التحديث لدعم معالجة مستندات Word التعاونية [ 14 ] وتحرير النماذج ثلاثية الأبعاد [ 15 ] . تم توسيع نموذج بيانات OT الأساسي إلى تسلسل هرمي من مجالات عنونة خطية متعددة [ 16 ] [ 17 ] [ 18 ] ، وهو قادر على نمذجة نطاق واسع من المستندات. غالبًا ما تكون عملية تكييف البيانات ضرورية لربط نماذج البيانات الخاصة بالتطبيقات بنموذج بيانات متوافق مع OT [ 19 ] [ 20 ] .

توجد طريقتان لدعم عمليات مستوى التطبيق في نظام تكنولوجيا التشغيل:

  1. نهج نموذج العمليات العام: يتمثل في تصميم دوال تحويل لثلاث عمليات أساسية: الإضافة، والحذف، والتحديث. [ 19 ] يتطلب هذا النهج عملية تكييف العمليات لربط عمليات التطبيق بهذه العمليات الأساسية. في هذا النهج، يكون نموذج عمليات OT عامًا، مما يسمح بإعادة استخدام دوال التحويل في تطبيقات مختلفة.
  2. نهج نموذج التشغيل الخاص بالتطبيق: وهو تصميم دوال تحويل لكل زوج من عمليات التطبيق. [ 20 ] [ 21 ] بالنسبة لتطبيق يحتوي على m عملية مختلفة، يلزم m×m من دوال التحويل لدعم هذا التطبيق. في هذا النهج، تكون دوال التحويل خاصة بالتطبيق ولا يمكن إعادة استخدامها في تطبيقات أخرى.

وظائف العلاج الوظيفي

صُممت وظائف تقنية التشغيل (OT) المختلفة لأنظمة تقنية التشغيل ذات القدرات المتنوعة، وتُستخدم في تطبيقات مختلفة. قد تختلف مسميات وظائف تقنية التشغيل المستخدمة في أنظمة تقنية التشغيل المختلفة، ولكن يمكن تصنيفها إلى فئتين رئيسيتين:

  • التحول الشامل (أو التحول الأمامي):أناتي(ياأ،ياب){\displaystyle IT(O_{a},O_{b})}أوتي(oص1،oص2){\displaystyle T(op_{1},op_{2})}، مما يحول العمليةياأ{\displaystyle O_{a}}في مواجهة عملية أخرىياب{\displaystyle O_{b}}بطريقة تجعل تأثيرياب{\displaystyle O_{b}}يتم تضمينها بشكل فعال. وهذا، على سبيل المثال، هو حالة إدخالين في عقدتين مختلفتين.
  • التحويل بالاستبعاد (ET) (أو التحويل العكسي):هـتي(ياأ،ياب){\displaystyle ET(O_{a},O_{b})}أوتي-1(oص1،oص2){\displaystyle T^{-1}(op_{1},op_{2})}، مما يحول العمليةياأ{\displaystyle O_{a}}في مواجهة عملية أخرىياب{\displaystyle O_{b}}بطريقة تجعل تأثيرياب{\displaystyle O_{b}}يتم استبعادها فعلياً. وهذا، على سبيل المثال، هو حالة الإضافة والحذف في عقد مختلفة. [ 22 ]

على سبيل المثال، لنفترض وجود نوع بيانات String يحتوي على عملية ins( p, c, sid ) حيث p هو موضع الإدراج، وc هو الحرف المراد إدراجه، و sid هو مُعرِّف الموقع الذي أنشأ العملية. يمكننا كتابة دالة تحويل الإدراج التالية: [ 23 ]

دالة T (ins( p 1 , c 1 , sid 1 ), ins( p 2 , c 2 , sid 2 )): إذا كان ( p 1 < p 2 ) أرجع ins( p 1 , c 1 , sid 1 ) وإلا إذا كان ( p 1 = p 2 و sid 1 < sid 2 ) أرجع ins( p 1 , c 1 , sid 1 ) وإلا أرجع ins( p 1 +1, c 1 , sid 1 )

يمكننا أيضًا كتابة دالة تحويل الاستبعاد التالية: [ 23 ]

دالة T − 1 (ins( p 1 , c 1 , sid 1 ), ins( p 2 , sid 2 )): إذا كان ( p 1 < p 2 ) أرجع ins( p 1 , c 1 , sid 1 ) وإلا إذا كان ( p 1 = p 2 و sid 1 < sid 2 ) أرجع ins( p 1 , c 1 , sid 1 ) وإلا أرجع ins( p 1 − 1, c 1 , sid 1 )

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

  • وظائف نظام OT: ما إذا كان نظام OT يدعم do (صيانة الاتساق)، والتراجع، والقفل، [ 24 ] الوعي، ومشاركة التطبيقات ، [ 19 ] [ 25 ] [ 26 ] [ 27 ] إلخ؛
  • مسؤولية الصحة في نظام OT: ما هي خصائص التحويل (CP1/TP1، CP2/TP2، IP2، IP3، RP) التي يجب تلبيتها؛ ما إذا كان يتم استخدام ET؛
  • نموذج تشغيل نظام OT: ما إذا كان نموذج تشغيل OT عامًا (مثل عمليات الإدراج والحذف والتحديث الأساسية)، أو خاصًا بالتطبيق (جميع عمليات التطبيق المستهدف)؛ و
  • نموذج بيانات نظام OT: ما إذا كانت البيانات في كل عملية عبارة عن أحرف (كائن فردي)، أو سلاسل نصية (سلسلة من الكائنات)، أو هرمية، أو هياكل أخرى.

خصائص التحويل

تم تحديد خصائص تحويل متنوعة لضمان صحة نظام التشغيل. ويمكن الحفاظ على هذه الخصائص إما بواسطة خوارزمية التحكم في التحويل [ 4 ] [ 5 ] [ 13 ] [ 20 ] [ 28 ] [ 29 ] أو بواسطة دوال التحويل [ 30 ] . وتختلف تصميمات أنظمة التشغيل في توزيع المسؤوليات بين هذه المكونات. وفيما يلي مواصفات هذه الخصائص وشروطها المسبقة.

خصائص التقارب (CP)

توضيح لخاصية TP1
توضيح لخاصية TP2

الخاصيتان التاليتان مرتبطتان بتحقيق التقارب.

  • CP1/TP1 : لكل زوج من العمليات المتزامنةoص1{\displaystyle op_{1}}وoص2{\displaystyle op_{2}}إذا تم تعريف دالة التحويل T على نفس الحالة، فإنها تحقق خاصية CP1/TP1 إذا وفقط إذا :oص1∘تي(oص2،oص1)≡oص2∘تي(oص1،oص2){\displaystyle op_{1}\circ T(op_{2},op_{1})\equiv op_{2}\circ T(op_{1},op_{2})}أينoصأنا∘oصج{\displaystyle op_{i}\circ op_{j}}يشير إلى تسلسل العمليات التي تحتوي علىoصأنا{\displaystyle op_{i}}ثم يتبع ذلكoصج{\displaystyle op_{j}}وأين≡{\displaystyle \equiv }يشير إلى تكافؤ سلسلتي العمليات. الشرط المسبق CP1/TP1 : يُشترط وجود CP1/TP1 فقط إذا كان نظام OT يسمح بتنفيذ أي عمليتين بترتيبين مختلفين.
  • CP2/TP2 : لكل ثلاث عمليات متزامنةoص1،oص2{\displaystyle op_{1},op_{2}}وoص3{\displaystyle op_{3}}إذا تم تعريف دالة التحويل T على نفس حالة المستند، فإنها تحقق خاصية CP2/TP2 إذا وفقط إذا:تي(oص3،oص1∘تي(oص2،oص1))=تي(oص3،oص2∘تي(oص1،oص2)){\displaystyle T(op_{3},op_{1}\circ T(op_{2},op_{1}))=T(op_{3},op_{2}\circ T(op_{1},op_{2}))}تنصّ CP2/TP2 على المساواة بين عمليتين تم تحويلهما بالنسبة إلى سلسلتين متكافئتين من العمليات: تحويلoص3{\displaystyle op_{3}}خلافًا لتسلسل العملياتoص2{\displaystyle op_{2}}ثم يتبع ذلكتي(oص1،oص2){\displaystyle T(op_{1},op_{2})}يجب أن تعطي نفس العملية التي ينتجها تحويلoص3{\displaystyle op_{3}}مقابل التسلسل الذي شكلهoص1{\displaystyle op_{1}}وتي(oص2،oص1){\displaystyle T(op_{2},op_{1})}شرط CP2/TP2 : يُشترط وجود CP2/TP2 فقط إذا كانت أنظمة OT تسمح بعمليتين.oص1{\displaystyle op_{1}}وoص2{\displaystyle op_{2}}يتم تحويلها بواسطة تكنولوجيا المعلومات في حالتين مختلفتين للوثيقة (أو سياقين).

الخصائص العكسية (IP)

ترتبط الخصائص الثلاث التالية بتحقيق التأثير المطلوب لتراجع المجموعة. وهي:

  • IP1 : بالنظر إلى أي حالة مستند S والتسلسلoص∘oص¯{\displaystyle op\circ {\overline {op}}}لديناS∘oص∘oص¯=S{\displaystyle S\circ op\circ {\overline {op}}=S}وهذا يعني التسلسلoص∘oص¯{\displaystyle op\circ {\overline {op}}}يُعادل هذا عملية هوية واحدة (I) فيما يتعلق بتأثيرها على حالة المستند. هذه الخاصية مطلوبة في نظام OT لتحقيق تأثير التراجع الصحيح، ولكنها لا ترتبط بوظائف IT.
  • IP2 : تعبر الخاصية IP2 عن أن المتتاليةoص∘oص¯{\displaystyle op\circ {\overline {op}}}ليس له أي تأثير على تحويل العمليات الأخرى. تحقق دوال التحويل مبدأ IP2 إذا وفقط إذا:تي(oصx،oص∘oص¯)=oصx{\displaystyle T(op_{x},op\circ {\overline {op}})=op_{x}}وهذا يعني أن نتيجة التحولoصx{\displaystyle op_{x}}ضد التسلسلoص∘oص¯{\displaystyle op\circ {\overline {op}}}وهو ما يعادل نتيجة التحويلoصx{\displaystyle op_{x}}مقابل عملية الهوية I. شرط IP2 المسبق : لا يلزم استخدام IP2 إلا إذا كانت أنظمة OT تسمح بعمليةoصx{\displaystyle op_{x}}ليتم تحويلها مقابل زوج من عمليات التنفيذ والتراجعoص∘oص¯{\displaystyle op\circ {\overline {op}}}واحداً تلو الآخر.
  • IP3 : بالنظر إلى عمليتين متزامنتينoص1{\displaystyle op_{1}}وoص2{\displaystyle op_{2}}مُعرَّف في نفس حالة المستند (أو السياق)، إذاoص1¯′=تي(oص1¯،تي(oص2،oص1)){\displaystyle {\overline {op_{1}}}'=T({\overline {op_{1}}},T(op_{2},op_{1}))}وoص1′¯=تي(oص1،oص2)¯{\displaystyle {\overline {op_{1}'}}={\overline {T(op_{1},op_{2})}}}تحقق دوال التحويل الخاصية IP3 إذا وفقط إذاoص1¯′=oص1′¯{\displaystyle {\overline {op_{1}}}'={\overline {op_{1}'}}}وهذا يعني أن العملية العكسية المحولةoص1¯′{\displaystyle {\overline {op_{1}}}'}يساوي معكوس العملية المحولةoص1′¯{\displaystyle {\overline {op_{1}'}}}شرط IP3 المسبق : يُشترط وجود IP3 فقط إذا كان نظام OT يسمح بعملية عكسية.oص1¯{\displaystyle {\overline {op_{1}}}}ليتم تحويلها مقابل عمليةoص2{\displaystyle op_{2}}أي متزامن ومحدد في نفس حالة المستند مثل (أو مكافئ سياقيًا لـ)oص1{\displaystyle op_{1}}.

خوارزميات التحكم (التكامل) في التشغيل

صُممت خوارزميات تحكم متنوعة لأنظمة التشغيل ذات القدرات المختلفة ولتطبيقات متنوعة. يتحدد تعقيد تصميم خوارزمية التحكم هذه بعوامل متعددة، من أهمها قدرة الخوارزمية على دعم التحكم في التزامن (التنفيذ) و/أو التراجع الجماعي. [ 3 ] [ 8 ] [ 12 ] [ 29 ] [ 31 ] إضافةً إلى ذلك، تُقدم تصاميم خوارزميات التحكم المختلفة حلولًا وسطًا متباينة في:

  • تحديد مسؤوليات الصحة بين خوارزمية التحكم ووظائف التحويل، و
  • تعقيد الزمان والمكان لنظام OT.

تعتمد معظم خوارزميات التحكم الحالية في العمليات الانتقالية (OT) للتحكم في التزامن على نظرية السببية/التزامن كأساس نظري: يجب تنفيذ العمليات ذات الصلة السببية بترتيبها السببي؛ ويجب تحويل العمليات المتزامنة قبل تنفيذها. ومع ذلك، من المعروف أن شرط التزامن وحده لا يكفي لاستيعاب جميع شروط تحويل العمليات الانتقالية. [ 3 ] [ 4 ] [ 5 ] [ 8 ] [ 32 ] في دراسة حديثة، تم اقتراح نظرية سياق العملية لتمثيل مفهوم حالة المستند بشكل صريح، والذي يمكن استخدامه للتعبير رسميًا عن شروط تحويل العمليات الانتقالية لدعم تصميم خوارزميات التحكم في العمليات الانتقالية والتحقق منها. [ 29 ]

يقدم الجدول التالي نظرة عامة على بعض خوارزميات التحكم/التكامل الحالية في مجال التشغيل

خوارزميات التحكم/التكامل في أنظمة التشغيلأنواع دوال التحويل المطلوبةهل يدعم العلاج الوظيفي؟هل يدعم التراجع القائم على OT؟خصائص التحويل التي تدعمها خوارزمية التحكمخصائص التحويل التي تدعمها دوال التحويلقيود ترتيب التحويل وانتشارهالطابع الزمني
dOPT [ 2 ] (GROVE)تي (تكنولوجيا المعلومات)نعملالا أحدCP1/TP1، CP2/TP2الترتيب السببيمتجه الحالة
التراجع الانتقائي [ 12 ] (DistEdit)تبديل (IT و ET)لاالتراجع الانتقائيغير متوفرCP1/TP1، CP2/TP2، RP، IP1، IP2، IP3الترتيب السببي؟
تم اعتماده [ 3 ] [ 31 ] (برنامج EMACS المشترك)التحول (تكنولوجيا المعلومات)نعمالتراجع الزمنيIP2، IP3CP1/TP1، CP2/TP2، IP1الترتيب السببيمتجه الحالة
كوكب المشتري [ 5 ]تحويل (تكنولوجيا المعلومات)نعملاCP2/TP2CP1/TP1الترتيب السببي + خادم التحويل المركزيكمية قياسية
جوجل ويف أو تي [ 20 ]التحويل والتركيب (تكنولوجيا المعلومات)نعملاCP2/TP2CP1/TP1الترتيب السببي + خادم التحويل المركزي + بروتوكول نشر التوقف والانتظاركمية قياسية
تم الحصول على [ 4 ] (تقليل)تكنولوجيا المعلومات والاتصالاتنعملاCP1/TP1، CP2/TP2لا أحدالترتيب السببي + الترتيب الكلي غير المتصلمتجه الحالة
الانتقال إلى [ 6 ] (تقليل، CoWord ، CoPPT، CoMaya)تكنولوجيا المعلومات والاتصالاتنعملالا أحدCP1/TP1، CP2/TP2الترتيب السببيمتجه الحالة
AnyUndo [ 8 ] (REDUCE، CoWord ، CoPPT، CoMaya)تكنولوجيا المعلومات والاتصالاتلاالتراجع عن أي عمليةIP2، IP3، RPIP1، CP1/TP1، CP2/TP2الترتيب السببيمتجه الحالة
SCOP [ 28 ] (NICE)هو - هينعملاCP2/TP2CP1/TP1الترتيب السببي + خادم التحويل المركزيكمية قياسية
COT [ 29 ] (REDUCE، CoWord ، CoPPT، CoMaya)هو - هينعمالتراجع عن أي عمليةCP2/TP2، IP2، IP3CP1/TP1، (لا يوجد ET وبالتالي لا حاجة إلى IP1)الترتيب السببي + الترتيب الكلي غير المتصلمتجه السياق
تيبوت [ 33 ]هو - هينعملاCP2/TP2CP1/TP1الترتيب السببيكمية قياسية
SOCT4 [ 13 ]التحول الأمامي (تكنولوجيا المعلومات)نعملاCP2/TP2CP1/TP1الترتيب السببي + الترتيب الكلي المستمركمية قياسية
SOCT2 [ 32 ]التحول الأمامي (IT) والتحول العكسي (ET)نعملالا أحدCP1/TP1، CP2/TP2، RPالترتيب السببيمتجه الحالة
MOT2 [ 34 ]التحول الأمامي (تكنولوجيا المعلومات)نعملا؟CP1/TP1، CP2/TP2؟كمية قياسية

الترتيب الكلي المستمر هو ترتيب كلي صارم حيث يكون من الممكن اكتشاف عنصر مفقود، أي أن 1،2،3،4،... هو ترتيب كلي مستمر، و1،2،3،5،... ليس ترتيبًا كليًا مستمرًا.

تعتمد الخوارزميات القائمة على التحويل، والمقترحة في بحث روي لي ودو لي [ 10 ] [ 11 ] ، على نموذجي الاتساق البديلين "CSM" و"CA" كما هو موضح أعلاه. وتختلف مناهجهما عن تلك المذكورة في الجدول. فهما يستخدمان طوابع زمنية متجهة للحفاظ على السببية. أما شروط الصحة الأخرى فهي الحفاظ على علاقة تأثيرات العمليات "الأحادية"/"المتعددة" أو الحفاظ على "المقبولية". ويتم ضمان هذه الشروط من خلال إجراء التحكم ووظائف التحويل بشكل تآزري. ولا حاجة لمناقشة TP1/TP2 في بحثهما، لذا لم يتم إدراجهما في الجدول أعلاه.

توجد بعض خوارزميات التحكم في الاتساق التفاؤلي الأخرى التي تسعى إلى إيجاد طرق بديلة لتصميم خوارزميات التحويل، ولكنها لا تتناسب جيدًا مع التصنيف والخصائص المذكورة أعلاه. على سبيل المثال، مارك وريتراس [ 35 ]

أدت مشاكل صحة OT إلى استحداث مخططات ما بعد OT غير التحويلية، مثل WOOT [ 36 ] و Logoot [ 37 ] والأشجار السببية (CT) [ 38 ] . تقوم مخططات "ما بعد OT" بتقسيم المستند إلى عمليات ذرية، لكنها تتجاوز الحاجة إلى تحويل العمليات باستخدام مزيج من مُعرّفات الرموز الفريدة، والطوابع الزمنية المتجهة، و/أو علامات الحذف.

نقد العلاج الوظيفي

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

وبالمثل، كتب جوزيف جنتل، وهو مهندس سابق في جوجل ويف ومؤلف مكتبة Share.JS: "لسوء الحظ، تطبيق OT صعب للغاية. هناك ملايين الخوارزميات ذات المفاضلات المختلفة، ومعظمها محصور في الأبحاث الأكاديمية. [...] استغرق تطوير ويف عامين، ولو أعدنا كتابته اليوم، لاستغرق الأمر نفس المدة تقريبًا." [ 40 ] لكنه عدّل تعليقه لاحقًا قائلًا: "لم أعد أعتقد أن تطوير ويف سيستغرق عامين الآن - ويعود ذلك في الغالب إلى التطورات في أطر عمل الويب ومتصفحات الويب." [ 41 ]

لكي تعمل تقنية OT، يجب تسجيل كل تغيير يطرأ على البيانات: "عادةً ما يكون الحصول على لقطة للحالة أمرًا بسيطًا، لكن تسجيل التعديلات مسألة مختلفة تمامًا. [...] قد يُشكّل ثراء واجهات المستخدم الحديثة مشكلةً في هذا الصدد، لا سيما في بيئة تعتمد على المتصفح." يُعدّ التزامن التفاضلي بديلاً لتقنية OT . [ 42 ]

هناك بديل آخر لـ OT وهو استخدام أنواع التسلسل من نوع البيانات المكررة الخالية من التعارض .

انظر أيضاً

مراجع

  1. ↑ صن، تشنغ تشنغ. "أسئلة وأجوبة حول OT" . مؤرشف من الأصل بتاريخ 23-06-2020.
  2. 1 2 3 4 5 6 إليس، سي إيه؛ جيبس، إس جيه (1989). "التحكم في التزامن في أنظمة برمجيات العمل الجماعي" . سجل ACM SIGMOD . 18 (2): 399-407 . CiteSeerX 10.1.1.465.2026 . doi : 10.1145/67544.66963 . S2CID 6488575 .  
  3. 1 2 3 4 5 ريسل، ماتياس؛ نيتشه-رولاند، دوريس؛ غونزنهاوزر، رول (1996). "نهج تكاملي موجه نحو التحويل للتحكم في التزامن والتراجع في محررات المجموعات". وقائع مؤتمر ACM لعام 1996 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 288-297 . doi : 10.1145/240080.240305 . ISBN  0-89791-765-0.
  4. 1 2 3 4 5 6 7 صن، تشنغ تشنغ؛ جيا، شياوهوا؛ تشانغ، يانتشون؛ يانغ، يون؛ تشن، ديفيد (1998). "تحقيق التقارب، والحفاظ على السببية، والحفاظ على النية في أنظمة التحرير التعاوني في الوقت الحقيقي" . معاملات ACM في التفاعل بين الإنسان والحاسوب . 5 (1): 63-108 . CiteSeerX 10.1.1.56.1251 . doi : 10.1145/274444.274447 . S2CID 14447070 .  
  5. 1 2 3 4 5 نيكولز، د.أ.؛ كورتيس، ب.؛ ديكسون، م.؛ لامبينغ، ج. (1995). "تقنية النوافذ ذات زمن الاستجابة العالي وعرض النطاق الترددي المنخفض في نظام التعاون جوبيتر" . وقائع الندوة السنوية الثامنة لجمعية ACM حول واجهة المستخدم وتكنولوجيا البرمجيات . الصفحات 111-120 . doi : 10.1145/215585.215706 . ISBN  0-89791-709-Xأُرشف من المصدر الأصلي بتاريخ 30 نوفمبر 2015. تم الاطلاع عليه بتاريخ 27 سبتمبر 2009 .
  6. 1 2 صن، تشنغ تشنغ؛ إليس، كلارنس (1998). "التحويل التشغيلي في محررات المجموعات في الوقت الحقيقي: قضايا وخوارزميات وإنجازات". وقائع مؤتمر ACM لعام 1998 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 59-68 . doi : 10.1145/289444.289469 . ISBN  1-58113-009-0.
  7. ↑ "SIGCE - مجموعة دولية متخصصة في التحرير التعاوني" . cooffice.ntu.edu.sg . تم الاطلاع عليه بتاريخ 10 يناير 2020 .{{cite web}}: CS1 maint: deprecated archiveal service ( link )
  8. 1 2 3 4 سي. صن (2002). "التراجع كعملية عكسية متزامنة في محررات المجموعات" . معاملات ACM في التفاعل بين الإنسان والحاسوب . 9 (4): 309-361 . doi : 10.1145/586081.586085 . S2CID 47453660 . 
  9. ↑ لي، دو؛ لي، روي (2004). "الحفاظ على علاقة تأثيرات العمليات في محرري المجموعات". وقائع مؤتمر ACM لعام 2004 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 457-466 . doi : 10.1145/1031607.1031683 . ISBN  1-58113-810-5.
  10. 1 2 لي، روي؛ لي، دو (2007). "إطار عمل جديد للتحويل التشغيلي لمحرري المجموعات في الوقت الحقيقي". معاملات IEEE للأنظمة المتوازية والموزعة . 18 (3): 307-319 . Bibcode : 2007ITPDS..18..307L . doi : 10.1109/TPDS.2007.35 . S2CID 18822760 . 
  11. 1 2 3 4 روي لي؛ دو لي (2005). "التحكم في التزامن القائم على التبادلية في برمجيات العمل الجماعي". المؤتمر الدولي لعام 2005 حول الحوسبة التعاونية: الشبكات والتطبيقات ومشاركة العمل . الصفحات 1-10 . doi : 10.1109/COLCOM.2005.1651251 . ISBN  1-4244-0030-9.
  12. 1 2 3 براكاش، أتول وكنيستر، مايكل ج. (1994). "إطار عمل لإلغاء الإجراءات في الأنظمة التعاونية" . معاملات ACM في التفاعل بين الإنسان والحاسوب . 1 (4): 295-330 . CiteSeerX 10.1.1.51.4793 . doi : 10.1145/198425.198427 . S2CID 10705127 .  
  13. 1 2 3 فيدو، نيكولاس؛ كارت، ميشيل؛ فيري، جان؛ سليمان، ماهر (2000). "تقارب النسخ في بيئة تعاونية موزعة في الوقت الحقيقي" (ملف PDF) . وقائع مؤتمر ACM لعام 2000 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 171-180 . doi : 10.1145/358916.358988 . ISBN  1-58113-222-0تمت أرشفة النسخة الأصلية (PDF) بتاريخ 12-10-2004.
  14. ↑ صن، ديفيد؛ شيا، ستيفن؛ صن، تشنغ تشنغ؛ تشن، ديفيد (2004). "التحويل التشغيلي لمعالجة النصوص التعاونية". وقائع مؤتمر ACM لعام 2004 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 437-446 . doi : 10.1145/1031607.1031681 . ISBN  1-58113-810-5.
  15. ↑ أغوستينا؛ ليو، فاي؛ شيا، ستيفن؛ شين، هايفنغ؛ صن، تشنغ تشنغ (2008). "كومايا: دمج إمكانيات التعاون المتقدمة في أدوات تصميم الوسائط الرقمية ثلاثية الأبعاد". وقائع مؤتمر ACM لعام 2008 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 5-8 . doi : 10.1145/1460563.1460566 . ISBN  978-1-60558-007-4.
  16. ↑ ديفيس، أغيدو هوراشيو؛ صن، تشنغ تشنغ؛ لو، جون وي (2002). "تعميم التحويل التشغيلي إلى لغة الترميز العامة القياسية". وقائع مؤتمر ACM لعام 2002 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 58-67 . doi : 10.1145/587078.587088 . ISBN  1-58113-560-2.
  17. ↑ إغنات، كلوديا-لافينيا؛ نوري، مويرا سي. (2003). "محرر تعاوني قابل للتخصيص يعتمد على خوارزمية treeOPT". ECSCW 2003. ص 315-334 . doi : 10.1007/978-94-010-0068-0_17 . ISBN  978-94-010-3994-9.
  18. ↑ إغنات، كلوديا-لافينيا؛ نوري، مويرا سي. (2008). "التحرير متعدد المستويات للوثائق الهرمية". العمل التعاوني المدعوم بالحاسوب . 17 ( 5-6 ): 423-468 . doi : 10.1007/s10606-007-9071-2 . S2CID 42752275 . 
  19. 1 2 3 صن، تشنغ تشنغ؛ شيا، ستيفن؛ صن، ديفيد؛ تشن، ديفيد؛ شين، هايفنغ؛ تساي، وينتونغ (2006). "التكييف الشفاف لتطبيقات المستخدم الواحد للتعاون متعدد المستخدمين في الوقت الحقيقي" . معاملات ACM في تفاعل الإنسان مع الحاسوب . 13 (4): 531-582 . doi : 10.1145/1188816.1188821 . S2CID 14184705 . 
  20. 1 2 3 4 "التحويل التشغيلي لموجة جوجل" . مؤرشف من الأصل بتاريخ 31 مايو 2009. تم الاطلاع عليه بتاريخ 29 مايو 2009 .
  21. ↑ بالمر، كريستوفر ر.؛ كورماك، جوردون ف. (1998). "تحويلات العمليات لجدول بيانات مشترك موزع". وقائع مؤتمر ACM لعام 1998 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 69-78 . doi : 10.1145/289444.289474 . ISBN  1-58113-009-0.
  22. ↑ كاجورسكي، أنطون. "التحويلات التشغيلية كخوارزمية لحل النزاعات تلقائيًا" . medium.com . تم الاطلاع عليه بتاريخ 21 ديسمبر 2021 .
  23. 1 2 أوستر، جيرالد؛ مولي، باسكال؛ أورسو، باسكال؛ إيمين، عبد الصمد (2006-11-07). "دوال تحويل علامات الحذف لضمان الاتساق في أنظمة التحرير التعاوني" . المؤتمر الدولي للحوسبة التعاونية 2006: الشبكات والتطبيقات ومشاركة العمل . الصفحات 1-10 . doi : 10.1109/COLCOM.2006.361867 . ISBN  1-4244-0428-2.
  24. ↑ صن، تشنغ تشنغ؛ سوسيتش، روك (1999). "القفل الأمثل المتكامل مع التحويل التشغيلي في محررات المجموعات الموزعة في الوقت الحقيقي". وقائع الندوة السنوية الثامنة عشرة لجمعية ACM حول مبادئ الحوسبة الموزعة . الصفحات 43-52 . doi : 10.1145/301308.301322 . ISBN  1-58113-099-6.
  25. ↑ بيغول، جيمس؛ روسون، ماري بيث؛ شافير، كليفورد أ. (1999). "شفافية التعاون المرن: دعم استقلالية العاملين في أنظمة مشاركة التطبيقات المتكررة" . معاملات ACM في التفاعل بين الإنسان والحاسوب . 6 (2): 95-132 . CiteSeerX 10.1.1.23.1185 . doi : 10.1145/319091.319096 . S2CID 17895848 .  
  26. ↑ لي، دو؛ لي، روي (2002). "المشاركة الشفافة والتشغيل البيني لتطبيقات المستخدم الواحد غير المتجانسة". وقائع مؤتمر ACM لعام 2002 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 246-255 . doi : 10.1145/587078.587113 . ISBN  1-58113-560-2.
  27. ↑ لي، دو؛ لو، جياجون (2006). "نهج مبسط للمشاركة الشفافة لمحررات المستخدم الواحد المألوفة". وقائع مؤتمر الذكرى السنوية العشرين لعام 2006 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 139-148 . doi : 10.1145/1180875.1180896 . ISBN  1-59593-249-6.
  28. 1 2 شين، هايفنغ؛ صن، تشنغ تشنغ (2002). "إشعار مرن للأنظمة التعاونية". وقائع مؤتمر ACM لعام 2002 حول العمل التعاوني المدعوم بالحاسوب . الصفحات 77-86 . doi : 10.1145/587078.587090 . ISBN  1-58113-560-2.
  29. ١ ٢ ٣ ٤ د. صن و ج. صن (٢٠٠٩). "التحويل التشغيلي القائم على السياق لأنظمة التحرير التعاوني الموزعة". معاملات IEEE للأنظمة المتوازية والموزعة . ٢٠ (١٠): ١٤٥٤-١٤٧٠ . Bibcode : 2009ITPDS..20.1454S . doi : 10.1109/TPDS.2008.240 . S2CID 18740053 . 
  30. ↑ أوستر، جيرالد؛ مولي، باسكال؛ أورسو، باسكال؛ إيمين، عبد الصمد (2006). "دوال تحويل علامات الحذف لضمان الاتساق في أنظمة التحرير التعاوني" (ملف PDF) . المؤتمر الدولي للحوسبة التعاونية 2006: الشبكات والتطبيقات ومشاركة العمل . الصفحات 1-10 . Bibcode : 2006colc.conf...38O . doi : 10.1109/COLCOM.2006.361867 . ISBN  1-4244-0428-2تم الاطلاع عليه بتاريخ 26-07-2007 .
  31. 1 2 ريسل، ماتياس؛ غونزنهاوزر، رول (1999). "الحد من مشاكل التراجع الجماعي". وقائع المؤتمر الدولي لجمعية ACM SIGGROUP حول دعم العمل الجماعي . الصفحات 131-139 . doi : 10.1145/320297.320312 . ISBN  1-58113-065-1.
  32. سليمان ، م.؛ كارت، م.؛ فيري، ج. (1998). "العمليات المتزامنة في بيئة تعاونية موزعة ومتنقلة". وقائع المؤتمر الدولي الرابع عشر لهندسة البيانات . ص 36-45 . doi : 10.1109/ICDE.1998.655755 . ISBN  0-8186-8289-2.
  33. ↑ روي لي؛ دو لي؛ تشنغ تشنغ صن (2004). "خوارزمية تحكم في الاتساق قائمة على الفاصل الزمني لتطبيقات برمجيات العمل الجماعي التفاعلية". وقائع المؤتمر الدولي العاشر حول الأنظمة المتوازية والموزعة، 2004. ICPADS 2004. الصفحات 429-436 . doi : 10.1109/ICPADS.2004.1316123 . ISBN  0-7695-2152-5.
  34. ↑ كارت، ميشيل؛ فيري، جان (2007). "التوفيق غير المتزامن القائم على التحويل التشغيلي لبيئات التعاون من نظير إلى نظير" (ملف PDF) . المؤتمر الدولي للحوسبة التعاونية 2007: الشبكات والتطبيقات ومشاركة العمل (CollaborateCom 2007) . الصفحات 127-138 . doi : 10.1109/COLCOM.2007.4553821 . ISBN  978-1-4244-1318-8تم الاطلاع عليه بتاريخ 26-07-2007 .
  35. ↑ غو، نينغ؛ يانغ، جيانغمينغ؛ تشانغ، تشيوي (2005). "صيانة الاتساق بناءً على تقنية الوسم والتتبع في أنظمة برمجيات العمل الجماعي". وقائع مؤتمر ACM SIGGROUP الدولي لعام 2005 حول دعم العمل الجماعي - GROUP '05 . ص 264. doi : 10.1145/1099203.1099250 . ISBN  1-59593-223-2.
  36. ↑ إيمين، عبد الصمد ومولي، باسكال وأوستر، جيرالد وأورسو، باسكال (2005). محررات جماعية في الوقت الحقيقي بدون تحويل تشغيلي . تقرير بحثي من INRIA رقم RR-5580. ص 24. {{cite conference}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  37. ↑ ستيفان فايس وباسكال أورسو وباسكال مولي (2010). "Logoot-Undo: نظام تحرير تعاوني موزع على شبكات الند للند". معاملات IEEE للأنظمة المتوازية والموزعة . 21 (8): 1162. Bibcode : 2010ITPDS..21.1162W . doi : 10.1109/TPDS.2009.173 . S2CID 14172605 . 
  38. ↑ غريشينكو، فيكتور (2010). "نص تشعبي عميق مع تحكم مضمن في المراجعات مُنفذ باستخدام التعابير النمطية". وقائع الندوة الدولية السادسة حول الويكي والتعاون المفتوح . الصفحات 1-10 . doi : 10.1145/1832772.1832777 . ISBN  978-1-4503-0056-8.
  39. ↑ لي، دو؛ لي، روي (2010). "إطار تحويل تشغيلي قائم على القبول لأنظمة التحرير التعاوني". العمل التعاوني المدعوم بالحاسوب . 19 (1): 1-43 . doi : 10.1007/s10606-009-9103-1 . S2CID 35748875 . 
  40. ↑ "ShareJS" . 2011-11-06. مؤرشف من الأصل في 2012-05-11 . تم الاسترجاع في 2013-08-16 .
  41. ↑ «أجل، هذا أنا! على أي حال، لم أعد أعتقد أن تلك الموجة ستستغرق عامين...» | هاكر نيوز . news.ycombinator.com . تم الاطلاع عليه بتاريخ 13 فبراير 2019 .
  42. ↑ نيل فريزر (يناير 2009). "التزامن التفاضلي" .

محادثات ذات صلة عبر الإنترنت