code cat

쉽게 요약하자면 C library가 고작 pthread_cancle지원하자고 너무 커지기 때문에 바이오닉 C에서는 지원 안한단다.  대신 pthread_cleanup_push()와 pthread_cleanup_pop()은 지원하니까 적절히 사용하자.

pthread_cancel():

   pthread_cancel() will *not* be supported in Bionic, because doing this would
   involve making the C library significantly bigger for very little benefit.

   Consider that:

     - A proper implementation must insert pthread cancellation checks in a lot
       of different places of the C library. And conformance is very difficult
       to test properly.

     - A proper implementation must also clean up resources, like releasing
       memory, or unlocking mutexes, properly if the cancellation happens in a
       complex function (e.g. inside gethostbyname() or fprintf() + complex
       formatting rules). This tends to slow down the path of many functions.

     - pthread cancellation cannot stop all threads: e.g. it can't do anything
       against an infinite loop

     - pthread cancellation itself has short-comings and isn't very portable
       (see http://advogato.org/person/slamb/diary.html?start=49 for example).

   All of this is contrary to the Bionic design goals. If your code depends on
   thread cancellation, please consider alternatives.

   Note however that Bionic does implement pthread_cleanup_push() and
   pthread_cleanup_pop(), which can be used to handle cleanups that happen when
   a thread voluntarily exits through pthread_exit() or returning from its
   main function.

예를 들어 c에서 라이브러리로 제공되는 함수가 있다고 하면 c++에서 그냥 c 함수 부르듯이 하면 알 수 없는 link error를 뿜는다.  

어?   분명히 제대로 적었는데... 하고 헤매일텐데, 이것은 syntax error나 라이브러리 링크가 제대로 안되서 그런 것이 아니라, symbol 이름 안 맞아서 그렇다.  이럴 땐, c++ 에서

extern "C" 함수선언

이렇게 해주면 된다.

priority inversion :

현상:

높은 우선 순위의 태스크가 접근하려고 하는 공유자원을 낮은 우선 순의의 태스크가  이미 사용하고 있을 때, 중간 우선 순위에 해당하는 태스크가 수행되어 상위 우선 태스크를 수행하지 못하게 되는 현상

해결 방법:

낮은 우선 순위의 태스크의 우선 순위를 높은 우선 순위로 올려서 높은 우선 순위로 수행되게 하고 공유 자원을 시스템에 반환하도록 하면 그 후 높은 우선 순위의 태스크가 수행되게 된다.

뮤텍스관련 해결 방법

priority inheritance protocol: 뮤텍스를 획득한 낮은 우선 순위 태스크의 우선 순위를 임시로 뮤텍스를 요청한 높은 우선 순위 태스크의 우선 순위 값과 같게 오려준다.  변경된 태스크의 우선 순위는 뮤텍스 반환 동시에 본래의 값으로 돌아간다.

ceiling priority protocol: 태스크가 뮤텍스를 획득할 때 태스크의 우선 순위를 해당 뮤텍스를 사용할 가능성이 있는 태스크 중 가장 높은 우선 순위를 가진 태스크의 우선 순위로 변경한다.  뮤텍스가 반환될 때 태스크의 우선 순위는 본래 값으로 돌아간다.

출처:  http://en.wikipedia.org/wiki/File:OS-structure2.svg