아주 치명적인 문제를 발견함....
이거 고치는 동안 출시 못할각임.........
일단 소스코드가 300개가 넘고 변경점이 6만줄이 넘어가고있어서 쉽지 않음.
기술적인 이야기지만....
대충 mutable variable이 race condition없이 일어나려면 read - write use-def chain을 분석해서 edge를 알아내고.
그걸 phi로 묶어서 그거 안에서는 순서대로 락을 걸고 실행해야하는데
그걸 하려면 variable projection을 먼저 알아내고, infer injection으로 타입알아내고 full phi graph만들고 unit 컴파일해서 링커에 전달하고
이딴짓을 해야해서....
잘 모르겠으면 LLM한테 물으면 알려줄거임.
1. mutable variable을 race condition없이 쓰고싶음.
2. 그렇다면 read-write가 순서대로 일어나야함.
3. 순서대로 일어나지만 여전히 분기가 있을 수 있음.
4. 그럼 맨 마지막 write가 어디인지 알아내야함.
5. 그건 걍 phi임
6. phi를 하려면 full graph analysis + unification을 해야함.
를 LLM한테 설명해달라고 하고
이것이 중요한 이유까지 설명해줘. 한개의 상태를 걍 SSA없이 읽고 썼다간 어떤 일이 일어나는지.
이것까지 입력하면 왜 어려운지 알려줄거임.
그래도 어려우면 킹반인 입장에서 설명해달라고 하셈 ㅋㅋㅋ
