산타는 없다

0. 개요 유저 모드 동기화의 최대 장점은 빠르다는 것이다. 스레드의 수행 성능이 중요한 경우라면 항상 유저 모드 스레드 동기화 메커니즘을 가장 먼저 고려해 보아야 한다. 유저 모드에서 커널 모드로의 전환은 약 200CPU 사이클 정도가 필요한 비싼 작업이다. 프로세스 커널 오브젝트의 경우 관련된 프로세스가 종료되면 운영체제가 자동적으로 해당 오브젝트를 시그널 상태로 변경한다. 프로세스 커널 오브젝트의 경우 한 번 시그널 상태가 되면 다시 논시그널 상태로 변경될 수 없으며 영원히 시그널 상태로 남게 된다. 프로세스 커널 오브젝트의 내부에는 오브젝트 생성 시 FALSE(논시그널)로 초기화되는 BOOL 값이 있는데, 이 값은 프로세스가 종료되면 운영체제에 의해 자동적으로 TURE로 변경되어 해당 커널 오브젝..

0. 개요 마이크로 소프트 윈도우는 모든 스레드가 상호 통신 없이 각자의 작업을 수행할 때 최고의 성능을 발휘 한다. 다시 말해 동기화를 수행하지 않을 때를 의미한다. 모든 스레드들은 힙(heap), 시리얼 포트, 파일, 윈도우와 같이 셀 수 없이 많은 종류의 시스템 리소스에 접근하게 된다. 다음 두 가지 기본적인 상황에서 스레드는 상호 통신을 수행해야 한다. 다수의 스레드가 공유 리소스에 접근해야 하며, 리소스가 손상되지 않도록 해야하는 경우 어떤 스레드가 하나 혹은 다수의 다른 스레드에게 작업이 완료되었음을 알려야 하는 경우 1. 원자적 접근 : Interlocked 함수들 인터락 계열의 함수들은 모두 원자적으로 값을 다룬다. LONG InterlockedExchangeAdd ( PLONG volat..

0. 개요 모든 프로세스는 적어도 하나 이상의 스레드를 사용한다 운영체제가 스레드를 다루기 위해 사용하는 스레드 커널 오브젝트, 스레드 커널 오브젝트는 시스템이 스레드에 대한 통계 정보를 저장하는 공간이기도 하다 스레드가 코드를 수행할 때 함수의 매개변수와 지역변수를 저장하기 위한 스레드 스택 프로세스는 스스로 수행될 수 없고 단순히 생각한다면 스레드의 저장소로 볼 수도 있다. 프로세스는 자신만의 주소공간을 가지기 때문에 스레드에 비해 더 많은 시스템 리소스를 사용한다. 프로세스별로 가상 주소 공간을 생성하는 것은 매우 많은 시스템 리소스를 필요로 한다. 특히 개별 프로세스는 상당량의 정보를 시스템 내부에 저장해 두어야 하기 때문에 메모리를 많이 필요로 한다. 1. 스레드를 생성해야 하는 이유 스레드는 ..

0. 개요 운영체제나 우리가 개발하는 애플리케이션은 프로세스, 스레드, 파일 등과 같은 수많은 리소스를 관리하기 위해 커널 오브젝트를 사용한다. 1. 커널 오브젝트란 무엇인가? Sysinternals에서 무료로 제공하는 툴인 WinObj를 사용하면 모든 커널 오브젝트 타입을 나열하고 확인해 볼 수 있다. 함수의 이름에 포함된 오브젝트의 명칭이 반드시 커널 레벨의 오브젝트 이름과 일치하는 것은 아니다. 커널(섹션?) 오브젝트 : 커널에 의해 할당된 간단한 메모리 블록. 이 메모리 블록은 커널에 의해서만 접근 가능한 구조체로 구성되어 있으며, 커널 오브젝트에 대한 세부 정보들을 저장하고 있다. 마이크로 소프트는 커널 오브젝트의 구조체가 가능한 한 일관되게 유지될 수 있도록 하기 위해 메모리에 직접 접근하여 ..

0. 개요 확장성 있는 애플리케이션이란 적은 수의 동시 작업을 수행하는 것만큼이나 호율적으로 많은 수의 동시 작업을 처리할 수 있는 애플리케이션을 말한다. 서비스 애플리케이션의 경우 동시 작업이란 예측 불가능한 시점에 들어오는 클라이언트의 요청을 처리하는 것을 의미하므로 이를 위해 어느 정도의 처리 능력이 필요할지 예측할 수가 없다. 스레드가 동기적인 장치 I/O를 요청하면 I/O 작업이 완료될 때까지 일시적으로 스레드의 수행이 블록킹되는데, 이처럼 스레드가 블로킹되면 다른 클라이언트의 요청을 처리하는 것과 같은 유용한 작업을 수행할 수 없으므로 수행 성능에 나쁜 영향을 미치게 된다. 따라서 가능하면 스레드가 블로킹되지 않고 항상 어떤 작업을 수행하도록 하는 것이 좋으며, 스레드가 블로킹되는 상황은 가능..

1. 프로세스의 가상 주소 공간 모든 프로세스는 자신만의 가상 주소 공간을 가지고 있다. 32비트 프로세스는 32비트 포인터를 이용하여 0x00000000부터 0xFFFFFFFF까지 표현할 수 있기 때문에 4GB의 주소 공간을 가진다. 64비트 프로세스는 64비트 포인터가 0x0000000000000000부터 0xFFFFFFFFFFFFFFFF까지의 값을 가질수 있으므로 16EB(엑사바이트)의 주소공간을 가진다. 모든 프로세스들은 자신만의 주소 공간을 가지기 때문에 특정 프로세스 내에서 스레드가 수행될 때 해당 스레드는 프로세스가 소유하고 있는 메모리에 대해서만 접근이 가능하다. 다른 프로세스에 의해 소유된 메모리는 숨겨져 있으며 접근이 불가능하다. 서로 다른 프로세스는 동일한 값의 주소 공간을 가질 수 ..

4.5 공용체 서로 다른 데이터형을 한 번에 한 가지만 보관할 수 있는 데이터 형식 여러 데이터형을 보관할 수 있는 데이터 형식이지만 한 시점에 어느 한 가지만 보관할 수 있다. 공용체의 크기는 가장 큰 멤버의 크기가 된다. 익명 공용체 : 이름이 없는 공용체로, 본질적으로 익명 공용체의 멤버들은 동일한 주소를 공유하는 변수들이 된다. 당연히 한 번에 한 멤버만 사용할 수 있다. 공용체는 운영 체제나 하드웨어 데이터 구조에 자주 사용되기도 한다. 4.6 열거체 (enum) 열거체는 대입 연산자만 사용하도록 정의되어 있다. 특히, 산술 연산이 허용되지 않는다. 그러나 일부 C++는 이 제한을 지키지 않는다. 4.7 포인터와 메모리 해제 주소 연산자(&)를 변수 앞에 붙이면 그 변수의 주소(참조값)을 알 수..

참조 카운팅(Reference counting)이란 여러 개의 객체들이 똑같은 값을 가졌으면, 그 객체들로 하여금 그 값을 나타내는 하나의 데이터를 공유하게 해서 데이터의 양을 절약하는 기법 이 기법에는 두 가지 목표가 있다 첫째, 힙 객체를 둘러싼 내부 정보를 유지하는 작업을 단순하게 하자 둘째, 똑같은 값을 가지고 있는 객체들이 그 값을 하나씩 꿰어차도록 놔두는 것은 낭비이므로 그 값을 나타내는 데이터 하나만 공유하게 하면 여러모로 이득이다. 참조 카운팅은 기본적으로 이렇게 구현합니다. 참조 카운트가 저장되는 위치는 굳이 객체 내부에 있을 필요가 없다. 실제 객체 하나에 대해서 참조 카운트는 하나만 잇으면 되기 때문에 참조 카운트와 값을 묶어서 관리해도 된다. 따라서, 참조 카운트와 값을 저장하는 클..