क्यों GDB लाइनों और प्रिंट चर के बीच अप्रत्याशित रूप से कूदता है "के रूप में मूल्य <> बाहर अनुकूलित?"

Question 1

क्या कोई जीडीबी के इस व्यवहार की व्याख्या कर सकता है?

900         memset(&new_ckpt_info,'\0',sizeof(CKPT_INFO));
(gdb)
**903         prev_offset   = cp_node->offset;**
(gdb)
**905         m_CPND_CKPTINFO_READ(ckpt_info,(char *)cb->shm_addr.ckpt_addr+sizeof(CKPT_** HDR),i_offset);
(gdb)
**903         prev_offset   = cp_node->offset;**
(gdb)
**905         m_CPND_CKPTINFO_READ(ckpt_info,(char *)cb->shm_addr.ckpt_addr+sizeof(CKPT_ HDR),i_offset);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
913         found = cpnd_find_exact_ckptinfo(cb , &ckpt_info , bitmap_offset , &offset , &prev_offset);
(gdb)
916         if(!found)
(gdb) p found
$1 = <value optimized out>
(gdb) set found=0
Left operand of assignment is not an lvalue.

लाइन 903 को निष्पादित करने के बाद फिर से 905 908 910 के लिए इसे क्यों निष्पादित किया जाता है?

एक और चीज foundएक bool-टाइप वेरिएबल है, तो यह क्यों दिख रहा है value optimized out? मैं इसका मान भी सेट नहीं कर पा रहा हूं found।

यह एक कंपाइलर ऑप्टिमाइज़ेशन लगता है (इस मामले में इसके -O2); मैं अभी भी का मूल्य कैसे निर्धारित कर सकता हूं found?

Question 2

अनुकूलित कोड डिबग करने के लिए, विधानसभा / मशीन भाषा सीखें।

GDB TUI मोड का उपयोग करें। GDB की मेरी प्रतिलिपि इसे तब सक्षम करती है जब मैं ऋण दर्ज करता हूं और दर्ज करता हूं। फिर Cx 2 टाइप करें (जो कि नियंत्रण और X दबाकर रखें, दोनों को छोड़ें और फिर 2 दबाएं)। वह इसे स्प्लिट सोर्स और डिसएस्पॉज़ डिस्प्ले में डाल देगा। फिर एक समय में एक मशीन निर्देश का उपयोग करने stepiऔर nextiस्थानांतरित करने के लिए। TUI विंडो के बीच स्विच करने के लिए Cx o का उपयोग करें।

अपने सीपीयू की मशीन भाषा और फ़ंक्शन कॉलिंग सम्मेलनों के बारे में एक पीडीएफ डाउनलोड करें। आप फ़ंक्शन तर्कों और वापसी मूल्यों के साथ क्या किया जा रहा है, इसे पहचानना जल्दी सीखेंगे।

आप जैसे GDB कमांड का उपयोग करके किसी रजिस्टर का मान प्रदर्शित कर सकते हैं p $eax

Question 3

अनुकूलन के बिना पुनरावर्ती (जीसीसी पर -0)।

Question 4

घोषणा "अस्थिर" के रूप में मिली । यह संकलक को यह बताना चाहिए कि इसका अनुकूलन न करें।

volatile int found = 0;

Question 5

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

अनुकूलन के बिना संकलन?

Question 6

आमतौर पर, बूलियन मान जो शाखाओं में उपयोग किए जाते हैं, वे इस तरह की गणना के तुरंत बाद वैरिएबल में कभी संग्रहीत नहीं होते हैं। इसके बजाय, कंपाइलर सीधे उन शर्त कोडों को सीधे शाखा देता है जो पूर्ववर्ती तुलना से निर्धारित किए गए थे। उदाहरण के लिए,

int a = SomeFunction();
bool result = --a >= 0; // use subtraction as example computation
if ( result ) 
{
   foo(); 
}
else
{
   bar();
}
return;

आमतौर पर कुछ इस तरह के संकलन:

call .SomeFunction  ; calls to SomeFunction(), which stores its return value in eax
sub eax, 1 ; subtract 1 from eax and store in eax, set S (sign) flag if result is negative
jl ELSEBLOCK ; GOTO label "ELSEBLOCK" if S flag is set
call .foo ; this is the "if" black, call foo()
j FINISH ; GOTO FINISH; skip over the "else" block
ELSEBLOCK: ; label this location to the assembler
call .bar
FINISH: ; both paths end up here
ret ; return

ध्यान दें कि "बूल" वास्तव में कहीं भी संग्रहीत नहीं है।

Question 7

आप बहुत अधिक पाया का मूल्य निर्धारित नहीं कर सकते। डिबगिंग अनुकूलित प्रोग्राम शायद ही कभी परेशानी के लायक होते हैं, कंपाइलर कोड को उन तरीकों से पुनर्व्यवस्थित कर सकता है, जो किसी भी तरह से स्रोत कोड (समान परिणाम उत्पन्न करने के अलावा) के अनुरूप नहीं होंगे, इस प्रकार डिबगर्स को कोई अंत नहीं होने देता।

Question 8

जब डिबगिंग ऑप्टिमाइज़्ड प्रोग्राम (जो आवश्यक हो सकता है यदि बग डिबग बिल्ड में दिखाई नहीं देता है), तो आपको अक्सर असेंबली कंपाइलर को समझना होगा।

आपके विशेष मामले में, वापसी मूल्य cpnd_find_exact_ckptinfoको रजिस्टर में संग्रहीत किया जाएगा जो आपके प्लेटफॉर्म पर रिटर्न वैल्यू के लिए उपयोग किया जाता है। पर ix86, यह होगा %eax। पर x86_64:, %raxआदि यदि आप उपरोक्त में से कोई नहीं हैं, तो आपको [[आपके प्रोसेसर] प्रक्रिया कॉलिंग कन्वेंशन ’के लिए Google की आवश्यकता हो सकती है।

आप उस रजिस्टर की जांच GDBकर सकते हैं और उसे सेट कर सकते हैं। जैसे ix86:

(gdb) p $eax
(gdb) set $eax = 0

Question 9

Gdb के साथ QtCreator का उपयोग कर Im।

जोड़ा जा रहा है

QMAKE_CXXFLAGS += -O0
QMAKE_CXXFLAGS -= -O1
QMAKE_CXXFLAGS -= -O2
QMAKE_CXXFLAGS -= -O3

मेरे लिए अच्छा काम करता है