학교수업/Operating System 검색 결과
12 개의 검색 결과가 있습니다.
학교수업/Operating System

File-System Structure

File-System Structure Logical storage unit Collection of related information File control block 특정 file에 관련된 정보를 전달해주는 storage structure file system은 disk에 존재하며 disk operation은 block 단위로 수행된다. File system implementation Information on disk Information in memory Partitions Virtual file system Information on Disk Disk는 다음에 정보들을 저장한다. 1. Boot control block system을 작동시키기 위한 OS 기본적인 정보를 disk에 정해진 위치에..

2022. 4. 18. 11:14
학교수업/Operating System

File

File 정리정돈이 쉽다. 찾기가 쉽다. File abstraction User 입장에서 정보가 들어가 있는 byte로 이름이 붙어져 있는 것 FS 입장에서 disk block들의 집합 File system’s job 이름이 있다면 그것으로 disk의 위치를 찾아야 함 위치가 있다면 이름을 알아야 함 File system은 그 사이를 mapping 작업을 해주어야 한다. File operation management Directory management File attribute 파일이 가져야할 정보들 Name 유일하게 User가 읽을 수 있는 정보 Identifier File system이 file을 식별할 수 있도록 unique number를 할당한다. 이를 inode라 한다. Type 파일 유형 L..

2022. 4. 18. 11:13
학교수업/Operating System

Virtual Memory

Virtual Memory Virtual memory user logical memory와 physical memory를 분리한다. Physical memory + Backing Storage 전체 공간 page가 swapping하는 모든 공간 프로그램 실행은 Physical memory 영역 뿐만 아니라 Backing layer까지 포함해서 실행해도 된다. 그 전체 영역을 Virtual memory라 한다. Virtual memory는 다음 두 가지 중 하나를 통해서 구현되어야 한다. Demand paging Demand segmentation Shared library는 Virtual Memory를 통해서 메모리 절약이 가능함 Demand paging 메인 메모리를 할당할 때 실제로 필요한 순간에 메..

2022. 4. 18. 11:11
학교수업/Operating System

Memory Management Strategies

Memory Management Strategies Virtual Address Space 프로그램이 실행에 필요한 메모리 공간 Disk 공간에 일부를 Virtual Address Space를 잡아둔다. Physical Address Space 실제 CPU가 읽을 수 있는 메모리 Virtual Sapace보다 공간이 더 작다. Swapping VA 데이터와 PA 데이터를 교환 과정 하지만 실제로 메모리 주소값이 다르기 때문에 OS가 그것을 관리해주어야 함 해당 작업이 Address Translation이다. Address Translation CPU가 만들어낸 가상 주소를 Physical Address로 바꾸는 작업 OS가 만든 Table을 통해서 바꾸는 작업을 함 Memory Mapping Table ..

2022. 4. 18. 11:10
학교수업/Operating System

Deadlock

The Deadlock Problem Deadlock process set이 block상태가 되는 것 어떤 프로세스가 다른 공유자원을 사용하기 위해서 기다리고, 또 다른 프로세스가 그 결과물을 기다리는 일련의 과정으로 인해 진행이 안되는 것 상대방의 자원을 기다리는 상태 disk 자원이든 semaphre 같이 모든 공유자원에 대해서 발생함 Solve Problem Deadlock 회피 Deadlock이 발생할 수 있는 상황에서 미리 해당 프로세스를 다른 곳으로 옮겨 둠 Deadlock 감지 Deadlock detection을 할 수 있는 방법은 2가지 이다. Deadlock 해결 Kill the process 프로세스를 죽이고 새로 시작함 Deadlock recovery Preempt the resour..

2022. 4. 18. 11:08
학교수업/Operating System

Classic Problems of Synchronization

Classic Problems of Synchronization Bounded buffer problem size가 정해져있는 Data 연결 통로 array처럼 data를 저장해서 사용 Round Queue 모양 Producer가 data를 채워 넣음 Consumer가 data를 읽어 감 N: Buffer Size 3가지의 공유 변수 Binary Semaphore mutex buffer에 data를 채워넣고자 할 때 buffer에 접근이 가능한지 체크해주는 공유 변수 하나씩만 접근 가능(Binary Semaphore) 초기값 1 Counting: Producer와 Consumer 양쪽에서 관리하는 공유변수 Semaphore full 가득찼는지 체크해줌 초기값 0 Producer는 full을 증가시킴 Co..

2022. 4. 18. 11:07