Hyeonworks / Signal Trace
Shared core online
Scenario 01 / Lost Update
Concurrency / Transaction Isolation / Lost Update

두 단서가 하나의 원인으로 수렴합니다.

개념을 추적하거나 증상을 추적하세요. 입구의 신호만 다르고, 두 경로는 같은 Lost Update 실험과 상태 전이에서 합류합니다.

SHARED LAB / TX-LOST-UPDATE-01

값의 경로를 추적하세요.

두 세션은 모두 성공했습니다. 같은 초기값을 읽은 뒤 각자 계산하고 순서대로 썼습니다.

Initial100
Expected120
Observed70
execution railA = circle · B = diamond
01
A reads 100
B waiting
02
A holds 100
B reads 100
03
A writes 150
B computes 70
04
150 overwritten
B writes 70
01Predict02Observe03Compare04Explain05Transfer