SafeC 블로그

SafeC 1.0.0-beta-7 릴리스

2026-10-27T00:00:00Z

SafeC 1.0.0-beta-7이 2026-10-27에 릴리스되었습니다. 프리릴리스이며, 언어와 표준 라이브러리는 아직 빠르게 바뀌고 있습니다.

지금까지 가장 큰 릴리스입니다. 1.0.0-beta-6 이후 병합된 풀 리퀘스트 #51부터 #88까지가 모두 들어 있습니다. 변경이 병합되는 동안 기록해 온 다음 릴리스 미리 보기에 영역별 설명이 더 자세히 있고, 변경 내역은 개별 시그니처 수준까지 모든 변경을 나열합니다.

이 릴리스를 그대로 설치하려면:

bash

curl -fsSL https://raw.githubusercontent.com/safec-org/SafeC/main/install.sh | bash -s -- --version=v1.0.0-beta-7

powershell

& ([scriptblock]::Create((irm https://raw.githubusercontent.com/safec-org/SafeC/main/install.ps1))) -Version v1.0.0-beta-7

주요 변경 사항

웹 스택 (#57): std/http는 라우터와 미들웨어, 정적 파일, 쿠키, multipart 폼, server-sent events, WebSocket을 갖춘 keep-alive 서버이며, 리디렉션을 따라가고 gzip을 푸는 URL 클라이언트도 있습니다. std/encoding/url과 std/encoding/deflate가 함께 추가되었고, std/wasm은 DOM과 브라우저 API를 모두 다룹니다.
HTTPS (#66): std/tls는 운영체제의 TLS(OpenSSL, SChannel, Secure Transport)를 쓰고, 없으면 SafeC로 작성한 TLS 1.3으로 대체합니다. std/http는 https://와 wss://를 지원합니다.
비동기 (#61): std/async는 Rust의 Future / Poll / Waker 모델을 goto 상태 머신으로 옮겼습니다. 타이머, 조합기, 채널, 힙을 쓰지 않는 LocalExecutor, 멀티스레드 ThreadPool, 비동기 TCP를 제공합니다.
GUI 툴킷 (#63, #65): std/gui는 TrueType 텍스트를 그리는 안티에일리어싱 벡터 캔버스, 위젯 툴킷, 여러 창을 다루는 GuiApp을 X11, Wayland, Win32, Cocoa, 웹에서 제공하며, GL ES, Metal, D3D11 프레젠터가 있습니다.
오디오와 MIDI (#59): std/audio는 ALSA, JACK, Core Audio, WASAPI, Web Audio 위의 하나의 콜백 API이며, 모든 플랫폼에서 MIDI를 지원합니다.
safeguard doc과 safeguard publish (#69): 어떤 패키지든 rustdoc 스타일의 API 레퍼런스를 만들고(std의 레퍼런스는 /api/), CI, 릴리스 아카이브, Pages 문서와 함께 라이브러리를 배포할 수 있습니다.
scc (#70): SafeC로 작성한 SafeC 컴파일러로, WebAssembly를 출력하고 자기 자신을 바이트 단위로 똑같이 재현합니다. 브라우저에서 플레이그라운드를 실행하는 것이 scc입니다.
safeguard 패키지 (#51, #55): C, C++, Objective-C 패키지와 의존성, 라이브러리 헤더, Windows DLL, 앱 번들을 지원합니다. 빌드는 프로젝트가 쓰는 std 모듈만 해당 시스템 라이브러리와 함께 링크합니다.
Vulkan과 WebGPU에서의 ML (#54): CUDA, ROCm, Metal에 더해 SPIR-V(Vulkan)와 WebGPU용 std/ml 텐서 디바이스가 추가되었습니다.
섹션 단위로 미리 빌드된 std (#56): 릴리스에 플랫폼별로 컴파일된 std가 섹션마다 하나의 아카이브로 들어 있고, install.sh --std=... / install.ps1 -Std ...로 고릅니다. 릴리스 바이너리는 macOS 11, glibc 2.25 이상에서 실행됩니다.
버전 확인: safec --version과 새로 추가된 safeguard --version이 모두 1.0.0-beta-7을 출력합니다(#85).
수정 사항: 가변 인자 호출에서 bool / char / short를 int로 승격하고, const &T 필드 쓰기, -> 탈출, 컨테이너 원소 참조에 관한 안전성 검사의 빈틈을 막았습니다. 모든 컨테이너가 원소를 drop하고, Typedef** x 지역 변수 선언을 파싱하며, 수명 분석이 const &R T를 const 참조로 다루고 식의 임시 값을 전체 식 끝에서 끝냅니다. Windows와 macOS CI가 통과합니다(#52, #53, #64, #68, #71–#75, #78, #79, #82–#84).
컴파일러와 safeguard 수정 (#86, #87): __VA_ARGS__가 모든 인자로 펼쳐지고, #line이 동작하며, "release" / "acq_rel"을 준 atomic_cas가 유효합니다. libc 헤더를 두 번 인클루드해도 문제가 없고, safeguard가 Linux에서 libm을 링크하며, BST<..., struct>에 많이 삽입하는 파일이 수십 초가 아니라 1초 안에 컴파일됩니다. 증분 캐시에서 가져온 파일도 경고를 다시 출력합니다.

호환성을 깨는 변경

아래의 모든 변경은 컴파일러가 영향을 받는 줄마다 보고합니다 — 잘못된 인자 개수나 타입, 선언 위치를 가리키는 소유권 오류, 또는 찾을 수 없는 헤더. 변경 내역에 적힌 경우를 빼면 동작이 조용히 바뀌는 일은 없습니다.

std API는 void*나 포인터 + 길이 쌍 대신 슬라이스를 받습니다 (#76, #80, #81). 버퍼는 []T / []const T이고, 콜백 컨텍스트는 ?&Erased에 저장되는 타입 있는 ?&T이며, std 어디에도 void*가 남아 있지 않습니다. 할당자는 ?&heap unsigned char를 돌려주고, 오디오와 MIDI 콜백 컨텍스트는 Send + Sync여야 합니다.
컴파일러가 강제하는 Drop, Send, Sync (#77). Drop 타입의 값은 모든 경로에서 정확히 한 번 drop되거나 이동되어야 합니다. spawn, 채널, 스레드 풀은 공유하거나 이동해도 안전한 데이터만 받습니다.
컨테이너가 원소를 소유합니다 (#83). clear(), drop(), 키 덮어쓰기가 값을 drop하므로, 그 전에 값을 직접 해제하지 마세요.
std 헤더는 <std/...>로만 인클루드합니다 (#83). safeguard가 더 이상 std/ 자체를 인클루드 경로에 넣지 않으므로, 맨 이름의 <math.h>는 C 라이브러리의 헤더이고 #include <io.h>는 #include <std/io.h>로 바꿔야 합니다.

마이그레이션

버퍼: 슬라이스를 넘깁니다 — f.read(buf[..]), w.write(buf[0..n]), sha256(bytes, digest[..]), str_copy(dst[..], src). safe_memcpy는 이제 원소 개수를 셉니다. 타입: 슬라이스, 읽기 전용 슬라이스, 옵셔널 슬라이스를 참고하세요.
소유권: Drop 타입의 값을 만든 직후 defer v.drop();을 추가하거나(또는 모든 경로에서 해제하고), 데이터는 thread_spawn으로 스레드에 이동하거나 Mutex<T>로 공유합니다. 소유권과 Drop과 스레드 안전성을 참고하세요.
컨테이너: 컨테이너만 drop합니다 — m.drop() 앞의 m.foreach(free_value) 같은 코드를 지웁니다. 컬렉션: 컨테이너가 원소를 소유합니다를 참고하세요.
인클루드: #include <io.h> / "prelude.h"를 #include <std/io.h> / <std/prelude.h>로 바꿉니다. 표준 라이브러리 모듈의 std 인클루드를 참고하세요.
사용자 정의 할당자와 해셔: alloc / dealloc을 ?&heap unsigned char로, 사용자 Hasher를 슬라이스 시그니처로 바꿉니다.

전후 비교 표 전체와 실행할 수 있는 예제 두 개는 다음 릴리스 미리 보기: 마이그레이션에 있고, 변경 내역의 Breaking changes 절은 바뀐 시그니처를 모듈별로 모두 나열합니다.

업그레이드

설치 스크립트를 다시 실행하면 기존 설치를 그 자리에서 업그레이드합니다(프리릴리스를 포함한 최신 릴리스를 설치하며, 이 릴리스로 고정하려면 버전을 넘깁니다):

bash

curl -fsSL https://raw.githubusercontent.com/safec-org/SafeC/main/install.sh | bash -s -- --version=v1.0.0-beta-7

powershell

& ([scriptblock]::Create((irm https://raw.githubusercontent.com/safec-org/SafeC/main/install.ps1))) -Version v1.0.0-beta-7

쓰던 std 섹션은 --std=... / -Std ...로 유지하고, 나중에 --std=+<섹션>으로 추가할 수 있습니다. 모든 옵션은 설치에 있습니다. 그다음 설치된 버전을 확인합니다:

bash

safec --version       # safec 1.0.0-beta-7
safeguard --version   # safeguard 1.0.0-beta-7

예전 std로 컴파일된 것이 링크되지 않도록 프로젝트를 처음부터 다시 빌드하세요(safeguard clean && safeguard build).

알려진 문제

1.0.0-beta-7에 알려진 문제입니다.

GPU 백엔드는 컴파일만 검증되었습니다. std/ml의 CUDA, ROCm, Metal, Vulkan, WebGPU 경로와 std/gui의 GPU 프레젠터는 모든 플랫폼의 CI에서 컴파일되지만, 이번 릴리스는 GPU 하드웨어에서 실행해 보지 않았습니다.

다른 문제를 만나면 이슈를 열어 주세요.

풀 리퀘스트

풀 리퀘스트 제목은 영어 원문입니다.

safeguard: library headers, Windows DLLs, C/C++/Objective-C packages and dependencies, app bundles (#51)
compiler: const &R T is a reference to const; dataflow analysis for heap/arena lifetimes (#52)
compiler: expression temporaries die at the end of their full expression (lifetime analysis false positive) (#53)
ml: Vulkan (SPIR-V) and WebGPU tensor devices (#54)
safeguard: link only the std modules a project uses, with their system libraries; OS-seeded rng; prebuilt std in releases; README (#55)
std prebuilt in sections; std always optimized; releases for macOS 11 and glibc 2.25; llvm-nm on Linux CI (#56)
std web: URL/query/forms, deflate+gzip, keep-alive server, router, static files, cookies, multipart, SSE, WS client, browser DOM APIs (#57)
std: dir/path, CommonMark+GFM markdown, YAML flow, wasm runtime allocator; scx fixes; lexer escape fix (#58)
std/audio: real-time audio + MIDI I/O (ALSA, JACK, Core Audio/MIDI, WASAPI/WinMM, WebAudio/Web MIDI, dummy) (#59)
std/async: Rust-style futures/executors over goto state machines; goto scope checks in the compiler (#61)
README: restore the Async/Await row lost in #57's merge (#62)
std/gui: AA vector canvas + TrueType text, multi-window GuiApp, full widget toolkit (#63)
Fix main's Windows CI: generic COMDATs after ABI lowering; full-size WSADATA (#64)
std/gui: Wayland, web (<canvas>/WebGL/DOM) backends and GPU presenters (GL ES, Metal, D3D11) (#65)
HTTPS/TLS: std/tls with OS backends (OpenSSL, SChannel, SecureTransport) and a SafeC TLS 1.3 fallback; https/wss in std/http (#66)
README: restore the GUI platforms sentence lost in #66's merge (#67)
Fix main's macOS/Windows CI: std_modules check counts linkonce generic instances as linker-merged (#68)
safeguard doc (rustdoc-like, built with SafeC's web std) and safeguard publish (git + CI for GitHub/GitLab/Gitea/Forgejo) (#69)
selfhost: scc, a SafeC compiler in SafeC emitting WebAssembly — bootstraps, powers the web playground (#70)
compiler: promote bool/char/short to int in variadic calls (printf("%d", !x) printed 254) (#71)
Close safety gaps: const-ref field writes, ->/call-root escapes, container element references (#72)
Fix method calls through by-reference call results; MemoryFlow false positive with StrMap in recursion (#73)
compiler: check atomic_cas arguments against the pointee type (#74)
Fix main CI on every platform (package.sh, glibc 2.43 headers, macOS/Windows doc and test fixes) (#75)
std: no void* and no pointer + length pairs in the public API (slices and typed erasure) (#76)
Compiler-enforced Drop and thread safety (Send/Sync, spawn rules, Mutex guards) (#77)
compiler/examples/stdlib_complete.sc: port to the slice API (#78)
Fix main's macOS/Windows CI: ABI-lowered functions keep their place; mutex test pinned to Linux (#79)
std/audio without void*: typed backends, slices, typed FFI; Send+Sync audio/MIDI callback contexts (#80)
std: no void* anywhere — typed memory layer, ML autograd/GPU, GUI, TLS, OS bindings; api_lint enforces it (#81)
Parser: Typedef** x local declarations; nested prefix operators (**pp, - -x) (#82)
Fix bugs found by the docs audit: containers drop their elements, Reactor::drop, WsConn::closed, <math.h> in safeguard, playground time functions (#83)
selfhost: fail loudly when a string literal overflows g_tmp (#84)
Release 1.0.0-beta-7 (#85)
Fix 13 compiler and safeguard bugs: BST compile time, libc headers included twice, libm, __VA_ARGS__, #line, atomic_cas orderings, must_use on prototypes (#86)
safec: keep warnings on incremental-cache hits (#87)
Release: smoke test accepts a versioned clang; #86 and #87 in the beta-7 changelog (#88)

GitHub 릴리스 페이지 · 변경 내역

SafeC의 새 보금자리

2026-10-26T00:00:00Z

SafeC 문서는 VitePress 사이트로 시작했습니다: 레퍼런스 페이지가 늘어선 사이드바, 그게 거의 전부였습니다. 이제 언어에 필요한 웹사이트로 자랐습니다. 새로 생긴 것과, 그대로 남은 것을 소개합니다.

새로운 것

랜딩 페이지: SafeC가 무엇인지 한 화면에 보여 줍니다. 실행 가능한 예제, SafeC가 컴파일 타임에 거부하는 버그와 그것을 그냥 컴파일하는 C 코드의 나란한 비교, 표준 라이브러리 둘러보기.
배우기: SafeC 북, 가이드, 언어 레퍼런스, 표준 라이브러리, 예제, 벤치마크를 한 허브에.
설치: 복사 버튼이 달린 플랫폼별 안내, 요구 사항(clang 21 이상), 모든 설치 옵션.
도구: safeguard, VS Code·Neovim·Emacs 설정을 포함한 sc-lsp, 그리고 safec.
커뮤니티: 개발이 이뤄지는 곳, 버그 보고와 기여 방법.
플레이그라운드: 하이라이팅과 줄 번호가 있는 브라우저 편집기, 북의 실행 가능한 예제 불러오기, 링크로 프로그램 공유. 이제 사이트의 SafeC 프로그램 중 플레이그라운드가 빌드할 수 있는 모든 프로그램에 플레이그라운드에서 실행 링크가 있습니다.
이 블로그: 태그, Atom 피드, RSS 피드. 릴리스 노트는 빌드할 때 SafeC의 릴리스 기록과 CHANGELOG.md에서 생성되고, 변경 내역은 병합되었지만 아직 릴리스되지 않은 것까지 보여 줍니다.
새 디자인: 라이트·다크 테마, 휴대폰에서도 동작하는 레이아웃, 키보드 탐색, 문서와 블로그를 함께 찾는 검색.

바뀌지 않은 것

기존 URL은 모두 그대로 동작합니다 — /guide/introduction, /reference/types, /stdlib/http를 비롯한 모든 페이지가 영어와 한국어 모두 원래 자리에 있습니다. /docs/, /download 같은 새 짧은 URL은 정적 리다이렉트 페이지입니다. GitHub Pages에는 서버 리다이렉트가 없기 때문입니다.

SafeC로 빌드

사이트는 문서 저장소의 site/에 있는 SafeC 프로그램이 표준 라이브러리만으로 생성합니다: std/serial/markdown이 GitHub 확장을 포함한 CommonMark를 파싱하고, std/serial/yaml이 설정과 프런트매터를 읽고, scx 템플릿(SafeC의 JSX 스타일 마크업)이 페이지를 배치하며, 개발 서버는 std/http입니다. 테마 전환, 검색, 탭, 복사 버튼, 플레이그라운드 편집기 같은 동적인 부분은 std/wasm의 DOM 바인딩 위에서 WebAssembly로 컴파일한 SafeC 모듈이고, 이를 불러오는 데 JavaScript 몇 줄이 쓰입니다. JavaScript 프레임워크는 없고, 모든 페이지는 스크립트 없이도 동작합니다.

다음 계획

플레이그라운드의 실행 버튼은 WebAssembly로 빌드한 셀프 호스팅 SafeC 컴파일러를 기다리고 있었습니다. 업데이트: 이제 들어왔습니다 — 실행이 scc로 브라우저 안에서 프로그램을 컴파일하고 실행합니다(다음에 나올 것). 버전별 문서도 계획 중입니다: 문서 사이드바의 버전 선택기에는 이미 릴리스 목록이 있습니다.

끊어진 링크나 더 명확해질 수 있는 페이지를 찾았다면 이슈를 열거나 풀 리퀘스트를 보내 주세요 — 방법은 커뮤니티 페이지에 있습니다.

다음 릴리스 미리 보기: 1.0.0-beta-6 이후 병합된 모든 것

2026-10-26T00:00:00Z

1.0.0-beta-7로 릴리스되었습니다. 아래 내용은 모두 #82–#88와 함께 2026-10-27에 SafeC 1.0.0-beta-7로 릴리스되었습니다. 설치와 업그레이드 방법, 짧은 마이그레이션 목록, 알려진 문제는 릴리스 노트에 있으며, 이 글은 이번 주기의 기록으로 남겨 둡니다.

SafeC의 main 브랜치는 1.0.0-beta-6 이후 많이 나아갔습니다. 이 글은 다음 릴리스에 들어갈 내용을 기록해 온 글입니다. 그 뒤로 병합된 풀 리퀘스트 #56부터 #81까지를 영역별로 묶었습니다. 그중 두 가지는 호환성을 깨는 변경이며, 컴파일러가 영향을 받는 호출 지점마다 오류를 보고합니다. 코드를 고치는 방법은 끝의 마이그레이션 가이드에 있습니다.

이 사이트가 변경 내역으로 보여 주는 SafeC의 CHANGELOG.md는 후반부의 변경 — safeguard doc과 publish, scc, 슬라이스 API, 소유권 검사 — 을 1.0.0-beta-7 아래에(이 글을 쓰는 동안에는 Unreleased 아래에) 개별 시그니처 수준까지 기록합니다. 이번 주기의 앞부분 — 웹 스택, 비동기, GUI 툴킷, 오디오, HTTPS — 은 이번 주기의 SafeC에 더 자세히 정리되어 있습니다.

한눈에 보기

영역	변경 내용	풀 리퀘스트
웹 스택	`std/http` 서버, 라우터, WebSocket, SSE; URL·DEFLATE 코덱; wasm용 DOM 상호 운용	#57
비동기	`goto` 상태 머신으로 구현한 Rust 스타일 future, 실행기, 비동기 TCP	#61
GUI	벡터 캔버스, 위젯, 여러 창; X11, Wayland, Win32, Cocoa, 웹; GPU 프레젠터	#63, #65
오디오와 MIDI	ALSA, JACK, Core Audio, WASAPI, Web Audio 위의 단일 콜백 API	#59
HTTPS	`std/tls`: OS의 TLS, 대체 경로로 SafeC TLS 1.3	#66
safeguard doc과 publish	rustdoc 스타일 API 레퍼런스; CI를 포함한 라이브러리 배포	#69
scc와 플레이그라운드	SafeC로 작성되어 WebAssembly로 컴파일하는 SafeC 컴파일러	#70
`void` 대신 슬라이스 — 호환성 깨짐*	std 공개 API가 슬라이스와 타입 있는 소거를 사용; std 어디에도 `void*`가 남지 않음	#76, #80, #81
Drop, Send, Sync — 호환성 깨짐	컴파일러가 검사하는 소유권과 스레드 안전성	#77
수정 사항	코드 생성, 안전성 검사의 빈틈, Windows·macOS CI	#64, #68, #71–#75, #78, #79, #82, #83

또한 릴리스는 이제 std를 플랫폼마다 섹션(core, collections, gui 등)당 아카이브 하나로 미리 빌드해 제공하며, install.sh --std=... / install.ps1 -Std ...로 고릅니다(#56). 이 웹사이트도 이제 SafeC 프로그램으로 빌드됩니다(#58).

웹 스택

std/http(#57)는 실제 서비스를 위한 스택이 되었습니다: 구조화된 헤더, chunked 전송을 지원하는 keep-alive HttpServer, 미들웨어와 경로 패턴을 갖춘 Router, 정적 파일, 쿠키, multipart 폼, server-sent events, WebSocket 업그레이드, 리다이렉트를 따라가고 gzip을 푸는 URL 클라이언트. 함께 std/encoding의 URL(RFC 3986)과 DEFLATE / zlib / gzip 코덱이 들어왔습니다. 브라우저 쪽에서는 std/wasm이 이벤트, 타이머, fetch, 스토리지, 히스토리 등 DOM·브라우저 API와 상호 운용하게 되었고, JavaScript 글루는 std에 포함됩니다. examples/fullstack_demo는 Router 서버와 SafeC→wasm 클라이언트를 합칩니다.

비동기: `goto` 상태 머신으로 된 future

std/async(#61)는 Rust의 Future / Poll / Waker / Context 모델을 언어 코루틴 없이 라이브러리로 가져옵니다. ASYNC_BEGIN / AWAIT / ASYNC_RETURN 매크로가 poll 메서드를 가진 구조체를 goto 기반의 재개 가능한 상태 머신으로 바꾸고, await를 넘어 살아 있는 지역 변수는 모두 구조체에 저장됩니다. 그 위에 타이머, join / select / timeout 조합기, 채널, Mutex, Semaphore, Notify, 취소, 베어메탈과 wasm32에서도 도는 힙 없는 LocalExecutor, 멀티스레드 ThreadPool, epoll·kqueue·WSAPoll 리액터 위의 비동기 TCP를 제공하는 IoDriver + Runtime이 있습니다.

GUI 툴킷

#63에서 std/gui가 툴킷이 되었습니다: TrueType 텍스트를 갖춘 안티에일리어싱 벡터 캔버스, 레이아웃과 테마를 지원하는 리테인드 위젯 툴킷, 여러 창 애플리케이션을 위한 GuiApp — 모두 X11, Win32, Cocoa 창 계층 위의 GuiBackend 인터페이스에 있습니다. #65는 더 많은 플랫폼을 더했습니다: Linux에서 실행 시점에 선택되는 Wayland, DOM 상호 운용과 IME 텍스트 입력을 갖추고 <canvas>나 WebGL로 그리는 WebAssembly 백엔드, OpenGL ES(EGL)·Metal·Direct3D 11 GPU 프레젠터. safeguard bundle --target wasm32는 GUI 앱을 웹 페이지로 패키징합니다.

오디오와 MIDI

std/audio(#59)는 오디오 스트림과 MIDI 포트를 위한 콜백 기반 API 하나로, 포맷 변환을 포함합니다. 오디오는 ALSA, JACK, Core Audio, WASAPI, Web Audio, 테스트용 더미 장치에서, MIDI는 ALSA 시퀀서, JACK, Core MIDI, WinMM, Web MIDI에서 동작합니다.

HTTPS

std/tls(#66)는 운영체제의 TLS — OpenSSL(실행 시점에 로드), SChannel, SecureTransport — 가 있으면 그것을 쓰고, 없으면 SafeC로 작성한 TLS 1.3 클라이언트·서버로 대체하며, 시스템 신뢰 루트에 대한 X.509 경로 검증을 수행합니다. 이를 위해 std/crypto에 X25519, P-256 / P-384 ECDH와 ECDSA, RSA(PKCS#1 v1.5와 PSS), HKDF, ChaCha20이 추가되었습니다. http_fetch 등은 https://를, WsConn은 wss://를 지원하고, HttpServer는 TlsServerConfig로 HTTPS를 서비스합니다.

`safeguard doc`과 `safeguard publish`

safeguard doc(#69)은 rustdoc처럼 패키지의 API 레퍼런스를 만듭니다: 강조 표시된 선언이 있는 항목별 페이지, 문서 내 링크([Vec::push])와 예제를 담은 마크다운 문서 주석, 헤더당 모듈 하나, 소스 페이지, 클라이언트 측 검색(wasm32로 컴파일한 SafeC), 라이트·다크 테마, 결과물의 링크 검사. --serve는 이를 서비스하고 --std는 std 자체를 문서화합니다 — 이 사이트의 std API 레퍼런스가 그렇게 만들어집니다. 그 밑에는 실제 프런트엔드에서 선언과 문서 주석을 JSON으로 내보내는 새 safec --emit-doc-json이 있습니다.

safeguard publish는 라이브러리의 git 저장소를 배포할 수 있게 준비합니다: README / LICENSE / 메타데이터 검사, semver를 위한 --bump, 그리고 Linux·macOS·Windows에서 테스트하고 태그가 붙으면 미리 빌드한 정적·공유 라이브러리를 릴리스에 첨부하고 문서를 Pages에 배포하는 CI 생성(기본은 GitHub Actions, --ci=로 GitLab CI, Gitea, Forgejo). --write를 주지 않으면 드라이 런입니다. Package.toml에는 repository, homepage, documentation, readme, keywords와 [publish] 테이블이 생겼고, safeguard build --crate-type staticlib|cdylib|bin은 [build] crate_type을 덮어씁니다.

scc와 온라인 플레이그라운드

scc(#70)는 SafeC로 작성한 SafeC 컴파일러로, SafeC의 새 selfhost/ 디렉터리에 있습니다. 자체 렉서, 전처리기, 파서, 의미 분석(safec의 안전성 검사와 진단 포함), wasm 백엔드를 거쳐 LLVM과 링커 없이 SafeC를 곧바로 WebAssembly 바이너리로 컴파일합니다. C++ safec로 네이티브와 WebAssembly 양쪽으로 빌드되며, 자기 자신도 컴파일합니다: selfhost/bootstrap.sh는 스스로 컴파일한 컴파일러가 자신을 바이트 단위로 똑같이 재현하는지 확인합니다. 차등 테스트 하네스가 Book, 레퍼런스 프로그램, 코퍼스를 두 컴파일러로 컴파일해 결과를 비교하며, 새 selfhost CI 작업에서 돌아갑니다 — 아래의 가변 인자 승격 버그도 여기서 발견되었습니다.

scc는 이 사이트의 플레이그라운드를 움직입니다. 이제 Run 버튼이 시간·메모리 제한이 있는 Web Worker 안에서, 프로그램을 전부 브라우저에서 컴파일하고 실행합니다. scc는 selfhost/SUBSET.md에 나열된 언어 부분 집합을 받아들이며 소유권·스레드 안전성 검사는 하지 않습니다. 그 검사와 전체 std가 필요하면 로컬에서 빌드하세요.

호환성 깨짐: `void*`와 포인터 + 길이 쌍이 없는 std API

#76은 std의 공개 선언에서 void*, 원시 T* 버퍼, (포인터, 길이) 쌍을 모두 없앴습니다:

버퍼는 슬라이스입니다. []T는 함수가 쓰는 버퍼, []const T는 읽기만 하는 버퍼입니다. 슬라이스는 길이를 갖고 있고 인덱싱은 경계 검사됩니다. 고정 크기 인자(키, 논스, 다이제스트)는 진입 시 검사되어, 너무 짧으면 그 너머를 읽거나 쓰는 대신 패닉합니다. std::str_bytes("text")는 문자열의 바이트를 []const char로 주며, []const unsigned char를 기대하는 곳 어디서나 받아들여집니다.
타입 소거에 타입이 있습니다. 실행기, waker, 타이머, 위젯, VFS, 오디오·MIDI 콜백, HTTP 핸들러, DOM 리스너, 스레드 진입점처럼 std가 서로 다른 컨텍스트 타입의 콜백을 나란히 저장해야 하는 곳의 슬롯은 ?&Erased(std/erased.h)이며, 일치하는 fn(?&T) / ?&T를 받는 제네릭 메서드로만 채워집니다. 불투명 핸들도 타입이 있는 구조체입니다.
언어도 그에 맞게 자랐습니다: 읽기 전용 슬라이스 []const T, 옵셔널 슬라이스 ?[]T와 널 가능 함수 참조 ?fn R(Args), 슬라이스를 반환하는 함수와 슬라이스 필드, 범위 검사되는 재슬라이싱(unsafe 밖에서 i > j나 j > len이면 a[i..j]가 트랩), char·signed char·unsigned char 사이에서 상호 변환되는 바이트 슬라이스. 슬라이스를 포인터로 캐스트하는 것은 이제 오류이며, s.ptr을 쓰세요.
std에 새로 추가: Erased, S24(패킹된 24비트 오디오 샘플로, 24비트 버퍼는 []S24), struct TimeFields, Vec::from_slice / as_slice, String::from_bytes / push_bytes / as_bytes, 그리고 StaticVec, StaticMap, RingBuffer, LFQueue와 할당기의 over([]T) 생성자.

#80과 #81이 std 내부까지 마무리했습니다: 오디오, GUI, ML, TLS, OS 백엔드가 C, Objective-C, CUDA, HIP, Metal, Vulkan, WebGPU API를 타입 있는 핸들과 바이트 포인터로 바인딩하고, 오디오·MIDI 콜백 컨텍스트는 Send + Sync여야 하며, 할당자는 ?&heap unsigned char를 내주고, malloc_defer는 선언에서 타입을 가져옵니다. 이제 std 어디에도 void*가 없으며, SafeC 테스트 스위트의 린트는 void*가 다시 나타나거나 std 공개 선언에 원시 포인터가 다시 나타나면 빌드를 실패시킵니다.

호환성 깨짐: 컴파일러가 강제하는 Drop, Send, Sync

#77은 자원 소유권과 스레드 안전성을 컴파일 타임 검사로 만듭니다. 전체 규칙은 소유권과 Drop과 스레드 안전성을 보세요.

Drop. void drop() 메서드를 가진 타입, 또는 그런 값을 담은 타입은 모든 경로 — return, break, continue, goto, match, defer, 루프 — 에서 정확히 한 번 drop되거나 move되어야 합니다. 누수, drop·move 후 사용, 이중 drop, 살아 있는 값 덮어쓰기, 빌린 메모리에서 move해 나오기는 컴파일 오류입니다. 검사는 제네릭 인스턴스마다 이루어지고, 생성 코드에는 아무것도 삽입하지 않습니다.
consume 메서드(int close() consume;)는 drop()처럼 수신자를 소멸시킵니다. drop(x)는 모든 타입에 대한 drop 글루이고, std::replace와 std::swap은 std/ownership.h에 있으며, forget(x)는 unsafe 안에서만 허용됩니다. 메서드가 수신자 안을 가리키도록 반환한 참조(Vec::at(), MutexGuard::get())는 수신자로부터 빌린 것입니다.
**Send / Sync**는 각 타입의 구조로부터 유도되고, unsafe impl Send; / impl !Send;로 재정의할 수 있으며, 제네릭 바운드로 쓸 수 있습니다. spawn은 Sync인 정적 데이터만 받고, spawn_scoped는 join될 때까지 지역 변수를 빌려주며, chan_send는 Send 값을 move합니다.
std/thread.h에 새로 추가: thread_spawn / SpawnedThread<T, R>(인자를 스레드로 move하고 join()이 결과를 반환), Mutex<T> / MutexGuard<T>(값은 가드를 통해서만 접근하며 가드는 drop()에서 잠금 해제), RwLock<T>. std/atomic.h에는 AtomicInt와 AtomicLong이 있습니다.
컬렉션, File, 소켓, TLS, HTTP, 스레드, 동기화 프리미티브, GUI, 오디오, 비동기, ML 컨테이너 등 std의 소유 타입은 Drop을 구현합니다. free() / close() / destroy()는 consume 별칭으로 남습니다. ThreadPool::spawn, Chan<T>, AsyncChannel<T>, Oneshot<T>는 Send 값을 요구하고, GUI 창은 !Send이며, 끝나지 않은 AsyncTask를 drop하면 실행기가 해제된 메모리를 poll하게 두는 대신 패닉합니다.

std 전체에 검사를 켜자 실제 버그가 발견되어 고쳐졌습니다: TLS 오류 경로, GUI SVG 렌더러, 위젯·PNG 로더, 정적 파일·라우터 헬퍼, Audio::open, std/ml의 LLM·LoRA 경로, safec-doc의 링크 검사기에 있던 누수, 이중 해제, 해제 후 사용.

주요 수정 사항

가변 인자 호출은 C가 요구하는 대로 bool, char, short를 int로 승격합니다. 전에는 printf("%d", !x)가 254를 출력했습니다(#71).
안전성 검사의 빈틈을 막았습니다(#72): const &T를 통한 필드 쓰기를 거부하고, &stack / &arena 탈출 검사가 ->를 따라가며, Vec::at, HashMap, StrMap이 준 원소 참조를 push나 재해싱하는 삽입 너머까지 들고 있으면 보고합니다. 참조를 반환하는 호출 체인을 통한 변경(v.at(i).field.push(x))은 이제 임시 복사본이 아니라 실제 필드에 닿습니다.
메서드 호출: 참조로 반환된 호출 결과의 필드에 대한 메서드 호출은 참조 대상에 작용하고, 재귀 함수에서 StrMap을 쓸 때의 오탐이 사라졌습니다(#73). atomic_cas 인자는 가리키는 타입에 대해 검사됩니다(#74).
C 헤더 가져오기는 128비트 float와 _Complex 선언을 건너뛰어 최신 glibc 헤더도 가져올 수 있고, safeguard test는 Windows에서 테스트의 .exe를 실행합니다(#75). 라이브러리 패키지에서 safeguard test는 라이브러리를 각 테스트에 링크합니다.
Windows와 macOS: 제네릭 함수는 ABI 낮추기를 거쳐도 COMDAT을 유지하고, std/sched는 WSAStartup에 올바른 크기의 WSADATA를 넘기며, WSAPoll 리액터는 디스패치 후 감시 목록을 읽지 않습니다(#64). ABI 낮추기된 함수는 모듈 안의 제자리를 지키고(#79), std 모듈 검사는 Mach-O와 COFF에서 섹션 간에 반복되는 제네릭 인스턴스를 허용합니다(#68).
파서: typedef 이름과 두 개 이상의 *로 선언한 지역 변수(Foo_t** x = pp;)는 선언으로 읽히고, 전위 연산자가 중첩됩니다(**pp, -*p, - -x). safec와 scc 모두 해당합니다(#82).
웹사이트 점검에서 발견한 버그(#83): 모든 컨테이너는 이제 Vec처럼 clear() / drop() 때와 키를 덮어쓸 때 원소를 drop합니다(drop()이 없는 BTree, StaticVec, StaticMap은 clear()합니다) — 컬렉션 참고. Reactor에 drop()이 생겼고 close_()는 테이블을 해제하며 멱등입니다. WsConn::closed()는 accept()로 채울 시작 값이며, 닫힌 연결은 fd 0을 건드리지 않습니다. safeguard는 std를 <std/...>로만 찾으므로 맨 이름의 #include <math.h>는 C 라이브러리의 헤더입니다(#include <io.h>에는 호환성을 깨는 변경: <std/io.h>로 씁니다). 그리고 std/time이 플레이그라운드에서 동작합니다.

마이그레이션

두 호환성 깨짐 모두 분명하게 실패합니다: 영향을 받는 모든 호출은 컴파일 오류(인자 개수나 타입 불일치, 또는 선언 위치를 가리키는 노트가 붙은 소유권 오류)이고, 변경 내역에 적힌 곳 말고는 조용히 동작이 바뀌는 것은 없습니다. 흔한 수정은 다음과 같습니다:

이전	이후
`f.read(buf, n)`, `w.write(buf, n)`	`f.read(buf[..])`, `w.write(buf[0..n])`
`sha256(data, len, digest)`	`sha256(bytes, digest[..])` — `bytes`는 `buf[0..len]`이나 `std::str_bytes(s)` 같은 슬라이스
`str_copy(dst, src, size)`	`str_copy(dst[..], src)` — 다 들어가면 1, 잘리면 0을 반환하고 항상 NUL로 끝냄
`safe_memcpy(dst, src, bytes)`	`safe_memcpy(dst[..], src[..])` — 바이트가 아니라 원소를 세고, 두 길이 중 작은 만큼 복사
`time_gmtime(t, fields)`(int 9개 배열)	`struct TimeFields tm = time_gmtime(t);`
`Vec::from_arr(p, n)`	`Vec::from_slice(a[..])`
`String::from_n(p, n)` / `push_n`	`String::from_bytes(s)` / `push_bytes(s)`
`?&T`를 반환하던 `sys_bsearch(...)`	인덱스를 `?unsigned long`으로 반환
`void*` 콜백 컨텍스트	타입 있는 `?&T` — std의 제네릭 메서드가 `?&Erased`로 저장
사용자 할당자의 `?&heap void alloc(size, align)` / `dealloc(?&heap void)`	둘 다 `?&heap unsigned char` (std의 할당자와 `heap_alloc`은 바이트를 내줍니다. `alloc_t` / `dealloc_t`는 그대로)
`(T*)slice`	`slice.ptr`
어떤 경로에서 해제되지 않는, `free()` / `close()`가 있는 값	만든 직후 `defer v.drop();`, 또는 모든 경로에서 해제
포인터를 공유하는 `thread_create(&tid, work, ctx)`	데이터를 move해 넣는 `thread_spawn(fn, value)`, 공유 데이터에는 `Mutex<T>` / `spawn_scoped`

흔한 소유권 오류와 그 해결:

int sum_positive([]const int xs) {
    struct Vec<int> v = std::Vec::new();
    for (unsigned long i = 0UL; i < xs.len; i = i + 1UL) {
        if (xs[i] < 0) { return -1; }   // error: value of Drop type 'Vec<int>' leaks when the
        v.push(xs[i]);                  //   function returns: 'v' is never dropped;
    }                                   //   call v.drop() or add 'defer v.drop()'
    // ...
    v.drop();
    return 0;
}

선언 바로 뒤에 defer v.drop();을 추가하고 마지막 v.drop()을 지우면 모든 경로에서 v가 해제됩니다.

플레이그라운드에서 실행할 수 있는 슬라이스 예제 — 읽기 전용 슬라이스 매개변수, 경계가 있는 str_copy, 원소 단위 safe_memcpy:

#include <std/str.h>
#include <std/mem.h>
extern int printf(const char* fmt, ...);

long sum([]const int xs) {           // a read-only slice: the length comes with it
    long s = 0L;
    for (unsigned long i = 0UL; i < xs.len; i = i + 1UL) { s = s + (long)xs[i]; }
    return s;
}

int main() {
    char name[8];
    int fit = std::str_copy(name[..], "truncated!");   // bounded by the slice
    printf("fit=%d name=%s\n", fit, name);

    int src[4] = {1, 2, 3, 4};
    int dst[3];
    unsigned long n = std::safe_memcpy(dst[..], src[..]);   // elements, not bytes
    printf("copied=%lu sum=%ld\n", n, sum(dst[..]));
    return 0;
}

플레이그라운드에서 실행

출력은 fit=0 name=truncat(NUL을 포함해 8바이트 버퍼에 맞게 잘림)과 copied=3 sum=6입니다. 암호화와 데이터를 소유하는 스레드를 쓰는 다음 예제는 전체 std가 필요하므로 로컬에서 safeguard run으로 빌드하세요:

#include <std/crypto/sha256.h>
#include <std/str.h>
#include <std/thread.h>
#include <std/collections/vec.h>
extern int printf(const char* fmt, ...);

int count(struct Vec<int> v) {
    int n = (int)v.len;
    v.drop();                       // the thread owns v and must drop it
    return n;
}

int main() {
    unsigned char digest[32];
    std::sha256(std::str_bytes("abc"), digest[..]);   // was sha256(data, len, digest)

    struct Vec<int> v = std::Vec::new();
    v.push(1); v.push(2);
    struct SpawnedThread<struct Vec<int>, int> t = std::thread_spawn(count, v);
    // v.push(3);                   // error: use of 'v' after it was moved
    int len = t.join();             // join() consumes t and returns count's result

    printf("digest[0]=0x%02x len=%d\n", (unsigned)digest[0], len);
    return 0;
}

출력은 digest[0]=0xba len=2이고, v.push(3)의 주석을 풀면 thread_spawn 호출을 가리키는 노트와 함께 use of 'v' after it was moved 컴파일 오류가 납니다.

마이그레이션할 때 볼 곳:

타입: 슬라이스, 읽기 전용 슬라이스, 옵셔널 슬라이스
소유권과 Drop — 규칙, 모든 오류, consume 메서드, forget
스레드 안전성 — Send와 Sync, thread_spawn, Mutex<T>
사용하는 모듈의 std 페이지: mem, str, io, collections, crypto, thread, async, audio, dsp, http, 그리고 std API 레퍼런스
변경 내역의 모듈별 Breaking changes 목록

사용해 보기

이 모든 것이 1.0.0-beta-7로 릴리스되었습니다. 설치하거나 플레이그라운드에서 언어를 써 보세요. 의존하던 무언가가 컴파일러의 설명 없이 깨졌다면 이슈를 열어 주세요.

이번 주기의 SafeC: 비동기, 오디오, 웹 스택, GUI 툴킷, HTTPS

2026-10-25T00:00:00Z

2026-10-27에 1.0.0-beta-7로 릴리스되었습니다.

1.0.0-beta-6 이후 몇 주는 표준 라이브러리에 쓰였습니다. 이제 HTTP를 서비스하고, 창을 열고, 오디오를 재생하고, future를 await하는 프로그램을 std만으로 작성할 수 있습니다. 아래 내용은 모두 main에 병합되었고(풀 리퀘스트 #56–#67) 다음 릴리스에 포함됩니다(변경 내역은 #69부터 기록하며, beta-6 이후 전체 내용은 다음 릴리스 미리 보기에 정리했습니다).

std/async: 언어 코루틴 없는 future

std/async(#61)는 Rust의 Future / Poll / Waker / Context 모델을 라이브러리로 SafeC에 가져옵니다. future는 poll 메서드를 가진 구조체이고, ASYNC_BEGIN / AWAIT / ASYNC_RETURN 매크로가 이를 goto 기반의 재개 가능한 상태 머신으로 바꿉니다. await를 넘어 살아 있는 지역 변수는 모두 구조체에 저장됩니다.

그 위에 타이머, join / select / timeout 조합기, 채널, Mutex, Semaphore, Notify, 취소, 베어메탈과 wasm32에서도 도는 결정론적이고 힙을 쓰지 않는 단일 스레드 LocalExecutor, 멀티스레드 ThreadPool, 호스트 block_on, epoll·kqueue·WSAPoll 리액터 위의 비동기 TCP를 제공하는 IoDriver + Runtime이 있습니다. 컴파일러는 이를 위해 goto 규칙(중복 레이블, 선언을 건너뛰는 점프, return 뒤의 레이블)을 익혔고, safeguard에는 매크로 기반 패키지를 위한 [build] compat_preprocessor가 생겼습니다. examples/async_demo를 보세요.

std/audio: 실시간 오디오와 MIDI

std/audio(#59)는 오디오 스트림과 MIDI 포트를 위한 콜백 기반 API 하나로, 포맷 변환을 포함합니다. 오디오 백엔드는 ALSA, JACK, Core Audio, WASAPI, Web Audio, 그리고 테스트용 더미 장치. MIDI는 메시지 타입·파서·락프리 큐로 된 MIDI 코어 위에 ALSA 시퀀서, JACK, Core MIDI, WinMM, Web MIDI가 있습니다. 런타임 테스트는 더미 백엔드, ALSA의 null·file PCM, JACK 루프백, MIDI를 다루며 Windows는 Wine에서 확인합니다. examples/audio_demo는 장치를 나열하고, 사인파를 재생하고, MIDI를 모니터링합니다. 그 과정에서 safeguard는 _macos, _wasm 플랫폼별 std 소스를 지원하게 되었습니다.

웹 스택

#57은 std/http를 실제 서비스를 위한 스택으로 다시 만들었습니다: 구조화된 헤더와 요청/응답 헬퍼, chunked 전송을 지원하는 keep-alive HttpServer, 미들웨어와 경로 패턴을 갖춘 Router, 정적 파일, 쿠키, multipart 폼, server-sent events, WebSocket 업그레이드, 그리고 리다이렉트를 따라가고 gzip을 푸는 URL 클라이언트. 함께 std/encoding/url(RFC 3986 파싱과 해석, 쿼리 매개변수, 폼 인코딩)과 std/encoding/deflate(DEFLATE, zlib, gzip, CRC-32, Adler-32)가 들어왔습니다.

브라우저 쪽에서는 std/wasm이 이벤트, 타이머, fetch, 스토리지, 히스토리 등 DOM과 브라우저 API 전체와 상호 운용하게 되었고, JavaScript 글루가 std에 포함되어 Node에서 테스트됩니다. examples/fullstack_demo는 둘을 합칩니다: Router 서버와 SafeC→wasm 클라이언트.

std/gui: GUI 툴킷

#63은 std/gui를 툴킷으로 만들었습니다: TrueType 폰트 로딩·커닝·텍스트 레이아웃을 갖춘 안티에일리어싱 벡터 캔버스(GUI 그래픽), 레이아웃과 테마를 지원하는 리테인드 위젯 툴킷, 여러 창 애플리케이션을 위한 GuiApp — 모두 이식 가능한 창 계층 아래의 GuiBackend 인터페이스 위에 있습니다. 캔버스 테스트는 골든 이미지와 비교하고, 위젯 테스트는 헤드리스 백엔드에서, 두 창 GuiApp 테스트는 X11(Xvfb)과 Win32(Wine)에서 돌아갑니다. examples/gui_hello와 모든 위젯을 보여 주는 examples/gui_gallery를 실행해 보세요.

이어서 #65가 툴킷을 더 많은 플랫폼으로 넓혔습니다: Linux에서 실행 시점에 선택되는 Wayland 백엔드, 페이지 안의 창·IME 텍스트 입력·DOM 상호 운용과 함께 <canvas>나 WebGL로 그리는 WebAssembly 백엔드, 그리고 OpenGL ES(EGL), Metal, Direct3D 11 GPU 프레젠터. safeguard bundle --target wasm32는 GUI 앱을 실행 가능한 웹 페이지로 패키징합니다.

섹션 단위로 미리 빌드된 std

이제 릴리스는 플랫폼마다 표준 라이브러리를 섹션 — core, collections, gui, ml 같은 std의 최상위 디렉터리 — 당 아카이브 하나로 미리 빌드해 제공합니다(#56). safeguard는 프로젝트가 쓰는 섹션을 컴파일하는 대신 링크하고, install.sh --std=... / install.ps1 -Std ...로 설치할 섹션을 고릅니다. std는 이제 디버그 빌드에서도 항상 최적화되어 컴파일되며, 릴리스 바이너리는 macOS 11과 glibc 2.25(Debian 10, Ubuntu 18.04, RHEL 8 이후)를 대상으로 합니다.

SafeC로 빌드하는 문서

지금 읽고 있는 문서 사이트는 이제 VitePress 대신 SafeC 프로그램이 생성합니다. 이를 위해 정적 사이트 생성기에 필요한 std 기능이 추가되었습니다(#58): 파일 전체를 다루는 File::read_to_string / write_bytes와 함께 std/dir와 std/path, 컨테이너·헤딩 id·렌더 훅을 지원하는 CommonMark + GFM 마크다운 파서, YAML 플로 컬렉션과 블록 스칼라, html_unescape / html_strip_tags, memory.grow 위에서 크기 클래스를 재사용하는 할당기를 갖춘 wasm 런타임, scx 템플릿 수정. 컴파일러는 이제 C의 \a \b \f \v \e 이스케이프를 인식합니다. 새 웹사이트는 이 모든 것 위에 만들어졌습니다.

Windows 수정

#64로 Windows CI가 다시 통과합니다: 컴파일러는 ABI 패스가 제네릭 함수를 다시 만들 때도 그 COMDAT을 유지하고, std/sched는 WSAStartup에 실제 408바이트 WSADATA를 넘기며, WSAPoll 리액터는 디스패치 후 감시 목록을 인덱싱하지 않습니다. #63의 작은 컴파일러 수정도 있습니다: f 접미사가 붙은 부동소수점 리터럴은 float입니다.

HTTPS

이 글을 쓰는 동안 마지막 조각이 병합되었습니다: #66은 std/tls를 추가합니다. 운영체제의 TLS가 있으면 그것을 — OpenSSL(실행 시점에 로드), SChannel, SecureTransport — 쓰고, 없으면 SafeC로 작성한 TLS 1.3 엔진(클라이언트와 서버)을 쓰며, X.509 파싱, 인증서 경로 검증, 시스템 신뢰 루트를 갖췄습니다. std/crypto에는 이를 위한 X25519, P-256 / P-384 ECDH·ECDSA, RSA PKCS#1 v1.5·PSS, HKDF, ChaCha20이 추가되었습니다. 이로써 std/http는 http_fetch 계열과 SSE 클라이언트에서 https://를, WsConn은 wss://를 지원하고, HttpServer는 TlsServerConfig로 HTTPS를 서비스합니다.

써 보기

위 내용은 모두 main에 있습니다. 다음 릴리스 전까지는 소스에서 빌드하거나, 1.0.0-beta-6을 설치하고 변경 내역을 따라가세요.

SafeC 1.0.0-beta-6 릴리스

2026-10-22T00:00:00Z

SafeC 1.0.0-beta-6가 2026-10-22에 릴리스되었습니다. 프리릴리스이며, 언어와 표준 라이브러리는 아직 빠르게 바뀌고 있습니다.

아래 변경 사항은 릴리스 기록의 영어 원문입니다.

이 릴리스를 그대로 설치하려면:

bash

curl -fsSL https://raw.githubusercontent.com/safec-org/SafeC/main/install.sh | bash -s -- --version=v1.0.0-beta-6

powershell

& ([scriptblock]::Create((irm https://raw.githubusercontent.com/safec-org/SafeC/main/install.ps1))) -Version v1.0.0-beta-6

풀 리퀘스트

cuDNN convolution / U-Net and cuFFT transforms on the CUDA backend (#3)
perf(cuda): close the H200 gaps vs PyTorch (cuDNN graph API, pinned transfers) + fp16/bf16 buffers (#4)
fix: std::alloc size class 33 read past the cache tables (#5)
perf: CPU SIMD/threads for std/dsp and std/ml; float DSP; vendor BLAS (#6)
perf(std): slab allocator, quarantine byte budget, faster Vec/HashMap, half-spectrum rFFT, arena FeatureMaps (#7)
feat(std/ml): flash and linear attention on ROCm (#9)
perf(std/ml): MPS bf16 decode/flash/linear attention, faster RMSNorm and GEMV (#8)
feat(cuda): flash and linear attention (cuDNN SDPA, tensor-core kernels) (#11)
perf(cuda): faster head-dim-128 linear and fp32 flash attention (#12)
fix(std): panic/log print through stderr_compat.h (#10)
perf(std/ml): MPS flash attention on simdgroup matrices, chunk-parallel linear attention, CUDA/ROCm-compatible API (#13)
perf(std/ml): ROCm attention on matrix cores (MFMA) (#14)
perf(std/ml): 8-simdgroup MPS flash attention threadgroups where they win (#15)
safeguard: honor $SAFEC and key the std archive cache on the compiler (#16)
perf(std/dsp): Accelerate vDSP for FIR on Apple; fix fft.sc linking on macOS (#17)
feat(std/ml): ROCm decode ops (half GEMV, RMSNorm, GELU); gpu_mps links off Apple (#18)
feat(std/ml): CPU half_gemv; tensor_blas/tensor_vdsp link on every platform (#19)
std/ml CUDA: decode ops from the Gemma 4 engine (half GEMV, RMSNorm, GELU, split-KV attention) (#20)
perf(std/ml): Apple Silicon half_gemv, half_gemv_batch, P-core pool (#21)
fix(std/sched): wait out connect() in the http and websocket clients (macOS) (#22)
std/http: bound connect and handshake time in HTTP/WebSocket clients (#23)
std/ml: residual/pooling, Mamba SSM, training stack, generative models, RL, LoRA/QLoRA (#24)
fix(std): panic/log print through stderr_compat.h (#26)
std/ml: trainable convnets; fp16/bf16 mixed precision on CPU, ROCm and CUDA (#27)
std/ml CUDA: faster mixed-precision ops and 16-bit convolutions (#28)
std: faster CPU training (sgemm packs once per call, vectorized optimizer) (#29)
feat(safeguard): prebuilt and local library dependencies; fix [[dependencies]] parsing (#31)
std/ml: device-resident training on ROCm (nn_rocm.h) (#30)
std/ml nn_rocm: MIOpen convolutions, fused passes, fp16/bf16 training (#32)
std: audit outside std/ml — bug fixes, convention fixes, broader tests (#33)
std/ml: one training interface over CPU and ROCm (traits), backend picked at build time (#34)
std/ml: operations on stateful types are methods (#35)
std: AES-GCM TLS records, real MMU formats, chip-generic HAL, verified GUI backends (#36)
Trait composition and bounded generic structs; std/ml models as composed traits (#37)
std/ml: autograd as methods (Tensor::backward / zero_grad, Autograd state) (#38)
feat(compiler): static methods, keyword method names, return-type inference (#39)
feat(compiler): methods with their own type parameters (#40)
std/ml: static-method constructors; single-tensor ops as methods (#41)
compiler: static calls through a type parameter; generic functions as values (#42)
std/ml: generic DenseTensor; HalfTensor/BF16Tensor with autograd (#44)
std: methods, static constructors and composed traits (#45)
fix(compiler): struct-body declarations, trait method shapes, newtype if const, pointer inference (#43)
ml/mps: typed MpsBuf, GPU Mlp training, const-pointer global and dispatch fixes (#46)
ml: train on ROCm, CUDA and Metal through tensor devices; fp16/bf16, SparseTensor (#47)
ml: trainable attention and transformers on tensor devices; fused attention kernels (#48)
ml/device_cuda: cuDNN graph plans for device convolutions; first H200 run (#49)
ml/device: every kernel on the Metal GPU from the shared kernel source; macOS link fix (#50)

GitHub 릴리스 페이지 · 변경 내역

SafeC 1.0.0-beta-5 릴리스

2026-10-20T00:00:00Z

SafeC 1.0.0-beta-5가 2026-10-20에 릴리스되었습니다. 프리릴리스이며, 언어와 표준 라이브러리는 아직 빠르게 바뀌고 있습니다.

아래 변경 사항은 릴리스 기록의 영어 원문입니다.

이 릴리스를 그대로 설치하려면:

bash

curl -fsSL https://raw.githubusercontent.com/safec-org/SafeC/main/install.sh | bash -s -- --version=v1.0.0-beta-5

powershell

& ([scriptblock]::Create((irm https://raw.githubusercontent.com/safec-org/SafeC/main/install.ps1))) -Version v1.0.0-beta-5

GitHub 릴리스 페이지 · 변경 내역

SafeC 1.0.0-beta-4 릴리스

2026-10-20T00:00:00Z

SafeC 1.0.0-beta-4가 2026-10-20에 릴리스되었습니다. 프리릴리스이며, 언어와 표준 라이브러리는 아직 빠르게 바뀌고 있습니다.

아래 변경 사항은 릴리스 기록의 영어 원문입니다.

이 릴리스를 그대로 설치하려면:

bash

curl -fsSL https://raw.githubusercontent.com/safec-org/SafeC/main/install.sh | bash -s -- --version=v1.0.0-beta-4

powershell

& ([scriptblock]::Create((irm https://raw.githubusercontent.com/safec-org/SafeC/main/install.ps1))) -Version v1.0.0-beta-4

풀 리퀘스트

Honor volatile on variables, fields and pointee types (#1)
Target arch macros + WebAssembly targets (wasm32/wasm64) (#2)

GitHub 릴리스 페이지 · 변경 내역

SafeC 블로그

SafeC 1.0.0-beta-7 릴리스

주요 변경 사항 #

호환성을 깨는 변경 #

마이그레이션 #

업그레이드 #

알려진 문제 #

풀 리퀘스트 #

SafeC의 새 보금자리

새로운 것 #

바뀌지 않은 것 #

SafeC로 빌드 #

다음 계획 #

다음 릴리스 미리 보기: 1.0.0-beta-6 이후 병합된 모든 것

한눈에 보기 #

웹 스택 #

비동기: goto 상태 머신으로 된 future #

GUI 툴킷 #

오디오와 MIDI #

HTTPS #

safeguard doc과 safeguard publish #

scc와 온라인 플레이그라운드 #

호환성 깨짐: void*와 포인터 + 길이 쌍이 없는 std API #

호환성 깨짐: 컴파일러가 강제하는 Drop, Send, Sync #

주요 수정 사항 #

마이그레이션 #

사용해 보기 #

이번 주기의 SafeC: 비동기, 오디오, 웹 스택, GUI 툴킷, HTTPS

std/async: 언어 코루틴 없는 future #

std/audio: 실시간 오디오와 MIDI #

웹 스택 #

std/gui: GUI 툴킷 #

섹션 단위로 미리 빌드된 std #

SafeC로 빌드하는 문서 #

Windows 수정 #

HTTPS #

써 보기 #

SafeC 1.0.0-beta-6 릴리스

풀 리퀘스트 #

SafeC 1.0.0-beta-5 릴리스

SafeC 1.0.0-beta-4 릴리스

풀 리퀘스트 #

주요 변경 사항

호환성을 깨는 변경

마이그레이션

업그레이드

알려진 문제

풀 리퀘스트

새로운 것

바뀌지 않은 것

SafeC로 빌드

다음 계획

한눈에 보기

웹 스택

비동기: `goto` 상태 머신으로 된 future

GUI 툴킷

오디오와 MIDI

HTTPS

`safeguard doc`과 `safeguard publish`

scc와 온라인 플레이그라운드

호환성 깨짐: `void*`와 포인터 + 길이 쌍이 없는 std API

호환성 깨짐: 컴파일러가 강제하는 Drop, Send, Sync

주요 수정 사항

마이그레이션

사용해 보기

std/async: 언어 코루틴 없는 future

std/audio: 실시간 오디오와 MIDI

웹 스택

std/gui: GUI 툴킷

섹션 단위로 미리 빌드된 std

SafeC로 빌드하는 문서

Windows 수정

HTTPS

써 보기

풀 리퀘스트

풀 리퀘스트