• 제목/요약/키워드: 병행수행제어

검색결과 86건 처리시간 0.024초

대리 트랜잭션 모델에서의 공간 데이터 변경을 위한 완료 규약의 설계 및 구현 (Design and Implementation of Commit Protocol for Updating Spatial Data in the Surrogate Transaction Model)

  • 문선희;반재훈;홍봉희
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.208-210
    • /
    • 2001
  • S-S-M(Server-Surrogate PC-Mobile Client)과 같은 3-계층 구조에서 이동 클라이언트를 이용한 공간 데이터 변경을 위해 대리트랜잭션 모델이 소개되었다. 이 모델에서는 이동 클라이언트의 공간 데이터변경을 위한 트랜잭션간의 동시성 제어를 위하여 전통적인 낙관적 병행 기법인 확인 기법을 확장하였다. 분산 환경에서는 참여자가 완료를 요청하면 조정자는 데이터를 공유하는 모든 참여자에게 완료 또는 취소 여부를 물어 최종 완료를 수행하였으나S-S-M 환경에서는 이동 클라이언트가 서버와의 접속을 해제하고 데이터를 변경한다. 따라서, 본 논문은 이동 클라이언트의 변경 완료 요청을 대리 PC를 통해 서버로 전달하고, 서버는 해당 트랜잭션의 충돌 여부를 검증하여 완료 또는 취소하는 완료 규약을 제시하고 이를 검증하기 위해 설계 및 구현한다.

  • PDF

내장형 제어 RISC코어를 위한 효율적인 랜덤 벡터 기능 검증 방법 (Efficient Verification Method with Random Vectors for Embedded Control RISC Cores)

  • 양훈모;곽승호;이문기
    • 대한전자공학회논문지SD
    • /
    • 제38권10호
    • /
    • pp.735-745
    • /
    • 2001
  • 범용성이란 측면은 프로세서의 설계 과정 중 기능 검증의 중요도를 크게 부각시킨다. 따라서 본 논문은 기존 시뮬레이션 방법과 병행하여 기능 검증의 효율성을 높일 수 있는 효율적인 랜덤 벡터 기능 검증 방법을 제시한다. 본 기능 검증 방법은 내장형 제어 RISC 코어에 적합하며 실제 연세대학교와 삼성전자가 공동 개발한 32비트 프로세서인 CalmRISCTM-32의 코어 기능 검증에 적용하여 효율성을 확인한 바 있다. 본 기능 검증 방법은 클락 기반의 명령어 수준 시뮬레이터를 개발하여 이를 참조 모델로 삼고 랜덤 벡터로 이루어진 워크로드에 대해 HDL 시뮬레이션 결과와 비교함으로써 오류 검출을 수행하며 일반적인 테스트 벡터로써 발견하기 어려운 오류 유형을 보완하는 동시에 설계자에게 새로운 오류 유형의 기준을 제시하는 효과를 지닌다.

  • PDF

멀티 플랫폼 기반 네트워크 응용을 위한 기반 구조 (Infrastructure for Network Applications based on Multi-Platform)

  • 김진덕;진교홍
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2002년도 추계종합학술대회
    • /
    • pp.677-681
    • /
    • 2002
  • 기존의 고정 단말기(PC)에서만 주로 행해지던 각종 다중 사용자 접속 온라인 응용이 최근 모바일 단말기의 급속한 확산으로 기존 PC와 PDA, 휴대폰 등이 공동 작업을 수행하는 멀티 플랫폼 기반 온라인 응용으로 전환되고 있다. 이 논문에서는 멀티 플랫폼 기반 네트워크 응용을 위한 기반 구조를 제안하였다. 그리고 다양한 클라이언트의 프로세서 처리 능력과 통신 속도의 비대칭이라는 멀티 플랫폼 응용의 특징을 고려한 중복 일관성 제어 기법, 다양한 클라이언트간의 변경 전파 프로토콜을 제안하였다. 그리고 멀티 플랫폼 기반 채팅 프로그램을 제작하여 제안한 구조 및 기법들이 적절히 동작함을 보였다.

  • PDF

