Rust: विशेषता वस्तुओं का डिबग प्रतिनिधित्व जोड़ें

को निर्मित 19 जन॰ 2012 · 28टिप्पणियाँ · स्रोत: rust-lang/rust

अद्यतन विवरण

विशेषता वस्तुएं ( ~T और @T जहां T एक विशेषता है) ऐसी वस्तुएं हैं जो अपने कार्यान्वयन को छिपाती हैं और एक आभासी विधि प्रेषण तालिका (यानी vtable) ले जाती हैं।

तो, दो बातें:

डिबगर्स अमूर्त बाधा को बायपास करने और छिपे हुए कार्यान्वयन को देखने में सक्षम होना चाहेंगे।
वे vtable देखने में सक्षम होने की भी संभावना रखते हैं।
- मुझे यकीन नहीं है कि जीडीबी के लिए डीबग प्रारूप कितना लचीला है, लेकिन जीडीबी के नए संस्करण सी ++ ऑब्जेक्ट्स के लिए वीटेबल प्रिंट करने का समर्थन करते हैं ( info vtbl या शायद info vtable )। यह अच्छा होगा यदि हम अपनी डीबग जानकारी की मालिश कर सकें ताकि जीडीबी हमारे vtables को भी उसी तरह प्रिंट कर सके।

मूल विवरण

वहां कोई नहीं है।

A-debuginfo C-feature-request P-low T-compiler

स्रोत

jdm

👍4

सबसे उपयोगी टिप्पणी

आज पहली सफलता:

(gdb) p tu
$1 = traitobjtest::&T {pointer: 0x7fffffffe047 "\027\070\340\377\377\377\177\000", vtable: 0x5555555c34e8 <vtable> "\360\253UUUU\000"}
(gdb) p *tu
$2 = 23

tromey 9 अक्तू॰ 2017

🎉2

सभी 28 टिप्पणियाँ

एक विशेषता का डीबग प्रतिनिधित्व क्या होगा? मैं एक विशेषता के बारे में पूरी तरह से संकलन-समय इकाई के रूप में सोचता हूं जो आपके द्वारा रनटाइम के समय मिटा दी जाती है।

@jdm क्या यह विशेष रूप से @Trait ऑब्जेक्ट्स के लिए है (इस मामले में, हाँ, मैं सहमत हूं कि हम डिबगर के लिए vtable का पर्दाफाश करना चाहेंगे?) यदि ऐसा है, तो मैं बग शीर्षक और विवरण को साफ़ कर दूंगा।

pnkfelix 18 जून 2013

हां, मुझे लगता है कि विशेषता वस्तुओं (~ और @ किस्म के) को कवर करने के लिए इसे स्कोप करना ठीक होगा।

jdm 18 जून 2013

middle/trans/debuginfo.rs : cx.sess.span_note(span, "debuginfo for trait NYI");

यानी यह अभी भी मान्य है, ठीक से टैग किया गया है और मील का पत्थर है, 2013-06-19।

graydon 19 जून 2013

ट्राइएज का दौरा; @michaelwoerister का हवाला देते हुए।

huonw 5 अग॰ 2013

ट्राइएज का दौरा; @michaelwoerister का हवाला देते हुए।

यह अभी भी NYI है लेकिन इस महीने कुछ समय के लिए निपटा जाना चाहिए।

michaelwoerister 5 अग॰ 2013

अपडेट करें:

पीआर #9168 के रूप में विशेषता वस्तुओं के लिए कुछ बुनियादी समर्थन है। एक विशेषता ऑब्जेक्ट पॉइंटर को सही आकार (दो पॉइंटर्स) और सही नाम ({sigil}{mutability}{trait name}) के साथ एक स्ट्रक्चर के रूप में वर्णित किया जाता है और इसे सही नेमस्पेस में रखा जाता है। इस "वसा सूचक" के इंटीरियर का अभी और वर्णन नहीं किया गया है। विशेषता के तरीकों का विवरण गायब है। मुझे इस बारे में पर्याप्त जानकारी नहीं है कि इसके बारे में बहुत कुछ कहने के लिए उन्हें वास्तव में कैसे लागू किया जाता है।

