لغة برمجة منخفضة المستوى

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

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

نادراً ما يبرمج المبرمجون مباشرة بلغة الآلة؛ بدلاً من ذلك، يستخدمون لغة التجميع أو لغة برمجة عالية المستوى مثل C و C++ و C# وما إلى ذلك. ^{[ 3 ]} على الرغم من أن القليل من البرامج مكتوبة بلغات الآلة، إلا أن بعض المبرمجين يتعلمون قراءتها من خلال الخبرة في التعامل مع تفريغات الذاكرة الأساسية وتصحيح الأخطاء.

لغة التجميع ، المصنفة كلغة برمجة من الجيل الثاني ، ^{[ 1 ] [ 2 ]} توفر مستوىً من التجريد فوق لغة الآلة. البرنامج المكتوب بلغة التجميع غير قابل للنقل ، لأنه مكتوب ومُحسَّن لبنية معينة. ^{[ 3 ] [ 4 ] [ 5 ] [ 6 ]}

لغة التجميع تفتقر إلى الدلالات والمواصفات الرسمية، فهي مجرد ربط بين الرموز المقروءة بشريًا، بما في ذلك العناوين الرمزية، ورموز العمليات ، والعناوين ، والثوابت العددية، والسلاسل النصية، وما إلى ذلك. عادةً، تُمثَّل كل تعليمة من تعليمات الآلة بسطر واحد من كود التجميع، يُسمى عادةً رمزًا تذكيريًا . ^{[ 7 ]} تُنتج مُجمِّعات التجميع ملفات كائنية يمكن ربطها بملفات كائنية أخرى أو تحميلها بشكل مستقل. توفر معظم مُجمِّعات التجميع وحدات ماكرو لإنشاء تسلسلات شائعة من التعليمات.

في الأيام الأولى للبرمجة على أجهزة الكمبيوتر مثل TX-0 و PDP-1 ، كان أول ما فعله مخترقو معهد ماساتشوستس للتكنولوجيا هو كتابة برامج التجميع. ^{[ 8 ]}

تم تطوير العديد من اللغات التي يشار إليها باسم اللغات الموجهة نحو الآلة ، أو اللغات متوسطة المستوى ، أو اللغات النصفية ، أو اللغات الربعية ^{[ 9 ]} مثل:

• MOL940 لـ SDS 940 ؛ ^{[ 10 ]}
• MOL-360 و PL360 و PL/S لخط IBM System/360 وخلفائه؛
• ESPOL و NEWP لأنظمة بوروز الكبيرة ؛
• PL-11 لسلسلة PDP-11 ؛
• PL516 لجهاز DDP-516 ؛ ^{[ 11 ]}
• PS440 لجهاز Telefunken TR 440. ^{[ 12 ]}

The C programming language, a third-generation programming language,^[1][2] is sometimes classified as high or low depending on what one means by high versus low level.^[13] The syntax of C is inherently higher level than that of an assembly language since an assembly language is syntactically platform-dependent whereas the C syntax is platform-independent. C does support low-level programming – directly accessing computer hardware – but other languages, sometimes considered higher-level than C, can also access hardware directly. With C, developers might need to handle relatively low-level aspects that other languages abstract (provide higher-level support for), such as memory management and pointer arithmetic. But C can encode abstractions that hide details such as hardware access, memory management and pointer arithmetic such that at least part of a C codebase might be as conceptually high-level as if constructed in any other language. Whether C is classified as high or low level language is contended, but it is higher level than assembly languages (especially syntactically) and is lower level than many other languages in some aspects.

Although C is not architecture independent, it can be used to write code that is cross-platform even though doing so can be technically challenging. An aspect of C that facilitates cross-platform development is the C standard library that provides “an interface to system-dependent objects that is itself relatively system independent”.^[14]

The following is x86-64 machine code for an algorithm to calculate the nth Fibonacci number, with values in hexadecimal representation and each line corresponding to one instruction:

89 f8 85 ff 74 26 83 ff 02 76 1c 89 f9 ba 01 00 00 00 be 01 00 00 00 8d 04 16 83 f9 02 74 0d 89 d6 ff c9 89 c2 eb f0 b8 01 00 00 c3 

فيما يلي نفس الخوارزمية مكتوبة بلغة التجميع x86-64 باستخدام صيغة Intel . يتم تسمية سجلات معالج x86-64 ومعالجتها مباشرةً. تقوم الدالة بتحميل وسيطها ذي 64 بت من السجل rdiوفقًا لواجهة System V الثنائية للتطبيقات x86-64، وتُجري حساباتها بمعالجة القيم في السجلات raxو rcxو rsiو rdiحتى تنتهي وتُعيد القيمة. لاحظ أنه في لغة التجميع هذه، لا يوجد مفهوم لإرجاع قيمة. بعد تخزين النتيجة في السجل rax، وفقًا لواجهة System V الثنائية للتطبيقات، retتقوم التعليمة ببساطة بإزالة العنصر العلوي ذي 64 بت من المكدس ، مما يؤدي إلى جلب التعليمة التالية من ذلك الموقع (عادةً ما تكون هذه التعليمة هي التعليمة التي تلي مباشرةً التعليمة التي استدعت هذه الدالة)، مع تخزين نتيجة الدالة في السجل rax. لا تفرض لغة التجميع x86-64 أي معيار لتمرير القيم إلى دالة أو إرجاع القيم منها (وفي الواقع، ليس لديها مفهوم للدالة). يتم تعريفها بواسطة واجهة ثنائية للتطبيق (ABI)، مثل واجهة System V ABI لمجموعة تعليمات معينة.

