L.O.K

Clean Code 『CLEAN CODE(클린 코드)』은 오브젝트 멘토(OBJECT MENTOR)의 동료들과 힘을 모아 ‘개발하며’ 클린 코드를 만드는 최상의 애자일 기법을 소개하고 있다. 소프트웨어 장인 정신의 가치를 심어 주며 book.naver.com 함수는 매개변수를 갖는다. 매개변수로 들어 온 값을 '인수'라고 한다. 인수에는 두 가지가 있다. 1. 입력인수 2. 출력인수 함수는 특정 목적에 맞게 인수를 '처리'해야 한다. 인수는 처리대상이 된다. boolean fileExists("Myfile"){ // 생략... } 위 함수는 Myfile이라는 이름을 가진 파일이 존재하는지 조회하는 함수이다. 매개변수에 조회하고 싶은 대상을 인수로 입력해야한다. 이 때의 인수를 '입력인수'라고 한다. pub..

소프트웨어 패키징 모듈별로 생성한 실행 파일들을 묶어 배포용 설치 파일을 만드는 것 패키징 작업 순서 패키징 개발주기는 개발기법에 따라 달라짐 애자일 기법 2 - 4주, 각 주기마다 패키징 수행 주기별 패키징한 결과물은 테스트 서버에 배포 1) 기능 식별 : 작성된 코드의 기능을 확인 2) 모듈화 : 확인된 기능 단위로 코드 분류 3) 빌드 진행 : 모듈 단위별로 실행 파일 제작 4) 사용자 환경 분석 : 최소 운영 환경을 정의 5) 패키징 및 적용 시험 빌드된 실행 파일들을 정의된 환경에 맞게 배포용 파일 형식으로 패키징 정의된 환경과 동일 환경에서 테스팅 한 후 사용자 입장에서 불편사항 확인 6) 패키징 변경 개선 확인된 불편사항을 반영하기 위한 패키징의 변경 및 개선 진행 7) 배포 배포 수행 시 ..

상호배제를 보장받기 위한 요구조건이 있다. 1) 단 하나의 프로세스만이 임계영역에 진입되어야 한다. 2) 임계 영역이 아닌 곳에서 수행이 멈춘 프로세스는 다른 프로세스 수행을 간섭해서는 안된다. 3) 임계 영역에 접근하고자 하는 프로세스의 수행이 무한히 미루어져서는 안된다. 4) 임계 영역이 비어있으면 즉시 임계영역에 들어갈 수 있다. 5) 프로세서 개수나 상대적 프로세스 수행속도에 대한 가정은 없어야 한다. ( 독립적 ) 6) 임계 영역에 들어간 프로세스는 일정시간 내에 나와야 한다. 상호배제 보장 요구조건 만족을 위한 하드웨어 지원 1) 인터럽트 금지 단일처리기에서의 병행처리는 오버래핑(Overlapping)이 아닌 인터리빙(Interleaving)이 일어난다. 그러므로 임계영역에 들어간 프로세스의 ..

프로세스간 관계는 3가지가 있다. 1. 경쟁관계 독립적인 프로세스는 다른 프로세스를 인식하지 못하면 경쟁(competition)에 놓인다. 주로 '타이밍'에 영향을 받는다. 디스크, 파일, 프린터를 동시에 사용하려는 경쟁이 발생하므로 OS는 이를 제어해야한다. - 상호배제 두 개의 프로세스가 동시에 접근할 수 없는 자원을 임계자원(critical resource)라 한다. 임계자원이 존재하는 코드를 임계영역(critical section)이라 한다. 상호배제란 한 프로세스만이 임계영역에 들어갈 수 있음을 의미한다. 상호배제가 보장되지 않으면 여러 프로세스가 자원에 동시에 접근하게 된다. 그러므로 OS는 상호배제를 보장해주어야 한다. 그러나 상호배제 방식은 상황에 따라 다르며 OS가 모든 상호배제 요구사항..

OS는 한정된 자원을 최대한 사용하기 위해 병렬처리를 한다. 병렬처리를 위한 기법으로 인터리빙(Interleaving)과 오버래핑(Overlapping)이 있다. 인터리빙은 멀티프로그래밍을 구현한다. 처리기가 하나여도 여러 개의 프로세스를 번갈아 실행하면서 마치 병렬적으로 처리되고 있는 듯 보이게 한다. 오버래핑은 멀티프로세싱을 구현한다. 여러 개의 처리기로 동시에 여러 작업을 처리한다. 한 처리기로 프로세스A를 처리하면서 다른 처리기로 프로세스B를 처리하는 것과 같다. 병렬처리를 통해 구현된 성질을 병행성이라고 부른다. 병행성에는 한 가지 문제점이 있다. 각각의 프로세스의 속도를 예측할 수 없다는 것이다. 예측할 수 없는 프로세스들이 동일한 자원을 두고 경쟁하다보니 많은 문제를 야기한다. 1. 전역 자..

