這篇文章帶大家了解一下PHP 8 中的 JIT,並聊聊JIT 是怎麼參與解釋流程的,希望對大家有幫助!
PHP 8 的JIT(Just In Time)編譯器將作為擴充整合到php 中 Opcache 擴充 用於執行時間將某些操作碼直接轉換為從cpu 指令。
這表示使用JIT後,Zend VM 不需要解釋某些操作碼,而這些指令將直接作為CPU級指令執行。
PHP 8 的 JIT
PHP 8 Just In Time(JIT)編譯器帶來的影響是毋庸置疑的。但到目前為止,我發現關於 JIT 應該做什麼卻知之甚少。
經過多次研究和放棄,我決定親自檢查PHP原始碼。結合我對C語言的一些知識和我目前收集到的所有零散信息,我提出了這篇文章,我希望它能幫助您更好地理解PHP的JIT。
簡單一點來說 : 當JIT如預期運作時,您的程式碼不會透過Zend VM執行,而是作為一組CPU級指令直接執行。
這就是全部的想法。
但為了更好地理解它,我們需要考慮php如何在內部運作。不是很複雜,但需要一些介紹。
我寫了一篇部落格文章,大致概述了php的工作原理。如果你覺得這篇文章寫太多了,就去查另一篇,稍後再來。事情會變得更容易理解。
PHP的程式碼是怎麼執行的?
總所周知, PHP 是解釋型語言,但這句話本身是什麼意思呢?
每次執行 PHP 程式碼(命令列腳本或 WEB 應用程式)時,都要經過 PHP 解譯器。最常用的是 PHP-FPM 和 CLI 解譯器。
解釋器的工作很簡單:接收 PHP 程式碼,對其進行解釋,然後傳回結果。
一般的解釋型語言都是這個流程。有些語言可能會減少幾個步驟,但總體的思路相同。在 PHP 中,這個流程如下:
讀取 PHP 程式碼並將其解釋為一組稱為 Tokens 的關鍵字。這個過程讓解釋器知道各個程式都寫了哪些程式碼。 這一步稱為 Lexing 或 Tokenizing 。
拿到 Tokens 集合以後,PHP解譯器會試著解析他們。透過稱為 Parsing 的過程產生抽象語法樹(AST)。這裡 AST 是一個節點集表示要執行哪些動作。例如,「 echo 1 1 」實際意義是 「印 1 1 的結果」 或者更詳細的說 「印出一個動作,這個動作是 1 1」。
有了 AST ,可以更輕鬆地理解操作和優先順序。將抽象語法樹轉換成可以被 CPU 執行的操作需要一個用於過渡的表達式(IR),在 PHP 中我們稱為 Opcodes 。將 AST 轉換為 Opcodes 的過程稱為 compilation 。
有了 Opcodes ,有趣的部分就來了: executing 程式碼! PHP 有一個稱為 Zend VM 的引擎,該引擎能夠接收一系列 Opcodes 並執行它們。執行所有 Opcodes 後, Zend VM 就會將程式終止。
這個圖可以讓你更清楚:
#一個簡化版的 PHP 解釋流程概述。
如你所見。這裡有個問題:即使 PHP 程式碼沒改變,每次執行還是會走此流程嗎?
讓我們看回 Opcodes 。對了!這就是 Opcache 擴充 存在的原因。
Opcache 擴充功能
Opcache 擴充是 PHP 附帶的,通常沒必要停用它。使用 PHP 最好開啟 Opcache 。
它的作用是為 Opcodes 增加一個記憶體共享快取層。它的工作是從 AST 中提取新生成的 Opcodes 並快取它們,以便執行時可以跳過 Lexing/Tokenizing 和 Parsing 步驟。
這是包含 Opcache 擴充功能的流程示意圖:
PHP 使用 Opcache 的解釋流程。如果檔案已經被解析,則 PHP 會為其取得快取的 Opcodes ,而不是再次解析。
完美的跳過了 Lexing/Tokenizing 、 Parsing 和 Compiling 步驟 ? 。
附註: 這是超讚的 PHP 7.4 預先載入功能 RFC ! 允許你告訴 PHP FPM 解析程式碼庫,將其轉換為 Opcodes 並且在執行之前就將其快取。
你想知道JIT是怎麼參與這個解釋流程的嗎?這篇文章的將說明。
Just In Time 編譯有什麼效果?
聽了 Zeev 在 PHP Internals News 發表的 PHP 和 JIT 廣播 之後,我弄清楚了 JIT 實際做了什麼事情。
如果說 Opcache 擴充功能可以更快的取得 Opcodes 將其直接轉到 Zend VM,則 JIT 讓它們完全不使用 Zend VM 即可運作。
Zend VM 是用 C 編寫的程序,可作為 Opcodes 和 CPU 之間的一層。 JIT 在執行階段直接產生編譯後的程式碼,因此 PHP 可以跳過 Zend VM 並直接被 CPU 執行。 從理論上說,性能會更好。
這聽起來很奇怪,因為在編譯成機器碼之前,需要為每種類型的結構體寫一個具體的實作。但其實這也是合理的。
PHP 的 JIT 使用了名為 DynASM (Dynamic Assembler) 的函式庫,該函式庫將特定格式的一組 CPU 指令對應為許多不同 CPU 類型的彙編程式碼。因此,編譯器只需要使用 DynASM 就可以將 Opcodes 轉換為特定結構體的機器碼。
但是,有一個問題困擾了我很久。
如果預先載入能夠在執行之前將PHP 程式碼解析為Opcodes,而DynASM 可以將Opcodes 編譯為機器碼(Just In Time 編譯) ,為什麼我們不立即使用執行前編譯(Ahead of Time 編譯) 立刻編譯PHP 呢?
透過收聽 Zeev 的廣播,我找到的原因之一是 PHP 是弱型別語言,這表示在 Zend VM 嘗試執行某個操作碼之前, PHP 通常不知道變數的型別。
可以查看 Zend_value 聯合類型 得知, 很多指標指向不同類型的變數。每當 Zend VM 嘗試從 Zend_value 取得值時,它都會使用像 ZSTR_VAL 這樣的宏,取得聯合類型中字串的指標。
例如,這個 Zend VM handler 是處理「小於或等於」(
使用機器碼執行類型推斷邏輯是不可行的,並且可能變得更慢。
先求值再編譯也不是個好選擇,因為編譯成機器碼就是 CPU 密集型任務。因此,在運行時編譯所有內容也不好。
那麼 Just In Time 編譯是怎麼做的?
現在我們知道無法很好的推論類型來提前編譯。我們也知道在運行時進行編譯的運算成本很高。那麼 JIT 對 PHP 有何好處呢?
為了尋求平衡, PHP 的 JIT 嘗試只編譯有價值的 Opcodes 。為此, JIT 會分析 Zend VM 要執行的 Opcodes 並檢查可能編譯的地方。 (根據設定檔)
當某個 Opcode 編譯後,它將把執行交給該編譯後的程式碼,而不是交給 Zend VM 。看起來如下:
PHP 的 JIT 解釋流程。如果已編譯,則 Opcodes 不會透過 Zend VM 執行。
因此,在 Opcache 擴充中,有兩個偵測指令判斷要不要編譯 Opcode 。如果要,編譯器將使用 DynASM 將此 Opcode 轉換為機器碼,並執行此機器碼。
有趣的是,由於目前介面中編譯的程式碼有 MB 的限制(也是可設定的),所以程式碼執行必須能夠在 JIT 和解釋程式碼之間無縫切換。
順便說一句,Benoit Jacquemont 在 php 的 JIT 上的這篇演講幫助我理解了這整件事。
我仍然不確定編譯部分什麼時候有效進行,但我想現在我真的不想知道。
所以你的效能收益可能不會很大
我希望現在大家都很清楚為什麼大多數 php 應用程式不會因為使用即時編譯器而獲得很大的效能效益。這也是為什麼 Zeev 建議為你的應用程式分析和試驗不同的 JIT 配置是最好的方法。
如果您使用的是PHP FPM,則通常會在多個請求之間共用已編譯的操作碼,但這仍然不能改變遊戲規則。
這是因為JIT優化了計算密集型的操作,而如今大多數php應用程式比其他任何東西都更受I/O約束. 如果您無論如何都要訪問磁碟或網絡,則處理操作是否已編譯則無關緊要。時間上將非常相似。
除非…
你正在做一些不受I/O約束的事情, 像是圖像處理或機器學習。任何不接觸I/O的東西都將受益於JIT編譯器。
這也是為什麼現在人們說我們更願意用PHP寫原生功能而不是C寫的原因。如果仍然要編譯此功能,則開銷將毫無表現力。
有趣的時光成為一個PHP程式設計師…
希望本文對您有幫助,讓您能更好的理解PHP8的JIT。
原文網址:https://thephp.website/en/issue/php-8-jit/
推薦:《PHP視頻教程》
以上是一文深入了解 PHP 8 中的 JIT的詳細內容。更多資訊請關注PHP中文網其他相關文章!

php把负数转为正整数的方法:1、使用abs()函数将负数转为正数,使用intval()函数对正数取整,转为正整数,语法“intval(abs($number))”;2、利用“~”位运算符将负数取反加一,语法“~$number + 1”。

实现方法:1、使用“sleep(延迟秒数)”语句,可延迟执行函数若干秒;2、使用“time_nanosleep(延迟秒数,延迟纳秒数)”语句,可延迟执行函数若干秒和纳秒;3、使用“time_sleep_until(time()+7)”语句。

php除以100保留两位小数的方法:1、利用“/”运算符进行除法运算,语法“数值 / 100”;2、使用“number_format(除法结果, 2)”或“sprintf("%.2f",除法结果)”语句进行四舍五入的处理值,并保留两位小数。

判断方法:1、使用“strtotime("年-月-日")”语句将给定的年月日转换为时间戳格式;2、用“date("z",时间戳)+1”语句计算指定时间戳是一年的第几天。date()返回的天数是从0开始计算的,因此真实天数需要在此基础上加1。

php判断有没有小数点的方法:1、使用“strpos(数字字符串,'.')”语法,如果返回小数点在字符串中第一次出现的位置,则有小数点;2、使用“strrpos(数字字符串,'.')”语句,如果返回小数点在字符串中最后一次出现的位置,则有。

php字符串有下标。在PHP中,下标不仅可以应用于数组和对象,还可应用于字符串,利用字符串的下标和中括号“[]”可以访问指定索引位置的字符,并对该字符进行读写,语法“字符串名[下标值]”;字符串的下标值(索引值)只能是整数类型,起始值为0。

方法:1、用“str_replace(" ","其他字符",$str)”语句,可将nbsp符替换为其他字符;2、用“preg_replace("/(\s|\ \;||\xc2\xa0)/","其他字符",$str)”语句。

在php中,可以使用substr()函数来读取字符串后几个字符,只需要将该函数的第二个参数设置为负值,第三个参数省略即可;语法为“substr(字符串,-n)”,表示读取从字符串结尾处向前数第n个字符开始,直到字符串结尾的全部字符。


熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

AI Hentai Generator
免費產生 AI 無盡。

熱門文章

熱工具

SAP NetWeaver Server Adapter for Eclipse
將Eclipse與SAP NetWeaver應用伺服器整合。

MinGW - Minimalist GNU for Windows
這個專案正在遷移到osdn.net/projects/mingw的過程中,你可以繼續在那裡關注我們。 MinGW:GNU編譯器集合(GCC)的本機Windows移植版本,可自由分發的導入函式庫和用於建置本機Windows應用程式的頭檔;包括對MSVC執行時間的擴展,以支援C99功能。 MinGW的所有軟體都可以在64位元Windows平台上運作。

VSCode Windows 64位元 下載
微軟推出的免費、功能強大的一款IDE編輯器

MantisBT
Mantis是一個易於部署的基於Web的缺陷追蹤工具,用於幫助產品缺陷追蹤。它需要PHP、MySQL和一個Web伺服器。請查看我們的演示和託管服務。

mPDF
mPDF是一個PHP庫,可以從UTF-8編碼的HTML產生PDF檔案。原作者Ian Back編寫mPDF以從他的網站上「即時」輸出PDF文件,並處理不同的語言。與原始腳本如HTML2FPDF相比,它的速度較慢,並且在使用Unicode字體時產生的檔案較大,但支援CSS樣式等,並進行了大量增強。支援幾乎所有語言,包括RTL(阿拉伯語和希伯來語)和CJK(中日韓)。支援嵌套的區塊級元素(如P、DIV),