「LISP ベースの「世界最速」 (と作者が信じる) ウェブサーバ」記事へのコメント

C に勝てる?

[vn (10720)]

仮に使用した LISP 処理系が C で実装されていた場合、C に勝てるとは主張できないのではないか、と思います。

Re:

[mmgames (37884)]

理論的にはその通りですが、現実的にはそうは言えないと思います。
Ｃ言語でそのまま記述した場合よりも、LISPで記述した方が高速になったのであれば、
そのLISP処理系の最適化の性能は、比較対象となるＣ言語で記述されたWebサーバーのプログラマの最適化能力よりも上である、と言えます。

ただし、その場合であっても、より優秀なＣ言語のプログラマーにＣ言語でWebサーバーを記述してもらえれば、
LISP版を上回ることは理論上は可能です。なぜならLISP版も最終的にはＣ言語で実装されていますから。

まあ、タレコミ記事は「LISPでもがんばればＣを超える速度も無理じゃない」という雰囲気なので、速度を出すのはＣよりも大変なんでしょう。
それだと John Fremlin 氏 の優秀さはたたえられてもLISPが勝てたとは言えない気がします。

Re:

[Anonymous Coward]

> 理論的にはその通りですが、
理論的には、処理系の最適化性能にかかわらずC言語ではできない最適化をLisp(など)ならできる可能性もありますが、現実はそんなに甘くないようです [hatena.ne.jp]。
理論的にはx86より優れているはずのプロセッサアーキテクチャが(Intel自身のIA-64さえも)ことごとく敗れ去っているようなものですね。

Re:C に勝てる?

[mmgames (37884)]

なるほどなるほど。ものすごく簡単に言えば「高級言語ほど機能が抽象化されているから最適化できる」という訳ですね。

> 理論的にはx86より優れているはずのプロセッサアーキテクチャが(Intel自身のIA-64さえも)ことごとく敗れ去っているようなものですね。
こいつは単純に研究時間と研究開発費の差じゃないすか？ インテルだってIA64よりもX86に多大な開発費を投じていたかと。
でも考えてみればx86のオーバーヘッドってx86から内部Riscコードへの変換だけですから案外たいしたこと無いのかも。

Re:

[Anonymous Coward]

> こいつは単純に研究時間と研究開発費の差じゃないすか？ インテルだってIA64よりもX86に多大な開発費を投じていたかと。

今は開発サイクルの谷間にいるのでぱっとしませんが、AMDのx86もなかなかの高性能ですよ。

Re:

[Anonymous Coward]

> でも考えてみればx86のオーバーヘッドってx86から内部Riscコードへの変換だけですから案外たいしたこと無いのかも。

現時点でのx86の一番の難点は、命令境界が先頭から逐次的に走査しないとわからないため、命令の切り出し→並列実行にはコストがかかるという点です。
もっとも命令の切り出し自体はデータフロー的依存性はないので、原理的には並列度の高いものです。

命令セットアーキテクチャの審美的な美しさと回路的な効率や単純さは一致しないことのほうが多いですね。(個人的経験です。前者は対称性を重んじるあまりに無理な設計になりがちで、後者はfree parallelism but costly wiringでしょうか)