공정 제어 응용을 위한 분산 능동 객체 시스템(DAOS)의 설계 및 구현 (Design and Implementation of Distributed Active Object System(DAOS) for Manufacturing Control Applications)

  • 음두헌;유은자
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제7권2호
    • /
    • pp.141-150
    • /
    • 2001
  • 낙공정 제어 응용은 로봇, AGV(Automatic Guided Vehicle), 컴베이어 등과 같이 능동적이면서 병행적으로 동작하는 컴포넌트들로 구성되며 이들간의 상호작용으로 수행이 이루어진다. 객체지향 기술은, 이러한 컴포넌트들을 재사용이 가능한 객체로 모델링하여, 공정 제어 응용의 생산성 및 확장성을 향상시킬 수 있다. 그러나 기존 객체지향 기술의 객체는 상태와 행위 정보만을 캡슐화하여 실세계의 객체를 표현하며, 메시지가 전달되어야만 반응하는 수동 객체(passive object)이다. 본 논문에서 소개하는 분산 능동 객체 시스템(Distributed Active Object System: DAOS) 방식은 Java/CORBA 기반의 분산 환경에서 객체의 상태와 행위 정보 뿐 아니라 객체 자신의 제어(control) 부분까지 캡슐화한 능동 객체(active object)을 지원하여, 공정 제어 컴포넌트들을 더욱 완전하게 모델링할 수 있다. 여기서, 자신의 제어란 자신의 상태뿐 아니라 인터페이스 변수(interface variable)로 연결된 타 객체의 상태까지 모니터링하고 그 상태 변화에 따라 스스로 행위를 수행할 수 있는 기능을 말한다[1, 2]. 따라서 DAOS 방식은, 메시지 전달을 이용해 각 분산 객체들의 제어를 기술하지 않고, 인터페이스 변수들을 사용하여, 스스로 기동할 수 있는 객체들을 구성적으로 조립하여 시스템을 구축한다. 즉, DAOS 방식은 객체 조립성을 지원하여 기존 객체지향 기술보다 분산 공정 제어 소프트웨어 생산성 및 확장성을 개선하고, 제어까지 캡슐화된 능동 객체를 지원하여 컴포넌트의 재사용을 향상시킨다.

  • PDF

국내 대규모 데이터센터 화재 및 피난 시뮬레이션 분석 (Fire and Evacuation Simulation Analysis of Large-Scale Domestic Data Centers)

  • 김동민;고은성;박형균;곽지현
    • 한국재난정보학회:학술대회논문집
    • /
    • 한국재난정보학회 2023년 정기학술대회 논문집
    • /
    • pp.347-348
    • /
    • 2023
  • 본 논문에서는 실제 규모 데이터센터의 3D 모델링을 기반으로 대상 공간별 화재 시나리오를 선정하여 화재 및 피난 시뮬레이션을 수행하였다. FDS와 Pathfinder는 full coupling 방식을 사용할 수 없는 한계가 있으며 semi coupling의 경우 가시화에는 도움이 되나 결과에 영향을 주지 않는다. 따라서 재실자의 피난 상황 시 경로에 대한 안전성과 화재 위험 노출 정도를 시각적으로 분석하는 것이 가능한 semi coupling과 시뮬레이션 결과 데이터 분석을 병행하여 수행하였다. 전산실의 경우 서버의 기능상실 한계 온도가 32도이기 때문에 서버 기능 정지 상황에 도달하는 시간을 중점적으로 분석하였다. 전산실은 업무 및 고객 서비스와 관련된 모든 데이터들을 저장하기 위해 항시 기동 되어야 하는데 전산실 내 화재가 발생할 경우 1~2분 이내 서버 기능이 정지되는 상황이 발생하였다. 따라서, 서버가 안전하게 계속 동작하기 위해서는 전력 계측 및 제어 케이블 열화, 서버 장치의 건전성이 유지되어야 하며 초기 화재를 빠르게 감지하여 진압하여야 한다. 피난 시뮬레이션의 경우 가시도를 상실하게 되는 시간이 약 195초(5m 미만) 인근으로 인원이 해당 층을 완전히 벗어나는 데 걸리는 시간이 약 125.6초였던 것을 보면 대피하기에 충분한 허용 피난시간(ASET)을 확보하고 있음을 알 수 있었다.

  • PDF

