Chapter 4. File Systems * Long-Term Information Storage의 자격요건 1) 대량의 Data를 저장할 수 있어야 한다. 2) Persistent한 Data. 프로세스가 Data를 사용한 이후 혹은 System의 Power가 Off되어도 Data가 보존되어야 한다. 3) 여러 프로세스들이 동시에 Access하기에 편리해야 한다. - 위 조건들을 충족시키기 위해, "File System"이라는 개념이 등장했다. - File들은 Disk에 저장되며, Disk는 Linear Sequence of Fixed-Size Block이다. (Block 단위로 Read/Write이 가능하다.) Files File Naming - File의 명명법은 System마다 상이하다. * Ty..
Configuration Statement Configuration 구문 - Configuration 구문은 하나의 Entity에 대한 여러 Architecture Block 중 하나를 선택하여 수행할 수 있게 한다. - Simulation시에, 해당 Configuration 구문을 선택하여, 특정 Architecture Block을 시험할 수 있다. Example. 4 X 1 MUX ENTITY mux4x1 IS ... END mux4x1; ARCHITECTURE dataflow OF mux4x1 IS BEGIN ... END dataflow; ARCHITECTURE behave OF mux4x1 IS BEGIN ... END behave; ARCHITECTURE structure OF mux4x1 I..
Properties of Context-Free Languages 문맥-자유 언어의 성질들 Two Pumping Lemmas (두 펌핑 보조 정리들) Theorem 8.1 A Pumping Lemma for CFL Infinite CFL \(L\)이 있다하자. \(|w| \geq m\) 인 모든 \(w \in L\)에 대해, \(|vxy| \leq m, |vy| \geq 1\)인 \(m\)에 대해 \(w = uvxyz\) 로 나타낼 수 있고, (분할할 수 있고,) 모든 \(i = 0, 1, 2, \cdots\)에 대해, \(uv^ixy^iz \in L\) 이다. (\(v, y\)가 Pumping된다.) ※ 이 Pumping Lemma는 어떠한 Language가 CFL군에 속하지 않음을 입증하는데 유용하다..
Conditional Statement 조건문 \(\texttt{if}\) Statement ※ if문과 case문은 PROCESS문 안에서 Sequential하게 수행 되어야 한다. - if문과 case문 내부에는 여러 문장이 위치하기 때문에, Concurrent하게 진행될 수 없다. Example. General \(\texttt{if}\) Statement IF (sel = '1') THEN y int_val := 2; WHEN "11" => int_val := 3; END CASE; \(\texttt{when-else}\) Statement (조건적 병렬 처리문, Data Flow) ※ when-else문과 with-select-when문은 Concurrent하게 처리되어야 한다. - when-e..
Concurrent Processing 동시성 처리 - 실제 회로에서는 입력 포트에서 출력 포트로의 신호 전달이 동시에 처리되므로, VHDL은 기본적으로 Concurrent Processing에 기반하고 있다. - 즉, VHDL의 \(\texttt{ARCHITECTURE}\) Statement내에서 \(\texttt{PROCESS}\) Statement의 내부를 제외한 모든 Statement들은 Concurrent하게 처리된다. (즉, VHDL은 Concurrent가 Default이다.) \(\texttt{PROCESS}\) Statement - \(\texttt{wait, if, case, for-loop}\) Statement와 같은 순차적 처리를 요하는 Statement들은 \(\texttt{PRO..
Internet Applications 인터넷 응용 - WEB 환경에서의 DB Application에 관한 내용들 다룬다. URI (Uniform Resource Identifiers; 균등 자원 식별자) - 인터넷 상의 자원들을 유일하게 식별하기 위한 Naming Scheme이고, String 형태로 표현된다. - URL 보다 더 일반적인 개념이다. (URI는 URL의 Superset이다.) - 여기서 Resource란, 식별 가능한 정보의 일종으로 웹페이지, 영상, 파일 등이 이에 속한다. * Structure of URI - URI는 아래와 같이, 3개의 부분으로 구성된다. 1) Protocol Name ex) http 2) Host Computer Name ex) www.cs.ucf.edu 3) ..
Pushdown Automata 푸시다운 오토마타 * Pushdown Automata (PDA) - Stack을 저장장치로 갖는 Finite Automata이다. - Stack은 무한한 크기(Unbounded)를 갖는다 가정하기 때문에, 이를 통해 제한된 메모리로부터 나오는 한계를 극복할 수 있다. - Finite Automata는 유한한 메모리 크기로 인해, Context-Free Language를 인식할 수 없다. - Nondeterministic PDA는 Context_Free Language를 인식할 수 있다. - Deterministic PDA는 Deterministic Context-Free Language를 인식할 수 있다. Nondeterministic Pushdown Automata (비..
