كيف تعمل أجهزة الكمبيوتر: فاينمان وموظف الأرشفة فائق السرعة

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

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

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

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

يمكن للآلة أن تتبع تعليماتها على نحو كامل، ومع ذلك تفعل شيئاً خطيراً. فهم ذلك أحد الأسس التي سنواصل الاعتماد عليها.

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

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

ابدأ بموظف وبعض الأدراج

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

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

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

مسار العمل داخل البرنامج مخزن أيضاً

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

بعد التعليمة 101، قد تكون القاعدة المعتادة هي الانتقال إلى 102، ثم 103، ثم 104. لكن تعليمة ما قد تقول أيضاً: لا تتابع إلى البطاقة التالية؛ اذهب بدلاً من ذلك إلى التعليمة 250. هذه قفزة. وتضيف القفزة الشرطية اختباراً: إذا كانت هذه القيمة صفراً، فاذهب إلى 250؛ وإلا فتابع إلى 102.

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

يستحق هذا أن نتوقف عنده لأنه يختزل قدراً كبيراً من مصطلحات الكمبيوتر إلى مسك دفاتر عادي. تدفق التحكم في الآلة هو نفسه حالة. إجابة سؤال «ماذا يحدث بعد ذلك؟» ممثلة في مكان ما، ويمكن للتعليمات أن تغير تلك الإجابة.

المؤشر مجرد موقع مكتوب

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

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

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

تعليمات بسيطة، سلوك هائل

اقرأ درجاً. اكتب في درج. اجمع قيمتين. قارنهما. استخدم قيمة كموقع لقيمة أخرى. غيّر أي تعليمة تأتي بعد ذلك. كرر. لا تبدو هذه أفعالاً مثيرة للإعجاب إذا أخذنا كل واحدة منها منفردة.

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

وهنا تكمن براعة الشرح. فهو لا يجعل أجهزة الكمبيوتر تبدو تافهة. بل يجعل قوتها أكثر إثارة للإعجاب لأن تلك القوة مبنية من مكونات شديدة البساطة.

حين يبدأ الموظف في الظهور بمظهر الذكاء

يدفع فاينمان نموذج موظف الأرشفة في النهاية نحو سؤال أصعب: هل تستطيع الآلة أن تفكر؟ في صياغته، ليست الصعوبة أن الكمبيوتر لا يمكنه أبداً تنفيذ إجراء للتفكير. بل إن التفكير البشري لا يأتي مع إجراء معروف ومحدد تماماً يمكننا ببساطة تسليمه إلى الموظف.

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

«إنها تجري الحساب أفضل من أي أحد، وبسرعة أكبر بكثير، وبطريقة مختلفة. … ولن نغير أبداً طريقة إجرائها للحساب لكي تبدو كطريقة البشر، لأن ذلك سيكون رجوعاً إلى الوراء. فالحساب حين يجريه البشر بطيء ومرهق ومربك ومليء بالأخطاء.»

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

وهذا يمهد للسؤال الأصعب. إذا لم تكن الآلة مضطرة إلى إجراء الحساب بالطريقة البشرية، فهل يجب أن ينتج السلوك الذكي بالطريق البشري أيضاً؟

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

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

يصوغ فاينمان الفرق بوضوح جميل: «لا نستطيع أن نجعله يلعب كما يلعب الإنسان، لكننا نستطيع أن نجعله يلعب أفضل من جميع البشر تقريباً». (التأكيد منّا)

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

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

يمتد الجزء الأخير من المحاضرة إلى مساحة أوسع بكثير من هذا المقال في موضوع الآلات المفكرة والذكاء والأساليب الاسترشادية وحدودها. ومع ذلك، تستحق جملة فاينمان الختامية أن تبقى رغم هذا التضييق: «أعتقد أننا نقترب من الآلات الذكية، لكنها تُظهر مواطن الضعف الملازمة للذكاء.»

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

الموظف حرفي

لكن لهذا الذكاء نفسه حافة حادة: فالموظف الكامن تحته ما زال حرفياً. يتبع الموظف الإجراء الموجود فعلياً، مستخدماً الحالة الموجودة فعلياً. ولا يصحح نيتنا من تلقاء نفسه.

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

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

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

هنا تبدأ الهندسة في أن تصبح مثيرة

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

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

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

وهنا يدخل الأمن

يمكن لخلل عادي أن يربك الموظف عن طريق الخطأ. وتصبح مشكلة أمنية ممكنة عندما يستطيع شخص ما التأثير عمداً في الحالة أو التعليمات بطريقة تدفع الآلة نحو نتيجة مفيدة.

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

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

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

نموذج نتوقع أن نعيد استخدامه

نتوقع أن يصبح موظف الأرشفة لغة متكررة في كتابات XMAKYNA لأنه يجعل الأفكار الصعبة قابلة للفهم من دون أن يجعلها طفولية. يصبح المؤشر موقعاً مكتوباً. وتصبح القفزة تغييراً في ملاحظة «التعليمة التالية». ويصبح عداد البرنامج علامة مكان الموظف. وتصبح الذاكرة أدراجاً. ويصبح التنفيذ سلسلة من العمليات الصغيرة على تلك الأدراج.

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

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

ولهذا فهذه المحاضرة أكثر من مجرد شرح قديم لطيف لأجهزة الكمبيوتر. إنها تمنحنا طريقة متينة للتفكير.

بيانات المحاضرة وملاحظة التسمية

المتحدث: Richard P. Feynman. يُظهر التسجيل المرتبط نفسه التاريخ 26 سبتمبر 1985، ويحدد المكان بأنه ورشة Idiosyncratic Thinking في Esalen Institute، بيغ سور، كاليفورنيا.

تداولت المحاضرة تحت عناوين مختلفة، كما تؤرخ بعض المراجع المنشورة مواد مرتبطة بإيسالن على نحو مختلف. يحمل التسجيل المرتبط عنوان Hardware, Software and Heuristics؛ كما يظهر عنوانا Computers From the Inside Out وThe Feynman Lecture on Heuristics في مواضع أخرى. هنا نشير إلى المحاضرة باسم Computers From the Inside Out.

شاهد المحاضرة: Richard Feynman, Computers From the Inside Out (YouTube).

الخلاصة

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

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