Facebook ઓપન સોર્સ સિન્ડર, CPython નો ફોર્ક ઇન્સ્ટાગ્રામ દ્વારા ઉપયોગમાં લેવાય છે

ફેસબુકે પ્રોજેક્ટ સિન્ડર માટેનો સ્ત્રોત કોડ પ્રકાશિત કર્યો છે, જે CPython 3.8.5 નો ફોર્ક છે, જે Python પ્રોગ્રામિંગ ભાષાના મુખ્ય સંદર્ભ અમલીકરણ છે. ઇન્સ્ટાગ્રામને પાવર આપવા માટે Facebook ના પ્રોડક્શન ઇન્ફ્રાસ્ટ્રક્ચરમાં સિન્ડરનો ઉપયોગ કરવામાં આવે છે અને તેમાં પ્રદર્શન સુધારવા માટે ઑપ્ટિમાઇઝેશનનો સમાવેશ થાય છે.

મુખ્ય CPython ફ્રેમવર્કમાં તૈયાર ઑપ્ટિમાઇઝેશનને પોર્ટ કરવાની શક્યતાની ચર્ચા કરવા અને CPython પ્રદર્શન સુધારવામાં સામેલ અન્ય પ્રોજેક્ટ્સને મદદ કરવા માટે કોડ પ્રકાશિત કરવામાં આવ્યો છે. Facebook એક અલગ ઓપન સોર્સ પ્રોજેક્ટના રૂપમાં સિન્ડરને સમર્થન આપવાનો ઇરાદો ધરાવતું નથી અને કોડ તે ફોર્મમાં રજૂ કરવામાં આવે છે જેમાં કંપનીના ઇન્ફ્રાસ્ટ્રક્ચરમાં તેનો ઉપયોગ થાય છે, વધારાના કોમ્બિંગ અને દસ્તાવેજો વિના. તેઓ CPython ના વિકલ્પ તરીકે સિન્ડરને પ્રમોટ કરવાનો પ્રયાસ પણ કરતા નથી - વિકાસનું મુખ્ય ધ્યેય CPython પોતે સુધારવાની ઇચ્છા છે.

સિન્ડર કોડને ઉત્પાદન વાતાવરણમાં એકદમ વિશ્વસનીય અને ચકાસાયેલ તરીકે નોંધવામાં આવે છે, પરંતુ જો સમસ્યાઓ ઓળખવામાં આવે, તો તમારે તેને જાતે હલ કરવી પડશે, કારણ કે ફેસબુક ગેરેંટી આપતું નથી કે તે બાહ્ય ભૂલ સંદેશાઓ અને પુલ વિનંતીઓનો જવાબ આપશે. તે જ સમયે, Facebook સમુદાય સાથે રચનાત્મક સહકારને બાકાત રાખતું નથી અને સિન્ડરને વધુ ઝડપી કેવી રીતે બનાવવું અથવા CPython ના મુખ્ય ભાગમાં તૈયાર ફેરફારોના સ્થાનાંતરણને કેવી રીતે ઝડપી બનાવવું તે અંગેના વિચારોની ચર્ચા કરવા માટે તૈયાર છે.

સિન્ડરમાં મુખ્ય ઑપ્ટિમાઇઝેશન અમલમાં મૂકાયેલ છે:

