Un regard sur le piratage, le remplacement PHP dans HHVM

Vous pouvez utiliser la boîte Vagrant créée précédemment pour exécuter les extraits de code à partir de cet article.

Les plats clés

• Hack, le remplacement PHP dans HHVM, est une langue dactylographiée statiquement, ce qui signifie que vous devez fournir des types pour toutes les variables de votre application. Cependant, Hack utilise un système de «frappe graduelle», où les types ne sont attendus qu'en mode «strict», et même alors, le piratage est suffisamment intelligent pour déduire les types de variables locales.
• Hack introduit plusieurs fonctionnalités qui améliorent PHP, y compris les attributs d'utilisateurs, qui sont l'implémentation des annotations par Facebook, et XHP, une extension PHP qui augmente la syntaxe du langage afin que les fragments de document XML deviennent des expressions PHP valides.
• Malgré les avantages du piratage et du HHVM, il y a encore des obstacles à leur adoption, y compris le manque de soutien aux extensions PECL et le fait que HHVM est uniquement soutenu par Facebook. Cependant, Facebook a un outil qui peut automatiquement compiler les extensions de PHP pour la cible HHVM, et le développement d'une extension pour HHVM serait plus facile que de développer pour PHP.

Pourquoi les types?

Dans la première partie de l'article, nous avons vu que le piratage était en fait typé statiquement. Cela signifie que vous devez fournir des types pour toutes les variables de votre application. Pour rappel, PHP est dynamiquement typé de sorte que vous n'ayez jamais besoin de taper vos variables bien que vous puissiez utiliser le type de type pour faire des arguments de fonction.

Mais attendez, cela signifie-t-il que vous devez fournir des types pour chaque variable de votre application? Pas exactement, et nous allons voir les détails.

La base de code de Facebook est composée de centaines de millions de lignes de code et d'ajout de types partout avant de pouvoir passer au piratage aurait été un véritable fardeau. Ils sont donc venus avec «Typage progressif»: Hack attend que les types en mode «strict» uniquement. En mode non strict, les types ne seraient pris en compte que lorsqu'ils sont présents.

La saisie du mode strict est aussi simple que de changer la balise de démarrage de piratage de HH à HH // strict.

Même en mode strict, vous ne devez pas annoter toutes les variables. En effet, le piratage est suffisamment intelligent pour déduire les types de variables locales. Les annotations de type ne sont requises que pour les propriétés de classe, les arguments de fonction et les valeurs de retour. Je recommanderais autrement d'annoter les variables locales lorsqu'elle pourrait aider à comprendre votre code.

Regardons un exemple:

<span><span><?hh // strict
</span></span><span>
</span><span><span>require "/vagrant/www/xhp/php-lib/init.php";
</span></span><span>
</span><span><span>// ...
</span></span><span>
</span><span><span>function add(int $a, int $b): int {
</span></span><span>    <span>return $a + $b;
</span></span><span><span>}
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>;
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>function add_array(array<int> $a): int {
</int></span></span><span>    <span>return array_reduce($a, "add", 0);
</span></span><span><span>}
</span></span><span>
</span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span></span>

L'exemple de code de cette section est situé sur www / type-checker / index.php et vous pouvez voir sa sortie en pointant votre navigateur vers http: // localhost: 8080 / type-checker /.

Le premier message d'erreur n'est pas surprenant: appeler Add (1, "A") génère une erreur car Add () s'attend à ce que le deuxième argument soit un entier.

Le deuxième message d'erreur est plus inattendu: l'erreur n'est pas générée en appelant add_array ([1, "a"]). C'est en fait l'appel pour ajouter (1, "A") à l'intérieur de add_array () qui génère l'erreur! On aurait pu s'attendre à ce que le passage [1, "A"] déclenche une erreur car ce n'est pas un tableau .

Le fait est que la vérification d'exécution HHVM est clairsemée afin de ne pas avoir d'impact sur les performances: elle n'imagine pas les objets. À ce stade, vous remettez probablement en question l'utilité du système de type hack! Mais ne vous inquiétez pas, il y a une réponse facile, le «Type Checker»: il attraperait tout type de décalage, y compris celui de l'exemple précédent. Ne le cherchez pas dans le référentiel HHVM, il n'a pas encore été publié par Facebook.

