몽중인의 현실 체험기

모듈 검증 도구

(전성환) — Thu, 14 Oct 2010 01:24:03 +0900

대부분의 시스템은 모듈간의 유기적인 관계속에서 돌아간다. 그리고 각 모듈들은 해당 담당자가 존재하며 이들이 문제가 발생하였을때 디버깅을 수행한다. 명확한 버그나 이미 알려진 버그는 해당 모듈자가 디버깅 하면 된다. 하지만 새롭게 발생한 버그나 에 대해서는 다르다. 특히나 모듈들간의 관계가 밀접할수록 어느쪽 문제인지 찾기가 어려워져 이것을 디버깅 하는건 어려운 작업이다.

디버깅 하기 어려운 작업을 예를 들면 이런 경우다. A, B, C, D 4개의 모듈이 존재한다. 실제로는 A모듈이 문제였지만 이것이 B모듈에 영향을 끼쳐 C모듈이 오동작 하도록 하였고 D모듈에서 경고나 에러 메시지를 뿜어내는 경우. 게다가 특정 시점에 발생한다는 시나리오도 없고 2~3일에 한번 정도로 문제가 발생한다면 만만치 않은 디버깅 작업이 될것이다. 아마도 이런 경우 에러 메시지를 뿜게 한 D모듈의 담당자가 디버깅을 수행해야 할 확률이 높다. 자신의 모듈이 문제가 없다는걸 증명하기 까지의 시간, 문제가 있어보이는 해당 담당자와의 회의 시간, 타 모듈에 대한 이해를 높이기 위해 문서 열람과 소스 참고에 걸리는 시간 상당히 피곤한 작업이다. 근본적인 원인은 A모듈에 있었다고 증명하는것은 전체 시스템에 대한 이해가 높은 사람이 아니라면 어려운 일이다.

모듈 검증 도구가 있다면 어떨까? 모듈 검증 도구란 모듈 담당자 자신의 모듈이 정상적으로 돌고 있다는 것을 증명할 수 있는 프로그램을 의미한다. 만약 locking을 담당하는 모듈이라면 critical section에 하나의 프로세스만 접근하고 있다는것을 검증한다. global locking을 수행하는 모듈이라면 전체 클러스터에서 exlusive lock을 한 노드만 가지고 있다는 것을 검증한다. thread 관리 모듈이라면 thread들의 동작상태를 통신 모듈이라면 하위계층 쪽에서 프로토콜 검증을 하여 통신에 문제가 없음을 검증한다(ethereal 같이 network버퍼 접근). 이것들의 목표는 최소한의 모듈 역할 검증을 하는것이다. 이 최소한의 검증으로 문제 발생시 고려해야 하는 부분을 최소한으로 줄일 수 있어 문제 접근이 수월할 수 있다.

물론, 에러처리를 잘 하거나 테스트툴을 이용하는 것이 좋은 방법이긴 하지만 현실적으로 적용이 어려운 상황이 많다. 일정 데드라인에 쫒겨 다양한 테스트가 이뤄지지 못하였거나 테스트툴이 너무 비싸다거나 에러처리 귀차니즘이 발동한다거나. 그리고 기능을 추가하거나 수정하면서 코드는 계속 업데이트 될 수 있고 O/S 패치나 타 O/S로의 포팅 등 환경은 언제나 달라질 수 있다. 코드 변경이나 환경 변경이 이루어 졌을때 모듈 검증 도구를 이용하여 최소한의 검증을 하고 문제 발생시엔 근본적인 원인에 보다 접근이 용이할 것이다.

구현 방법은 최대한 단순하고 독립적이야 한다. 왜냐하면 검증 도구도 역시 프로그램일뿐 이것이 또 다른 side effect를 가질 수 있고 메인 프로그램의 잘못된 영향을 받을 수 있기 때문이다. 그렇기 때문에 메인 프로그램 안에서 assert와 같은 검증은 좋지 않다. 검증만을 위한 thread나 아예 분리된 디버깅 모듈로 작성되야 한다. 왜 문제가 발생했는지를 찾기 위한 디버깅 프로그램이 아니라 해당 모듈 동작에 문제가 있냐 없냐를 검증하는 프로그램이라고 생각하고 작성하는것이 좋을 것 같단 생각이다.

겉으로 보이는 현상은 전부가 아니며 간단한 문제가 아니라고 판단되면 모든걸 의심해야 한다. 버그없는 100% 완벽한 프로그램은 없다고 한다. 그런 현실속의 프로그램 모듈이라면 그것들의 각각에 대한 검증 도구는 필수적이다. 이것은 모듈 담당자들에게 하나의 무기가 될 수 있으며 진정한(?) 모듈화라면 모듈 검증 도구도 가져야 한다는 생각이다.

