13장 병렬 프로그래밍과 병렬 처리 13.1 병렬 처리 소개 병렬 처리 (Parallel Processing) - 다수의 프로세서들이 여러 프로그램들 또는 한 프로그램의 분할된 부분들을 동시에 처리하는 기술 병렬 프로그래밍에 대한 연구 1. 병렬 프로그래밍 언어에 대한 연구 (Ada, Occam, Concurrent Pascal) 2. 병렬 컴파일러에 관한 연구 Flynn 분류 (컴퓨터 시스템의 분류) 1. SISD (Single-Instruction Single Data) 2. SIMD (Single-Instruction Multiple Data) ; 병렬 처리 컴퓨터 3. MISD (Multiple-Instruction Single Data) 4. MIMD (Multiple-Instruction Mu..
10장 부 프로그램 (Subprogram) 10.1 개요 부 프로그램 (Subprogram, Procedure) - 일련의 행위나 계산을 추상화하는 기법으로 제공함 - 실행과 분리해서 선언할 수 있는 블록임 (호출을 요구함) - 함수(Function): 함수 이름으로 값을 반환하게 할 수 있음 - 서브루틴(Subroutine), 프로시저(Procedure): 매개변수로 값을 반환하게 할 수 있음 부 프로그램의 일반적 특성 - 각 프로시저는 단일 진입점을 가짐 - 호출 프로그램(Caller)은 피호출 프로그램(Callee)의 실행 동안 중단됨 - 부 프로그램 종료 시, 제어는 호출자에게 되돌아 감 프로시저의 구성 - 프로시저 이름 - 매개변수 리스트 - 환경 (Environment; 선언부를 의미) - 몸..
9장 기억 장소 배당 (Storage Allocation) 기억 장소 할당 기법 - 번역 시간에 수행되는 정적 기억장소 할당기법, 실행 시간에 수행되는 동적 기억장소 할당 기법이 있다. - PL의 일부 특징들과 매우 밀접하게 관련된다. - PL 설계 및 구현에서 우선적으로 고려할 사항 중 하나이다. ex) Recursion 허용 여부, 배열 크기 변화 허용 여부 등 9.1 정적 및 동적 기억 장소 배당 정적 기억 장소 할당 - 번역 시간에 할당 (적재 시간) - 기억장소 크기와 위치가 정적으로 고정 - 배열 접근코드가 효율적 (크기가 고정되어 있으므로) - 사용된 모든 배열은 확정된 고정 크기로 선언되어야 함 - 서브프로그램은 Recursion을 수행할 수 없음 ex) Fortran, Cobol, Bas..
8장 영역과 수명 8.1 블록과 영역 영역 (Scope) - 식별자의 효력을 나타낼 수 있는 공간 - 식별자의 사용이 허락되는 프로그램의 범위 * 식별자 (Identifier) - 변수, 상수, 레이블, 데이터 형, 서브프로그램 등의 이름 수명 (Extent, Lifetime) - 식별자(변수)값을 보유할 메모리가 배정되어 있는 실행시간 - 식별자의 메모리 할당부터 해제까지의 시간 식별자 영역 제공의 간결한 방법 - 모든 식별자를 전 프로그램에서 사용가능하게 하는 것 (전역 변수화) - 모든 프로그램에서 모든 식별자를 공유하게 하는 방법이다. 문제점 - 식별자 사용의 복잡화 - 식별자 혼돈 - 프로그램 합성 시 문제점 발생 해결책 - 단위 프로그램의 식별자 사용 (지역화 요구) ex) Algol 60에서..
7장 자료형 7.1 자료형과 형 선언 자료형 - Object(객체)의 집합과 이 객체들의 Instance(실체)들에 대한 연산들의 집합이다. - 연산의 종류로는 Create(생성), Build-Up(작성), Destroy(소멸), Modify(수정), Pick Apart(분해)와 같은 것들이 있다. ex) Lisp에서 주요 데이터 형은 "S-Expression"이라 불리는 Binary Tree이며, 기본 연산으로는 CAR, CDR, CONS를 제공한다. - 명령형 PL의 Built-In 데이터 형으로는 정수형, 실수형, 문자형, 논리형과 이들에 대한 연산이 제공된다. ex) Fortran 77, C, Java, Ada의 기본 데이터 형 Fortran 77 C Java Ada INTEGER int int ..
6장 변수, 바인딩, 식 및 제어문 6.1 Variables(변수) - 명령형 PL의 중요한 특징 중 하나는 변수의 생성을 허용하는 것이다. - 변수의 Attribute(속성)은 일반적으로 프로그래밍 과정에서 변할 수는 있으나, 컴파일 시간에 한 번 정해지면 변할 수 없다. - 변수에는 항상 어떤 값이 존재해야 하며, 이 값은 변할 수 있다. (정의되지 않은 값도 값으로 간주한다.) ※ PL의 가장 기본적인 추상화 메커니즘은 Identifier(Name; 식별자, 이름)를 사용하는 것이다. Variable(변수)의 정의 (ISO 국제 규격) - 변수란, 선언문 또는 묵시적 선언으로 생성된다. - 변수는 아래 4가지 요소로 구성된다. 1. Identifier(식별자, 이름) 2. Data Attribute..
Lex and Yacc - 1970년대 벨 연구소에서 개발되어, 후에 UNIX 표준 유틸리티로 선정되었다. - Lex가 입력 문자열에 대한 일차적인 검색을 수행하고, 실질적인 분석은 Yacc가 수행한다. - Source → Lex Scanner → Yacc Parser 순서로 처리한다. - 즉, 입력 Syntax의 검색과 분석을 용이하게 위해 사용하는 언어들이다. - 수치와 연산자를 구분하는 계산기 프로그램, 컴파일러, 인터프리터 언어의 문장 검색, 문법 분석 기능, SQL 언어의 문법 검사와 같은 기능들을 Lex와 Yacc로 구현할 수 있다. Lex (Lexical Analyzer Generator, 어휘 분석 생성기) - 1975년 AT&T Bell 연구소의 Eric Schmidt와 Mark Lesk..
