03_06_01

03_06_02

03_06_03

03_06_04

03_06_05

03_06_06

03_06_07

03_06_08

void foo();

void bar()
{
	foo();
}

class Nanika{...};

void foo();

void bar()
{
	Nanika n;
	foo();

	(....)
	return;
}

void bar()
{
	Nanika n;
	n.Nanika(); // コンストラクタ

	foo();

	goto L10;  // ???
L9:
	n.~Nanika(); // デストラクタ
	_Unwind_Resume();

L10:
	(....)

	return; 
}		

C++ exception handling: what, when, where.

ライブラリ無しでtry-catchを作って、実装がどーなってるのか説明してる。頑張って読みます。多分。

C++ ABI for Itanium: Exception Handling

C++の実装方法みたいなのを書いてあるABI仕様の例外の部分。頑張っても読みません。多分。

03_06_09

03_06_10

03_06_11

03_06_13

03_06_15

03_06_16

03_06_17

try - catch 節は実際に例外が発生しなければオーバーヘッドはそんなに無い

これまで、try 節に入るのってそこそこのオーバーヘッドがあると思ってた。
でも、実際は例外が発生しない場合のオーバーヘッドは jmp 一回 + 例外テーブル 32[byte] がいくつかとフレームとか。で、それはセクション別だから キャッシュ使ったりすることも無いだろうし。

スタック上にオブジェクト作ったらその度に例外用コードが生成される

int foo() {
	Nanika n;

	bar();
	baz();

	....
}
 

ていうのは、

int foo() {
	Nanika n;
	n.Nanika();   // コンストラクタ
	try { 
		bar();
	} catch (...) {
		n.~Nanika(); // デストラクタ
		throw;
	}

	try {
		baz();
	} catch (...) {
		n.~Nanika();
		throw;
	}

	....
}
 

ていうのとほぼ同じ。なんだけど、rethrow (ハンドラ内で throw してるやつね) が_Unwind_RaiseException を使用するのに対し、 上のような場合は _Unwind_Resume が使われる。って ABI に書いてあった。理由は↓ (訳せない…)

_Unwind_Resume should not be used to implement rethrowing. To the unwinding runtime, the catch code that rethrows was a handler, and the previous unwinding session was terminated before entering it. Rethrowing is implemented by calling _Unwind_RaiseException again with the same exception object.

Resume した場合の catch code は前に throw した場所に返さないといけないけど、 rethrow した場合の catch code は rethrow した場所に返さないといけないから？ みたいな感じかな。その辺は各自自習ということで。

_Unwind_ResumeException を無くす方法

で、いくらオーバーヘッドが少ないとはいっても、スタック上のオブジェクトが存在したら何か関数呼ぶ度に いちいち例外用のコードが生成されるのっていかがなもんでしょう。
でも、これも解決方法が用意されてるのがいかにも C++ って感じで。
例外仕様に何も投げないことを書いちゃえばええのよ。

void foo() throw (); // ← これね
void bar();

class A
{
public:
	A() throw();
	~A() throw();
};

int main()
{
	A a;

	foo();
//	bar();

	return 0;
}

これだと、メモリ使用も含めてオーバーヘッド無し。効果は大したこと無いかもしれないけど、 知ってて損は無いかと。
ただし、ここで、

void bar();
void foo() throw ()
{
	bar();
}

foo内に何か例外を投げる可能性のある関数を含めてしまうと、

void bar();
void foo() throw ()
{
	try { 
		bar();
	} catch (...) {
		unexpected(); // 強制終了
	}
}

こんな風になってオーバーヘッド && 強制終了の危険が生じてしまうので注意。
new とかも例外投げる可能性あるので注意。

03_06_19

03_06_20

03_06_22

03_06_24

alias psprint='gs -sOutputFile=/dev/lp0 -sDEVICE=XXX'

03_06_25

03_06_26

03_06_27

03_06_28

GET /index.html HTTP/1.1
Host: localhost
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624
Accept-Language: en-us,en;q=0.5
Accept-Encoding: gzip,deflate
Accept-Charset: ISO-8859-1,utf-8;q=0.7,*;q=0.7
Keep-Alive: 300
Connection: keep-alive
Referer: http://localhost/index.html

03_06_29

03_06_30