あなたはあなた自身のフレームワークを書くことに決めました。それは価値がありました？

古典が言ったように、「遅かれ早かれ私たちはそれに到達することを知っていました」。だから私は、労働者のSymfonyとペットプロジェクトのReactPHPで長年静かな生活を送った後、私のフレームワークの作成に適合しました。



しかし、彼の話はまだ始まったばかりです。そして、頭脳が生産レベルに成長したが、ニッチな解決策のままである人々はどうですか？この質問への答えを知っている誰かを見つけました-アスペクト指向のフレームワークの作者であり開発者です。



こんにちは！これは私のポッドキャスト「BetweentheBrackets」の部分的なトランスクリプトです-PHPの世界からの興味深い人々へのインタビューです。このエピソードでは、gopherがよくグーグルするJavaベースのフレームワークの作成者であるAlexanderLisachenkoと話をします。

聞き取りに慣れている場合は、オーディオバージョンに技術的な例があります。

おそらく、私たち全員がAOP（PHPのアスペクト指向プログラミング）のようなものに出くわしたわけではありません。そして、サーシャは立ち往生し、このことを私たちのアプリケーションにドラッグするという彼自身の決定をしました。



Sergey Zhuk、Skyeng、DriftPHP：最初から始めましょう-AOPとは何ですか？それはどのような問題を解決しますか？



アレクサンダーリサチェンコ、PHPロシアアンドゴー！ AOP：アイデアは新しいものではありません。 AOPは、エンドツーエンドの機能の問題に対処するためにXeroxで発明されました。また、Javaの世界では、このアプローチは、承認、認証、キャッシング、ロギング、機能の切り替えの管理、回路ブレーカーなどの機能をチェックするために積極的に使用されています。



アスペクトを使用すると、非常に幅広いタスクを解決できます。例を使用してみましょう：

• . , . , , . — , .
• — . , - . , , - .
• : , , . Xdebug — .
• , — circuit breaker, , , , .

アプリケーションを見ると、そのようなコードフラグメントがいたるところにあり、それを操作するのはあまり便利ではないことがわかります。このいわゆるエンドツーエンド機能は、アプリケーション全体に存在します。

そして、従来のオブジェクト指向のプログラミングを使用して、どういうわけかそれをまとめる良い方法はありません。

はい、もちろん、デコレータを使用することはできますが、クラスで同じインターフェイスを実装する場合は、デコレータで各メソッドを実装または生成する必要があります。つまり、キャッシュするすべてのクラスのデコレータを用意します。



Sergey Zhuk：わかりました、わかりました。しかし、これにはすでにいくつかのPECL拡張機能があり、フレームワークも存在していました。なぜ自分で書くことにしたのですか？



Aleksandr Lisachenko：はい、あなたはすでに多くの解決策があったことを正しく指摘しました。しかし、私にはそれらには重大な欠点があるように思われました。



一部のソリューションは、ソースコードを変換しようとし、すぐに特定のアドバイスを特定のクラスに埋め込みました。これは、あるメソッドから別のメソッドに繰り返されるコードの一部です。 xltを使用すると、1つのクラスが生成され、すべてがそこに配置されます。一般に、このコードはまったく開かない方がよいでしょう）



2番目のクラスのソリューションは拡張機能です。たとえば、PHP AOPは原則として非常に機能的ですが、実行時にすべてを実行します。アドバイスを1つ追加すると、すべて問題ないように見えますが、2つ目を追加すると、それに比例して速度が低下し始めます。したがって、10のヒントで、アプリケーションの速度が低下し始めます。さらに数十を追加すると、それだけです。タイムアウトが保証されます。



どういうわけか、「フィルター」と呼ばれるアイデアが、現代のミドルウェアのプロトタイプであるLithiumフレームワークにどのように実装されているかを見たことがありました。プログラムで既知のポイントをいくつか作成し、呼び出しの前と後の両方で、これらのポイントにフィルターを適用できます。このアイデアはとても面白そうだったので、アプリケーションを作成し、これらのフィルターを使用して横断的な機能を公開することにしました。私はそれがJavaでどのように行われるかを研究し始めました。

