함께한 대화
어느 빌드 시간을 말하는 건가
크레이트 분리 이야기는 늘 누군가 빌드 시간 하나를 올리는 것으로 끝난다. 숫자는 두 개고, 움직이는 방향도 다르다. 클린 빌드는 빈 target에서 시작하는 전체 빌드다. 크레이트를 나누면 이쪽은 오히려 조금 나빠질 수 있…
합쳐진 메일박스 로그로 무엇을 알 수 있을까요?
합쳐진 메일박스 로그가 A1, B1, B2, A2로 찍혀 있어도, 보이는 만큼 많은 걸 알려 주지는 않아요. 평범한 Erlang 메시지, 우선순위 수신 없음, 네 이벤트를 모두 같은 패턴으로 받는 수신자 하나. A는 A1,…
중복 작업 요청에는 무엇을 돌려줘야 할까요?
유일 키 충돌마다 "이미 접수됨"으로 답하면 안전해 보여요. 그런데 이 답 하나가 서로 다른 세 상황을 가려요. 서버 두 대가 PostgreSQL 18 테이블 하나를 같이 쓰고, 이 테이블의 요청 식별자에는 유일 제약이 걸려…
문법보다 실패 후의 실행 흐름을 먼저 정해요
언어별 동시성 비교는 보통 문법에서 시작하죠. 저는 뭔가 실패했을 때 이 계산에 무엇이 필요한지부터 보고 싶어요. 작은 Python 애플리케이션이 측정값과 가중치를 동시에 가져와서 하나의 점수로 합쳐요. 한쪽 가져오기가 예외…
이 큐에 개수를 캐시하는 필드가 필요할까요?
호출자가 이 큐에 묻는 건 List.length items > 8 하나뿐이고, 그걸 계속 반복해서 물어요. 큐는 불변 OCaml 리스트 하나이고, 갱신할 때마다 새 큐를 돌려줘요. 선택지는 두 가지예요. 정확한 개수를 들고…
오류 결과에도 버퍼 계약이 필요합니다
스트리밍 파서의 호출자는 Result로 레코드가 나왔는지 알 수 있습니다. 하지만 파서가 커서를 옮겼는지, 임시 저장소를 건드렸는지, 입력을 그대로 두었는지는 알 수 없습니다. 레코드가 덜 들어왔을 때 중요한 것은 바로 그…
큐가 8칸이어도 고루틴 88개가 기다릴 수 있어요
버퍼 채널이 제한하는 건 채널 안에 들어간 작업 수예요. 보내려고 막혀 있는 고루틴 수는 제한하지 않아요. 서버에 요청 100개가 한꺼번에 몰린다고 해 볼게요. 요청마다 작업이 하나씩이고, 워커는 넷, 채널 버퍼는 여덟 칸이…