michaelwoerister 16 सित॰ 2013

1.0 नहीं, बल्कि उच्च

catamorphism 17 अक्तू॰ 2013

@michaelwoerister : वैसे, नया व्यवहार्य लेआउट [drop_glue, method, method2, method3, ...] । मुझे यकीन है कि यह भविष्य में किसी भी तरह बदल जाएगा जब सुपरट्रेट विधियां विशेषता वस्तुओं पर कॉल करने योग्य हो जाती हैं।

thestinger 1 अप्रैल 2014

यह डीएसटी के साथ और अधिक जटिल हो गया है क्योंकि आपके पास Fat<Trait> जैसी वस्तुएं हो सकती हैं जहां Fat एक डीएसटी संरचना है। विशेषता वस्तुओं के लिए स्टब कोड थोड़ा और टूट गया है, लेकिन मैं इसे ठीक नहीं करना चाहता क्योंकि यह सिर्फ एक स्टब है। मैंने वहां एक FIXME छोड़ा।

nrc 25 अग॰ 2014

ट्राइएज बंप: अनिश्चित है कि आज इसकी क्या स्थिति है।

steveklabnik 20 जन॰ 2015

अभी भी करने की जरूरत है

nrc 20 जन॰ 2015

हम निम्नलिखित कर सकते थे:
(१) प्रत्येक विशेषता के लिए एक प्रकार का विवरण बनाएं जिसमें उसके द्वारा परिभाषित विधियों को शामिल किया गया हो। चूंकि डीडब्ल्यूएआरएफ मानक में अभी तक कोई लक्षण नहीं हैं, DW_AT_interface का उपयोग करना सबसे अधिक समझ में आता है। लेकिन शायद DW_AT_struct का उपयोग करना हमारे सी-ओरिएंटेड डिबगर्स के साथ अधिक संगत है।

(२) विशेषता पॉइंटर्स ( &Trait et al) को (*(), *OpaqueVTable<Trait>) प्रकार के टुपल्स के रूप में वर्णित करें।

(३) पायथन में कस्टम GDB/LLDB कमांड लागू करें, जो एक फैट पॉइंटर दिए जाने पर, पॉइंटर वैल्यू का उपयोग करें और vtable को प्रिंट करने के लिए जानकारी टाइप करें।

यह सही नहीं है लेकिन उपलब्ध मौजूदा साधनों के साथ किया जा सकता है। vtable द्वारा इंगित कार्यों के प्रतीक नामों को वास्तविक रनटाइम प्रकार की विशेषता वस्तु को भी इंगित करना चाहिए।

michaelwoerister 26 मार्च 2015

केवल डिबग जानकारी के साथ बिल्ड में (यानी, रिलीज़ बिल्ड नहीं) और केवल एक बहुत छोटी राशि से

nrc 29 जून 2015

ट्राइएज: अभी भी करने की जरूरत है। cc @Manishearth @tromey P-low

brson 14 जुल॰ 2016

यह अब P-low और P-medium है

jonas-schievink 14 जुल॰ 2016

पी-माध्यम को हटाना

alexcrichton 14 जुल॰ 2016

मैंने हाल ही में इस पर थोड़ा गौर किया। मुझे जो करने की उम्मीद है वह है:

उत्सर्जित होने वाली प्रत्येक व्यवहार्य तालिका का वर्णन करते हुए कुछ DWARF का उत्सर्जन करें। यह vtable के प्रकार (पॉइंटर्स-टू-फ़ंक्शन की संरचना के रूप में), vtable का स्थान, और उस vtable द्वारा दर्शाए गए ठोस प्रकार का वर्णन करेगा (शायद इसके लिए DW_AT_containing_type को पुनर्निर्मित किया जा सकता है)।
आगे एक विशेषता वस्तु सूचक के आंतरिक भाग का वर्णन करें। वर्तमान में मुझे लगता है कि इसे एक हैक के माध्यम से किया जाना है, क्योंकि जब डीडब्ल्यूएआरएफ किसी दिए गए फ़ंक्शन के vtable स्लॉट की गणना करने के तरीके का वर्णन करता है, तो ऐसा लगता है कि यह इंगित करने का कोई तरीका नहीं है "ऑब्जेक्ट का यह सदस्य vtable है" .

