மேக்ஸ்-SMT வழியாக நெகிழ்வான மற்றும் உகந்த சார்புநிலை மேலாண்மை
Author
Venue
IEEE/ACM மென்பொருள் பொறியியல் சர்வதேச மாநாடு (ICSE), 2023
Abstract
NPM போன்ற தொகுப்பு மேலாளர்கள் மென்பொருள் உருவாக்கத்திற்கு இன்றியமையாததாகிவிட்டன. NPM களஞ்சியம் 2 மில்லியனுக்கும் அதிகமான தொகுப்புகளைக் கொண்டுள்ளது மற்றும் ஒவ்வொரு வாரமும் 43 பில்லியனுக்கும் அதிகமான பதிவிறக்கங்களை வழங்குகிறது. துரதிர்ஷ்டவசமாக, NPM சார்புநிலை தீர்க்கும் கருவியில் பல குறைபாடுகள் உள்ளன. 1) NPM பேராசையுடன் செயல்படுகிறது மற்றும் பெரும்பாலும் சார்புநிலைகளின் புதிய பதிப்புகளை நிறுவத் தவறுகிறது; 2) NPM-இன் நெறிமுறை, நகலெடுக்கப்பட்ட சார்புநிலைகளுக்கும் வீக்கமடைந்த குறியீட்டிற்கும் வழிவகுக்கிறது, இது குறியீட்டின் அளவைக் குறைக்க வேண்டிய வலைப் பயன்பாடுகளுக்கு மிகவும் மோசமானது; 3) NPM-இன் பாதிப்பு சரிசெய்யும் நெறிமுறையும் பேராசையுடையது, மேலும் இது புதிய பாதிப்புகளைக் கூட உருவாக்கக்கூடும்; மற்றும் 4) சார்புநிலைகளை நகலெடுக்கும் NPM-இன் திறன், நிலைத்தன்மை கொண்ட கட்டமைப்புகளைச் செயலிழக்கச் செய்யக்கூடும், மேலும் அதற்கு மாற்றுவழிகளைக் கண்டறிய அதிக கவனம் தேவைப்படுகிறது. தற்போதுள்ள கருவிகள் இந்தப் பிரச்சினைகளைத் தீர்க்க முயற்சித்தாலும், அவை எளிதில் உடைந்துவிடும் தன்மையுடையவை, சார்புநிலை மரத்தில் (dependency tree) பின்னடைவு மாற்றங்களைச் சார்ந்துள்ளன, உகந்த செயல்திறனை உறுதி செய்வதில்லை, அல்லது ஒருங்கிணைக்க முடியாதவை. நாங்கள் Pacsolve-ஐ முன்வைக்கிறோம், இது சார்புநிலை தீர்வுக்கான ஒரு ஒருங்கிணைந்த கட்டமைப்பு மற்றும் செயலாக்கமாகும், இது தனிப்பயனாக்கக்கூடிய கட்டுப்பாடுகள் மற்றும் உகப்பாக்க இலக்குகளை அனுமதிக்கிறது. Pacsolve-ஐப் பயன்படுத்தி Maxnpm-ஐ உருவாக்குகிறோம், இது NPM-க்கான ஒரு முழுமையான, உடனடியாகப் பயன்படுத்தக்கூடிய மாற்றாகும், இது சார்புநிலைகளை நிறுவும்போது பல நோக்கங்களை இணைக்க டெவலப்பர்களுக்கு அதிகாரம் அளிக்கிறது. NPM சூழலமைப்பிலிருந்து பெறப்பட்ட ஒரு பெரிய தொகுப்பு மாதிரி கொண்டு மேக்ஸ்என்பிஎம்-ஐ நாங்கள் மதிப்பீடு செய்கிறோம், மேலும் அது: 1) 33% நிகழ்வுகளில் NPM-இன் தணிக்கைக் கருவியை விட சார்புநிலைகளில் அதிக பாதிப்புகளைக் குறைக்க முடியும்; 2) 14% நிகழ்வுகளில் NPM-ஐ விட புதிய சார்புநிலைகளைத் தேர்ந்தெடுக்கிறது; மற்றும் 3) 21% நிகழ்வுகளில் NPM-ஐ விட குறைவான சார்புநிலைகளைத் தேர்ந்தெடுக்கிறது. எங்கள் குறியீடு மற்றும் தரவுகள் அனைத்தும் திறந்த மற்றும் கிடைக்கக்கூடியவை.