そして、PHPではそれをオフハンドで実装することは不可能であることに気づきました。それはおそらく最も興味深い瞬間でした。

一般に、フレームワークを作成するプロセス全体は、「いいえ」と「不可能」という絶え間ない闘争でした。基本的なことはできなかったようですが、それ以上に面白かったです。



Sergey Zhuk：私はただ尋ねざるを得ません。なぜAOPに行くのですか？フレームワークの最初のリリースは2013年の初めに行われ、Go言語はすでに存在し、PHPを使用していました。 JavaScriptやJavaのようなものですよね？）



Alexander Lisachenko：最初のコミットは私のコンピューターでのローカル開発の始まりと同じではありません）当時、Goはまだ人気がありませんでした。私はグーグルで検索しましたが、グーグルによるある種の内部開発があり、それはそれ自身のニッチを占めています...そして気にしませんでした。



フレームワーク自体の名前は、いわば内部の希望に基づいて選択しました。 goから-「go」、「forward」、「do」。



Sergei Zhuk：それでは、名前を変更する考えはありませんでしたか？



Alexander Lisachenko：正式には、 Go！のフルネームです。 AOPPHP。しかし、時間が経つにつれて、PHPはComposerを介して渡され、オイルを油っぽくする意味がないように思われるため、削除しました。



これまでのところ、余分なトラフィックが発生しています。AOPforGoを見つけようとする多くの人が、私のPHPフレームワークにたどり着きます。おそらく将来のバージョンでは、これはGoに関するものではないことを強調する必要があります。これまでのところ、この点に関してGitHubで問題を開始した人は誰もいません。 Googleやコミュニティからの苦情もありませんでした。



Sergey Zhuk：わかりました。クライアントコードの観点から、これはどのように実装されていますか？ここにアプリケーションがあります。たとえば、Laravelには、サードパーティのサービスとの統合がいくつかあります。これらの呼び出しをログに記録したいと思います。



Alexander Lisachenko： Laravel用の特別なモジュールがすでにあります。彼はあなたが必要とするすべてのものをシステムに入れ、それを構成します。アスペクトを作成する必要があります。これはサービスになり、タグを付けて、AOPコアによって自動的に取得されます。まさにその側面では、アプリケーションのどのポイントで、どのクラスとメソッドで、キャッシュ機能を実装するかを理解する必要があります。署名を使用してメソッドを直接指定することも（ただし、オプションはあまり柔軟ではないため、メソッドの名前を変更することはできますが、アスペクトに残ります）、または注釈を使用してメソッドにマークを付けることができます。 2番目のオプションはより柔軟性があります。キャッシュする必要がある場合は、キャッシュ可能としてマークするだけで、エンジンがキャッシュを実行し、アスペクトのコードにあるコールバックを呼び出します。



Composerを使用してクラスをロードするときに、フレームワークが介入し、アスペクトが埋め込まれたキャッシュにこのクラスの準備ができているバージョンがあるかどうかを確認します。ある場合は、すぐに返され、実行時に追加のチェックは行われません。キャッシュがない場合は、ASTツリーを作成し、このツリーの上に反射クラスを作成しますが、メモリにロードしません。そしてこの時点で、必要に応じて変更できます。つまり、このクラス内にアスペクトコードを織り込むことができます。

私は側面の中の麺が好きではなく、クラスを2つの部分に分けることにしました。

元のクラスは実質的に変更されません。名前のみが変更されます。また、元のクラス名で2番目のクラスが表示されます。これは、メインのクラスを拡張し、必要に応じて、いくつかのメソッドをオーバーライドできます。



