최근에 WIZ의 후속 기기인 CAANOO가 생긴 덕에, CAANOO의 툴체인에 익숙해져 보자는 미명으로 WIZ로 만들었던 게임을 포팅하고 있다.
처음부터 SDL 등으로 했으면 좋았을 텐데, 개인적인 만족을 위해 굳이 GPIO를 쓰고자 했던 지라 지금 CAANOO로 포팅하는 데 많은 애를 먹고 있다.
CAANOO 의 포팅 이야기는 다음에 하고 이번에 40분 이상을 고생하게 만든 코드를 소개하고자 한다. (printf()라도 되면 금방 잡았겠지만, 실행하면 그냥 기기가 다운되는 디버깅 환경이었다)
문제의 발단은
int num_chunk = read(fd, &data, sizeof(data));if (num_chunk < 0)return;num_chunk /= sizeof(data[0]);
라고 처음에 만들었던 코드를 다음과 같이 최적화를 한답시고 한 줄 줄인 것이 원인이었다.
int num_chunk = read(fd, &data, sizeof(data))/ sizeof(data[0]);if (num_chunk < 0)return;
man page에 의하면 read()가 size_t를 리턴하니, 같은 리턴 타입인 sizeof()로 나누어도 문제가 없을 것이란 예상이었다. 그와는 또 다르게 read()가 실패하면 -1을 돌리는 함수라는 것을 알고 있었고, (음수 / 양수)가 되면 결과는 음수가 되리라는 기본 산수적인 생각도 했기에 위의 코드는 문제가 없다고 생각하고 넘어 갔던 것이다.
나눗셈을 하는 순서가 조금 다를 뿐이었지만 이 부분이 잘 못되었다고 생각하기가 어려웠기에 이 주위에서 printf()를 찍으면서 좀 많이 헤매었다.
결론적으로, 내가 man page에서 read()가 size_t를 넘긴다고 보았던 것이 나의 착각이었다. 실제 함수의 프로토타입은 다음과 같다.
ssize_t read(int fd, void *buf, size_t count);
size_t가 아니라 signed인 ssize_t였다. 결국은 signed int / unsigned int 이고, 이 경우는 강제로 앞 쪽의 signed int가 강제로 unsigned 로 캐스팅되어서 결코 음의 결과 값이 나올 수가 없게 된다. 6~7년 전에도 회사 코드에서 비슷한 문제가 있어서 실수한 적이 있는데 또 그 상황이 재현되었다.
이것과 완전히 같은 내용은 아니지만 signed 와 unsigned의 비교 방법도 참 특이(?)한데, 다음과 같이 비교가 진행된다는 것을 꼭 알아야 한다.
- 양쪽 타입 크기가 같으면 signed 쪽를 unsigned로 변환- 양쪽 타입의 크기가 다르면 작은 쪽을 큰 타입으로 바꾼 뒤unsigned 쪽을 signed 로 변환하여 계산
그리고 여기서 재미 있는 것 한 가지...
#include <stdio.h>int main(){{int a = -10;unsigned int b = 10;printf("-10 / 10 = %d\n", a / b);}{short a = -10;unsigned short b = 10;printf("-10 / 10 = %d\n", a / b);}return 0;}
이것을 실행 시키면 어떻게 될까. 결과는 다음과 같다.
-10 / 10 = 429496728 /* int / unsigned int의 결과 */-10 / 10 = -1 /* short / unsigned short의 결과. */
방금 말한대로라면 계산이 이상해져야 정상인데, 왜 short 일 때는 잘 되는 것일까? 왜 이런지 이유를 알고 싶으면 assembly로 결과를 보내어서 보면 알 수 있다.
Posted by 안영기