• બાઇટકોડનું ઇનલાઇન કેશીંગ ("શેડો બાઇટકોડ"). પદ્ધતિનો સાર એવી પરિસ્થિતિઓને ઓળખવાનો છે કે જ્યાં એક લાક્ષણિક ઓપકોડ એક્ઝિક્યુટ કરવામાં આવે છે જેને ઑપ્ટિમાઇઝ કરી શકાય છે, અને આવા ઓપકોડને ઝડપી વિશિષ્ટ વિકલ્પો સાથે ગતિશીલ રીતે બદલવું (ઉદાહરણ તરીકે, વારંવાર કહેવાતા કાર્યોને બદલવું).
• આતુર કોરોટીન મૂલ્યાંકન. async ફંક્શન કૉલ્સ માટે કે જે તરત જ પ્રક્રિયા કરવામાં આવે છે (પ્રતીક્ષા એ પ્રતીક્ષામાં પરિણમતું નથી અને ફંક્શન અગાઉ રીટર્ન સ્ટેટમેન્ટ પર પહોંચે છે), આવા ફંક્શન્સનું પરિણામ કોરોટીન બનાવ્યા વિના અથવા ઇવેન્ટ લૂપને સામેલ કર્યા વિના સીધા જ બદલાઈ જાય છે. ફેસબુક કોડ કે જે અસંયક/પ્રતીક્ષાનો ભારે ઉપયોગ કરે છે, ઑપ્ટિમાઇઝેશન લગભગ 5% ની ઝડપમાં પરિણમે છે.
• વ્યક્તિગત પદ્ધતિઓ અને કાર્યોના સ્તરે પસંદગીયુક્ત JIT સંકલન (પદ્ધતિ-એ-ટાઇમ). "-X jit" વિકલ્પ અથવા PYTHONJIT=1 પર્યાવરણ વેરીએબલ દ્વારા સક્ષમ અને તમને 1.5-4 વખત ઘણા પ્રદર્શન પરીક્ષણોના અમલને ઝડપી બનાવવા માટે પરવાનગી આપે છે. JIT સંકલન માત્ર વારંવાર એક્ઝિક્યુટ થતા ફંક્શન્સ માટે જ સુસંગત હોવાથી, ભાગ્યે જ ઉપયોગમાં લેવાતા ફંક્શન્સ માટે તેનો ઉપયોગ કરવાની સલાહ આપવામાં આવતી નથી, જેનું સંકલન ઓવરહેડ ફક્ત પ્રોગ્રામના અમલીકરણને ધીમું કરી શકે છે.

  વિકલ્પ “-X jit-list-file=/path/to/jitlist.txt” અથવા પર્યાવરણ વેરીએબલ “PYTHONJITLISTFILE=/path/to/jitlist.txt” દ્વારા તમે ફંક્શન્સની સૂચિ સાથે ફાઇલનો ઉલ્લેખ કરી શકો છો જેના માટે JIT ઉપયોગ કરી શકાય છે (પાથ ફોર્મેટ .to.module:funcname અથવા path.to.module:ClassName.method_name). વિધેયોની સૂચિ કે જેના માટે JIT સક્ષમ હોવી જોઈએ તે પ્રોફાઇલિંગ પરિણામોના આધારે નક્કી કરી શકાય છે. ભવિષ્યમાં, ફંક્શન કૉલ્સની આવર્તનના આંતરિક પૃથ્થકરણના આધારે ડાયનેમિક JIT સંકલન માટે સમર્થન અપેક્ષિત છે, પરંતુ Instagram પર પ્રક્રિયા શરૂ કરવાની વિશિષ્ટતાઓને ધ્યાનમાં લેતા, JIT સંકલન પ્રારંભિક તબક્કે ફેસબુક માટે પણ યોગ્ય છે.

  JIT સૌપ્રથમ પાયથોન બાઈટકોડને હાઈ-લેવલ ઈન્ટરમીડિયેટ રિપ્રેઝન્ટેશન (HIR) માં રૂપાંતરિત કરે છે, જે પાયથોન બાઈટકોડની એકદમ નજીક છે, પરંતુ સ્ટેક-આધારિતને બદલે રજિસ્ટર-આધારિત વર્ચ્યુઅલ મશીનનો ઉપયોગ કરવા માટે રચાયેલ છે, અને પ્રકાર માહિતી અને વધારાની માહિતીનો પણ ઉપયોગ કરે છે. પ્રદર્શન-નિર્ણાયક વિગતો (જેમ કે સંદર્ભ ગણતરી). ત્યારબાદ HIR ને SSA (સ્ટેટિક સિંગલ એસાઇનમેન્ટ) ફોર્મમાં રૂપાંતરિત કરવામાં આવે છે અને તે ઓપ્ટિમાઇઝેશન સ્ટેપ્સમાંથી પસાર થાય છે જે સંદર્ભ ગણતરી પરિણામો અને મેમરી વપરાશ ડેટાને ધ્યાનમાં લે છે. પરિણામે, એસેમ્બલી ભાષાની નજીક, નિમ્ન-સ્તરની મધ્યવર્તી રજૂઆત (LIR) જનરેટ થાય છે. LIR-આધારિત ઑપ્ટિમાઇઝેશનના બીજા તબક્કા પછી, asmjit લાઇબ્રેરીનો ઉપયોગ કરીને એસેમ્બલી સૂચનાઓ જનરેટ કરવામાં આવે છે.

• મોડ્યુલો માટે કડક મોડ. કાર્યક્ષમતામાં ત્રણ ઘટકો શામેલ છે: StrictModule પ્રકાર. એક સ્થિર વિશ્લેષક જે નક્કી કરી શકે છે કે મોડ્યુલના અમલની તે મોડ્યુલની બહારના કોડ પર કોઈ અસર થતી નથી. મોડ્યુલ લોડર જે નક્કી કરે છે કે મોડ્યુલો કડક મોડમાં છે (કોડ "ઇમ્પોર્ટ __સ્ટ્રિક__" નો ઉલ્લેખ કરે છે), અન્ય મોડ્યુલો સાથે આંતરછેદોની ગેરહાજરી માટે તપાસ કરે છે, અને કડક મોડ્યુલ ઓબ્જેક્ટ તરીકે sys.modules માં કડક મોડ્યુલો લોડ કરે છે.
• સ્ટેટિક પાયથોન એ પ્રાયોગિક બાઇટકોડ કમ્પાઇલર છે જે ટાઇપ-સ્પેસિફિક બાઇટકોડ જનરેટ કરવા માટે ટાઇપ એનોટેશનનો ઉપયોગ કરે છે જે JIT કમ્પાઇલેશનને આભારી છે. કેટલાક પરીક્ષણોમાં, સ્ટેટિક પાયથોન અને JIT નું સંયોજન પ્રમાણભૂત CPython ની સરખામણીમાં 7 ગણા સુધીના પ્રદર્શન સુધારણા દર્શાવે છે. ઘણી પરિસ્થિતિઓમાં, પરિણામો MyPyC અને Cython કમ્પાઇલર્સનો ઉપયોગ કરવાની નજીક હોવાનો અંદાજ છે.

સોર્સ: opennet.ru