2009年4月26日日曜日

ソースコードの重要性

処理速度等の差別化要素をないがしろにし気にもとめない
連中がSI屋を中心に多いから、仕様書さえあれば誰でも
全く同じシステムをくみ上げることができる という間違った
認識が日本国内に蔓延る。

今やその認識は世間にまで広がっている?

プログラマーの技量によって全く同じ仕様書から別物といっても
過言のないくらい、性能等の異なるシステムが組み上がってくる
ことにいい加減、 気づいてもいいんではないかと思う。

仕様書を渡しても全く同じものはできない、ソースコードを渡せば
同じものを いくらでも複製できる。

ソースコードと新幹線の部品を同じ尺度で考えるのは全くの間違い。

ソースコードを渡した場合にそのコードが民間に流出しない
保証は何処にもない。

中国政府を信頼すること自体馬鹿げている、保険となる機密保持契約
の締結を、最低限、中国政府に求めるべき。

中国は偽造複製品王国、中国政府に何の保険もなしにソースコードを
渡せば山程偽造複製品が作られる結果しか後には残らない。

機密保持契約を結んでおけば、例えその相手が政府であっても
契約を守っていなければ訴訟を起こし勝訴することができるので
もしものときの保険にできる。

中国政府が開示を求めているのは基幹ソフトウェア、つまり
ドル箱、機密保持契約を結ばずに開示に応じる企業がある
はずがない。

中国は世界の中心ではない。中国の要人や官僚に未だに
中華思想が蔓延っているから、馬鹿げた発想が出てくるのだろう。

中国政府が機密保持契約を結ばずにソースコードの開示を求めようと
すれば、中国自体が大打撃を受ける結果になるだろう。

ソースコードの開示を強要すれば、世界中の企業が中国に最先端より
数世代前の製品しか輸出しないようになるのが誰の目にも明らか、
数世代前の製品ならソースコードを開示してもダメージにはならない
のがその理由。

2009年4月6日月曜日

続・Perl6は何処にいった その2

3月中旬にParrot1.0がリリースされた。

但し、1.0は中間コードコンパイラ作成者に
向けたベータ版的なリリースで安定板は
2010年7月リリース予定の2.0までお預け。

LLVMとParrotは似て非なるもの、Parrotが
動的言語をターゲットにバイトコードを設計
しているのに対し、LLVMはC・C++等の
静的言語を主なターゲットにしておりLLVM
用の中間コードはParrotのものよりもずっと
機械語(アセンブリ)に近く、静的言語を様々な
タイミングにて最適化できるように作られている。

Parrotをバイトコードインタープリタとして捉えた
場合、最適化の方向性に疑問が残る。

OO言語と手続き型言語を同じバイトコード
インタープリタで扱うのは効率が良いとは
思えない。

CLR、RubyVM、Java、JavaScript用VMの何れに
ついてもOO言語に最適化する方向でバイトコードを
設計している。

OO言語と手続き型言語を同じバイトコードで
扱おうとした場合、手続き型言語かOO言語の
どちらかにあわせてバイトコードを設計する
ことになる。
手続き型言語に合わせた場合、OO言語を内部的
に手続き型言語に変換してからバイトコードに
落とし込む事になる、一旦バイトコードに変換
してからは高速に動作するもののバイト
コードに落とし込む際のオーバーヘッドが
馬鹿にならない。
OO言語に合わせた場合は手続き型言語を内部的に
OO言語のように扱いバイトコードに落とし込む
ことになる、OO言語は手続き型言語の特徴を内包
するのでバイトコードへの変換時のオーバーヘッド
はそれほどないものの、手続き型言語に合わせて
バイトコードを設計した場合に比べると実行時の
オーバーヘッドがそれなりにある。

OO言語と手続き型言語を両方とも上手く
扱うためにはバイトコードの設計が重要であり、
どちらかに特化した場合よりも複雑になると
思われる。

OO言語と手続き型言語の両方に上手く最適化された
動的言語用VMは今のところ、存在しない。Parrotが
初のそんなVMになるとは考えにくい。

RubyVM、Java、JavaScript用VMの何れにしても
特定の言語に特化させる形でバイトコードを設計
し、処理速度面で成果を上げている。

CLRは汎用性を追求する形でバイトコードを設計
しているため、それぞれの言語についてはその
言語へ特化した場合よりも処理速度面で劣ると
思われる。

汎用性を持たせてバイトコードを設計するよりも
個々の言語に合わせてバイトコードを設計する方
が動的言語では性能的に有利ではないかと思う。

現にParrot上に実装されたメジャーな言語の実行
環境はどれも現状では各々の言語に特化して実装
された実行環境と同等の性能を達成していない。

PythonのParrot正式採用の可能性が報じられていた
時期もあったが、今やその可能性は著しく低いという
か、ないに等しい。 unladen-swallow というPython
実装の高速化プロジェクトでは既にCPythonをベース
にLLVM利用型VMの開発を開始している。

Ruby界隈ではAppleによるRuby1.9互換(?)実装MacRuby
の開発チームが次期リリース(0.5)に向けてCRubyを
ベースにLLVM利用型VMの開発を開始している。
日本国内では有志によりYARV中間コードをLLVM中間コード
に変換するJIT(?)コンパイラyarv2llvmの開発も行われている。

LLVMは静的言語をターゲットにしてきているが、
動的言語をどのようにサポートするかもプロジェクト内で
議論されている模様。

Parrotは開発に時間が掛かりすぎている感がある。

Parrot開発開始当初には影も形もないに等しかった
LLVMに先を越された感がいなめない。

Parrotがその安定版の開発に1年以上の時間を掛ける間に
LLVM利用型の動的言語実行環境の実現に道筋が出来上がる
だろう。

つづく...推敲中