컴공 운영체제 7장 Deadlocks

소개글

컴공 운영체제 7장 Deadlocks에 대한 보고서 자료입니다.

본문내용

ame병합작업을 미룸
slab allocator(for kernel memory) : buddy에게 미리 할당받아 보다 작은 단위로 쪼개서 보관하고 있다가 page frame보다 작은요청이 들어오면 쪼개논 단위를 제공한다
사용자가 해제를 하게되면 buddy로 공간을 반납하는 것이 아니라 다시 가지고 있는다
마치 memory pool같이 사용하는 개념
- 장점 단편화없고 빠르다.
* Prepaging : 프로세스가 시작할 때 많은 page fault가 일어나는 것을 줄인다
- 프로세스가 참조하기전에 미리 page를 한다.
- 하지만 미리 paged된 page가 사용안되면, I/O, memory 낭비다
* page size : 단편화(작으면 굿), table size(크면 굿, page개수 작으니까), I/O overhead (swapping,크면 굿), locality(작으면 굿)
* TLB reach : TLB에서 엑세스할 수 있는 memory의 양 (TLB size * page size)
- working set은 TLB안에 있다.
* I/O interlock(consider I/O) : file 복사에 쓰이는 page는 page replacement algorithm이 돌아가는 동안 선택되지 않게 lock 되있어야한다.
10장 File-system interface
filesystem : 이름을 입력받아 해당 데이터를 리턴해주는 소프트웨어
추상적인 데이터 타입, OS가 파일에 대한 시스템콜 제공
파일을 open하면 디스크의 directory 구조에서 내용을 찾고, 메모리에 그 내용을 옮긴다.
close하면 메모리 있는 내용을 디스크에 쓴다.
OS는 open-file table을 가지고 있다.
* 데이터를 접근하는데 걸리는 시간은 탐색시간, 회전지연시간, 데이터전송시간으로 구성
Open file locking
- mandatory : lock이 걸려있거나 요청되면 액세스는 거부당함
- advisory : 프로세스는 lock 상황을 찾을고 무엇을 할지 결정한다.
Disk 할당
Logical record unit
Unix는 모든 파일을 바이트의 연속이라 정의했다. 1byte가 단위이다.
Physical record unit
모든 disk 장치들은 block 단위로 수행된다. 예) 512byte가 한블락
Access methods
- sequential access : 파일정보가 순서대로 처리된다.
- direct access : 순서없이 record를 읽고 쓸 수 있는 것
어떤 block에도 random access 가능
block number를 parameter로 받아서 read n(n=block number), write next, position to n. b
block number는 보통 relative block number라고 하며 file의 시작과 연관있는 index다. 이 block number는 운영체제가 file이 어디에 놓져야하는지 결정하게 해준다.
Single-level directory
모든 파일이 같은 디렉토리에 있는것.
모든 파일은 유일한 이름을 가지고 있어야 한다.
Two-level Directory
사용자 마다 자신의 디렉토리가 있다.
master file directory와 user file directory 두 단계.
Tree-Structured Directories
디렉토리가 파일도 포함하고 서브디렉토리도 포함한다.
디렉토리를 하나의 파일로 본다. (처리방식은 다르다.)
* tree구조는 searching과 grouping이 좋다.
Acyclic-graph directories
파일과 디렉토리를 공유할수 있다.
* 문제점
여러개의 이름을 가진다. shared structure를 한번이상 탐색하지 않게 하고 싶을 때 문제(aliasing)
파일을 삭제하면 dangling potiner.
해결책 : 1. 그냥 내버려두고 접근할 때, 파일이 존재하지 않는 것을 알아내면 잘못된 파일을 접근하는 것처럼 실패하게한다.
2. 모든 참조가 삭제될 때까지 파일을 삭제하지 않고 유지하는 해결방법이 있다.
(file reference list 사용,list가 너무 커질수도 있으므로 count를 사용 할 수 있다.)
General graph directory
장점 : 파일을 검색하고 파일에 대한 참조의 존재 여부를 결정하는 알고리즘이 비교적 간단하다는 것.
순환이 발생하지 않도록 어떻게 보장할것인가가 중요한 문제임
* 순환이 있으면 탐색이 종료하지 않는 무한 루프에 빠질수 있고(해결책 : 탐색할수 있는 디렉토리의 숫자를 임의로 제한), 아무도 참조하지 않는 파일은 count가 0이되서 파일을 삭제하면되는데 순환 때문에 count가 0이 안될수가있다(self-referencing). <-해결책 : 마지막 참조가 제거되고 디스크 공간이 재할당될 수 있을 때를 결정하기 위해서 garabage collection을 사용 (그러나 시간이 많이 걸리므로 잘이용안함)
cycle dection 알고리즘사용(간단하게 하기위해선 디렉토리 탐색중 링크는 검색하지 않는 것)
Soft link and Hard link
soft link - soft link는 original 파일 이름을 가리킨다. original 파일 이름이 바뀌면 soft link는 쓸모가 없게 된다. 다른 파일 시스템의 파일을 가리킬수 있다.
hard link - 파일을 가리킨다.(inode) 원본 이름이 바뀌어도 안깨진다. 다른 파일 시스템을 가리키지는 못한다.
access control
access controll list를 각 파일과 디렉토리에 두고 사용자가 특정 파일에 대한 접근을 요청할 때, 그 파일의 접근 리스트를 검사하여 접근 허용
- 장점 : 복잡한 접근 방법을 가능하게 한다.
- 접근 리스트의 문제점은 그 리스트의 길이다. 모든 사람에게 읽기 접근 허용하려면 모든 사용자를 열거해야된다.(여기서 문제점은 사용자의 리스트를 미리 알수 없고 고정 크기였던 디렉토리 항목이 가변 크기가 되어 버려 복잡한 공간관리 문제가 발생한다)
- 해결책 : 접근리스트를 간소화한다.
(소유자, 그룹, 모든사람)

키워드

컴공 운영체제 7장 Deadlocks 자료,   컴공 운영체제 7장 Deadlocks ,   Deadlock이 일어나기위한 조건,   Deadlocks