멀티 코어 구조에서 잠재적인 성능 향상은 응용 프로그램이 병렬자원을 얼마나 효율적으로 이용할 수 있느냐에 달려있다. 여기서 성능 향상이란 처리 속도의 향상을 의미한다. Amdal의 법칙 Amdal의 법칙은 멀티코어시스템에서 수행되는 단일 응용 프로그램의 속도 향상을 구하는 공식이다. f : 전체 코드 중 병렬화 비중 1 - f : 전체 코드 중 순차동작 비중 N : 코어의 개수 1 : 단일 처리기 상에서 프로그램 실행 시간 ( 1 - f ) : 전체 코드 중 순차 코드 처리 시간 f/N : f의 병렬 코드를 N개의 코어로 나누어 처리한 시간 10%가 순차 동작하는 코드라면 f = 0.9이다. 8개의 처리기로 구성된 멀티코어 시스템이라면 속도 향상은 4.7이 나온다. 그렇다면 코어의 개수를 무한히 늘리면 ..

쓰레드는 두 가지 유형으로 나뉜다. 1) 유저 수준 쓰레드 ( ULT ; Uerser Level Thread ) 2) 커널 수준 쓰레드 ( KLT ; Kerner Level Thread ) 유저 수준 쓰레드 ( UTL ) OS 커널은 PCB를 통해 프로세스를 제어한다. 디스패처 프로그램으로 처리기 인터리빙을 구현하여 스케줄링을 제어하기도 한다. 이처럼 프로세스는 커널 영역 메모리에서 제어가 이루어진다. 그러나 쓰레드는 유저 영역 메모리 안에서도 충분히 제어를 할 수 있다. 스레드 API 라이브러리는 스레드를 제어할 자료구조와 알고리즘을 담고 있다. 라이브러리가 유저영역 메모리 안에 존재하므로 커널 모드로 전환되지 않아도 스레드를 제어할 수 있다. 커널영역에는 스레드 제어 블록을 포함한 제어 알고리즘이 존..

프로세스는 두 가지 특성이 있다. 1. 자원 소유권 프로세스는 할당받은 자원을 소유하는 일종의 컨테이너이다. ( 주소공간, 프로그램 코드, 전역변수, Heap, OS 자원 ) 2. 스케줄링 / 수행 프로세스는 우선순위를 가지며 OS에 의해 스케줄링되어 처리기를 할당받는다. 프로세스는 방대한 크기를 가진다. 정해진 시간에 한번에 처리가 불가능하므로 작은 단위로 나누는데, 이때 나누어진 경량 프로세스가(light process)가 쓰레드(Thread)이다. 쓰레드는 OS가 처리기에 디스패칭하는 단위이다. 하나의 프로세스는 여러 개의 쓰레드로 나뉜다. 그러나 자원 소유권은 하나의 프로세스가 갖는다. 그러므로 여러 개의 쓰레드는 하나의 자원을 공유한다. 이렇게 하나의 프로세스 내에서 여러 개의 쓰레드가 동작할 ..

프로세스 제어는 3가지 작업으로 나뉜다. 1) 수행모드 2) 프로세스 생성 3) 프로세스 교환 ▷ 수행모드 처리기의 수행모드는 두 가지로 나뉜다. 1. 커널모드 2. 유저모드 커널모드란 처리기가 커널 명령어를 실행하는 상태를 의미하고 유저모드란 처리기가 유저 명령어를 실행하는 상태를 의미한다. CPU는 PSW( 프로그램 상태 워드 ) 레지스터로 시스템 상태를 저장하는데, 이때 PSW 중 1bit가 수행모드를 나타낸다. 0이면 사용자모드, 1이면 시스템모드이다. 그렇다면 커널 명령어와 유저 명령어를 두 가지 모드로 구분하여 처리하는 것일까? 지난 포스팅을 예로 들어보겠다. 준비큐에 들어있는 프로세스는 OS의 제어에 따라 처리기를 할당받아 처리된다. PCB1 할당 -> 디스패치 -> PCB2 할당 -> 디스..

한정된 자원( 처리기 및 메모리 )을 여러 프로세스가 공유하려면 OS는 한 가지 프로세스가 처리기 및 메모리를 독점하지 않고 인터리빙(Interleaving) 할 수 있도록 지원해야한다. OS의 주요 업무는 2가지이다. 1. 프로세스 수행을 인터리빙하는 패턴 결정 2. 프로세스 자원 할당 2가지 주요 업무는 프로세스 상태와 관련있다. 프로세스 상태 프로세스 상태는 기본적으로 두 가지로 나뉠 수 있다. 수행중이냐 비수행중이냐. 지난 포스팅에서 다루었던 바와 같이, OS는 PCB 자료구조로 프로세스를 관리한다. 준비큐에 PCB가 대기하면 비수행이고 처리기를 할당받으면 수행중이다. OS는 프로세스를 Switch하는 디스패처(Dispachter) 프로그램을 이용하여 처리기를 다른 프로세스에 할당한다.(디스패치)..