なぜ、実際には、継承。インスタンスを返すメソッドとクラスはたくさんあります。たとえば、よく知られているチェーンメソッド：オブジェクトのメソッドのチェーンを呼び出すと、$ thisが返されます。飾ると、最初の呼び出しは機能しますが、アスペクトは低下します。メモリにはまだ1つのインスタンスがあるため、継承とともにメモリが保存されます。



Sergey Zhuk：このすべてのアーキテクチャ、エンジン、最初からすべてを考えましたか？



アレクサンダーリサチェンコ：飛び込むことがたくさんありました。たとえば、私はASTにあまり詳しくなかったので、文法の記述に関連する多くの分野を研究しました。そして、私のフレームワークを見ると、私のポイントカットは本格的な文法を実装し、独自の構文を持っています-これはおそらく素晴らしい成果の1つです。たとえば、「アセットで始まらないパブリックメソッドの呼び出し、インターフェイスなどの内部スペースなどの実装」など、複雑な式をいくつでも記述できます。



また、PHPの内部をたくさん掘り下げました。拡張機能がどこにあるのか、どのように機能するのかを見ました。どこかでプロファイリングを行い、何かを最適化し、調整しました。しかし、AOPフレームワークを接続するだけで、アプリケーションは7〜10ミリ秒を追加します。古典的な100ミリ秒の応答のレベルでは、このような巨大なフレームワークが内部で呼び出されていることは認識できません。



Sergey Zhuk：さまざまなPHPフレームワークに固有性はありますか？



Alexander Lisachenko：原則として、AOPフレームワークは、特定のバインディングを必要としない一般的なライブラリとして考案されました。主な条件は、Composerを使用することです。しかし、それはSymfonyとはあまり友好的ではありません。

Symfonyには黒の魔法が多すぎて、それが私のフレームワークの魔法と衝突すると、最強のSymfonyが勝ちます。

一般的に、Symfonyの考え方は、コンテナがあるということです。AOP機能を取得するために個別のフレームワークを発明するのではなく、コンテナを使用する必要があります。より伝統的な方法があります：バンドルを含める-たとえば、JMSAOPまたは私のSymfonyGoAOPバンドル。



Sergey Zhuk：コミュニティと競合他社について話しましょう。持っていますか？



Alexander Lisachenko：私の知る限り、現在3つのフレームワークがあります。あるレイは。 Aop、ただし、Composerを効果的に操作する方法がわからないため、本番環境には役立ちません。 Flowの作成者は、ここにAOPがあるソースを使用してフレームワークを提供します。中国のフレームワークの隣に何か他のものがあり、Swooleの上にストラップがあります-しかし、これはすべて拡張機能のレベルであり、セキュリティ上の理由から管理者が拡張機能を見逃すことはできません。私はまだ古典的なフレームワークを持っています、そしてそれはどんなバージョンでも生き続けます。



コミュニティも。たぶん、よく理解して理解しているのは4人だけです。私、セルビアの1人の男、そして私が行ったすべてのことに参加した私の前の仕事の2人です。当然、私は彼らに私のすべての開発と結果を示しました。ここ数ヶ月、私が転職したとき、オープンソースにほとんど労力とエネルギーを費やしませんでしたが、それは自律的に生き、機能します。

, - Z-Engine — c , , PHP.

時間が空いたらすぐに、Z-Engineの作業を続け、言語自体の内部構造に基づいて、フレームワークの次のバージョンを作成する予定です。 JavaのAspectJとほぼ同じように機能します。目標は、PHP8でそこに到達することです。



Sergey Zhuk：これはフレームワークのほぼ完全な書き直しですか？



アレクサンダーリサチェンコ：いいえ、私はすべてを分解しました。コードインジェクションプロセスのみが変更されます。特定のクラスの編集を担当するクラスが文字通りいくつかあります。この場合、このクラスは異なる構造のファイルをキャッシュに作成しませんが、この時点で実行時にOPcacheを変更し、メモリ内のPHP構造を変更します。



Sergey Zhuk：そしてこのトピックに対するPHPコミュニティの一般的な態度は何ですか？私は非同期PHPが好きで、無関心な人はほとんどいません。調子はどう？