fib: mov rax , rdi ; يتم تخزين الوسيط في rdi، ضعه في rax test rdi , rdi ; هل الوسيط صفر؟ je.return_from_fib ; نعم - أرجع 0 ، وهو موجود بالفعل في rax cmp rdi , 2 ; لا - قارن الوسيط بـ 2 jbe.return_1_from_fib ; إذا كان أقل من أو يساوي 2، أرجع 1 mov rcx , rdi ; وإلا، ضعه في rcx، لاستخدامه كعداد mov rdx , 1 ; يبدأ الرقم السابق الأول بـ 1، ضعه في rdx mov rsi , 1 ; يبدأ الرقم السابق الثاني أيضًا بـ 1، ضعه في rsi .fib_loop: lea rax , [ rsi + rdx ] ; ضع مجموع العددين السابقين في rax cmp rcx , 2 ; هل العداد يساوي 2؟ je .return_from_fib ; نعم - يحتوي rax على النتيجة mov rsi , rdx ; لا - اجعل العدد السابق الأول هو العدد السابق الثاني dec rcx ; إنقاص العداد mov rdx , rax ; اجعل العدد الحالي هو العدد السابق الأول jmp .fib_loop ; استمر .return_1_from_fib: mov rax , 1 ; اضبط قيمة الإرجاع على 1 .return_from_fib: ret ; إرجاع

فيما يلي نفس الخوارزمية مرة أخرى، ولكن بلغة C. وهي مشابهة في بنيتها لمثال التجميع، ولكن هناك اختلافات كبيرة في التجريد:

• المدخل (المعامل n) هو تجريد لا يُحدد أي موقع تخزين على الجهاز. عمليًا، يتبع مُترجم لغة C أحد اصطلاحات الاستدعاء العديدة الممكنة لتحديد موقع تخزين المدخل.
• المتغيرات المحلية f_nminus2هي تجريدات لا تحدد أي موقع تخزين محدد على الجهاز. يحدد مُصرّف لغة C كيفية تخزينها فعليًا وفقًا لبنية الجهاز المستهدف f_nminus1.f_n
• تحدد دالة الإرجاع القيمة المراد إرجاعها، لكنها لا تُملي كيفية إرجاعها. يُنفذ مُترجم لغة C لأي بنية معمارية مُحددة آلية قياسية لإرجاع القيمة. عادةً (ولكن ليس دائمًا) ما تستخدم مُترجمات بنية x86-64 المُسجل لإرجاع القيمة، كما هو الحال في مثال لغة التجميع ( اختارrax مُؤلف مثال لغة التجميع استخدام واجهة System V الثنائية للتطبيقات الخاصة بـ x86-64، لكن لغة التجميع لا تتطلب ذلك).

هذه التجريدات تجعل كود C قابلاً للترجمة دون تعديل لأي بنية مدعومة بواسطة مترجم C؛ في حين أن كود التجميع أعلاه يعمل فقط على المعالجات التي تستخدم بنية x86-64.

دالة ` fib` ( عدد صحيح غير مُوقّع n ) { إذا لم يكن n صحيحًا ، فأرجع 0 ؛ } وإلا إذا كان n أقل من أو يساوي 2 ، فأرجع 1 ؛ } وإلا { عدد صحيح غير مُوقّع f_nminus2 ، f_nminus1 ، f_n ؛ من أجل ( f_nminus2 = f_nminus1 = 1 ، f_n = 0 ؛ -- n ) { f_n = f_nminus2 + f_nminus1 ؛ إذا كان n أقل من أو يساوي 2 ، فأرجع f_n ؛ } f_nminus2 = f_nminus1 ؛ f_nminus1 = f_n ؛ } } }

تستطيع بعض لغات البرمجة عالية المستوى ، مثل PL/S و BLISS و BCPL و ALGOL الموسعة و NEWP ولغة C، الوصول إلى لغات البرمجة منخفضة المستوى. إحدى طرق القيام بذلك هي التجميع المضمن ، حيث يُدمج كود التجميع في كود لغة البرمجة عالية المستوى. كما تسمح بعض هذه اللغات بتوجيهات تحسين المُصرّف المعتمدة على بنية المعالج لتعديل طريقة استخدام المُصرّف لبنية المعالج المستهدف.

توضح كتلة كود C التالية من مُترجم GNU C (GCC) ميزة التجميع المضمنة. ^{[ 15 ]}

int src = 1 ; int dst ;asm ( "mov %1, %0 \n\t " "add $1, %0" : "=r" ( dst ) : "r" ( src ));printf ( "%d \n " , dst );

• جيركوف، إيغور (2017). البرمجة منخفضة المستوى: لغة سي، ولغة التجميع، وتنفيذ البرامج على معمارية إنتل 64. كاليفورنيا: أبريس. ISBN 978-1-4842-2402-1.