A Microsoft k\u00e9pvisel\u0151je, Brandt Bucher, aki a CPython f\u0151 fejleszt\u0151i k\u00f6z\u00e9 tartozik, \u00e9s a CPython \u00e9rtelmez\u0151 teljes\u00edtm\u00e9ny\u00e9nek jav\u00edt\u00e1s\u00e1ra f\u00f3kusz\u00e1l\u00f3 csapatban dolgozik, k\u00f6zz\u00e9tett egy JIT-compiler implement\u00e1ci\u00f3t a Python sz\u00e1m\u00e1ra, amely a Copy-and-Patch technik\u00e1t haszn\u00e1lja. A JIT k\u00f6zz\u00e9t\u00e9tel\u00e9t kar\u00e1csonyhoz id\u0151z\u00edtett\u00e9k, \u00e9s a bejelent\u00e9s verses form\u00e1ban k\u00e9sz\u00fclt el. <\/p>\n
A javasolt JIT kiemelkedik a rendk\u00edv\u00fcl magas k\u00f3dgener\u00e1l\u00e1si sebess\u00e9g\u00e9vel, a karbantart\u00e1s egyszer\u0171s\u00e9g\u00e9vel \u00e9s a teljes integr\u00e1ci\u00f3j\u00e1val az \u00e9rtelmez\u0151vel. A javasolt m\u00f3dszer lehet\u0151v\u00e9 teszi, hogy a C nyelven \u00edrt \u00e9rtelmez\u0151t automatikusan JIT-compilerre alak\u00edtsuk \u00e1t, an\u00e9lk\u00fcl, hogy k\u00fcl\u00f6n k\u00f3dgener\u00e1l\u00f3 logik\u00e1t kellene kialak\u00edtani, vagy manu\u00e1lisan kellene assemblerszint\u0171 megval\u00f3s\u00edt\u00e1sokat l\u00e9trehozni. E megk\u00f6zel\u00edt\u00e9s k\u00f6vetkezt\u00e9ben hibaelh\u00e1r\u00edt\u00e1s az \u00e9rtelmez\u0151ben automatikusan megsz\u00fcnteti a probl\u00e9m\u00e1t a JIT-ben is, mivel k\u00f6z\u00f6s k\u00f3dgener\u00e1tort haszn\u00e1lnak. <\/p>\n
A Copy-and-Patch m\u00f3dszer l\u00e9nyege abban rejlik, hogy a k\u00f3d \u00fajrahordoz\u00e1sa a mem\u00f3ri\u00e1ban az objektumf\u00e1jlok bet\u00f6lt\u00e9sekor \u00e9s a g\u00e9pi utas\u00edt\u00e1sok behelyettes\u00edt\u00e9se a b\u00e1jtcode-ba a JIT-ben hasonl\u00f3 feladatok. A JIT m\u0171k\u00f6d\u00e9s sor\u00e1n, a program v\u00e9grehajt\u00e1sa k\u00f6zben, a k\u00e9sz\u00edtett \u00e9rtelmez\u0151 \u00e1ltal gener\u00e1lt b\u00e1jtcode utas\u00edt\u00e1sokat vizsg\u00e1lja, \u00e9s minden egyes utas\u00edt\u00e1s sz\u00e1m\u00e1ra \u00e1tkonvert\u00e1lt g\u00e9pi k\u00f3dot m\u00e1sol a v\u00e9grehajthat\u00f3 k\u00f3d mem\u00f3riater\u00fclet\u00e9re, valamint fut\u00e1s k\u00f6zben m\u00f3dos\u00edtja az utas\u00edt\u00e1sokat, hogy az \u00e9ppen feldolgozott adatokat helyettes\u00edtse benn\u00fck (a JIT k\u00e9szen \u00e1ll\u00f3, m\u00e1r leford\u00edtott f\u00fcggv\u00e9nyek sablonjait m\u00e1solja, \u00e9s beilleszti a sz\u00fcks\u00e9ges \u00e9rt\u00e9keket, mint p\u00e9ld\u00e1ul argumentumokat \u00e9s konstansokat). Az objektumf\u00e1jlok bet\u00f6lt\u00e9se sor\u00e1n szint\u00e9n g\u00e9pi k\u00f3d m\u00e1sol\u00e1s t\u00f6rt\u00e9nik a mem\u00f3ri\u00e1ba, \u00e9s k\u00fcls\u0151 szimb\u00f3lumok behelyettes\u00edt\u00e9se. <\/p>\n
A Copy-and-Patch JIT seg\u00edts\u00e9g\u00e9vel az LLVM haszn\u00e1lat\u00e1val ELF form\u00e1tum\u00fa objektumf\u00e1jlt \u00e1ll\u00edtanak el\u0151, amely tartalmazza a b\u00e1jtcode utas\u00edt\u00e1sait \u00e9s az adatcser\u00e9re vonatkoz\u00f3 inform\u00e1ci\u00f3kat. A JIT a program fut\u00e1sa sor\u00e1n az interpret\u00e1lt programban gener\u00e1lt b\u00e1jtcode utas\u00edt\u00e1sokat a g\u00e9pi k\u00f3d megfelel\u0151 k\u00e9pvisel\u0151ire cser\u00e9li, mik\u00f6zben behelyettes\u00edti a sz\u00e1m\u00edt\u00e1sokhoz sz\u00fcks\u00e9ges adatokat. A JIT implement\u00e1l\u00e1s\u00e1hoz az LLVM modulra van sz\u00fcks\u00e9g a ford\u00edt\u00e1si f\u00e1zisban, de a fut\u00e1si komponensek nem k\u00f6t\u0151dnek k\u00fcls\u0151 f\u00fcgg\u0151s\u00e9gekhez, \u00e9s k\u00f6r\u00fclbel\u00fcl 300 manu\u00e1lisan \u00edrt C nyelv\u0171 sorb\u00f3l \u00e9s 3000 gener\u00e1lt C k\u00f3dsorb\u00f3l \u00e1llnak. <\/p>\n
A hagyom\u00e1nyos JIT-eszk\u00f6z\u00f6kh\u00f6z (LLVM -O0) k\u00e9pest a javasolt JIT 100-szor gyorsabb k\u00f3dgener\u00e1l\u00e1st \u00e9s 15%-kal gyorsabb eredm\u00e9nyk\u00f3dot biztos\u00edt. Az WebAssembly-be val\u00f3 ford\u00edt\u00e1ssal (Liftoff) \u00f6sszehasonl\u00edtva az \u00faj JIT 5-sz\u00f6r gyorsabban gener\u00e1l k\u00f3dot, a kapott k\u00f3d pedig 50%-kal gyorsabban fut. Ha az \u00faj JIT-et \u00f6sszehasonl\u00edtjuk az optimaliz\u00e1l\u00f3 JIT-tel (LuaJIT), amely manu\u00e1lisan \u00edrt assemblerk\u00f3dot haszn\u00e1l, akkor a javasolt megold\u00e1s 44 teszt k\u00f6z\u00fcl 13-ban gyorsabb volt, m\u00edg \u00e1tlagosan 35%-kal lassabb volt, mindezt jelent\u0151s karbantart\u00e1si egyszer\u0171s\u00edt\u00e9ssel \u00e9s a megval\u00f3s\u00edt\u00e1si komplexit\u00e1s cs\u00f6kkent\u00e9s\u00e9vel elvesz\u00edtve.
![\"Vide\u00f3](\"https:\/\/img.youtube.com\/vi\/HxSHIpEQRjs\/hqdefault.jpg\")
\r\n