الاسم¶

execve - تنفيذ برنامج

المكتبة¶

مكتبة سي المعيارية (libc، -lc)

موجز¶

#include <unistd.h>

int execve(const char *path, char *const _Nullable argv[],
           char *const _Nullable envp[]);

الوصف¶

ينفذ execve() البرنامج المشار إليه بواسطة path. يتسبب هذا في استبدال البرنامج المُشغل حاليًا بواسطة العملية المستدعية ببرنامج جديد، مع مكدس، وكومة، وقطاعات بيانات (مهيأة وغير مهيأة) معاد تهيئتها.

يجب أن يكون path إما ملفًا ثنائيًا قابلًا للتنفيذ، أو نصًا برمجيًا يبدأ بسطر بالشكل:

[optional-arg]

للحصول على تفاصيل الحالة الأخيرة، راجع "النصوص البرمجية للمفسر" أدناه.

argv هو مصفوفة من المؤشرات إلى سلاسل تُمرر إلى البرنامج الجديد كوسائط سطر الأوامر الخاصة به. وفقًا للاتفاقية، يجب أن تحتوي أول هذه السلاسل (أي argv[0]) على اسم الملف المرتبط بالملف الذي يُنفذ. يجب إنهاء مصفوفة argv بمؤشر فارغ. (وبالتالي، في البرنامج الجديد، سيكون argv[argc] مؤشرًا فارغًا.)

envp هو مصفوفة من المؤشرات إلى سلاسل، تقليديًا بالشكل key=value، والتي تُمرر كبيئة للبرنامج الجديد. يجب إنهاء مصفوفة envp بمؤشر فارغ.

تصف صفحة الدليل هذه استدعاء نظام Linux بالتفصيل؛ للحصول على نظرة عامة على التسمية والعديد من المتغيرات الموحدة، التي غالبًا ما تكون مفضلة، لهذه الوظيفة التي توفرها libc، بما في ذلك تلك التي تبحث في متغير البيئة PATH، راجع exec(3).

يمكن الوصول إلى متجه الوسائط والبيئة بواسطة الدالة main للبرنامج الجديد، عندما تُعرف على النحو التالي:

int main(int argc, char *argv[], char *envp[])

لاحظ، مع ذلك، أن استخدام وسيطة ثالثة للدالة main غير محدد في POSIX.1؛ وفقًا لـ POSIX.1، يجب الوصول إلى البيئة عبر المتغير الخارجي environ(7).

لا يعيد execve() القيمة عند النجاح، ويُستبدل النص، والبيانات المهيأة، والبيانات غير المهيأة (bss)، والمكدس للعملية المستدعية وفقًا لمحتويات البرنامج المحمل حديثًا.

إذا كان البرنامج الحالي قيد التتبع (ptraced)، تُرسل إشارة SIGTRAP إليه بعد نجاح execve().

إذا عُيين بت set-user-ID على ملف البرنامج المشار إليه بواسطة path، فسيُغير معرف المستخدم الفعال للعملية المستدعية إلى معرف مالك ملف البرنامج. وبالمثل، إذا عُيين بت set-group-ID على ملف البرنامج، فسعُيين معرف المجموعة الفعال للعملية المستدعية إلى مجموعة ملف البرنامج.

لا تُجرى التحويلات المذكورة أعلاه للمعرفات الفعالة (أي تُجاهل بتات set-user-ID و set-group-ID) إذا كان أي مما يلي صحيحًا:

•

عُيين السمة no_new_privs للخيط المستدعي (راجع prctl(2));

•

نظام الملفات الأساسي موصول (mounted) بـ nosuid (علامة MS_NOSUID لـ mount(2)); أو

•

العملية المستدعية قيد التتبع (ptraced).

تُتجاهل أيضًا قدرات ملف البرنامج (راجع capabilities(7)) إذا كان أي مما سبق صحيحًا.

يُنسخ معرف المستخدم الفعال للعملية إلى set-user-ID المحفوظ؛ وبالمثل، يُنسخ معرف المجموعة الفعال إلى set-group-ID المحفوظ. يحدث هذا النسخ بعد أي تغييرات في المعرف الفعال تحدث بسبب بتات الوضع set-user-ID و set-group-ID.

لا تتغير معرفات UID الحقيقية و GID الحقيقية للعملية، بالإضافة إلى معرفات مجموعاتها الإضافية، باستدعاء execve().

إذا كان الملف القابل للتنفيذ هو ملف ثنائي a.out مرتبط ديناميكيًا يحتوي على كعب مكتبات مشتركة، يُستدعى الرابط الديناميكي للينكس ld.so(8) في بداية التنفيذ لإحضار الكائنات المشتركة المطلوبة إلى الذاكرة وربط الملف القابل للتنفيذ بها.

