बहुप्रचारित कार्यक्रमों का विश्लेषण करना

Log4net या इसी तरह के टूल का उपयोग करने के साथ ध्यान में रखना एक बात यह है कि वे एप्लिकेशन के समय को बदलते हैं और अक्सर अंतर्निहित दौड़ की स्थिति को छुपा सकते हैं। हमारे पास डीबग करने और लॉगिंग शुरू करने के लिए कुछ खराब लिखित कोड थे और इसने वास्तव में दौड़ की स्थिति और डेडलॉक्स को हटा दिया (या उनकी आवृत्ति को बहुत कम कर दिया)।

मैं पहले साझा मेमोरी लॉक पर ध्यान केंद्रित करूंगा (म्यूटेक्स और सेमफोरस) क्योंकि वे सबसे अधिक समस्याएं पैदा कर सकते हैं। देखें कि किस राज्य को ताले से संरक्षित किया जा रहा है और फिर यह निर्धारित करें कि कौन सा राज्य कई ताले की सुरक्षा में है। यह आपको संभावित संघर्षों की भावना देगा। उन स्थितियों को देखें जहां कोड लॉक रखता है, विधियों को कॉल करता है (वर्चुअल विधियों को न भूलें)। जहां संभव हो इन कॉल को खत्म करने का प्रयास करें (लॉक होने के समय को कम करके)।

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

यदि समेकन पर प्रतिकूल प्रभाव नहीं पड़ेगा तो देखें कि क्या आप कई ताले को एक साथ जोड़ सकते हैं। उदाहरण के लिए, यदि म्यूटेक्स ए और बी प्रतीत होता है कि उनके पास डेडलॉक्स हो सकते हैं और ऑर्डरिंग योजना आसानी से नहीं की जाती है, तो उन्हें शुरुआत में एक लॉक में संयोजित करें।

यह आसान नहीं होगा लेकिन समस्या का एक संभाल पाने के लिए मैं सहमति के खर्च पर कोड को सरल बनाने के लिए हूं।

इंटेल के VTune की एक प्रति में निवेश करें और इसके धागे प्रोफाइलिंग उपकरण। यह आपको थ्रेड व्यवहार के सिस्टम और स्रोत स्तर दोनों दृश्य प्रदान करेगा। यह निश्चित रूप से आपके लिए चीज को स्वत: दस्तावेज नहीं करने जा रहा है, लेकिन कम से कम परिस्थितियों में क्या हो रहा है यह देखने में वास्तविक सहायता होनी चाहिए।

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

क्या यूएमएल आपकी मदद नहीं कर सकता?

यदि आप अपने कोडबेस को UML में उलटा-इंजीनियर करते हैं, तो आप रिश्तों को दिखाने वाले वर्ग आरेखों को आकर्षित करने में सक्षम होना चाहिए अपने वर्गों के बीच। उन वर्गों से शुरू करना जिनके तरीके थ्रेड एंट्री पॉइंट हैं, आप देख सकते हैं कि कौन सा थ्रेड किस वर्ग का उपयोग करता है। तर्कसंगत गुलाब के साथ मेरे अनुभव के आधार पर, यह ड्रैग-एंड-ड्रॉप का उपयोग करके हासिल किया जा सकता है; यदि जोड़ा वर्ग और पिछले वाले लोगों के बीच कोई संबंध नहीं है, तो जोड़ा गया वर्ग सीधे उस थ्रेड द्वारा उपयोग नहीं किया जाता है जिसने आपके द्वारा आरेख शुरू करने के तरीके से शुरू किया था। यह आपको प्रत्येक धागे की भूमिका की ओर इशारा करता है।

यह "डेटा ऑब्जेक्ट्स" भी साझा करेगा जो साझा किए गए हैं और ऑब्जेक्ट्स थ्रेड-विशिष्ट हैं।

यदि आप एक बड़े वर्ग के आरेख को खींचते हैं और सभी "डेटा ऑब्जेक्ट्स" को हटाते हैं, तो आपको क्लाउड के रूप में आरेख को लेआउट करने में सक्षम होना चाहिए, प्रत्येक बादल थ्रेड हो रहा है - या धागे का समूह, जब तक कि कोड बेस का युग्मन और संयोजन न हो भयंकर।

यह आपको केवल पहेली का एक हिस्सा देगा, लेकिन यह सहायक हो सकता है; मुझे उम्मीद है कि आपका कोडबेस बहुत गंदा या बहुत "प्रक्रियात्मक" नहीं है, इस मामले में ...

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

स्वचालित उपकरणों के लिए यह वास्तव में एक कठिन समस्या है। आप अपने कोड मॉडल जांच में देखना चाहेंगे। जादुई परिणामों की अपेक्षा न करें: मॉडल चेकर्स कोड की मात्रा और उन धागे की संख्या में बहुत सीमित हैं जिन्हें वे प्रभावी रूप से जांच सकते हैं।

एक टूल जो आपके लिए काम कर सकता है वह है CHESS (हालांकि दुर्भाग्य से विंडोज़ केवल) है। BLAST एक और काफी शक्तिशाली उपकरण है, लेकिन इसका उपयोग करना बहुत मुश्किल है और हो सकता है सी ++। विकिपीडिया में StEAM भी सूचीबद्ध है, जिसे मैंने पहले नहीं सुना है, लेकिन लगता है जैसे यह आपके लिए काम कर सकता है:

स्टीम सी ++ के लिए एक मॉडल चेकर है। यह डेडलॉक्स, सेगमेंटेशन गलतियों, रेंज वैरिएबल से बाहर और गैर-टर्मिनिंग लूप का पता लगाता है।

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

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