Վարդանյան, Վահագն Գևորգի

Ինֆորմատիկա

Այս ուսումնասիրությունը վերաբերում է դինամիկ տիպավորմամբ ծրագրավորման լեզուներում ստատիկ օպտիմիզացիայի մեթոդներին՝ ընդգծելով կոմպիլյացիայի և վիրտուալ մեքենաների մակարդակում կատարվող կատարողական բարելավումների տեսական և կիրառական մոտեցումները։ Նյութում վերլուծվում են այն դժվարությունները, որոնք առաջանում են դինամիկ տիպավորման պայմաններում՝ ներառյալ տիպերի անհայտությունը կոմպիլյացիայի պահին, runtime ստուգումների ավելացումը և կատարողականի կորուստը։ Հատուկ ուշադրություն է դարձվում տիպերի ինֆերենցիայի մեթոդներին, inline caching-ին, speculative optimization-ին և JIT կոմպիլյացիայի ռազմավարություններին, որոնք հնարավորություն են տալիս նվազեցնել դինամիկ ստուգումների ծախսը։ Աշխատությունը նաև ընդգծում է ստատիկ վերլուծության տեխնիկաների կիրառությունը՝ տվյալ հոսքերի վերլուծություն, control-flow analysis և abstract interpretation, որոնք թույլ են տալիս նախապես կանխատեսել ծրագրի վարքագիծը և օպտիմալացնել կատարումը։ Միաժամանակ դիտարկվում են օպտիմիզացիաների ճշգրտության և արդյունավետության միջև փոխզիջումները՝ հատկապես մեծածավալ և բարդ ծրագրային համակարգերում։