오블완 21

지연 로딩(Lazy Loading), Demand Zero Memory, Copy on Write, Memory Copy [간단 정리]

지연 로딩객체나 리소스를 실제로 필요할 때까지 로드하지 않는 방법 메모리 사용량을 최적화하고 시스템 성능을 향상시키는 강력한 기법- 가상 메모리 주소를 할당 했지만, 물리 메모리 주소와 매핑되어 있지 않은 상태 (물리 메모리에 적재도 되어 있지 않음)- 배틀그라운드에서 필요한 부분만 렌더링하고 필요하지 않은 부분은 렌더링하지 않는 것과 유사 (이는 지연 로딩은 아니지만 유사)익명 페이지와 파일 기반 페이지[익명 페이지]익명 페이지의 경우 가상 메모리만 할당되어 지연 로딩을 수행한다.해당 가상 메모리 주소로 최초 접근이 발생하면, 주 페이지 폴트가 발생하고 물리 메모리 할당 후 메모리 공간을 0으로 초기화한 뒤 (Demand Zero Memory)가상 메모리 주소와 물리 메모리 주소 매핑한다.[파일 기반 ..

백준 10816 [python]

문제숫자 카드는 정수 하나가 적혀져 있는 카드이다. 상근이는 숫자 카드 N개를 가지고 있다. 정수 M개가 주어졌을 때, 이 수가 적혀있는 숫자 카드를 상근이가 몇 개 가지고 있는지 구하는 프로그램을 작성하시오.입력첫째 줄에 상근이가 가지고 있는 숫자 카드의 개수 N(1 ≤ N ≤ 500,000)이 주어진다. 둘째 줄에는 숫자 카드에 적혀있는 정수가 주어진다. 숫자 카드에 적혀있는 수는 -10,000,000보다 크거나 같고, 10,000,000보다 작거나 같다.셋째 줄에는 M(1 ≤ M ≤ 500,000)이 주어진다. 넷째 줄에는 상근이가 몇 개 가지고 있는 숫자 카드인지 구해야 할 M개의 정수가 주어지며, 이 수는 공백으로 구분되어져 있다. 이 수도 -10,000,000보다 크거나 같고, 10,000,0..

알고리즘 2024.11.16

백준 1181 [python]

문제알파벳 소문자로 이루어진 N개의 단어가 들어오면 아래와 같은 조건에 따라 정렬하는 프로그램을 작성하시오.1. 길이가 짧은 것부터2. 길이가 같으면 사전 순으로단, 중복된 단어는 하나만 남기고 제거해야 한다.입력첫째 줄에 단어의 개수 N이 주어진다. (1 ≤ N ≤ 20,000) 둘째 줄부터 N개의 줄에 걸쳐 알파벳 소문자로 이루어진 단어가 한 줄에 하나씩 주어진다. 주어지는 문자열의 길이는 50을 넘지 않는다.출력조건에 따라 정렬하여 단어들을 출력한다.sort 함수를 사용하면 쉽게 풀 수 있다.N = int(input())setA = set()listA = list()for i in range(N) : data = input() setA.add(data)for i in setA : l..

알고리즘 2024.11.15

OSTEP 22장

물리 메모리 크기의 극복 : 정책캐시 관리메인 메모리는 시스템의 가상 메모리 페이지를 가져다 놓기 위한 캐시로 생각될 수 있음 캐시를 위한 교체 정책의 목표는 캐시 미스의 횟수를 최소화하는 것 즉, 디스크로부터 페이지를 가져오는 횟수를 최소로 만드는 것이다. (캐시 히트 최대화) 캐시 히트와 미스의 횟수를 안다면 프로그램의 평균 메모리 접근 시간을 계산할 수 있다. 캐시 성능을 측정할 때 사용하는 미터 법TM - 메모리 접근 비용TD - 디스크 접근 비용PHit - 캐시 히트 확률PMiss - 캐시 미스 확률 PHit와 PMiss는 0.0 ~ 1.0 사이의 값을 갖으며, 둘의 합은 1.0을 만족한다. **디스크 접근 비용이 너무 크기 때문에 아주 작은 미스가 발생하더라도 전체적인 AMAT에 큰 영향을 ..

운영체제(OSTEP) 2024.11.14

리눅스 리다이렉션과 파이프

리다이렉션리다이렉션은 명령의 입력이나 출력을 파일이나 다른 장치로 보내거나 받을 수 있게 해주는 것출력 리다이렉션(>)// 명령어의 표준 출력을 파일로 보낸다. 파일이 이미 존재하는 경우 내용을 덮어쓴다.ls > 파일목록.txt출력 추가 리다이렉션(>>)// 명령어의 표준 출력을 파일 끝에 추가한다. 파일이 없으면 새로 추가echo "새로운 내용" >> 로그.txt입력 리다이렉션(// 파일의 내용을 명령어의 표준 입력으로 사용한다.sort 표준 오류 리다이렉션(2>)// 명령어의 표준 오류 출력을 파일로 보낸다.gcc hello.c 2> 오류.log컴파일 중 발생한 오류 메시지를 오류.log에 저장표준 출력과 표준 오류를 모두 리다이렉션 (&> 또는 파일 2>&1)명령어 &> 전체출력.log == 명령어..

OSTEP 21장

메모리 계층에 레이어의 추가 필요- 지금까지 모든 페이지들이 물리 메모리에 존재한다고 가정- 현재 크게 필요하지 않은 일부를 보관해 둘 공간이 필요- 현대 시스템에서 보통 하드 디스크가 이를 담당**주소 공간이 충분히 크면, 프로그램의 자료구조들을 위한 충분한 메모리 공간이 있는지 걱정 X필요 시 메모리 할당을 운영체제에게 요청하기만 하면 된다.스왑공간은 실행되는 각 프로세스들에게 큰 가상 메모리가 있는 것 같은 환상을 줌 - 멀티 프로그래밍 시스템이 발명되면서 많은 프로세스들의 페이지를 물리 메모리에 전부 저장하는 것은 불가능- 일부 페이지를 스왑 아웃하는 기능이 필요- 멀티 프로그래밍과 사용 편의성 등의 이유로 실제 메모리보다 더 많은 용량의 메모리가 필요스왑공간디스크(HDD)에 페이지들을 저장할 수..

운영체제(OSTEP) 2024.11.12

캐시

지역성좋은 프로그램은 최근에 참조했던 데이터 근처의 데이터나최근에 자신을 참조했던 데이터를 참조하려는 경향이 있다.두 가지 지역성시간 지역성한 번 참조된 메모리 위치는 가까운 미래에 다시 여러 번 참조될 가능성이 높다.공간 지역성특정 메모리 위치가 참조되면, 가까운 미래에 근처의 메모리 위치를 참조할 가능성이 높다.** 운영체제 수준에서 지역성의 원리는 시스템이 메인 메미로리르 갖아 최근에 참조한 가상 주소 공간 블록에 대한 캐시로 사용될 수 있게 해준다.프로그램 데이터 참조의 지역성int sumvec(int v[N]) { int i, sum = 0; for ( i = 0 ; i sum 변수는 for문에서 반복 참조되므로 좋은 시간 지역성을 갖는다.반면 sum은 물리량이므로 공간 지역성이 ..

OSTEP 18장(페이징)

페이징프로세스의 주소 공간을 고정된 크기의 단위로 분할하여, 가상 메모리와 물리 메모리를 관리하는 기법페이지각각의 고정된 크기의 단위를 [페이지]라고 한다.상응하여 물리 메모리도 각각의 고정된 크기의 단위로 나눈 것을 [페이지 프레임]이라고 부른다.-> 고정 크기의 슬롯의 배열이라고 생각가상 주소 공간의 페이지들은 물리 메모리 전체에 분산 배치되어 있다.페이징 장점- 프로세스의 주소 공간 사용 방식과는 상관없이 효율적으로 주소 공간 개념을 지원 → 힙과 스택이 어느 방향으로 커지는가, 어떻게 사용되는가에 대한 가정을 하지 않아도 됨- 빈 공간 관리의 단순함 → 모든 비어 있는 페이지의 빈 공간 리스트를 유지하고, 할당 시 페이지들을 선택하여 배치주소 공간 페이지 0 - 물리 프레임 3가상 페이지 1 ..

운영체제(OSTEP) 2024.11.10

빈 공간 관리

메모리 관리 시스템프로세스 힙의 페이지를 관리하는 malloc 라이브러리일 수 있고 혹은 프로세스의 주소 공간의 일부분을 관리하는 운영체제 자체일 수 있다.빈 공간 관리의 경우 고정 크기의 경우 관리가 쉬움 → 고정 크기 단위 리스트를 유지하면서 그 중 첫 번째 항목을 반환하면 됨가변 크기 빈 공간의 경우 관리가 어려움 → malloc, free 처럼 사용자 수준 메모리 할당 라이브러리, 세그멘테이션으로 물리 메모리를 관리하는 운영체제에서 발생→ 빈공간을 다양한 크기의 작은 조각으로 분할되어 결국 단편화 발생→ 요청된 것보다 크더라도 연속된 영역이 존재하지 않으면 요청 실패가정- malloc, free에서 제공하는 것과 같은 기본 인터페이스를 가정- free()는 포인터만으로 해제하고자 하는 메모..

운영체제(OSTEP) 2024.11.09

멀티 레벨 페이지 테이블 (OSTEP 20장)

멀티 레벨 페이지 테이블선형 페이지 테이블을 트리 구조로 표현한다.매우 효율적인 방법으로 현대 시스템에서 사용되고 있음멀티 레벨 페이지 테이블 기본 개념1. 페이지 테이블을 페이지 크기의 단위로 나눈다. 페이지 테이블의 페이지가 유효하지 않은 항목만 있으면, 해당 페이지를 할당하지 않음 2. 페이지 디렉토리라는 자료 구조를 사용하여, 페이지 테이블 각 페이지의 할당 여부와 위치 파악**선형 페이지 테이블은 배열이므로 스택이 맨 마지막에 배치 되어 중간에 불필요한 부분까지 페이지를 할당해야 함 **반면 다단계 페이지 테이블의 경우 필요한 부분에 대해서만 페이지를 할당하면 되므로, 메모리를 절약할 수 있다. (페이지 테이블을 나눠 스택과 힙 사이의 공간이 존재하지 않음)- 배열의 경우 1000번 ..