outbuf — 버퍼링 출력, flush 망각은 컴파일 오류

¹

소스

lib/out.low

층

L2 — 바깥 세계

권한

buf_flush · buf_write · buf_finish 에 cap io

출력을 모아 두었다가 한 번에 내보낸다. write_out 은 호출마다 비우므로 조각마다 부르면 조각마다 시스템 호출이다 — 이 라이터는 바이트를 호출자 버퍼에 쌓았다가 가득 찰 때만 비워 시스템 호출 수를 바이트 수에서 버퍼 수로 줄인다. 그리고 마지막에 반드시 finish 를 부르게 만들어 “모아 둔 것을 내보내지 않고 끝내는” 사고를 컴파일 단계에서 막는다.

var p owned outbuf.pending be outbuf.buf_open 1 .
let w result (owned outbuf.pending) outbuf.io_error . be outbuf.buf_write out p buf "hi\n" .
guard is_ok w . else return 1 .
set p (ok_value w) .
let r result void outbuf.io_error . be outbuf.buf_finish out p buf .

소유되는 것은 버퍼가 아니라 아직 나가지 않은 바이트다. 버퍼는 호출자 것으로 두고(fmt 와 같은 규율), owned 로 지키는 것은 비워지지 않은 상태 pending 이다 — 잃으면 안 되는 바로 그것이 소유된다. finish 가 owned pending 을 받고 result 를 내므로, 그런 값을 조용히 버리면 E-OWN-INCOMPLETE 다 (19장). 어노테이션이 아니라 시그니처에서의 추론이다. 다른 언어에서는 flush 를 잊으면 출력이 통째로 사라지거나, 소멸자에서 flush 하되 오류를 버린다 — 여기는 컴파일이 되지 않는다.

라이터는 cap io 를 품지 않는다. 권한은 값이 아니라 정적 토큰이라 구조체에 담을 수 없다. 그래서 바이트가 실제로 나가는 지점마다 호출자가 권한을 댄다 — 라이터가 몰래 flush 할 수 없다(16장).

buf_write 와 buf_flush 는 소유를 소비하고 새 상태를 ok 로 돌려준다 — 호출자는 set p (ok_value w) 로 매번 이어받는다. set 은 사용이 아니라 재초기화라 루프 안에서도 소유가 유지된다. 짧게 쓰인 것은 실패가 아니다 — 잎(write_out)은 파이프가 차면 요청보다 적게 쓰고, 그것은 정상이다. buf_flush 는 write_all 로 끝까지 쓴다. 실패(write_failed)는 “더는 못 쓴다” 일 때만 나고, 그때 pending 은 소비되어 그 시점 버퍼의 바이트는 잃는다(재시도는 짓지 않았다). 버퍼가 작아도 동작은 맞고 크기는 속도에만 영향을 준다. buf_flush 를 직접 부를 일은 “이 줄이 당장 화면에 보여야 한다” 같은 때뿐이다.

module emit .

use fmt .
use outbuf .

proc main input out cap io . input al cap allocator . output u8 . effects alloc io . do
  let g option mut slice u8 . . be alloc_bytes al capacity 16 .
  guard is_some g . else return 70 .
  let buf mut slice u8 . be some_value g .
  let ng option mut slice u8 . . be alloc_bytes al capacity 32 .
  guard is_some ng . else return 71 .
  let nb mut slice u8 . be some_value ng .
  var p owned outbuf.pending be outbuf.buf_open 1 .
  var i u64 be 1 .
  while le i 5 . do
    let a option u64 . be fmt.put_str nb 0 "line " .
    guard is_some a . else return 72 .
    let b option u64 . be fmt.put_u64 nb (some_value a) i .
    guard is_some b . else return 73 .
    let c option u64 . be fmt.put_nl nb (some_value b) .
    guard is_some c . else return 74 .
    let w result (owned outbuf.pending) outbuf.io_error .
      be outbuf.buf_write out p buf (subslice nb 0 (some_value c)) .
    guard is_ok w . else return 75 .
    set p (ok_value w) .
    set i (add i 1) .
  end
  let f result void outbuf.io_error . be outbuf.buf_finish out p buf .
  guard is_ok f . else return 76 .
  return 0 .
end

순수한 포매팅(fmt)이 바이트를 조립하고 버퍼링 출력(outbuf)이 내보낸다. 조립용 버퍼 nb 와 라이터의 버퍼 buf 는 따로다.

주의. 권한 없이 비우려 하면 컴파일 오류다(effects io 를 선언하고 권한을 받지 않으면 E-EFFECT-NO-CAP). fd 는 열림이 검사되지 않는 정수다. 출력이 이미 한 버퍼에 다 있으면 라이터가 필요 없다 — write_out 한 번이면 된다. 벡터 쓰기(writev) · 실패한 flush 뒤의 재시도 · 중단 가능 출력은 짓지 않았다.