Konohaの中の人によるKonohaに関するつぶやき - Togetter
Twitterのつぶやきマッシュアップメディア!Konohaの中の人によるKonohaに関するつぶやき
Konohaに興味があるもののドキュメントが少なく困っていたら，中の人がドキュメント的につぶやいてくれました．
Konoha Project
http://konoha.sourceforge.jp/
チュートリアルのPDFは以下にあります
http://sourceforge.jp/projects/konoha/downloads/33243/Konoha_Tutorial_20101129.pdf/
by repeatedly3 fav 1202 view
まとめ
メニューを開く-
#konoha_lang でkonohaの中身を紹介してみる. -
Konoha言語とは静的に型付けされたスクリプティング言語です. 公式サイトはhttp://bit.ly/f8fMqB です
-
他のスクリプティング言語とは静的に型付けされている点で異なります。 また、Javaライクの文法を採用してます。 Java互換ではなく、Javaライクなので、一部の表記で異なっています。 #konoha_lang
-
内部実装としては、ほぼC言語で記述され、ごく一部でアセンブリ言語が使われています。wcで数えたところ、1月2日現在、C言語が47207行, アセンブリが5行程度です。#konoha_lang
-
VMやクラス構造などRuntimeで使用するデータ構造はgentoolsディレクトリ以下のジェネレータで生成されます。 コードジェネレータにはpythonが使用されており、Konoha言語のスクリプトはMakefile.amを生成する程度に使用されます。#konoha_lang
-
Wikiに載っているKonohaの特徴を解説。 (1) C/Java と高い文法互換性. 主にJava言語にほぼ互換の文法を採用しています。 (2) 静的な型付けと型推論. 静的型付けを採用してる.タイポなどはコンパイルエラーとして出力される。#konoha_lang
-
続き. (3) "Run anytime" コンパイラ技術. コンパイルエラーに陥った際に、そこでコンパイルを止めるのではなく、極力動作する形でコンパイル・実行を行う方針でコード生成を行う。確か、これはppl2008で発表してた気がする。#konoha_lang
-
(4) ユビキタス時代のどこでもスクリプティング. 移植性高い.T-Kernel, LinuxKernel内でも動作する (5) 高性能バイトコードVM (世界最速?). 結構速い実行処理系.レジスタ型VMでdirect threaded codeを採用 #konoha_lang
-
(6) クラスルーム生まれの教育プログラムとの統合 これは、大学の授業で使ってますってことか. 去年のB3の授業課題はGUIアプリを作ってくるっていう課題だった. #konoha_lang
-
Konohaのソースコードはsrcディレクトリ以下に配置されてる。 main関数が書いてある"konoha.c, 外部から持ってきたコードはext/,コンパイラ,VMは lang/,コアのコードとランタイムは main/以下に入ってる. #konoha_lang
-
ヘッダファイルはinclude以下に入ってる。自動生成されるヘッダファイルは*_.hってアンダーバーが付いている。src以下にも自動生成されるファイルはあるけど、こちらは名前がまちまち。 #konoha_lang
-
あまり計画をたてずに書いてたから、次に何を書けばいいのか迷う。とりあえず、以下を順々に書いていく。 メモリレイアウト、GC、VM、言語的特徴
-
メモリレイアウトというか、Objectやメモリ管理のデータ構造の話.KonohaではアーキテクチャによってObjectの大きさが異なる. 64bit OSなら64byte, 32bit OSなら32byteになるように配置してる. #konoha_lang
-
Object(knh_Object_tで定義されている)はヘッダ(knh_hObject_t)とボディで構成されてる。ヘッダはオブジェクト状態をしめすflag、クラス情報,あとリファレンスカウントが入ってる。 #konoha_lang
-
またmagicフィールドとmetaフィールドが存在している。magicはlive/deadの判定用,metaは現在未使用。 void *meta; /*reserved for traits*/と書いてあるからtraitsをやるために残っている。#konoha_lang
-
String, InputStreamなど各オブジェクトはヘッダは共通で、ボディだけ構造が異なるが、それぞれのオブジェクトの大きさは必ずsizeof(Object)となるように注意している。64byteからあふれる場合はポインタでつないで管理している。 #konoha_lang
-
各クラスのオブジェクトはkonoha_class.h, メモリ管理データ構造はkonoha_t.hに載っている.メモリ管理データ構造はPythonを参考にしてる。 #konoha_lang
-
sizeof(knh_hObject_t)=32なので、オブジェクトのボディサイズが32を越えるオブジェクトは64byteになるように、2つのデータに分割されます。(溢れた分は64byteである必要はない)
-
というか、いつの間にかヘッダが8byte大きくなってる。いつからだろうか？思い出せない。
-
ソースコード中ではオブジェクトはknh_Hoge_t、溢れた分はknh_HogeEX_tという名前で定義される。Method, InputStreamなど結構多い。
-
ObjectArena(256KB)をObjectPage(4KB)ごとに分割し、それをさらにObject(64Bytes)として使用している。各Pageの先頭はObjectではなく、bitmap(GC用)として使用している。 #konoha_lang
-
各オブジェクトが64byteの大きさで固定なのは断片化とかを考えたくないからだった気がする。 使われていないObjectはfreelistとして各実行コンテキスト(ctx)ごとにunusedObjectという名前で保持される。#konoha_lang
-
オブジェクト以外の用途でメモリを使用するために同様の構造を使ってる。しかしメモリ領域は分けられている。64byte以下のメモリはここから割り当てる。(メモリの利用効率は落ちる) 64byteを越える大きさのメモリはmallocで直に確保する。 #konoha_lang
-
つぎはGCの話。現在、KonohaではRCGCがデフォルトで採用されている。 MSGCも実装済みで、次のバージョンから移行するかもしれない。 #konoha_lang
-
各クラスはObjectSPIと呼ばれるドライバ関数群を持っています。Object なんとかinterfaceという略だったと思います。オブジェクトのinit, copy, traverse, compareToなど各種APIを保持しています. #konoha_lang
-
Content from Twitter
コメント