Cuộc đua gây mất demand (code gốc): hai thread cùng switch

Cuộc đua gây mất demand (code gốc): hai thread cùng switch A sequence diagram generated by Archify. switchTo(sA) state: SWITCHING request(delta) phát hết, request(n) re-entrant: REQUESTED onComplete operator hẹn timer 1 ms kiểm tra reentry dòng 181: chưa thấy thay đổi switchTo(sB) timer nổ khi W chưa thoát subscription = sB không CAS, return (dòng 152 đến 155) subscription = sA dòng 195: đè sB; CAS về idle (dòng 201) request: không xảy ra sB không bao giờ được request Thread W còn đang switch Chồng lấn Mất demand Thread W · chu kỳ k · Sequence participant Thread W chu kỳ k SequentialSubscription · sourceRequested · Sequence participant SequentialSubscription sourceRequested Source A · cạn demand cuối chu kỳ · Sequence participant Source A cạn demand cuối chu kỳ Thread X · timer 1 ms · Sequence participant Thread X timer 1 ms Source B · chu kỳ k+1 · Sequence participant Source B chu kỳ k+1 Legend main request return security async trace message