알아두면 쓸모있는 잡학사전

알아두면 쓸모있는 잡학사전

카테고리 없음

뮤텍스의 fastpath는 뮤텍스를 다른 프로세스가 획득하지 않았을 때 뮤텍스를 획득하고 빠져나오는 실행흐름이다. 뮤텍스를 획득하는 '프로세스 A'의 태스크 디스크립터의 주소는 0xB000C000이다. '뮤텍스 인스턴스'는 뮤텍스의 상태를 나타내는 mutex 구조체이며 '스핀락 인스턴스'와 유사한 개념이다. 먼저 뮤텍스를 획득하는 단계의 세부 동작을 설명해보나면, 뮤텍스를 획득하려면 mutex_lock() 함수를 호출해야 한다. mutex_lock() 함수의 내부 루틴에서는 다음 순서로 동작한다. - mutex 구조체의 owner 필드 점검 - owner가 0x0이니 뮤텍스를 다른 프로세스가 획득하지 않은 상태로 판단 - 뮤텍스 자료구조인 mutex 구조체의 owner 필드는 뮤텍스를 획득한 프로세스의 ..

카테고리 없음

스핀락과 더불어 커널에서 가장 많이 쓰이는 동기화 기법은 뮤텍스(mutex)이다. 뮤텍스는 휴면을 지원하며 프로세스 컨텍스트에서 주로 쓰는 동기화 기법이다. 1. 뮤텍스의 기본 개념 뮤텍스는 상호 배제(mutual exclusion)의 약자로서 임계 영역에 한 개의 프로세스만 접근하는 동기화 기법이다. 뮤텍스는 사실 리눅스 커널에서만 쓰이는 동기화 기법은 아니다. 뮤텍스는 운영체제에서 쓰는 용어이다. '임계 영역에 2개의 프로세스가 동시에 접근하지 못하도록 막는 기법'으로서 각 운영체제마다 다르게 구현돼 있다. 뮤텍스 기본 동작을 스핀락과 비교 뮤텍스를 스핀락과 비쇼했을 때 가장 큰 차이점은 잠금쇠가 잠겨 있을 때 기다리는 방식이다. 프로세스는 뮤텍스를 획득하지 못하면 휴면 상태로 진입한다. 물론 휴면에..

카테고리 없음

1. 스핀락의 특징 스핀락의 특징 알아보기 스핀락이 지닌 특징은 뮤텍스 비행 구현 복잡도가 낮다는 것이다. 스핀락은 __raw_tickets 구조체의 owner와 next 로 스핀락의 세부 동작을 처리한다. 또한 spin_lock_irq(), spin_lock_irq_save() 등등 추가 기능이 포함된 함수를 제공한다. 스핀락은 이러한 함수와 같이 스핀락을 획득하면서 인터럽트를 비활성화할 수 있는 스핀락 함수를 제공한다. 스핀락 구현부는 아키텍처에 의존적이다. CPU 아키텍처(ARMv7, x86)에 따라 스핀락 구현부가 다르다. 따라서 스핀락의 동작 방식을 제대로 이해하기 위해서는 어셈블리 코드를 분석해야한다. 스핀락의 동작 원리 1. 화장실에 이미 다른 사람이 있어 잠금쇠가 잠겨 있을 때 어떻게 할까..

카테고리 없음

레이스 컨디션이 발생하면 작성한 코드가 의도하지 않게 오동작하며 커널 크래시로 시스템이 리셋될 수 있다. 레이스 컨디션을 방지하려면 레이스 컨디션으로 오염될 수 있는 임계 영역을 한 개의 프로세스만 실행하도록 락을 걸어야 한다. 커널은 이를 위한 다양한 함수를 지원하고 있다. 1. 스핀락과 뮤텍스 기법 커널에서는 레이스 컨디션이 발생하는 다양한 조건에 맞게 임계 영역을 보호할 수 있는 락(Locking) 기법을 제공한다. 다양한 '락' 기법 중에서 가장 많이 쓰이는 스핀락과 뮤텍스 기법에 대해 작성할 것이지만, 이 외에도 다양한 커널 락 기법을 지원한다. 하지만 스핀락과 뮤텍스를 제대로 사용하면 대부분의 조건에서 임계 영역을 보호할 수 있다. 스핀락과 뮤텍스의 동작의 차이점은 무엇일까? 첫째, 스핀락과 ..