Page 4 -

변 경 가 능 한 회 계 에 서 변 경 불 가 능 한 회 계 로 전 환 이 이 뤄 진 때 가 1 5 세 기 다. 그 이 후 불 변 성 이 라
는 원 칙 은 회 계 의 안 전 성 을 이 루 는 주 요 소 로 간 주 해 왔 다. 같 은 원 칙 을 프 로 그 래 밍 에 도 적 용 할
1
수 있 다. 이 에 관 해 이 책 에 서 살 펴 본 다.

참 조 투 명 성

참 조 투 명 성 (r ef er e nti al tr a ns p ar e n c y)은 결 정 적 인 (d et er mi nisti c ) 프 로 그 램 을 작 성 할 수 있 게 도 와 주 는
기 법 이 다. 이 때 결 정 적 이 라 함 은 프 로 그 램 의 결 과 를 예 측 하 고 추 론 할 수 있 다 는 뜻 이 다. 결 정 적 인
프 로 그 램 은 같 은 입 력 이 주 어 지 면 항 상 같 은 결 과 를 내 놓 는 다. 이 말 은 프 로 그 램 이 항 상 같 은 결
과 를 내 놓 는 다 는 뜻 이 아 니 고, 다 른 어 떤 외 부 요 소 에 의 해 결 과 가 달 라 지 지 않 고 입 력 이 달 라 질

때 만 결 과 가 달 라 진 다 는 뜻 이 다.

이 런 프 로 그 램 은 ( 프 로 그 램 의 동 작 을 항 상 알 수 있 기 때 문 에) 더 안 전 할 뿐 아 니 라 더 쉽 게 조 합
하 고, 유 지 보 수 하 고, 변 경 하 고, 테 스 트 할 수 있 다. 그 리 고 테 스 트 하 기 쉬 운 프 로 그 램 은 일 반 적 으
로 테 스 트 가 더 철 저 하 게 이 뤄 지 며 그 에 따 라 신 뢰 성 이 더 높 아 진 다.

상 태 변 이 공 유 의 캡 슐 화

변 경 불 가 능 한 데 이 터 를 사 용 하 면 상 태 변 이 를 실 수 로 공 유 하 는 일 을 막 을 수 있 다. 상 태 변 이
를 공 유 하 면 동 시 처 리 나 병 렬 처 리 에 서 데 드 락 (d e a dl o c k )과 라 이 브 락 (li v el o c k), 스 레 드 기 아 상 태
(st ar v ati o n), 최 신 상 태 를 반 영 하 지 못 하 는 데 이 터(st al e d at a ) 같 은 문 제 가 일 어 날 수 있 다. 하 지 만
상 태 변 이 를 공 유 하 지 못 하 게 만 들 면 상 태 변 이 를 반 드 시 공 유 해 야 만 할 때 문 제 가 된 다. 동 시 성

이 나 병 렬 프 로 그 래 밍 에 서 바 로 이 런 일 이 벌 어 진 다.

상 태 변 이 를 제 거 하 면 실 수 로 상 태 변 이 를 공 유 하 는 일 이 불 가 능 해 지 므 로 프 로 그 램 이 더 안 전 해
진 다. 하 지 만 동 시 성 프 로 그 래 밍 과 병 렬 프 로 그 래 밍 을 한 다 는 말 은 상 태 변 이 를 공 유 해 야 한 다 는
것 을 암 시 한 다. 상 태 변 이 공 유 가 없 다 면 동 시 또 는 병 렬 스 레 드 사 이 의 협 력 이 불 가 능 하 다. 전 통

1 역 주 대 변( cr e dit , 신 용) 과 차 변(d e bt , 빚) 을 분 리 해 기 록 하 는 복 식 부 기 가 이 런 변 화 를 가 져 왔 다. 복 식 부 기 를 사 용 하 면 대 변 과 차 변 을 교 차
검 증 해 서 데 이 터 의 무 결 성 을 확 인 할 수 있 다.

0 1 2