Alexander Lisachenko： AOPなしでこれを実行できると言う人は常にいますが、なぜアプリケーションでそれが必要なのですか。私の答えは、企業で働いていない場合は、側面は必要ないということです。また、企業があると思っていても、サービスが1つで開発者が2〜3人いる場合、これも機能しません）AOPは、数十人のチームでうまく機能し、それぞれが独自のスタイルで書き込みます。通常は複数のアプリケーション、通常はマイクロサービスアーキテクチャ。



自宅でフレームワークを使用している大企業がたくさんあることは確かです。フランス語、ロシア語です。感謝の気持ちを込めたメッセージがメールで届くことがあります。彼らは、私たちには1か月の作業があると思っていたが、フレームワークを掘り起こし、数日でそのタスクを完了したと言っています。彼らは開発者の作業を1か月節約しました、それは素晴らしいことです。



Sergey Zhuk：何か教育活動をしていますか？あなたのフレームワークは十分に古いですが、私はチュートリアルをざっと探しました-まばらです。 10人にAOPとは何かを尋ねるようですが、9人は知らないと言うでしょう。



アレクサンダー・リサチェンコ：はい、そうです。



Sergey Zhuk：でも、彼らが知らないのは良いことかもしれません。



アレクサンダーリサチェンコ：これは論点です）しかし、私が抱えていた、そしてまだ抱えている問題があります-それはドキュメントです。私は本質的にドキュメントを書くのが好きではありません。私はクールな解決策を書くことができます、私はいくつかの変わったもの、ライブラリを発明することができます、しかしドキュメントでそれはただ苦痛です。



セルビアの友人が私に提案した瞬間でさえ、書きましょう。そして彼はそれを書き始めました、しかししばらくするとヒューズも終わりました...そしてそれで彼らはドキュメントが豊富ではないことがわかりました、としましょう。



Sergey Zhuk：では、自然な選択ですか？最も執拗に登った人は、深く掘り下げて、それを使用します...



Alexander Lisachenko：はい、そしてこれらは、失敗しないように十分なレベルを持っている人々です。



Sergey Zhuk：あなたが推測しなかった方法でフレームワークを使用した人々からフィードバックを受け取りましたか？



アレクサンダー・リサチェンコ：はい、そのようなケースがありました。たとえば、AspectMockを書いたMikhailBodnarchukです。彼はフレームワークを採用し、それを使用して、最終的なメソッド、クラス、さらには関数を取得するという問題を解決できることに気付きました。



古いアプリケーションをリファクタリングした人たちが別の話を投げかけましたが、彼らはテストをしていませんでした-一般的に、すべてが古典的です。私のフレームワークの助けを借りて、彼らはそれぞれの特定のメソッドが何と呼ばれるかを記録し、グローバルな側面を作りました。このフォルダ内のすべてのクラスのすべてのパブリックメソッドを呼び出す前に、何が呼び出され、何が返されるか（どのタイプ、どの値）が記述されていました。次に、負荷がかかった状態でこのアプリケーションの実行を開始して、コードのすべての可能な状態を取得しました。彼らは、各メソッドで許可されている値の自動セットを取得し、値を返します。つまり、状態全体のスナップショットを取り、逆の側面を設定しました。これにより、メソッドが呼び出され、ロジックが変更されたかどうかがチェックされました。

実際、彼らはテストでカバーすることなく、自動コードリファクタリングを実装することに成功しました。

すべてのクラスをフリーズし、それらが何とどのように呼び出されるかを確認し、リファクタリング中に既存の関係が壊れていないことを確認できるように、レガシーアプリケーション用のツールを作成する方法をしばらく考えたのはとてもクールなアイデアでした。しかし、それを外部委託できるある種のツールに実装することはまだうまくいきませんでした。



ps終わりを読んで聞いてくれてありがとう！その他のポッドキャストエピソードはここにあります。