Dialyzer (डिपो और बन्स के साथ) के लिए पीएलटी फ़ाइलों की समानांतर पीढ़ी

जिसने भी कभी अपने अनुप्रयोगों के लिए डायलाइज़र का उपयोग किया है, वह जानता है कि उसे पहले मुख्य अनुप्रयोगों के लिए प्लैट फाइल तैयार करने की आवश्यकता होगी, जो स्वयं एर्गलैंग के वितरण से होती है।

जेनरेशन केवल एक कोर लोड कर रहा है और एक लंबे समय के लिए, जिसके संबंध में पीढ़ी को समानांतर में चलाने की बहुत इच्छा थी।

अद्यतन: एक पैच जोड़ा गया था (और एक पुल अनुरोध भेजा गया था, निश्चित रूप से) डायलर को कई पीटी के मर्ज की सुविधा को एक बड़ी और मोटी जोड़कर।

तो, एक बड़ी पीएलटी को इकट्ठा करने के लिए जिसमें आपको जरूरत है, आपको पहले डायलर को पैच और पुनर्निर्माण करना होगा।
पैच यहां लिया जा सकता है: github.com/datacompboy/otp/commit/bb5f53ed3e7bd28632fcf3d4a797d64c0e00f2c3
जब से मैं आलसी हूं, मैंने हर चीज-और-हर चीज का पूर्ण पुनर्निर्माण नहीं किया, मैंने सिर्फ एक को फिर से बनाया है जो पहले से ही सिस्टम में निहित है:

mkdir dialyzer cd dialyzer cp -a /usr/lib/erlang/lib/dialyzer-2.4.3/* . wget https://github.com/datacompboy/otp/commit/bb5f53ed3e7bd28632fcf3d4a797d64c0e00f2c3.patch patch -p3 < bb5f53ed3e7bd28632fcf3d4a797d64c0e00f2c3.patch echo '-define(VSN,"v2.4.3").' >> src/dialyzer.hrl echo "{erl_opts, [debug_info]}." >> rebar.config rebar compile && sudo cp ebin/dialyzer_* /usr/lib/erlang/lib/dialyzer-2.4.3/ebin/ 

और अब पीएलटी फाइलों के बहुपरत निर्माण के लिए आगे बढ़ते हैं।

हम एक अलग डैडी बनाते हैं (मेरे लिए यह ~/work/erlang/plt ) है, अंदर हम सामग्री (इंडेंट - टैब!) के साथ otp फ़ोल्डर और मेकफाइल फ़ाइल बनाते हैं।

 OTP_LIB=/usr/lib/erlang/lib APPS=$(shell perl -e "\$$a='$(patsubst -1%,,$(patsubst $(OTP_LIB)/%/ebin,%,$(wildcard $(OTP_LIB)/*/ebin)))';\$$a=~s!-[0-9.]+!!g;print \$$a;") RELS=$(patsubst %,otp/%.plt,$(APPS)) all: all.plt all.plt: $(RELS) dialyzer --merge_plts --output_plt $@ --plts $^ -include $(RELS:.plt=.deps) IGNOREotp/%.plt: if [ -e $@ ]; then dialyzer --check_plt --plt $@ --output_plt $@ || rm $@; fi if [ ! -e $@ ]; then dialyzer --build_plt --output_plt $@ --apps $(patsubst otp/%.plt,%,$@); fi otp/%.plt: dialyzer --build_plt --output_plt $@ --apps $(patsubst otp/%.plt,%,$@) otp/%.deps: otp/%.plt dialyzer --plt_info --plt $< | (echo -n "$e:"; perl -ne 'print " $$1" if /^[[ ]"([^"]+)"/') > $@ 

फिर चला

 make -j 8 

और प्रति ऐप्प एक प्रक्रिया की पीढ़ी का निरीक्षण करें, समानांतर में 8।

फाइनल में, हम otp / plt फोल्डर में एक एक करके otp डिलीवरी से एक एप्लिकेशन प्राप्त करते हैं, और all.plt फाइल ऑल-एंड-ऑल से कॉमन plt युक्त होती है।

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

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