요약해서 모듈 검증 도구의 장점
1. 디버깅 시간 감소
2. 문제 발생시 책임소재 명확
3. 장시간 삽질로 인한 개발자 정신적 타격 회피
4. 담당 모듈 집중 개발로 인한 해당 모듈 완성도 상승
5. 회사 매출 증대(?)

전국 맛집 투어

(전성환) — Wed, 11 Aug 2010 11:21:54 +0900

전국 맛집 투어

1일차

양평 레저
경기도 양평군 양평읍 오빈리 414-4 쌍용수상스키장
http://www.웨이크보드.com/
031-774-8705
010-2049-2343
번지점프, 플라이 피쉬, 땅콩 보트

양평 ATV
양평 칠읍산 벨리
http://www.cypvalley.com/html/info/01.asp
경기도 양평군 용문면 화전리 1050번지
031-772-4824 / 011-372-4460

횡성 한우 구입
새말IC에서 좌회전하여 횡성방향으로 500m 신호등 사거리에서 좌회전
마을로 들어가 주차장 옆에 있는 3층건물 축협 한우프라자
새말IC에서 우회전하여 바로 길 건너편에 있는 축협매장
강원도 횡성군 횡성읍 읍하리 117-1
033)343-9906

횡성 펜션
숲속의 정든집
강원도 횡성군 둔내면 삽교리 1547-6
바베큐 가능. 한적함. 계곡 있음. 무료 상추 제공. 청정식수지역.
http://woodenhouse.ohpy.com/
010-3343-5800

2일차

안동 찜닭, 안동 간고등어 (안동 하회마을)
경상북도 안동시 풍천면 하회리 257
054-854-3669

대구 생막창
솟대마을
대구광역시 북구 동천동 906-1

대구구장
(삼성 vs 두산)

3일차

함양
화림풍류 - 화림동계곡
용추비경 - 용추계곡
http://tour.hygn.go.kr/etc/e_map.asp

남원 추어탕
남원 광한루원 광성식당
전라북도 남원시 천거동 161번지
http://namwon2.com/
063-633-7500

담양
메타쉐콰이어 -> 죽녹원 -> 떡갈비

떡갈비
신식당
전라남도 담양군 담양읍 담주리 68
http://www.sinsikdang.co.kr/

전주

옛촌막걸리
전라북도 전주시 완산구 서신동 843-16

4일차

왱이 콩나물 국밥
전북 전주시 완산구 경원동 2가 12-1
063-287-6980

우주속의 나, 내 안의 우주

(전성환) — Fri, 30 Jul 2010 01:08:12 +0900

우주입장에서 봤을 때 모래알 크기도 못되는 지구안의 "나"라는 존재
바깥으로 보면 보잘것 없는 인간도 안으로는 저만한 우주를 가지고 있다.
인간을 구성하는 물질의 원자, 핵, 쿼크, 힉스 등으로 표현되어 지는 입자세계가 있으니까.

모래알보다도 못한 인간이면서도 또 하나의 우주를 가진 존재이니 나 자신을 아끼고 사랑하도록...
따위의 글을 쓰려던건 아니고
저걸 보니 외계인은 반드시 존재할것 같으니 지구 방위에 힘써야겠다.
이건 뭔 또 개소리야 !!

It`s Alright, It`s All good

(전성환) — Sat, 03 Jul 2010 04:22:42 +0900

V11를 기대했더니 11연패를 하고 있다.
게임은 져도 되나 팀 내부 감정싸움은 그만했으면...
작년 우승팀 체면은 차려야지. KIA TIGERS
진상 보여주고 바닥 쳤으니 이제 재정비해서 올라가자.

끊었다고 하긴 힘들고 담배 참은지 한달이 됬다.
불면증도 꽤나 심해서 술도 꽤 많이 마신것 같다.
소주 한동안 안마셨는데 이번달에 무리 좀 했다.
지금은 피고 싶은 생각도 안들고 그냥 덤덤하다.
금연은 습관 버리기 인듯.

주류보단 비주류에 끌리고
주연보단 조연이 눈에 띄고
오버보단 언더가 삐딱선이 좋다.
남을 길들이기는 귀찮고 내가 길들여지긴 짜증난다.
그래서 대책없다.

