솜은 코튼

정보 처리 시스템 . 정보 처리란 컴퓨터가 정보를 생성하기 위해 데이타를 처리하는 작업이며, 데이타베이스 시스템은 이러한 정보 처리 시스템이 효과적으로 수행할 수 있게 하는 도구이다. 정보와 데이타(자료)는 엄연히 다르다. 데이타는 단순한 관찰이나 측정을 통해 수집된 값이며 텍스트, 이미지, 그래픽 등이 포함된다. 정보는 지식으로서 데이타의 해석이나 상호간의 관계를 말하는 것으로 데이타를 처리해서 얻어진 결과이다. 정보가 의사 결정에 유용하게 할 수 있기 위해서 필요시에는 컴퓨터를 통해 언제라도 이용할 수 있도록 수집, 조직 , 저장되어 있어야 한다. 이렇게 필요시에 처리해서 의사 결정에 유효한 정보를 생성하여 분배하는 수단을 '정보 시스템'이라고 한다. 정보 시스템은 과거, 현재, 미래 상황에 대한 정..

2023.05.23 - [OS] - [OS] Mutex, 세마포어, 모니터 [OS] Mutex, 세마포어, 모니터 Mutex Locks . 임계구역을 보호하기 위해 mutex 락을 사용한다. 즉, 프로세스는 임계구역에 들어가기 전에 반드시 락을 획득해야 하고, 빠져나올 때 락을 반환해야 한다. acquire() 함수가 락을 획득하고 sommda.tistory.com 모니터 . 이전 글에서 모니터에 대해 설명하였는데 좀 더 자세히 알아보려 합니다. 먼저 동기화 하는 여러 방법들이 있었는데 예로 Mutex락, 세마포 등이 있었죠? 하지만 타이밍 오류나 잘못된 사용으로 임계구역을 보호받지 못하는 상황이 생기게 되어 이 오류를 처리하기 위해 간단한 동기화 도구를 통합한 고급 언어 구조물인 모니터 형이 있습니다...

무결성 제약 . 데이터 무결성은 데이터의 정확성 또는 유효성을 의미한다 무결성 제약조건은 사용자에 의한 데이터베이스 갱신이 일관성을 깨지 않도록 보장하는 수단이다. 1. 개체 무결성 제약 . 개체 무결성 제약이란 기본 키에 속해 있는 애트리뷰트는 널 값을 가질 수 없다는 것을 말한다. 기본 키가 투플들을 유일하게 식별하는 기능을 가지고 있어 널(값이 없음)이 된다면 식별할 수 없게 된다. 2. 참조 무결성 제약 . 참조 무결성 제약이란 릴레이션은 참조할 수 없는 외래 키 값을 가져서는 안 된다는 것을 말한다. 참조할 수 없는 외래 키 값이란 널이 아니면서 참조된 릴레이션의 어떤 기본 키 값과도 일치하지 않는 값을 말한다. 3. 도메인 제약조건 . 각 애트리뷰트 값이 반드시 원잣값이어야 하며, 데이터 형식..

릴레이션 . 도메인 한 애트리뷰트에 나타날 수 있는 값들의 집합이다. 관계 데이터 모델은 원잣값을 가지며 복합 애트리뷰트나 다치 애트리뷰트는 허용되지 않는다. ex) 김창섭, 박영권, .. 등의 이름이 나타날 수 있음 차수 한 릴레이션에 들어 있는 애트리뷰트들의 수 카디날리티 릴레이션의 투플 수 1. 스키마 . 릴레이션의 이름과 릴레이션의 애트리뷰트들의 집합을 릴레이션 스키마라고 한다. 스키마는 릴레이션을 위한 틀이다. 표기법은 아래와 같다. 릴레이션(애트리뷰트1, 애트리뷰트2, ..., 애트리뷰트N) 기본키 애트리뷰트에는 밑줄 표시를 한다. 2. 인스턴스 . 릴레이션 인스턴스는 릴레이션에 어느 시점에 들어 있는 투플들의 집합니다. 릴레이션 인스턴스는 투플이 삽입, 삭제, 수정될 때마다 변하며 데이터 조..

데이터 모델링 1. 엔티티 . 단순 애트리뷰트 더 이상 다른 애트리뷰트로 나눌 수 없는 애트리뷰트 'Juminno', 'Name', 'Age', 'Empno', 'Hobby' 복합 애트리뷰트 두 개 이상의 애트리뷰트로 이루어진 애트리뷰트 'Address' 단일 값 애트리뷰트 각 엔티티마다 정확하게 하나의 값을 갖는 애트리뷰트 'Juminno', 'Name', 'Age', 'Empno', 'Address' 다치 애트리뷰트 각 엔티티마다 여러 개의 값을 가질 수 있는 애트리뷰트 (ex.사원은 여러 개의 취미 가능) 'Hobby' 저장된 애트리뷰트 다른 애트리뷰트와 독립적으로 존재하는 애트리뷰트 'Juminno', 'Name', 'Empno', 'Address', 'Hobby' 유도된 애트리뷰트 다른 애트리뷰..

