[리눅스커널] 동기화 - 유저 프로세스 시스템 콜 호출 시 레이스 컨디션

유저 공간에서 생성된 프로세스는 여러 개 쓰레드를 생성합니다. 이 쓰레드들이 같은 디바이스 노드에 접근해서 시스템 콜을 발생하며 커널과 통신합니다.

fork() 라는 함수를 유저 공간에서 시스템 콜로 호출하면 유저 공간에서 sys_clone()이란 함수 호출로 프로세스를 생성합니다. 유저 공간에서 open(), write() 그리고 ioctl() 이란 함수를 호출하면 이에 대응하는 시스템 콜을 호출해서 커널 공간과 통신합니다.

...

 

* 유튜브 강의 동영상도 있으니 같이 들으면 좋습니다.

"혹시 궁금한 점이 있으면 댓글로 질문 남겨주세요. 아는 한 성실히 답변 올려드리겠습니다!" 

Thanks,

Austin Kim([e-mail])

#Reference(커널 동기화)

커널 동기화 기본 개념 소개

   임계영역(Critical Section)과 레이스 컨디션이란    

   레이스 컨디션은 왜 발생할까?     

   레이스 컨디션 커널 패치    

레이스 발생 동작 확인

   유저 프로세스 시스템 콜 호출 시 레이스 컨디션    

   커널 프로세스 레이스 컨디션    

   인터럽트 발생으로 레이스 컨디션 발생    

커널 동기화 기법 소개

   스핀락과 뮤텍스 기법 소개     

   스핀락과 뮤텍스 기법 차이점 알아보기   

스핀락

   스핀락의 특징은 무엇인가    

   스핀락 자료구조 알아보기    

   스핀락을 쓰는 예제 코드 살펴보기   

   스핀락 처리 흐름도 알아보기    

   spin_lock() 함수 인라인 어셈블리 코드 분석   

   spin_lock() 함수 어셈블리 코드 분석    

   spin_unlock() 함수 분석    

   스핀락 플러그인 함수: spin_lock_irq()/spin_unlock_irq()  

   스핀락 플러그인 함수: spin_lock_irqsave()/spin_unlock_irqrestore

뮤텍스란

   뮤텍스의 기본 개념 소개하기   

   뮤텍스 fastpath 동작    

   뮤텍스 slowpath: mutex_lock() 함수 분석  

   뮤텍스 slowpath: mutex_unlock() 함수 분석   

커널 동기화 디버깅

   스핀락 디버깅    

   뮤텍스 디버깅  

# Reference: For more information on 'Linux Kernel';

디버깅을 통해 배우는 리눅스 커널의 구조와 원리. 1

http://www.yes24.com/Product/Goods/90085976

https://wikibook.co.kr/linux-kernel-1/

디버깅을 통해 배우는 리눅스 커널의 구조와 원리. 2

http://www.yes24.com/Product/Goods/90087307

https://wikibook.co.kr/linux-kernel-2/

Thanks,

Austin Kim

repository:

http://rousalome.egloos.com/10025739