प्रक्रिया निर्माण पर लिनक्स प्रक्रिया कर्नेल स्टैक स्थिति क्या है?

Question

मुझे यह जानकारी कहीं भी नहीं मिल रही है। जहां भी मैं देखता हूं, मुझे चीजें मिलती हैं कि जब आप "मुख्य" (जो भी आपका प्रवेश बिंदु है) मारा जाता है, जो कार्यक्रम तर्क और पर्यावरण होगा, लेकिन जो मैं ढूंढ रहा हूं वह यह है कि सिस्टम कैसे स्थापित होता है switch_to मैक्रो के साथ सहयोग करने के लिए ढेर। पहली बार कार्य को स्विच करने के लिए, इसे EFLAGS, EBP, जीसीसी द्वारा सहेजे गए रजिस्टरों और "tsk-> thread-> esp" द्वारा इंगित स्टैक पर शेड्यूल() फ़ंक्शन से वापसी पता होना आवश्यक होगा, लेकिन मैं यह नहीं समझ सकता कि कर्नेल इस ढेर को कैसे सेट करता है, क्योंकि यह सामान्य उद्देश्यों के रजिस्टरों को सहेजने देता है (इनलाइन असेंबली के आउटपुट पैरामीटर का उपयोग करके)।

मैं केवल x86 पीसी का जिक्र कर रहा हूं। मैं अपने छोटे कर्नेल के लिए लिनक्स शेड्यूलर/प्रोसेस सिस्टम का शोध कर रहा हूं, मैं लिखने की कोशिश कर रहा हूं (और कोशिश कर रहा हूं), और मैं जो खो रहा हूं उसके चारों ओर अपना सिर नहीं ले सकता। मुझे पता है कि इस तथ्य से मुझे कुछ याद आ रहा है कि मेरे कंप्यूटर पर स्लेकवेयर चल रहा है इस तथ्य का एक प्रमाण है कि शेड्यूलर काम करता है: पी

संपादित करें: ऐसा लगता है कि मैंने इसे बुरी तरह से लिखा है। मैं इस बात की जानकारी देख रहा हूं कि कार्य कर्नेल स्टैक सेटअप नहीं है कि कैसे कार्य उपयोगकर्ता कार्य सेटअप है। अधिक विशेष रूप से, स्टैक जो tsk-> thread-> esp इंगित करता है, और वह "switch_to" स्विच करता है।

Answer 1

एक नई प्रक्रिया के लिए प्रारंभिक कर्नेल स्टैक copy_thread() में सेट है, जो एक आर्क-विशिष्ट फ़ंक्शन है। x86 संस्करण, उदाहरण के लिए, इस तरह से शुरू होती है:

int copy_thread(unsigned long clone_flags, unsigned long sp, 
unsigned long unused, 
struct task_struct *p, struct pt_regs *regs) 
{ 
    struct pt_regs *childregs; 
    struct task_struct *tsk; 
    int err; 

    childregs = task_pt_regs(p); 
    *childregs = *regs; 
    childregs->ax = 0; 
    childregs->sp = sp; 

    p->thread.sp = (unsigned long) childregs; 
    p->thread.sp0 = (unsigned long) (childregs+1); 

    p->thread.ip = (unsigned long) ret_from_fork; 

p->thread.sp और p->thread.ip नया थ्रेड के कर्नेल ढेर सूचक और अनुदेश सूचक क्रमशः रहे हैं।

ध्यान दें कि यह वहाँ नहीं जगह किसी सहेजे गए %eflags, %ebp आदि करता है, क्योंकि जब निष्पादन की एक नव निर्मित धागे पहले स्विच किया गया है, यह (ret_from_fork पर क्रियान्वित इस जहां एक नया के लिए करने के लिए __switch_to() रिटर्न है बाहर शुरू होता है धागा), जिसका अर्थ है कि यह switch_to() दिनचर्या के दूसरे भाग को निष्पादित नहीं करता है।

Answer 2

प्रक्रिया निर्माण पर ढेर की स्थिति X86-64 SVR4 ABI पूरक (AMD64, यानी x86-64 64 बिट मशीनों के लिए) में वर्णित है। 32 बिट्स इंटेल प्रोसेसर के बराबर शायद ABI i386 है। मैं दृढ़ता से Assembly HOWTO पढ़ने की भी अनुशंसा करता हूं। और निश्चित रूप से, आपको शायद प्रासंगिक लिनक्स कर्नेल फ़ाइल को पढ़ना चाहिए। है, जो की स्थापना की है कि गिरी बस libc स्टार्टअप कोड को नियंत्रण स्थानांतरित करने से पहले प्रदर्शन का वर्णन "एक लिनक्स/i386 ELF द्विआधारी की स्टार्टअप राज्य":

Answer 3

गूगल के लिए "लिनक्स ढेर लेआउट प्रक्रिया स्टार्टअप" this लिंक देता है।