फिर एक डिबगर एक विशेषता ऑब्जेक्ट पॉइंटर को प्रिंट करने के लिए निम्न कार्य कर सकता है: यदि किसी मान के प्रकार में एक vtable है, तो निम्न से vtable प्राप्त करें, vtable प्रकार को खोजने के लिए DWARF में vtable का पता देखें, और फिर ठोस प्रकार का उपयोग करें पेलोड पॉइंटर को डीकोड करें।

tromey 6 मई 2017

👍1

मैं इस पर काम कर रहा हूं। मेरे पास एक LLVM पैच है जो rustc को एक छोटा DWARF एक्सटेंशन ( DW_AT_containing_type ) के विचार का उत्सर्जन करने देता है; vtable (पता और युक्त प्रकार, विधियों का उत्सर्जन नहीं) की मूल बातें उत्सर्जित करने के लिए एक rustc पैच, और अधिकांश gdb पैच इसे पढ़ने और print काम करने के लिए।

tromey 6 अक्तू॰ 2017

आज पहली सफलता:

(gdb) p tu
$1 = traitobjtest::&T {pointer: 0x7fffffffe047 "\027\070\340\377\377\377\177\000", vtable: 0x5555555c34e8 <vtable> "\360\253UUUU\000"}
(gdb) p *tu
$2 = 23

tromey 9 अक्तू॰ 2017

🎉2

उत्तेजित करनेवाला!

michaelwoerister 10 अक्तू॰ 2017

LLVM पैच यहाँ है: http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20171016/495458.html

tromey 25 अक्तू॰ 2017

फैब्रिकेटर में ले जाया गया; वहां भी अनुसरण करना आसान हो सकता है: https://reviews.llvm.org/D39503

tromey 1 नव॰ 2017

विशेषता वस्तुओं को प्रिंट करने के लिए gdb पैच यहाँ है: https://sourceware.org/ml/gdb-patches/2017-11/msg00289.html

tromey 15 नव॰ 2017

भाग 2 को vtable के क्षेत्रों का वर्णन करके किया जा सकता है। मैंने यह देखने के लिए रस्टसी बिट्स को नहीं देखा है कि यह अभी तक कितना मुश्किल है। जीडीबी में info vtbl बिट्स कठिन नहीं हैं, ज्यादातर मौजूदा कमांड को थोड़ा और वर्चुअलाइज कर रहे हैं। वहां सही फ़ील्ड नामों के साथ, ऐसा लगता है कि विशेषता वस्तुओं पर विधि कॉल लागू करना भी सीधा होना चाहिए।

tromey 15 नव॰ 2017

जीडीबी पैच का संस्करण 2 यहां है: https://sourceware.org/ml/gdb-patches/2017-11/msg00369.html

tromey 17 नव॰ 2017

जीडीबी पैच अब में है, लेकिन मुझे लगता है कि इस मुद्दे को खुला छोड़ दिया जाना चाहिए, क्योंकि अभी भी अन्य व्यवहार्य कार्य लागू करने के लिए है।

tromey 17 नव॰ 2017

@tromey "vtable कार्य" के लिए gdb परिवर्तन या केवल rustc परिवर्तन की आवश्यकता है?

mrhota 24 जन॰ 2018

@tromey "vtable कार्य" के लिए gdb परिवर्तन या केवल rustc परिवर्तन की आवश्यकता है?

आदर्श रूप से मुझे लगता है कि इसके लिए दोनों की आवश्यकता होगी; हालाँकि सिर्फ rustc बिट्स करना एक अच्छी शुरुआत होगी (और इसे किसी भी तरह पहले आना होगा)। यहाँ कार्य यह है कि rustc DWARF में व्यवहार्य के पूर्ण विवरण का उत्सर्जन करे - इसलिए, प्रत्येक सदस्य का प्रकार और नाम।

tromey 24 जन॰ 2018

क्या यह पृष्ठ उपयोगी था?

0 / 5 - 0 रेटिंग्स