학습 본문으로 건너뛰기
VAIRODE
hash table61번째 작은 수업
오늘은 질문 하나만 해결해요61 / 72

도움 없이 한 번 더 풀어보기

동시 수정과 compound operation 경계

오늘의 질문

일반 hash map의 get/put 개별 semantics에서 check-then-act atomicity·linearizability·thread safety를 추론하지 않고 명시적 concurrent type/lock 계약을 요구한다. 이를 생략하면 fail-fast나 Send/Sync trait만으로 복합 update가 atomic하다고 본다.에서도 작은 예시는 맞을 수 있지만 충돌·삭제·재해시·적대 입력에서 재현 가능한 판단은 남지 않습니다.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.

01 · 혼자 확인해요

연습한 문제를 다시 풀며 혼자 확인하기

지금은 방금 연습한 문제를 다시 보는 시간이에요.아직 “완전히 익혔다”고 기록하지 않아요. 나중에 모양이 다른 문제도 도움 없이 풀면 그때 다시 확인할 수 있어요.

답과 과정 확인
80% 이상
내 말로 설명
80% 이상
막힌 곳 고치기
80% 이상
다른 문제에 써보기
80% 이상
스스로 확인하며 작성 중인 답0 / 4
  1. 01

    먼저 생각하기 · 기초

    ht61 predict · 동시 수정과 compound operation 경계: “fail-fast나 Send/Sync trait만으로 복합 update가 atomic하다고 본다.” 조건에서 probe·chain·load·lookup 결과를 실행 전에 봉인한다.

    지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.

    연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.

    움직임과 비교
  2. 02

    내 말로 설명하기 · 익힌 것을 써보기

    ht61 explain · 동시 수정과 compound operation 경계: 일반 hash map의 get/put 개별 semantics에서 check-then-act atomicity·linearizability·thread safety를 추론하지 않고 명시적 concurrent type/lock 계약을 요구한다.이 필요한 이유와 thread schedule·operation interleaving·documented guarantee ledger가 보장하지 못하는 runtime·security·concurrency 범위를 설명한다.

    지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.

    연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.

    설명 기준과 비교
  3. 03

    틀린 곳 고치기 · 익힌 것을 써보기

    ht61 debug · 동시 수정과 compound operation 경계: AI가 만든 구현에 “fail-fast나 Send/Sync trait만으로 복합 update가 atomic하다고 본다.”를 주입하고 최초 잘못된 hash-table state transition만 수정한다.

    지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.

    연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.

    답과 설명 함께 비교
  4. 04

    새 문제에 써보기 · 새 문제

    ht61 transfer · 동시 수정과 compound operation 경계: shared cache·worker registry로 판단을 옮겨 보존할 계약과 달라지는 collision·cost·security 경계를 방어한다.

    지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.

    연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.

    설명 기준과 비교

4개 답이 남았습니다.

02 · 나중에 한 번 더

모양이 다른 문제에서도 같은 생각을 써봐요

동시 수정과 compound operation 경계의 미공개 key stream에서 contract·collision·delete/resize·cost/security claim을 독립 재구성하는 능력의 미공개 empty·same-hash·equal-key·delete·threshold·full-cycle·adversarial fixture에서 AI 없이 contract·trace·cost·source-level verdict를 작성하고 deterministic replay evidence를 제출한다.

검증 과제

AI가 제안한 동시 수정과 compound operation 경계 분석에 hash-is-equality, equal-key hash mismatch, collision overwrite, early probe stop, tombstone false-empty, incomplete rehash, always-O(1), HashDoS·atomicity 과장 중 하나 이상을 심어 독립 model과 공식 근거로 찾아 수정한다.