إذا كان الملف القابل للتنفيذ هو ملف ELF مرتبط ديناميكيًا، يُستخدم المفسر المسمى في مقطع PT_INTERP لتحميل الكائنات المشتركة المطلوبة. هذا المفسر هو عادةً /lib/ld-linux.so.2 للملفات الثنائية المرتبطة بـ glibc (راجع ld-linux.so(8)).

قيمة الإرجاع¶

عند النجاح، لا ترجع execve() أي قيمة، وعند الخطأ تُرجع -1، ويُضبط errno للإشارة إلى الخطأ.

الأخطاء¶

E2BIG

إجمالي عدد البايتات في البيئة (envp) وقائمة الوسائط (argv) كبير جدًا، أو وسيط أو سلسلة بيئة طويلة جدًا، أو المسار الكامل path للملف القابل للتنفيذ طويل جدًا. يُحتسب البايت الصفري الختامي كجزء من طول السلسلة.

EACCES

يُرفض إذن البحث على مكون من بادئة المسار لـ path أو اسم مفسر النص البرمجي. (انظر أيضًا path_resolution(7).)

EACCES

الملف أو مفسر النص البرمجي ليس ملفًا عاديًا.

EACCES

يُرفض إذن التنفيذ للملف أو النص البرمجي أو مفسر ELF.

EACCES

نظام الملفات موصول بخيار noexec.

EAGAIN (منذ لينكس 3.1)

بعد تغيير UID الحقيقي باستخدام إحدى استدعاءات set*uid()، كان المتصل—ولا يزال—فوق حد موارده RLIMIT_NPROC (انظر setrlimit(2)). للحصول على شرح أكثر تفصيلاً لهذا الخطأ، انظر الملاحظات.

EFAULT

يشير path أو أحد المؤشرات في المتجهات argv أو envp إلى خارج مساحة العنوان القابلة للوصول.

EINVAL

يحتوي ملف ELF قابل للتنفيذ على أكثر من مقطع PT_INTERP واحد (أي حاول تسمية أكثر من مفسر واحد).

EIO

حدث خطأ إدخال/إخراج.

EISDIR

كان مفسر ELF دليلاً.

ELIBBAD

لم يكن مفسر ELF بتنسيق معروف.

ELOOP

تمت مصادفة عدد كبير جدًا من الروابط الرمزية أثناء حل path أو اسم نص برمجي أو مفسر ELF.

ELOOP

وصلَ إلى حد التكرار الأقصى أثناء تفسير النص البرمجي التكراري (انظر "النصوص البرمجية المفسرة"، أعلاه). قبل لينكس 3.8، كان الخطأ الناتج لهذه الحالة هو ENOEXEC.

EMFILE

وُصل إلى الحد الأقصى لواصفات الملفات المفتوحة لكل عملية.

ENAMETOOLONG

المسار path طويل جداً.

ENFILE

وُصل إلى الحد الأقصى لإجمالي عدد الملفات المفتوحة على مستوى النظام.

ENOENT

path أو نص برمجي أو مفسر ELF غير موجود.

ENOEXEC

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

ENOMEM

ذاكرة النواة المتوفرة غير كافية.

ENOTDIR

مكون من بادئة المسار لـ path أو نص برمجي أو مفسر ELF ليس دليلاً.

EPERM

نظام الملفات موصول بخيار nosuid، والمستخدم ليس المستخدم الفائق، والملف يحتوي على بت set-user-ID أو set-group-ID مضبوطًا.

EPERM

العملية قيد التتبع، والمستخدم ليس المستخدم الفائق، والملف يحتوي على بت set-user-ID أو set-group-ID مضبوطًا.

EPERM

تطبيقات "capability-dumb" لن تحصل على المجموعة الكاملة من الصلاحيات المسموح بها الممنوحة بواسطة الملف القابل للتنفيذ. انظر capabilities(7).

ETXTBSY

الملف القابل للتنفيذ المحدد كان مفتوحًا للكتابة بواسطة عملية واحدة أو أكثر.

الإصدارات¶

لا يوثق POSIX سلوك #!، لكنه موجود (مع بعض الاختلافات) على أنظمة UNIX الأخرى.

على لينكس، يمكن تحديد argv و envp كـ NULL. في كلتا الحالتين، هذا له نفس تأثير تحديد الوسيطة كمؤشر لقائمة تحتوي على مؤشر صفري واحد. لا تستغل هذه الميزة غير القياسية وغير القابلة للنقل! على العديد من أنظمة UNIX الأخرى، سيؤدي تحديد argv كـ NULL إلى خطأ (EFAULT). تعالج بعض أنظمة UNIX الأخرى حالة envp==NULL مثل لينكس.

