Stone Of Days

find와 pop_front를 생각 해 보면,
find가 먼저 시작되고, 나중에 pop_front가 실행되는 경우,
1) find는 head pointer를 먼저 획득한 상태.
2) pop_front가 first node(A)를 제거하고, head를 변경하였더라도,
   기존의 find는 (A)의 strong ref를 가지고 있기 때문에,
   이를 가지고 find를 이어나갈 수 있다. (만약 (A)의 next를 변경 한 경우는?)
   그리고 새로운 find는 새로운 head를 가지고 수행할 수 있다.
3) pop_front를 호출한 놈은, (A)를 가지고 지지고 복고 한 후, scope를 벗어나더라도 ref count만 감소 시키므로,
   (A)는 find에서 여전히 유효하다.
4) 다음 operation을 수행하는 thread는 pop_front에서 변경된 head를 기반으로 수행하기 때문에,
   별 문제가 되지 않는다.
5) (A)는 find가 찾던 node가 아니면 reference가 사라지므로 제거
               찾던 node라면 move()반환 되므로, find caller가 지지고복고 한 후 보관하던 제거되던 한다.

              
    void push_front(T t) {
        std::shared_ptr<Node> p = std::make_shared<Node>();
        p->t = t;
        p->next = head;
        while (!std::atomic_compare_exchange_weak(/* p */&head, /* expected */&p->next, /* desired */p)) {}
        //Compares the shared pointers pointed-to by p and expected.
        //If they are not equivalent, assigns *p into *expected
        //using the memory ordering constraints specified by failure and returns false.
    }

    여기서 내가 하고자 하는 것은, 내가 p->next에 저장했던 head와 현재의(다른 thread에 의해 변경되었을지도 모르는) head를 비교해서,
    같으면, 변경이 되지 않았으므로 head를 p(새로운 node)로 변경하면 성공. std::atomic_compare_exchange_weak이 true를 반환하므로 바로 끝난다.
    다르다면, 다른 thread에 의해 head(공유변수)가 변경된 것이므로, 내가 저장했던 p->next는 새로 업데이트 되어야 하고, head로 변경이 되고 false를 반환.
            그러면 while에 의해 다시 확인을 하게 되고, 다른 thread가 상태를 변경하지 않을 때까지 반복한다.