기능목록>검색 : 국방대학교 도서관

Ada프로그램에서 타스크의 랑데뷰 분석 모델에 관한 연구,. M94505

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	(군대학) 학위논문
분류기호 :	393.8
서명/저자사항 :	Ada프로그램에서 타스크의 랑데뷰 분석 모델에 관한 연구,. M94505/ 김상철
발행사항 :	서울: 국방대학원, 1994
형태사항 :	59 p.
학위논문주기 :	학위논문(석사) -- 국방대학교 대학원, 1994
개인저자 :	김상철
언어	한국어

원문
원문보기 :	Ada프로그램에서 타스크의 랑데뷰 분석 모델에 관한 연구,. M94505 Ada프로그램에서 타스크의 랑데뷰 분석 모델에 관한 연구,. M94505

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

현대의 많은 컴퓨터 시스템들이 병행처리 능력을 가지고 있으며 서로 다른 기법으로 병행처리를 실현하고 있다. 단인 프로세서(processor)를 가진 컴퓨터의 경우 소프트웨어를 통하여 멀티태스킹(multi-tasking)을 실현하는 경우가 많다. 병렬처리 시스템의 소프트웨어를 구현함에 있어 중요한 문제는 병행처리를 표현하는 프로그램 구조를 가지는 것으로서 Ada에서는 태스크(task)라는 프로그램 단위를 사용하여 병행처리를 지원한다. 병행으로 수행되는 태스크간의 상호 정보 교환은 랑데뷰 메카니즘(rendezvous mechanism) 으로 처리하는데 랑데뷰는 정보의 공유와 태스크 협동을 제공하기 위해 동기화된 단일 제어로 두 태스크를 결합시킨다. 랑데뷰가 성립된 두 태스크는 상호 정보를 교환한다. Ada 언어에서 태스크들은 서로 독립적으로 존재하며 상호 의존적인 관계를 유지하면서 비대칭적(asymmetric)으로 상대 태스크를 호출한다. 본 논문에서는 이러한 태스크 호출구조의 비대칭적 특성을 이용하여 랑데뷰에 관한 토폴로지 정보(랑데뷰 시도, 랑데뷰 성공, 랑데뷰 순차) 및 랑데뷰 빈도 정보를 분석하는 모델을 제시한다. 본 모델의 설계 개념은 먼저 측정 대상 프로그램내에는 랑데뷰 시도시 호출 태스크와 피호출 태스크 및 엔트리에 관한 정보를 배열에 저장하고 피호출 태스크에서는 랑데뷰가 되었을 때 랑데뷰가 되었음을 해당 배열의 번지에 표시함으로써 랑데뷰에 관한 정보를 획득한다. 분석 모델은 변환모듈과 측정모듈로 구성되며 변환모듈은 다시 Scanner, Rules, Tranformer로 측정모듈은 Executioner, Report Generator로 구성된다. 본 논문의 기대효과는 Ada프로그램에서 실시간처리 프로그램에 대한 시뮬레이터, 태스크 스케쥴링에 관한 정보 제공 및 실행시 발생하는 데드코드를 발견함으로 실행코드의 최적화에 도움을 줄 것이다.

펼쳐보기

KDMT49517602 권 호 : 78
발행년 : 199502
저 자 : 김상철
서 명 : Ada 프로그램에서 타스크의 랑데뷰 분석 모델에 관한 연구

표제지 = 0,1,3
감사의 글 = 0,4,1
요약 = i,5,1
목차 = ii,6,1
그림목차 = iii,7,1
표목차 = iv,8,1
제1장 서론 = 1,9,2
제2장 Ada언어의 랑데뷰에 관한 고찰 = 3,11,1
제1절 타스크의 구조 및 타스크 유형 = 3,11,4
제2절 타스크의 랑데뷰 = 7,15,6
제3절 타스크의 호출 및 피호출 관계 = 13,21,10
제3장 랑데뷰 분석 모델의 설계 = 23,31,1
제1절 개요 = 23,31,1
제2절 자료구조 설계 = 24,32,2
제3절 식별 규칙 = 26,34,6
제4절 원시 프로그램 변환 규칙 = 32,40,13
제4장 구현 및 검증 = 45,53,1
제1절 구현 = 45,53,8
제2절 검증 = 53,61,5
제5장 결론 = 58,66,2
부록(측정모듈 프로그램) = 0,68,11