기타 2026-05-28 4KB 읽기 4분

crownyc 소켓 검증 — 크라우니브라우저 HTTP fetch 복구

개요

crownyc VM의 소켓 클라이언트 시퀀스를 단위 검증하고, 크라우니브라우저 HTTP스택.한선이 실제 docs.crowny.org로 fetch에 성공하도록 복구.

/Users/ef/CrownyOS/crownyc/crownyc.c 라인 8543-8645 직접 분석.

opcode	한선	시그니처	반환
370	`소켓생성(domain, type)`	2=AF_INET, 1=SOCK_STREAM	슬롯번호(0~) 또는 -1
374	`소켓연결(슬롯, 호스트, 포트)`	호스트=str	1=성공, -1=실패
375	`소켓보내기(슬롯, 문자열)`	—	전송 바이트수
376	`소켓받기(슬롯, 최대길이)`	최대=정수 (필수)	응답 문자열 핸들
377	`소켓닫기(슬롯)`	—	—

핵심: 소켓생성() 인자 없이 호출 → stack underflow → -1. 핵심: 첫 소켓 슬롯이 0 이므로 소켓 <= 0은 잘못된 유효성 검사. < 0만 써야 한다.

/Users/ef/crowny-local/소켓검증.한선

/Users/ef/CrownyBrowser/src/v2/HTTP스택.한선

javascript; 변경 전
소켓 = 소켓생성()
; 변경 후
소켓 = 소켓생성(2, 1)

javascript; 변경 전 — stack underflow → -1
변수 청크 = 소켓받기(소켓)
; 변경 후
변수 청크 = 소켓받기(소켓, 8192)

javascript; 변경 전 — 첫 소켓이 항상 0 슬롯이라 항상 실패
만약 (소켓 <= 0) { 반환 0 }
함수 _연결유효(연결) { 반환 소켓 > 0 }
; 변경 후
만약 (소켓 < 0) { 반환 0 }
함수 _연결유효(연결) { 반환 소켓 >= 0 }

증상: _HTTP요청내부가 _헤더후본문(응답원문) 호출 후 함수 반환 없이 main이 다시 시작. 매번 새 맵 핸들 발급되어 메모리 24786씩 감소하며 무한루프.

우회: chunked 처리와 본문 분리 로직을 인라인 코드로 풀어서 작성. 함수 호출 회피.

원인 추정: 6KB+ 응답 문자열을 인자로 전달 + 함수 안에서 또 부분() 호출이 누적되어 어떤 임계값을 넘으면 PC가 첫 함수로 점프. crownyc.c 컴파일러 측 패치가 필요. C 소스 수정 권한 사용자에게 제안:

HTTP요청("http://docs.crowny.org/", "GET", 0, "")
→ 상태: 200
→ 본문길이: 9021 바이트 (chunked 디코딩 후)

crownyc.c 측 근본 패치 필요. 현재는 인라인으로 우회.

crownyc_socket_client_fetch intent 등록 완료.