ينص POSIX.1 على أن القيم التي ترجعها sysconf(3) يجب أن تكون ثابتة طوال عمر العملية. ومع ذلك، منذ لينكس 2.6.23، إذا تغير حد المورد RLIMIT_STACK، فإن القيمة المبلغ عنها بواسطة _SC_ARG_MAX ستتغير أيضًا، لتعكس حقيقة أن الحد الأقصى للمساحة لحفظ وسائط سطر الأوامر ومتغيرات البيئة قد تغير.

المعايير¶

POSIX.1-2024.

التاريخ¶

4.3BSD، SVr4، POSIX.1-1988.

مع UNIX V6، كانت قائمة وسائط استدعاء exec() تنتهي بـ 0، بينما كانت قائمة وسائط main تنتهي بـ -1. وبالتالي، لم تكن قائمة الوسائط هذه قابلة للاستخدام مباشرة في استدعاء exec() آخر. منذ UNIX V7، كلاهما NULL.

ملاحظات¶

يرى المرء أحيانًا execve() (والدوال ذات الصلة الموصوفة في exec(3)) موصوفة بأنها "تنفذ عملية جديدة" (أو ما شابه). هذا وصف مضلل للغاية: لا توجد عملية جديدة؛ تظل العديد من سمات العملية المستدعية دون تغيير (على وجه الخصوص، PID الخاص بها). كل ما تفعله execve() هو ترتيب لعملية موجودة (العملية المستدعية) لتنفيذ برنامج جديد.

لا يمكن تتبع العمليات ذات set-user-ID و set-group-ID باستخدام ptrace(2).

تختلف نتيجة وصل نظام ملفات nosuid عبر إصدارات نواة لينكس: بعضها سيرفض تنفيذ البرامج القابلة للتنفيذ ذات معرف المستخدم المحدد ومعرف المجموعة المحدد عندما يمنح ذلك المستخدم صلاحيات لم تكن لديه مسبقًا (وتعيد EPERM)، وبعضها سيتجاهل بتات معرف المستخدم المحدد ومعرف المجموعة المحدد وينفذ exec() بنجاح.

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

أمثلة¶

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

/* myecho.c */
#include <stdio.h>
#include <stdlib.h>
int
main(int argc, char *argv[])
{


    for (size_t j = 0; j < argc; j++)


        printf("argv[%zu]: %s\n", j, argv[j]);


    exit(EXIT_SUCCESS);
}

يمكن استخدام هذا البرنامج لتنفيذ البرنامج المسمى في وسيطة سطر الأوامر الخاصة به:

/* execve.c */
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int
main(int argc, char *argv[])
{


    static char *newargv[] = { NULL, "hello", "world", NULL };


    static char *newenviron[] = { NULL };


    if (argc != 2) {


        fprintf(stderr, "Usage: %s <file-to-exec>\n", argv[0]);


        exit(EXIT_FAILURE);


    }


    newargv[0] = argv[1];


    execve(argv[1], newargv, newenviron);


    perror("execve");   /* execve() returns only on error */


    exit(EXIT_FAILURE);
}

يمكننا استخدام البرنامج الثاني لتنفيذ الأول كما يلي:

$ cc myecho.c -o myecho
$ cc execve.c -o execve
$ ./execve ./myecho
argv[0]: ./myecho
argv[1]: hello
argv[2]: world

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

$ cat > script
#!./myecho script-arg
^D
$ chmod +x script

يمكننا بعد ذلك استخدام برنامجنا لتنفيذ النص البرمجي:

$ ./execve ./script
argv[0]: ./myecho
argv[1]: script-arg
argv[2]: ./script
argv[3]: hello
argv[4]: world

انظر أيضًا¶

chmod(2), execveat(2), fork(2), get_robust_list(2), ptrace(2), exec(3), fexecve(3), getauxval(3), getopt(3), system(3), capabilities(7), credentials(7), environ(7), path_resolution(7), ld.so(8)

ترجمة¶

تُرجمت هذه الصفحة من الدليل بواسطة زايد السعيدي <zayed.alsaidi@gmail.com>

هذه الترجمة هي وثيقة مجانية؛ راجع رخصة جنو العامة الإصدار 3 أو ما بعده للاطلاع على شروط حقوق النشر. لا توجد أي ضمانات.

إذا وجدت أي أخطاء في ترجمة صفحة الدليل هذه، يرجى إرسال بريد إلكتروني إلى قائمة بريد المترجمين: kde-l10n-ar@kde.org.