프로세스 제어 블록(PCB) . 프로세스 제어 블록(PCB)은 프로세스를 실행하는 데 필요한 중요한 정보를 보관하는 자료 구조로 TCB라고도 한다. 모든 프로세스는 고유의 프로세스 제어 블록을 가지며 프로세스 생성 시 만들어져 완료 시 폐기된다. 포인터 PCB를 연결하여 준비 상태나 대기 상태의 큐를 구현할 때 사용 프로세스 상태 생성, 준비, 실행, 대기, 보류 준비, 보류 대기 등 어떤 상태인지 나타냄 프로세스 구분자 운영체제 내 여러 프로세스를 구별하기 위한 구분자 프로세스 카운터 다음에 실행될 명령어의 위치를 가리키는 값 저장 프로세스 우선순위 우선순위에 따라 PCB들이 여러 줄로 서 있음 각종 레지스터 정보 다음 실행을 위해 자신이 사용하던 레지스터의 중간값을 보관 메모리 관리 정보 메모리 보호..

페이지 테이블 크기 . 예로 가상 주소 공간의 크기가 2³²(4G)B, 페이지 1개의 크기는 2¹²(4,098)B이다. 전체 4GB의 가상 주소를 페이지 1개의 크기로 나누면 2²⁰(1,048,576)B이다. 페이지 테이블로 나타내려면 1,048,576개의 행과 각 행을 표현할 주소 공간 20bit가 필요하다. 즉, 페이지 테이블이 차지하는 공간은 1,048,576 X 20bit = 약 2.62B이다. 만약 페이지 크기가 2⁹(512)B이고, 2³²(4G)B의 주소공간을 가진다면 전체 페이지는 1,048,576에서 8,388,607으로 늘어나고, 페이지 테이블은 8,388,607개의 행과 23bit의 주소 공간이 필요하다. 즉, 페이지 테이블이 차지하는 공간은 8,388,607 X 23bit = 약 24..

스레싱과 프레임 할당 . 물리 메모리에는 여러 개의 프로세스가 올라와 있다. 물리 메모리의 공간이 충분하면 프로세스의 요청에 따라 할당하지만 그렇지 못할 경우 남아 있는 프레임을 어떻게 나누어줄지 정한다. 1. 스레싱 . 물리 메모리가 크면 그만큼 더 많은 프로세스가 올라올 수 있지만 작으면 스왑 영역에서 가져와야 하므로 속도가 떨어진다. 적은 수의 프로그램을 실행할 땐 문제 없지만 많은 수의 프로그램을 실행한다면? 처음에는 정상적으로 메모리에 올라오지만 메모리가 꽉 찬 후에는 스왑 영역으로 옮기는 횟수가 잦아져 정지한 것 같은 현상이 발생한다. 이와 같이 하드디스크의 입출력이 너무 많아져서 잦은 페이지 부재로 작업이 멈춘 것 같은 상태를 '스레싱'이라 한다. 스레싱은 메모리의 크기가 일정할 경우 멀티프..

2023.05.27 - [OS] - [OS] 교착 상태 해결 방법 (교착 상태 회피) [OS] 교착 상태 해결 방법 (교착 상태 회피) 2023.05.27 - [OS] - [OS] 교착 상태 해결 방법 (교착 상태 예방) [OS] 교착 상태 해결 방법 (교착 상태 예방) 2023.05.27 - [OS] - [OS] 교착 상태 (자원 할당 그래프, 식사하는 철학자 문제) [OS] 교착 상태 (자원 sommda.tistory.com 3. 교착 상태 탐지 . 앞에서 언급한 교착 상태 예방은 실제로 구현하기 어렵고, 교착 상태 회피는 구현은 가능하지만 자원을 낭비하는 문제가 있다. 교착 상태 탐지는 가장 현실적인 것인 방법으로 운영체제가 프로세스의 작업을 관찰하면서 교착 상태 발생 여부를 계속 주시하는 방식이다..

2023.05.27 - [OS] - [OS] 교착 상태 해결 방법 (교착 상태 예방) [OS] 교착 상태 해결 방법 (교착 상태 예방) 2023.05.27 - [OS] - [OS] 교착 상태 (자원 할당 그래프, 식사하는 철학자 문제) [OS] 교착 상태 (자원 할당 그래프, 식사하는 철학자 문제) 교착 상태 . 교착상태는 다른 프로세스의 잡업이 끝나기를 기다 sommda.tistory.com 2. 교착 상태 회피 . 앞에서 교착 상태 해결 방법 중 하나인 교착 상태 예방에 대해 알아보았다. 교착 상태 예방 알고리즘은 요청 방법에 제한을 두어 교착 상태를 예방한다. 하지만 이 방식은 장치의 이용률이 저하되고 시스템 총처리율이 감소한다는 것이다. 교착 상태 회피는 프로세스에 자원을 할당할 때 어느 수준 이..