सेवा के बारे में
अनुवादितमैं समवर्ती कंप्यूटिंग में एक इंजीनियर हूं और मैंने कई वर्षों तक ओकम भाषा के साथ काम किया है, जो होरे के संवादात्मक अनुक्रमिक प्रक्रियाओं के सिद्धांत से विकसित हुई। मुझे आमतौर पर दो प्रकार के कार्य मिलते हैं। या तो एक पुराना ट्रांसप्यूटर सिस्टम है जो अभी भी एक स्थापना, स्कैनर, या परीक्षण बेंच को नियंत्रित करता है, और कोई भी इसके कोड को समझ नहीं पा रहा है। या एक नया प्रोजेक्ट योजना बनाई जा रही है जहां मृतलॉक-मुक्त समानांतरता की आवश्यकता है जिसे सही साबित किया जा सके, न कि धागों और म्यूटेक्स का सामान्य उलझाव। मैं दोनों प्रकार के कार्यों को संभालता हूं। विरासत प्रणालियों के लिए, मैं ओकम 2 स्रोत कोड पढ़ता हूं, कागज पर प्रक्रिया नेटवर्क का पुनर्निर्माण करता हूं, प्रत्येक चैनल और PAR और ALT निर्माण का वर्णन करता हूं, और फिर या तो ट्रांसप्यूटर इम्यूलेटर पर संचालन बनाए रखता हूं या लॉजिक को ओकम-पाई में, CSP पुस्तकालय के साथ C में, या Go चैनलों में फिर से लिखता हूं, सटीक समन्वय अर्थशास्त्र को बनाए रखते हुए। नए सिस्टम के लिए, मैं सब कुछ को टाइप किए गए चैनलों के माध्यम से संवाद करने वाली अनुक्रमिक प्रक्रियाओं के रूप में मॉडल करता हूं, मृतलॉक्स और लिवलॉक्स की अनुपस्थिति को साबित करता हूं, और एक परीक्षण वातावरण के साथ साफ, अच्छी तरह से टिप्पणी की गई कोड प्रदान करता हूं। एक सामान्य डिलीवरी में एक प्रलेखित प्रक्रिया मानचित्र, संस्करण नियंत्रण के तहत कार्यशील स्रोत कोड, निर्माण और सिमुलेशन, साथ ही समवर्तीता मॉडल पर एक संक्षिप्त रिपोर्ट शामिल होती है ताकि आपकी टीम इसे आसानी से बनाए रख सके। मेरे लिए सही होना चालाकी के ट्रिक्स से अधिक महत्वपूर्ण है: चैनल बिना अच्छे कारण के अनबफर्ड रहते हैं, ALT गार्ड की जांच की जाती है, और साझा राज्य मैं इस तरह से डिजाइन करता हूं कि यह बस मौजूद नहीं है। चाहे मुझे एक जिद्दी ट्रांसप्यूटर मॉड्यूल को पुनर्जीवित करना हो या शून्य से एक समानांतर सिमुलेशन बनाना हो, मैं विश्लेषण से लेकर परीक्षणित डिलीवरी तक काम को पूरा करूंगा। सिस्टम क्या करता है, यह किस हार्डवेयर या रनटाइम पर चलता है, और कितना पुराना कोड बचा है, इसका वर्णन करें, और मैं ईमानदारी से काम के दायरे का आकलन करूंगा इससे पहले कि हम शुरू करें।