마이크로 열화상 계측 시스템의 IOT 모듈화 개발 (Development of Micro Thermal Image Acquisition System)

  • 이준엽;오종우;이동훈
    • 한국농업기계학회:학술대회논문집
    • /
    • 한국농업기계학회 2017년도 춘계공동학술대회
    • /
    • pp.169-169
    • /
    • 2017
  • 스마트 돈사 내의 열환경 분석에 필수적으로 고려되어야 인자는 가축의 복사 에너지 변화로 볼 수 있다. 열환경 제어의 대상이기도 하지만 회귀적으로 열환경 변화의 인자이기도 하다. 이러한 가축의 복사 에너지 분석을 위하여 시설 내에 용이하게 배포가 가능한 열화상 계측 시스템을 개발하였다. 초소형 마이크로 열화상 계측 시스템에 부가적으로 IOT(Internet of Thing) 기반 기술을 이용한 모듈화 개발을 병행하였다. 열화상 계측 센서로 LWIR(Longwave infrared)영역에 해당하는 $8{\mu}m{\sim}4{\mu}m$의 영역에서 $0.05^{\circ}C$의 분해능을 보이는 $Lepton^{TM}$ (500-0690-00, FLIR, Goleta, CA)모델을 사용하였다. SPI(Serial Peripheral Interface) 속도 2 Mhz로 마이크로프로세서(NanoPi NEO Air, FrendlyArm, CA, USA)와 고속 통신을 수행하여 9 Hz의 계측이 가능하다. 열화상 센서와 마이컴으로 구성되는 단위 계측 시스템의 통신 기능 확장을 위하여 다음과 같이 세 단계의 정보 전달 시나리오를 설계하였다. 1) 단독적으로 열화상을 계측 하고 내장된 메모리에 저장하는 형식 2) 인접한 사용자 인터페이스에서 1번 단독 모듈에 접속하여 열화상을 실시간으로 전송하여 화면에 도시하는 형식 3) 2번 사용자 도시모듈과 병행적으로 Local WI-FI 통신을 이용한 모바일 기기에 화면을 도시하는 형식. 이와 같은 계층적이며 모듈화된 계측 시스템을 구성하기 위해서 1번 모듈에 공개 소프트웨어인 Hostapd 2.5(http://w1.fi/hostapd)버전을 설치하였다. 외부 인터넷 환경이 없는 상황에 1번 모듈 단독으로 AP(Access Point) 기능을 제공하여 지근 거리에 있는 2번 모듈과 3번 모바일 기기의 접속을 관리할 수 있다. 2번 모듈의 경우 화면 다수의 1번 모듈에 접속을 교차적으로 수행하는 방식과 2번 모듈 자체가 AP가 되어 1번 모듈의 접속을 허용하는 형태로 구성되어 있다. 계측 시스템의 계측 매트릭스 구성에 따라 선택적으로 결정할 수 있다. 1번 2번 모듈 공통적으로 TCP/IP Listener와 Client 서비스를 병렬적으로 수행할 수 있도록 개발을 하였다. 3번 모바일 기기에서 사용자 인터페이스 구현을 위하여 범용 Android 기반 GUI 프로그램과 Socket 통신을 연동시켰다. 1개의 열화상 Frame의 전송량은 9,600 Byte ($=80{\times}60{\times}2Byte$) 로 WI-FI 통신 전송 시 2회 ~ 6회 정도 내외로 가변적인 통신 수행 횟수를 나타내었다. 센서 계측 시스템과 정보 전송 시스템을 병렬적으로 구성한 모듈화 된 계측시스템의 전 요소에서 센서에서 제공하는 최대 계측 주기인 9 Hz 구현이 일반적으로 가능하였다. 이를 이용한 추후 연구를 통해 가축 객체의 열복사 정보와 돈사 내 열환경 간의 역학성을 연구할 것이다.

  • PDF

멀티 스레딩 기반 병렬 프로그램의 효과적인 디버깅을 위한 추상적 시각화 (Abstract Visualization for Effective Debugging of Parallel Programs Based on Multi-threading)

  • 김영주
    • 한국정보통신학회논문지
    • /
    • 제20권3호
    • /
    • pp.549-557
    • /
    • 2016
  • 효과적인 시각화는 일반적으로 대용량의 디버깅 정보와 프로그램의 추상적 수행모델을 표현하는 것이 중요하다. 본 논문에서는 스레드들간의 논리적 병행성 관계를 나타내는 부분순서 수행그래프를 이용하여 내포병렬성과 임계구역을 가진 OpenMP 병렬 프로그램의 수행양상과 경합정보의 효과적 디버깅을 위해서 효과적으로 제공하는 추상적 시각화 도구를 제안한다. 본 도구는 수행중 추적선택 기법으로 시각화 정보를 위한 공간적 복잡성을 줄이고, 추적된 시각화 정보에 프로그램의 내포병렬성과 임계구역 동기화를 위한 그래프 추상화를 제공하여 시각적 복잡성을 해결한다. 그래프 추상화를 통한 스레드들간의 부분순서 관계와 경합탐지 정보는 프로그램의 제어흐름과 경합의 위치를 구조적으로 파악할 수 있게 하므로 프로그램 수행의 이해와 경합 탐지 및 수정에 효과적이다.

제트베인 최적 설계를 위한 공기역학 특성 연구 (The study of aerodynamic characteristics to design of optimum jetvane)

  • 신완순;길경섭;이택상;박종호;김윤곤
    • 한국추진공학회지
    • /
    • 제5권1호
    • /
    • pp.26-33
    • /
    • 2001
  • 제트베인 추력편향장치는 노즐 뒤에 장착되어 노즐에서 분사되는 초음속 제트의 유동방향을 편향시킴으로써 하나의 노즐로 피치, 요, 롤 방향의 제어를 할 수 있는 장치이다. 제어력을 얻기 위해 초음속 유동중에 노출되어 있는 제트베인에는 열 및 공기역학적 하중이 작용하게 되며, 제트베인의 형상 및 편향각에 따라 나타나는 충격파 및 제트베인 상호 유동간섭으로 인해 비행 추력 손실 및 측력의 크기에 영향을 미치게 된다. 본 연구에서는 마하 2.88 노즐 중에 놓인 제트베인의 피치 및 요, 롤 방향의 특성을 규명하기 위해 6 종의 제트베인을 선정하고, 각 방향에 따른 제트베인 편향각 $0^{\cire}$~$25^{\cire}$ 범위에서 $5^{\cire}$ 간격으로 유동시험을 각각 수행하였다. 또한, 유동해석을 병행하여 제트베인간의 유동 간섭 특성을 분석하였다. 연구 결과 제트베인간의 상호간섭은 나타나지 않으며, 제트베인의 공기역학적 특성은 현과 리드의 길이 비에 크게 좌우되고, 최대 추력손실은 롤 제어시 축추력의 17%로 나타났다.

  • PDF

제품 아키텍처가 추격 성과에 미치는 영향에 대한 탐색연구: 우리나라의 공작기계 수치제어장치 개발 사례를 중심으로 (An Exploratory Study on the Effect of Product Architecture on Catch-up Performance: The Development Case of Numerical Controllers in Korea)

  • 곽기호;김원준
    • 기술혁신연구
    • /
    • 제24권2호
    • /
    • pp.21-56
    • /
    • 2016
  • 그간 우리나라 등 후발주자의 추격과 그 성과에 대해 다양한 연구가 수행되었으나, 후발주자가 개발한 제품의 아키텍처가 추격 성과에 미친 영향에 대한 논의는 극히 부족하였다. 또한 공작기계의 움직임을 자동으로 제어하는 핵심 부품인 수치제어장치 분야에서 우리나라는 반도체, 조선, 자동차 산업과 달리 과거 40년에 가까운 기간 동안 다양한 개발체제 운영과 정부 지원에도 불구하고 제한적인 추격 성과를 보이거나 추격에 실패하였다. 이에 따라 본 연구에서는 우리나라 공작기계 수치제어장치 개발 사례를 중심으로 제품 아키텍처가 추격 성과에 미친 영향을 탐색적으로 고찰하였으며, 이를 위해 동 분야의 후발주자임에도 불구하고 세계 선도 기업으로 성장한 일본 화낙의 수치제어장치 아키텍처 진화 사례에 대한 심층 분석을 병행하였다. 연구결과 일본 화낙은 1980년대 중반 이후 수치제어장치 아키텍처의 개방형 모듈화를 달성함으로써 다양한 공작기계 생산 기업의 요구 사항에 부응하면서 대량 생산을 통한 원가 절감이 가능한 수치제어장치를 개발 생산하는 데 성공하였다. 이를 통해 화낙은 시장 점유율 확대 및 뛰어난 성과를 달성하였음을 발견하였다. 반면 우리나라는 1970년대 말 이후 약 40년 간의 추격 노력에도 불구하고 수치제어장치 아키텍처의 개방형 모듈화를 달성하지 못함으로 인해 다양한 수요 기업이 생산하는 공작기계에 채택되는데 실패하였으며, 결과적으로 제한된 추격 성과에 그치고 말았다. 또한 이러한 제한적인 추격 성과는 개발 주체의 파산과 매각, 폐쇄 등으로 이어지면서 기술적 지식의 누적에 큰 어려움을 겪었으며, 이로 인해 수치제어장치 아키텍처의 개방형 모듈화를 달성할 수 있는 만큼의 기술을 축적하거나 설계 역량을 확보하지 못했음을 발견하였다. 본 연구 결과는 제품 아키텍처 관점에서 후발주자의 추격 성과를 규명하고, 성공적인 기술 추격에도 불구하고 시장추격에 실패하는 원인을 규명할 수 있는 이론적 기반을 구축하는 데 그 의의가 있다.

주기억장치 데이타베이스에서 교착 상태의 검출을 위한 락 대기 정보의 효과적인 상호 배제 기법 (An Effective Method Guaranteeing Mutual Exclusion of Lock Waiting Information for Deadlock Detection in Main Memory Databases)

  • 김상욱;이승선;최완
    • 한국통신학회논문지
    • /
    • 제24권7B호
    • /
    • pp.1313-1321
    • /
    • 1999
  • 이단계 라킹 규약은 다수의 트랜잭션들의 수행이 병행되는 데이터베이스 환경에서 데이터의 논리적인 일관성을 보장하기 위하여 널리 사용되는 동시성 제어 기법이다. 이단계 라킹 규약을 사용하는 시스템에서는 두 개 이상의 트랜잭션들이 락을 잡은 상태를 서로 다른 트랜잭션이 가진 락을 무한정으로 상호 대기하는 교착 상태가 발생할 수 있다. 교착 상태 검출기는 트랜잭션들 간의 락 대기 정보를 기반으로 시스템 내에 교착 상태가 발생하였는가를 주기적으로 검출하는 기능을 제공한다. 데이터베이스 시스템에서는 트랜잭션들과 교착 상태 검출기의 수행이 병행되며, 이들은 각각의 수행을 위하여 락 대기 정보를 공통으로 읽고 쓰게 된다. 이와 같이, 락 대기 정보는 공유 정보에 해당되므로 상호 배제 기법을 이용한 락 대기 정보의 물리적 일관성을 보장하는 기법이 요구된다. 특히, 고성능의 주기억장치 데이타베이스에서는 이러한 상호 배제 기법의 성능이 전체 시스템에 큰 영향을 미치게 되므로 효율적인 상호 배제 기법은 매우 중요하다. 본 연구에서는 락 대기 정보의 물리적 일관성을 효과적으로 보장하는 새로운 상호 배제 기법을 제안한다. 제안\ulcorner는 기법은 상호 배제를 위한 처리 오버헤드를 극소화하고, 전체 시스템의 동시성을 극대화하는 것을 주요 목표로 한다.

  • PDF