Universal eXecutable Format
これは何？
- プログラミング言語を作っていると、実行速度が出なくて悩ましいことがある。
- でもプログラムのうち高速化の必要があるところは全体の2割くらいなので、そこだけアセンブラで書けたらいいなと思う。
- こういうときの逃げ道としてC言語が用意しているのはインラインアセンブラだけど、インラインアセンブラをやることにするとアセンブラを解釈できなければいけないので、言語処理系の負担が大きい（naskをライブラリとして呼び出す方法もあるかもしれないけど、それはnaskがないと動かないということになって、情けない）。
- Cはどっちにしてもアセンブラが必要になるので、インラインアセンブラという手法はいい選択だった。
- それで、実行バイナリを扱うわけだけど、COFFやELFはオーバースペック過ぎて「僕がほしいのはこれじゃない」感が強い。こんな複雑なフォーマットを解釈しなければいけないのだとしたら、それだけで処理系も相当に肥大化してしまう。必要十分な機能があればそれでいい。
- 第二世代OSASK（efg01）の技術をそのまま使うことも考えたけど、あれはサイズを極端に小さくするために頑張っているので、それもなんかしっくりこない。もっとシンプルでいいんだ。
- ということで、efg01の技術をもっとずっとシンプルにしたようなものを考えた。
sh8
フォーマット内容
01 (アライン情報) (.textのサイズ) (.dataのサイズ) (.bssのサイズ) [.textの生データ] [.textのリロケーション情報] [.dataの生データ] [.dataのリロケーション情報]
- エントリポイントは.textの先頭に固定されています。
ローダプログラム例
void *load_uxf(const unsigned char *p)
{
if (get_sh8(&p) != 0x01) return NULL; // フォーマット不一致.
int i, j, k, l, u, m, siz[3], algn = get_sh8(&p);
unsigned char *sct[3];
for (i = 0; i < 3; i++) {
siz[i] = get_sh8(&p);
sct[i] = NULL;
if (siz[i] > 0)
sct[i] = malloc_aligned(siz[i], (algn >> (i * 4)) & 0xf);
}
for (i = 0; i < 2; i++) {
if (siz[i] == 0) continue;
for (j = 0; j < siz[i]; j++)
sct[i][j] = *p++; // 生データのロード.
j = get_sh8(&p);
if (j == 0) continue;
u = get_sh8(&p);
l = 0;
while (j > 0) {
m = get_sh8(&p);
l += (m >> 2) * u;
int *q = (int *) (sct[i] + l);
*q += (int) sct[m & 3];
l += 4;
j--;
}
}
for (j = 0; j < siz[2]; j++)
sct[2][j] = 0; // bss領域のクリア.
// sct[0]の領域に、実行権限を付与する.
return sct[0];
}
int get_sh8(const unsigned char **pp)
{
const unsigned char *p = *pp;
unsigned char c = *p++, b;
int i, j;
i = c;
for (b = 0x80; (i & b) != 0; b >>= 1)
i ^= b;
for (b = 0x80; (c & b) != 0; b >>= 1)
i = i << 8 | *p++;
*pp = p;
return i;
}
void *malloc_aligned(int siz, int algn)
{
if (algn == 0) algn = 4;
algn = 1 << algn;
// このsizとalgnでメモリ領域を確保 → p
// まあ簡易的には以下の方法で実現できる(freeのことは考えてない).
int p = (int) malloc(siz + algn);
if ((p & (algn - 1)) != 0)
p = (p + (algn - 1)) & ~(algn - 1);
return (void *) p;
}
uxfのプログラムはどうやって書くの？
- 基本的にはC言語で書きます。アセンブラで書いてもいいですが。
- ただ現状ではuxfを出力できるリンカがないので、それを適当に作らないといけません。まあそのうちやります。
こめんと欄
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
