프로그래밍 기술 블로그 프로그래밍 기술 블로그

메모리 보호 기술이란 각각의 프로세스들 혹은 운영체제 메모리에 허가없이 접근하지 못하도록 하는 기술이다. 이를 달성하기 위해, segmentation 과 paging, protection key등을 사용하는 기법이 있다. 저자는 segmentation 기법과 paging 기법을 알아보도록 하겠다. segmentation 기법이란 메모리공간을 조각 단위(segment)로 나누고 메모리 공간을 offset과 segment로 참조하는 하는 것을 말한다 paging 기법이란 메모리 공간을 page라는 같은 크기로 나누고 mmu에서 가상주소를 물리주소로 변화해서 쓰는 기법을 말한다. paging 기법 사용시 external 혹은 internal fragmentation이라는 현상이 나타난다. external fr..

인텔 프로세서는 80826 모델 부터 real mode 와 protected mode 두가지 종류의 주소 변환 기법이 도입 됐다. ->논리적 주소는 segment identifier와 offset 영역이 있다. ->cs register : code segment register로서 현제의 프로그램 명령어를 담고 있다 ->ss register : stack segment register현 프로그램 스택정보를 담고 있다. ->ds register : data segment로서 전역 변수와 정적 변수를 담고 있다. cs register는 또한 cpu의 privilege level 정보를 담고 있는 2bit field가 있다. segment descriptor 각 segment는 8 바이트 세그먼트 디스크립터로..

race condition 경쟁 상태란 원하지 않으면서도 동시에 여러개의 연산이 한 장소에서 수행되는 상태를 말한다. 예)) 한 장소에 물건이 n개 있다고 하자. A 프로세스는 그 장소의 물건의 개수를 확인하고 1개를 더해 n+1의 상태로 만든다..B프로세스는 그 장소의 물건의 개수를 확인하고 하나를 빼온다. 그러면 물건의 개수는 n개가된다. A프로세스는 n+1개의 물건 개수를 예상하고 그장소의 물건을 확인 했을때 n개가 있는 것 을 확인하게 되고 물건의 개수가 맞지 않는 상황에 직면한다. 이를 막기 위해 semaphore를 도입하는 방법이 있다. semaphore는 정수형 변수와 기다리는 상태의 프로세스 목록, 그리고 up() down() 함수가 있다. semaphore 값이 0보다 작으면 실행 상태의..

유닉스 커널은 같은 시간에 프로세스들이 커널 모드에서 실행된다.

논리적 주소 는 offset과 segment로 구성된다. offset은 segment의 시작부터의 거리를 나타낸다.명령어에 포함되어 있다. 가상 주소 는 32bit unsigned integer이고 4GB의 메모리를 나타낼 수 있다. 물리적 주소는 메모리셀을 나타낼때 사용된다. 물리적 주소는 전기적인 신호와 대응되고 32비트 혹은 36비트이다. MMU(memory management unit) 은 논리적 주소를 세그먼트 유닛이라는 하드웨어 회로를 통해 가장 주소로 변환한다.그다음으로 페이징 유닛이 가상 주소를 물리적 주소로 변환한다.

기본 개념 운영체제는 밑 두가지 목적을 만족시켜야한다. 첫째, 하드웨어 플랫폼에 포함된 모든 요소들과 상호 작용 해야한다.둘째, 컴퓨터 시스템위에서 응용프로그램이 동작 할 수 있도록 실행 환경을 조성해 줘야 한다. 멀티유저 개념 멀티유저 시스템이란 2명이상을 유저들에 소속된 응용프로그램들이 동시적이면서 독립적으로 실행 되는 것을 말한다. 여기서 동시적이란 응용프로그램들이 같은 시간대에 다양한 하드웨어 자원을 사용하기 위해 경쟁 하는 것을 말한다. 독립적이란 응용프로그램이 다른 유저와 상관 없이 작업을 수행 하는 것을 말한다. 멀티유저 시스템의 특징은 다음과 같다. 유저를 파악하기 위한 검증 메카니즘이 있다. 다른 유저 프로그램이 다른 응용프로그램들이 막히는 것을 방지하기 위한 protection 매카니즘..