Le vérificateur de type est implémenté en tant que serveur qui regarde vos fichiers pour les modifications. Chaque fois qu'il détecte un changement, il analysera le fichier modifié avec ses dépendances pour les erreurs. Les erreurs sont signalées en temps réel afin que vous n'ayez même pas à exécuter le code. Il a été conçu pour fonctionner très rapidement même à l'échelle de FB.

Vous devriez maintenant être convaincu que le système de type fonctionne très bien, mais quels sont les avantages? Il permet d'attraper des erreurs de développeur en temps réel, produisant du code plus efficace: une fonction php add () devrait d'abord vérifier les types de $ a et $ b (c'est-à-dire la chaîne, null,…) peut-être les convertir en chiffres et seulement alors effectuer l'ajout. Alors qu'avec le piratage, la fonction ADD () ci-dessus ajoute deux entiers non nuls, ce qui est une opération très rapide dans le langage d'assemblage (comme généré par le HHVM JIT).

Si, en tant que développeur, vous utilisez déjà des annotations de type PHP et des annotations PHPDOC, le passage au mode strict devrait être une évidence. Votre code deviendra plus sûr et plus rapide - notez que certains outils QA existants, comme le scrutin, utilisent déjà l'inférence de type pour vérifier votre code, bien qu'ils ne soient pas en temps réel.

Si vous utilisez PHP principalement en raison de sa nature dynamiquement typée, vous voulez probablement vous en tenir au mode non stricte.

Attributs utilisateur

L'utilisation des annotations a considérablement augmenté dans le monde PHP au cours des dernières années. Pour ceux qui ne connaissent pas les annotations, ce sont des métadonnées que vous pouvez ajouter aux classes, interfaces, traits, variables et fonctions / méthodes.

La doctrine ORM a probablement été l'un des premiers projets PHP à utiliser considérablement les annotations. Vous trouverez ci-dessous un exemple de configuration de modèle à partir de la documentation de la doctrine:

<span><span><?hh // strict
</span></span><span>
</span><span><span>require "/vagrant/www/xhp/php-lib/init.php";
</span></span><span>
</span><span><span>// ...
</span></span><span>
</span><span><span>function add(int $a, int $b): int {
</span></span><span>    <span>return $a + $b;
</span></span><span><span>}
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>;
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>function add_array(array<int> $a): int {
</int></span></span><span>    <span>return array_reduce($a, "add", 0);
</span></span><span><span>}
</span></span><span>
</span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span></span>

PHP, contrairement à de nombreuses autres langues, n'a pas de support intégré pour les annotations. Cependant, la bibliothèque d'annotation de la doctrine est largement utilisée pour extraire les métadonnées de DocBlocks. Une RFC proposant un support intégré pour les annotations en PHP a été refusée en 2011.

Les attributs de l'utilisateur sont l'implémentation Facebook des annotations. Ils sont enfermés dans et leur syntaxe diffère un peu des annotations de doctrine:

<span><span><?hh // strict
</span></span><span>
</span><span><span>require "/vagrant/www/xhp/php-lib/init.php";
</span></span><span>
</span><span><span>// ...
</span></span><span>
</span><span><span>function add(int $a, int $b): int {
</span></span><span>    <span>return $a + $b;
</span></span><span><span>}
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>echo <p>add(1, "a") = {add(1, "a")}</p>;
</span></span><span>
</span><span><span>// ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an
</span></span><span><span>// instance of int, string given
</span></span><span><span>function add_array(array<int> $a): int {
</int></span></span><span>    <span>return array_reduce($a, "add", 0);
</span></span><span><span>}
</span></span><span>
</span><span><span>echo <p>add_array([1, "a"]) = {add_array([1, "a"])}</p>;</span></span></span>

Vous devez noter que les attributs de l'utilisateur sont, sans surprise, accessibles à partir de l'API de réflexion. Notez également que la prise en charge de l'anotation sur les propriétés de classe reste à implémenter.

L'exemple de code de cette section est situé sur www / attributs / index.php et vous pouvez voir sa sortie en pointant votre navigateur vers http: // localhost: 8080 / attributs /.

xhp

Vous devriez maintenant avoir un avant-goût de ce qu'est XHP comme nous l'avons utilisé à partir du premier exemple de code de cet article. Permettez-moi de citer Facebook pour une définition plus complète «XHP est une extension PHP qui augmente la syntaxe de la langue de telle sorte que les fragments de document XML deviennent des expressions PHP valides.». Notez que XHP est disponible en tant qu'extension PHP et que HHVM a un support natif.

Avec XHP, vous pouvez utiliser

{$ hello}

où vous auriez utilisé "

$ bonjour

" avec Vanilla PHP. Bien que l'exemple précédent soit trivial, XHP a plus à offrir:

• Il validerait votre balisage afin que vous ne puissiez pas écrire HTML non valide - pensez aux balises de fermeture manquantes, aux fautes de frappe dans les noms de paramètres,…
• Il fournit un certain niveau d'échappement contextuel - comme le moteur est conscient de ce que vous rendez, il pourrait échapper à HTML et attribuer les valeurs de manière appropriée pour empêcher les attaques XSS,
• Vous pouvez écrire vos propres balises en étendant ou en emballage les balises existantes.

Regardons un exemple:

<span><span><?php </span></span><span><span>/** @Entity */
</span></span><span><span>class Message
</span></span><span><span>{
</span></span><span>    <span>/** @Column(type="integer") */
</span></span><span>    <span>private $id;
</span></span><span>    <span>/** @Column(length=140) */
</span></span><span>    <span>private $text;
</span></span><span>    <span>/** @Column(type="datetime", name="posted_at") */
</span></span><span>    <span>private $postedAt;
</span></span><span><span>}</span></span></span>

L'exemple de code complet de cette section est situé sur www / hhxhp / index.php et vous pouvez voir sa sortie en pointant votre navigateur vers http: // localhost: 8080 / hhxhp /.

Dans cet exemple, nous commençons par définir une balise personnalisée qui rendra une balise , cela se fait en déclarant une classe: tuto: exemples. Notre balise personnalisée nécessitera deux attributs, des exemples et le courant mais n'est pas autorisé à avoir des enfants (enfants vides;).

Au fur et à mesure que nous étendons l'élément de base: x: nous devons remplacer la méthode Render () pour retourner notre balisage personnalisé sous le nom de xhp.

Facebook utilise le langage XHP comme base de sa bibliothèque d'interface utilisateur qui pourrait éventuellement s'ouvrir également.

Exécution du code asynchrone

J'avais l'intention d'écrire une section sur l'exécution du code asynchrone après avoir vu certains tests dans le repo HHVM. Cependant, je n'ai pas pu venir avec un exemple de travail. Cela pourrait être dû à ma peu de compréhension du sujet ou au fait que Facebook n'a pas encore publié tout le code connexe. Je pourrais écrire à ce sujet une fois que Facebook publie une documentation.

Autres fonctionnalités

Il y a beaucoup de choses sur l'écosystème HHVM qui n'étaient pas couvertes par cet article, à la fois parce que j'ai dû faire des choix sur ce qu'il faut inclure et parce que Facebook n'a pas encore publié tout le code et la documentation.

Certaines choses qui méritent d'être mentionnées sont le soutien récent pour FastCGI et le débogueur intégré.

Facebook a également présenté «FBIDE», un IDE basé sur le Web avec une complétion automatique, une mise en évidence de la syntaxe, un montage collaboratif et plus encore. Nous pourrions nous attendre à ce qu'il soit disponible à un moment donné.

Resources externes

Vous pouvez trouver plus d'informations dans certaines discussions et diapositives de l'équipe Facebook que j'ai utilisée pour préparer cet article. J'ai entendu parler du piratage en écoutant la conversation «Take PHP au sérieux» de Keith Adams et un autre grand discours de Julien Verlaguet. Les belles diapositives de Sara Golemon m'ont également été très utiles.

Conclusion

Facebook s'est engagé à fournir la parité des fonctionnalités avec PHP pour le HHVM. À la fin de l'année dernière, HHVM était déjà en mesure de passer 98,5% des tests unitaires pour 20 des cadres PHP les plus populaires. La situation s'est légèrement améliorée depuis lors.

À partir d'aujourd'hui, le HHVM exécute le code PHP plus rapidement que PHP tout en consommant moins de mémoire. Ce sera un avantage significatif en faveur du HHVM lorsque la parité sera finalement atteinte. En plus de cela, vous pouvez commencer à introduire un pirat et php sont interopérables.

Dans quelques mois, nous pouvons nous attendre à plus de documentation et d'outillage de Facebook. Vous pourriez même aider en contribuant au projet sur GitHub, il y a aussi un programme de primes en place.

L'un des problèmes rapportés par la communauté PHP qui est probablement un obstacle majeur pour l'adoption est le manque de soutien aux extensions PECL. Pour atténuer cela, Facebook a un outil qui peut compiler automatiquement les extensions PHP pour la cible HHVM; Le taux de réussite est loin de 100%. L'autre chose qui pourrait aider ici est que le développement d'une extension pour HHVM est beaucoup plus facile que de se développer pour Php.

Le fait que HHVM soit soutenu par Facebook seul, et la nécessité de signer une CLA avant de contribuer à HHVM semble gênante pour les autres.

Je pense personnellement qu'une bonne quantité de concurrence est une grande chose pour l'avenir de Php.

pour conclure, je tiens à remercier l'équipe Facebook pour le travail incroyable qu'ils ont fait et à l'avoir open. Si vous souhaitez voir plus d'articles de point de site sur HHVM et pirater à l'avenir, n'hésitez pas à suggérer des sujets en ajoutant un commentaire ci-dessous.

Questions fréquemment posées (FAQ) sur le hack PHP Remplacement HHVM

Qu'est-ce que le remplacement du piratage PHP HHVM?

Hack PHP Remplacement HHVM, également connu sous le nom de machine virtuelle HipHop, est une machine virtuelle open source conçue pour exécuter des programmes écrits en piratage et PHP. HHVM utilise une approche de compilation juste en temps (JIT) pour obtenir des performances supérieures tout en maintenant la flexibilité de développement que PHP offre.

En quoi HHVM diffère-t-il du PHP traditionnel?

HHVM diffère du PHP traditionnel dans son exécution. Alors que PHP interprète le code à l'exécution, HHVM compile le code PHP ou le piratage dans un bytecode de haut niveau qui est ensuite traduit en code machine. Ce processus permet d'améliorer les performances et l'efficacité.

Qu'est-ce que le langage de programmation de piratage?

Le piratage est un langage de programmation pour la machine virtuelle HipHop (HHVM) inventée par Facebook. Il s'agit d'un dialecte de PHP et comprend de nouvelles fonctionnalités telles que le typage statique, les annotations de type et les génériques, qui ne sont pas disponibles en php traditionnel

Comment le pirat Plusieurs fonctionnalités qui s'améliorent sur PHP. Il comprend le typage statique, qui peut empêcher les erreurs de runtime potentielles. Il prend également en charge la programmation asynchrone, permettant une manipulation plus efficace des opérations d'E / S. De plus, le piratage comprend des collections, qui sont des structures de données fortement types et fortement typées.

HHVM est-il compatible avec tout le code PHP?

Alors que HHVM vise à être compatible avec la plupart des code PHP, là-bas, là Peut être quelques différences en raison de la nature du processus de compilation JIT. Cependant, HHVM fournit un outil appelé «HHVM-AUTOLOAD» qui peut aider à migrer le code PHP existant vers HHVM.

Comment HHVM améliore-t-il les performances?

HHVM améliore les performances en utilisant un juste-in? - Approche de compilation du temps (JIT). Cela signifie qu'au lieu d'interpréter le code PHP au moment de l'exécution, HHVM compile le code dans un bytecode de haut niveau qui est ensuite traduit en code machine. Ce processus permet une exécution plus rapide et une efficacité améliorée.

Puis-je utiliser le piratage sans hhvm?

Non, Hack est un langage de programmation spécialement conçu pour la machine virtuelle HIPHOP (HHVM). Par conséquent, pour utiliser le piratage, vous devez faire installer HHVM.

Est-ce que le piratage est un langage dactylographié statiquement?

Oui, le piratage est un langage dactylographié statiquement. Cela signifie que le type d'une variable est vérifié au moment de la compilation, ce qui peut aider à prévenir les erreurs de conduite potentielles.

Quels sont les avantages de l'utilisation du pirat , y compris le typage statique, la programmation asynchrone et les collections. Ces fonctionnalités peuvent aider à améliorer la sécurité, l'efficacité et les performances du code.

Comment puis-je commencer à utiliser HHVM et Hack?

Pour commencer à utiliser HHVM et Hack, vous devez installer HHVM sur votre système. Une fois installé, vous pouvez écrire votre code en piratage et l'exécuter à l'aide du HHVM Runtime. Il existe également plusieurs ressources et tutoriels disponibles en ligne pour vous aider à démarrer.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!