살아가면서 하는 고민 가운데
40%는 절대 일어나지 않을 사건에 대한 것이고
30%는 이미 일어난 사건에 대한 것이며
22%는 사소한 사건이고
4%는 우리가 바꿀 수 없는 사건에 대한 것이랜다.
96%가 쓸데 없는 것이며 나머지 4%만이 우리가 대처할 수 있는 문제랜다.

그리고 꿈꿀수 있을 때가 행복한 것이랜다.

다중인격자

(전성환) — Fri, 25 Jun 2010 00:36:54 +0900

다양한 인격을 가졌으면 좋겠다. 필요한 상황마다 그에 따른 적절한 인격을 보여줄수 있는 소유자, 다중인격자이고 싶다. 다중인격이라하면 가장 먼저 떠오르는 것은 "지킬앤하이드". 이 변태같은놈의 극단적인 이중성 때문에 다중인격이란 말은 거의 나쁜의미로 쓰인다. 이와 같이 극단적인 차이를 보이고 다른 인격에 대해 기억도 못할 정도라면 정신장애겠지만 대부분 하나 이상의 인격을 가지고 있다. 늘 괴팍하거나 늘 친절한 인격만을 가지고 한결같이 사는 사람은 없을테니까. 인격이란 어떤 사람을 대하느냐 어떤 상황을 접하고 있느냐에 따라 달라져야 한다.

집안에서의 부모님의 의젓하거나 귀여운 아들놈로써 필요한 인격, 회사에서는 문제를 객관적으로 바라볼수 있는 논리적이고 합리적인 인격, 사람과의 만남에서는 거짓됨 없고 따뜻하고 솔직한 인격. 즐기는 자리에서는 진정 가슴으로 즐길줄 알고 진지해야 하는 자리에선 진지해질수 있는 인격. 이와 같이 다양한 인격을 가지고 있고 필요할 때 자유자재로 그것을 꺼낼수 있다면 멋지지 않은가?

하지만 상황마다 필요한 인격을 꺼내는 것은 어려운 일인것 같다. 오죽하면 직업병이라는 병까지 있을까. 현장에서 밀어(M)붙이기(B)식 인격으로 성공한 사람이 다수를 아울러야 하는 직책을 가졌을 경우 일방적인 정책에 아랫사람들이 고통을 겪어야 하는 경우. 컴퓨터 프로그래머로써 유리한 계산적이고 논리적인 인격이 사람관계에서도 지나치게 적용되는 경우. 친절한 사람이란 단일화된 인격때문에 만인의연인이 되어 착한사람 컴플렉스로 인해 피곤한 삶을 사는 경우. 친구에게나 대할 만한 인격을 선배나 윗사람에게 대하면서 발생하는 트러블. 어쩌면 살면서 겪는 인간관계의 대부분의 문제는 상황별 필요한 인격이 다듬어지지 않았기 때문일 것이다.

비록 사회에서는 다중인격이라 하면 싸이코, 가식적인놈 등으로 매도되고 변함없는 사람, 일관된 인격의 사람을 요구하는것처럼 보이지만 사실 진짜 원하는건 잘 다듬어진 다중인격자가 아니였을까? 오히려 단일화된 인격을 가진사람은 사회성이 부족한 사람이라고 할 수 있지 않을까? 노력한다해서 잘 다듬어진 다중인격이 쉽게 만들어질거란 생각은 하지 않는다. 하지만 그것이 추구해야 하는 방향이라고 생각되며 다중인격이란 말이 나쁜 의미로만 받아들여질 필요는 없다.

오늘따라 U2 노래가 너무 듣고 싶었을 뿐.... with or without you !

SK 여왕벌 정대현

(전성환) — Mon, 21 Jun 2010 00:08:57 +0900

야구에서 가장 짜릿한 순간은 홈런포 역전승이 아닌 위기상황에서 교체되어 나온 투수의 외로운 싸움끝의 세이브다.

재밌게 봤던 베이징 올림픽. 국대경기에다 9회말 위기상황이 몇번 있어서 기억에 남았을 수도 있지만 무엇보다 정대현 때문인것 같다. 일본 예선전에서 한기주가 불질러논 게임을 구원투수로 나와 틀어막았고 결승 쿠바전 만루상황에서 병살을 잡아 우리나라에 우승을 안겨주었다. 감독, 선수, 해설자 모두가 당황한 상황인데 정작 세이브를 해야 하는 본인은 포커페이스 표정으로 덤덤히 공을 뿌리는 모습이 인상깊었고 저 언더투구폼은 야구가 아닌 예술무용을 보는 듯했다.

