1. 漏れのある抽象化の
法則について

2. 自己紹介
●
名前
– 橘田 隼一
● TwitterID
– hayabusa333
●
興味があること
– カーネルとか言語開発とか
●
現在のお仕事
– テストプログラマー
●
信仰
– Joel教

3. 漏れのある抽象化の法則

4. 漏れのある抽象化の法則
● Joel Spolsky提唱
● Fog Creek Software 創
業者
●
人気ブログ
Joel on Software

5. 抽象化
一度に注目すべき
概念を減らすこと
およびその仕組み

6. 例

7. TCP/IP
IP
●
信頼性のない通信方式
TCP
●
信頼性のある通信方式

8. TCPはIPの上に
実装されている

9. 信頼性のない通信方式で
信頼性のある通信を行う

10. TCPはIPを使って通信を
行っているが詳しいことを
知らなくても通信できる

11. TCPはIPを使って通信を
行っているが詳しいことを
知らなくても通信できる

12. TCPはIPを抽象化している

13. しかし
LANケーブルが切れてい
れば繋がらない
回線が重ければ、TCPは
信頼性を確保できない

14. 抽象化には漏れがある

15. これが
漏れのある抽象化の法則

16. 漏れのある抽象化の法則
自明でない抽象化はすべて、
程度の差こそあれ、漏れがある

17. 抽象化は失敗する。
あるときは小さく、あるときは
大きく、漏れがあるのだ。
物事は悪くなるものだ。
この漏れは、抽象化が行われて
いるあらゆる場所で起こる。

18. Joel の出した例

19. 大きな二次元配列の要素を順番に
たどるという単純な事でも、水平方向
か垂直方向かで、「芝目」に依存して
パフォーマンス特性が劇的に異なるこ
とがある

20. C言語で記載
for(i = 0; i < 30000; i++){
for(j = 0; j < 30000; j++){
array[i][j] = 0;
}
}
for(i = 0; i < 30000; i++){
for(j = 0; j < 30000; j++){
array[j][i] = 1;
}
}

21. デモ

22. この性能差はプログラム言語に
よって出たものではなく
OSやCPUによって現れたものである

23. C言語は簡単である。
ただしOSの特殊な振る舞い
に目をつむれば

24. OSは簡単である。
OS
ただしCPUの特殊な
振る舞いに目をつむれば

25. あなたが日常使うことの90%は
1週間で学習できるが、残りの
10%を知るためには2、3年かか
るかもしれない

26. 先ほどの例の理由を
知るためには、C言語だけではなく
OSの特性、メモリ管理、仮想
化、CPUの挙動についても知らない
といけない

27. 漏れのある抽象化の法則に
うまく対処する唯一の方法は、
その抽象化がどのように機能
し、それが何を抽象化している
のかを学ぶことだ。

28. そういうわけで、抽象化は
私たちが作業する時間を節約し
てくれるが、私たちが学ぶ時間
までは節約してくれないのだ。

29. ネットワーク・サーバは
プログラム言語で実装されている

30. プログラムは
OSやCPUの上で動いている

31. 抽象化されている先を
知らなければ
問題は解決できない

32. 問題を解決できる
エンジニアになるためには
全てを勉強する必要がある

33. 我々が目指すエンジニア像は
漏れのある抽象化の法則の
漏れを解決できるエンジニアで
あるべきである

34. ぜひ、漏れのある抽象化に
だまされないで
漏れを解決できる人に
なってほしい

35. 参考書籍

36. ご清聴ありがとう
ございました