소프트웨어 버그에 관한 단상

모든 소프트웨어는 bug를 가지고 있다는 일반적인 전산학적
통계를 굳이 인용하지 않더라도 우리는 많은 bug들과
씨름하게 된다.
모든 사람들이 한번쯤 겪게 되는 편집하던 문서를 날린다던지
걸어 놓은 작업이 error때문에 날라간다던지.
오늘은 그중에 한가지 의문점을 제기하고자 한다.

얘기하고 싶은 문제는 바로 우리는 그 bug로 인하여
필요 이상의 피해를 본다는 것이다. 문서를 편집한다고 하자.
지금 현재 version에도 있는 powerpoint에서 객체 삽입시
그냥 powerpoint가 죽어 버리는 예를 보자. 우리가 그렇게 몹쓸짓을
했는가? 아니다. 우리는 단순히 객체를 넣고 싶었을 뿐이다.
근데 이 동작때문에 멀쩡하게 우리가 타이핑하고 우리가 이쁘게
꾸민 모든 행위들은 무시된다. 이게 말이나 되는가?
객체를 넣어 주기 싫으면 싫다고 할것이지 말이다.

그렇다면 좀더 깊이 들어가보자. 지금의 software들은 너무
직접적으로 핵심에 기능에 반영된다. 즉, 기능의 중요도에 상관없이
연관성에 상관없이 핵심 data들을 마구 건드린다는 것이다.
만일 객체 삽입이라는 것이 쪼금만 신중해 주었다면 우리는
다른 data를 잃어 버리지 않았을 것이다.

이러한 문제는 내가 보기에 2가지 측면에서 문제가 있다.
즉, 구현자는 자신이 구현한 기능이 완벽하게 동작할 것인양
수행 동작들을 너무 바로 바로 핵심 기능에 적용해 버린다.
만일 조금이라도 자신이 틀릴 수 있다고 생각했다면 뭔가
대책을 세웠을 것이다. 마치 지금의 자동 저장 처럼.
이것은 depensive programming과 일맥 상통할 것 같다.
하지만 이것은 뭔가 부족하다. 그리고, 내가 원하는 solution은
결코 아니다.

내가 원하는 것은 실패하더라도 죽지 않는 생명력 강한 놈을
원하는 것이다. 그렇다면 compiler나 OS가 담당해 줄 수 있을까?
현재도 java를 보면 exception이 나더라도 application이 죽지는
않는다. 그 기능을 수행하다 실패 했지만 우리는 그 후에도
저장이나 편집을 할 수 있다. 이때 중요한게 되도록이면
반영을 늦추자는 것이다. java또한 핵심 data를 건드리다 실패하면
문론 상처 받은 data가 되어 버려 살아있는 의미를 잊어버린다.
하지만 우리가 핵심 data에 대한 접근을 일정 경로를 통하여
신중하게 반영한다면 반영전에 난 오류때문에 핵심 data를 잃어 버릴
염려가 없어진다.

이러한 생각을 정리해 봤을때 software의 구현시 우리는
핵심 data에 대한 접근을 아주 신중하게 할 필요가 있다. 그리고
많은 방패들을 만들어야 한다. 즉, 핵심 기능은 되도록 작은
범위로 가장 신경써서 구현해야 한다는 것이다.
기능의 우선순위 및 중요도를 반영한 coding이라야 한다는 것이다.
또한 compiler들은 이와 같은 접근방법을 충분히 지원해 줄 수 있어야
한다. (아마도 지금 C, C++와 같이 native code인 경우라면
우리는 다른 process를 생성하여 부수기능을 수행해야 핵심
기능이 보호 될 지 모르겠다.) 그리고, OS는 나몰라라하면서 확실히
죽여 줄께 하는 task manager 이따위나 지원하지 말고 어떻게
해서든 살려보려는 노력을 해야 한다. 죽여 가는 놈 확실히 죽이면
자기 탓이 아닌가?

마우스 click한번 잘못했다고 내가 한 수만가지 행동이 무시되는게
말이나 되는가 말이다.

ps. 제 weblog용으로 편집을 해서 column이 좁은거 이해해 주세요. :-)