"0.4초의 과학, 야구"란 다큐를 봤다. 타자가 투수의 공을 순간적으로 보는데 0.175초. 최초로 공을 인지하기까진 0.225초. 뇌가 근육에 명령을 내리기까지 0.250초. 근육이 움직여 공을 치기 까지 0.4초가 걸린다고 한다. 즉, 0.4초 안에 판단하고 결정해서 몸이 움직여서 공을 쳐야 하는 것이 타자의 운명. 이런 타자와 주자 견제를 하며 불리한 경기를 풀어나가야 하는 중간계투와 마무리가 선발보다 매력있어 보이기도 한다. 물론 당사자들은 스트레스 대박이겠지만..

무리가 많이 가는 투구자세 때문인지 부상으로 시달리면서 경기에는 자주 나오지 않지만 등판시 제일 반가운 선수임에 틀림없다. 언더핸드, 승부근성, 기복없는 스타일 내가 좋아하는 투수 3박자는 다 갖춘듯. 올 시즌에는 건강한 모습으로 전성기때의 "여왕벌"이 될 수 있길!

YouTube Star

(전성환) — Mon, 03 May 2010 00:48:56 +0900

요새 푹 빠져있는 2명의 youtube star. 임정현과 Marie Digby
공통점이라면 youtube에 동영상을 올렸다가 엄청난 조회수를 기록했다는 것이다.
현재 대략 조회수는 임정현은 7000만, Marie Digby는 1600만

youtube에 자신이 일렉기타로 친 canon rock을 올린 후 엄청난 조회수에 뉴욕타임즈에도 소개되고
유명세와 youtube마케팅 전략과 맞아떨어져 Joe Satriani와 같이 공연까지하게 된 장본인임
놀랬던건 음악 전공했을줄 알았는데 공돌이라는것..기타는 취미로만 할꺼랜다 OTL
옛날에 몇 번 봤었던것 같지만 당시 기타에 관심이 없었던터라 이제와서야 감동하며 무한반복으로 듣고 있다.

두번째, Marie Digby
Rihanna의 Umbrella를 어쿠스틱으로 편곡하여 연주하면서 노래를 불른 동영상으로 유명해져 데뷔까지 함.
목소리가 맑고 청아하면서 몽환적이다.
검색하면 직접 올린 동영상이 꽤 있으며 현재 앨범은 2집까지 나온 상황

그래도 난 카라의 Umbrella가 훨씬 좋다!! -ㅂ-;

몽환적 순수함

(전성환) — Wed, 14 Apr 2010 23:15:00 +0900

몽환과 순수. 언제부터인가 두 단어가 잘 어울린다는 생각이 든다.

순수함이란 남에게 피해를 주지 않는 선에서의 변하지 않는 믿음이나 고집이다.
세상물정 어두워서 어수룩함을 의미하는 순진함과는 다르며
순수하다고 해서 통념상 착한사람, 좋은사람은 아니다.

불편함을 감수하면서도 자신의 신념아래 남들이 뭐라하든 지켜내는
현실적이지 못할수 있지만 꿈과 이상을 포기하지 않는
이 점에서 몽환과 순수함은 잘 어울리는 단어라고 생각한다.

잡생각은 날마다 나를 새롭게 한다?

(전성환) — Wed, 09 Dec 2009 14:04:10 +0900

하나
편한게 뭐지? 주는 것들을 받아먹고 원하는 것들을 해주는 인간자동판매기?
사회는 이런 인간상을 원하고 그 기준에 벗어나면 사회 부적응자나 떨거지라 부르지.
남의 기준에 따라가지 못하고 있으면 불안한 감정을 가져야 하는
엿같은 시스템에 벗어나보고자 사회 안적응자를 꿈꿔보는건?

둘
길을 아는것과 걷는것의 차이를 모르지 않지만
경험으로써 얻는 진리가 귀하다는 것도 모르지 않지만
시간은 한정되어 있고 선택과 집중이 필요하다고 조급하게 생각될 뿐
지식은 얻었으나 지혜는 얻지 못한 인간의 한탄

셋
왜 맛있는건 몸에 해롭고
왜 재밌는일은 도덕적으로 문제가 있고
왜 좋아하는건 떠나가고
왜 싫어하는건 다가오는가
이래서 세상은 요지경

언제부턴가 머리에서 맴도는 잡생각들 +_+

Torstein Horgmo

(전성환) — Thu, 26 Nov 2009 01:03:49 +0900

09~10 시즌 시작. 스타트는 지난주에 휘팍에서 끊었지만 저질 체력에 OTL..

나름 4년차 보더인데도 불구하고 실력은 느는 것 같진 않고

오늘도 인간이 아닌 조(鳥)류 동영상을 보며 간땡이만 부어간다.