• 제목/요약/키워드: real-time schedule

검색결과 232건 처리시간 0.028초

VIT: 게스트 운영체제의 실시간성 지원을 위한 타이머 하이퍼콜 (VTF: A Timer Hypercall to Support Real-time of Guest Operating Systems)

  • 박미리;홍철호;유시환;유혁
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제37권1호
    • /
    • pp.35-42
    • /
    • 2010
  • 가상화 환경에서는 여러 개의 게스트 운영체제가 자원을 공유하고 있는데 특히 CPU는 시간 분할 방식에 의해 분배 된다. 따라서 각 가상 머신은 모든 물리 시간을 점유하지 못하고, 이는 CPU를 점유하지 못한 시간에 동작해야 하는 태스크 실행이 보장되지 못하는 결과를 야기시킨다. 이와 같은 응답성의 저하는 기존의 서버 가상화에서 치명적인 문제가 되지 않으나 임베디드 시스템에서 동작하는 실시간 태스크 측면에서는 중요하게 다루어 져야 하는 요구사항이 된다. 본 논문에서 우리는 실시간성과 관련된 타이머를 가상 머신 모니터에 등록할 수 있는 하이퍼콜을 제안한다. 이 하이퍼콜을 통하여 등록된 타이머는 만료된 시점에 해당 가상 머신이 실행되게 한다. 따라서 실시간성을 요하는 태스크들이 의도된 시간에 실행 가능하게 하며 다른 가상 머신의 기아 현상을 완화시켜 준다. 이어지는 실험에서는 Xen-Arm에 이를 구현하여 게스트 운영체제인 리눅스에서의 실시간성을 평가한다. 특히 테스트 응용과 Mplayer의 응답성 및 초당 프레임 수를 측정하여 한 개의 게스트 운영체제만이 동작하는 환경에서와 비슷한 실시간성이 지원될 수 있음을 보인다.

유전 알고리즘과 시뮬레이션을 통한 동적 스케줄링 (A Genetic Algorithm and Discrete-Event Simulation Approach to the Dynamic Scheduling)

  • 윤상한;이종환;정관영;이현수;위도영;정지용;서영복
    • 산업경영시스템학회지
    • /
    • 제36권4호
    • /
    • pp.116-122
    • /
    • 2013
  • This study develops a dynamic scheduling model for parallel machine scheduling problem based on genetic algorithm (GA). GA combined with discrete event simulation to minimize the makespan and verifies the effectiveness of the developed model. This research consists of two stages. In the first stage, work sequence will be generated using GA, and the second stage developed work schedule applied to a real work area to verify that it could be executed in real work environment and remove the overlapping work, which causes bottleneck and long lead time. If not, go back to the first stage and develop another schedule until satisfied. Small size problem was experimented and suggested a reasonable schedule within limited resources. As a result of this research, work efficiency is increased, cycle time is decreased, and due date is satisfied within existed resources.

적시 생산 방식에서의 주조공정 스케줄링 (Scheduling of a Casting Sequence Under Just-In-Time (JIT) Production)

  • 박용국;양정민
    • 산업경영시스템학회지
    • /
    • 제32권3호
    • /
    • pp.40-48
    • /
    • 2009
  • In this article, scheduling of a casting sequence is studied in a casting foundry which must deliver products according to the Just-in-time(JIT) production policy of a customer. When a foundry manufactures a variety of casts with an identical alloy simultaneously, it frequently faces the task of production scheduling. An optimal casting schedule should be emphasized in order to maximize the production rate and raw material efficiency under the constraints of limited resources; melting furnaces and operation time for a casting machine. To solve this practical problem-fulfilling the objectives of casting the assigned mixed orders for the highest raw material efficiency in a way specified by the customer's JIT schedule, we implement simple integer programming. A simulation to solve a real production problem in a typical casting plant proves that the proposed method provides a feasible solution with a high accuracy for a complex, multi-variable and multi-constraint optimization problem. Employing this simple methodology, a casting foundry having an automated casting machine can produce a mixed order of casts with a maximum furnace utilization within the due date, and provide them according to their customer's JIT inventory policy.

MPRF 파형을 사용하는 항공기 레이더에서 탐색/추적을 위한 실시간 PRF 선택 (Real-Time PRF Selection for Search/Track in MPRF Waveform Airborne Radar)

  • 김태형;김은희;이성원
    • 한국전자파학회논문지
    • /
    • 제25권10호
    • /
    • pp.1050-1061
    • /
    • 2014
  • 항공기 레이더는 하방 또는 사방의 공대공 표적을 탐지/추적하기 위하여 보통 MPRF 파형을 사용한다. 항공기용 레이더가 MPRF 파형을 운용하기 위하여, 거리/속도에서 존재하는 모호성을 해결하면서 클러터를 회피하여 하방 공대공 표적을 탐지할 수 있는 최적의 PRF들을 선택하여 운용할 수 있어야 한다. 이 논문은 실시간 환경변화 상황에서 표적을 탐지/추적하기 위한 최적의 PRF들을 실시간으로 찾는 방법을 제시한다.

보일러 고온요소의 수명 감시시스템 소프트웨어 개발 (Development of On-line Life Monitoring System Software for High-temperature Components of Power Boilers)

  • 윤필기;정동관;윤기봉
    • 한국에너지공학회:학술대회논문집
    • /
    • 한국에너지공학회 1999년도 춘계 학술발표회 논문집
    • /
    • pp.171-176
    • /
    • 1999
  • Nondestructive inspection and accompanying life analysis based on fracture mechanics were the major conventional methods for evaluating remaining life of critical high temperature components in power plants. By using these conventional methods, it has been difficult to perform in-service inspection for life prediction. Also, quantitative damage evaluation due to unexpected abrupt changes in operating temperature was almost impossible. Thus, many efforts have been made for evaluating remaining life during operation of the plants and predicting real-time life usage values based on the shape of structures, operating history, and material properties. In this study, a core software for on-line life monitoring system which carries out real-time life evaluation of a critical component in power boiler(high temperature steam headers) is developed. The software is capable of evaluating creep and fatigue life usage from the real-time stress data calculated by using temperature/stress transfer Green functions derived for the specific headers and by counting transient cycles. The major benefits of the developed software lie in determining future operating schedule, inspection interval, and replacement plan by monitoring real-time life usage based on prior operating history.

  • PDF

전력기기 특성 및 가동 지연 불편도를 고려한 실시간 급작 수요 협상 프레임웍 기반 스마트 그리드 시스템 (Real Time Sudden Demand Negotiation Framework based Smart Grid System considering Characteristics of Electric device type and Customer' Delay Discomfort)

  • 유대선;이현수
    • 전기학회논문지
    • /
    • 제68권3호
    • /
    • pp.405-415
    • /
    • 2019
  • The considerations of the electrical device' characteristics and the customers' satisfaction have been important criteria for efficient smart grid systems. In general, an electrical device is classified into a non-interruptible device or an interruptible device. The consideration of the type is an essential information for the efficient smart grid scheduling. In addition, customers' scheduling preferences or satisfactions have to be considered simultaneously. However, the existing research studies failed to consider both criteria. This paper proposes a new and efficient smart grid scheduling framework considering both criteria. The framework consists of two modules - 1) A day-head smart grid scheduling algorithm and 2) Real-time sudden demand negotiation framework. The first method generates the smart grid schedule efficiently using an embedded genetic algorithm with the consideration of the device's characteristics. Then, in case of sudden electrical demands, the second method generates the more efficient real-time smart grid schedules considering both criteria. In order to show the effectiveness of the proposed framework, comparisons with the existing relevant research studies are provided under various electricity demand scenarios.

리눅스 미들웨어(TMOSM/Linux)에서 주기성을 가진 실시간 태스크의 스케쥴링 향상에 관한 연구 (A Study on the Scheduling Improvement for Periodic Real-time Taske on Middleware based on Linux(TMOSM/Linux))

  • 박호준;이창훈
    • 정보처리학회논문지A
    • /
    • 제11A권7호
    • /
    • pp.483-488
    • /
    • 2004
  • 실시간 응용 제품을 개발하기 위해 운영체제는 실시간 태스크의 시간 보장성(timeliness guarantee)이 지원되어야한다. 그러나 현재 대부분의 운영체제는 실시간 태스크의 시간적 제약조건(timing constraints)을 효율적으로 지원할 수 있는 방법을 제공해 주지 못하고 있다. 실시간 응용의 시간적 제약조건을 지원하기 위해서는 운영체제 커널 변경 방법과 미들웨어 방법이 있다. 본 논문에서는 운영체제 변경없이 잘 알려진 Real-time Object Model인 TMO에 근거한 미들웨어 접근 방식을 적용한다. 현재 TMO(Time-triggered Message-triggered Object) 모델을 기반으로 한 미들웨어로 다양한 운영체제 시스템 상에서 개발되어온 TMOSM(TMO Support Middleware)이 있다. 리눅스 기반의 TMOSM의 스케줄링 알고리즘은 효율적으로 실시간 스케줄링을 지원하지만 주기적인 실시간 태스크를 위해 몇 가지 고려해야할 사항들이 있다. 본 논문에서 는 주기적인 실시간 태스크를 효율적으로 처리할 수 있는 개선된 실시간 미들웨어 스케줄링 알고리즘을 제안하고 성능을 비교한다. 제안한 알고리즘은 실시간 미들웨어의 구조를 간단하게 함으로써 시스템 성능 향상과 주기적인 실시간 태스크의 적시성을 더욱더 보장함을 확인하였다.

OPTIMAL PERIOD SELECTION TO MINIMIZE THE END-TO-END RESPONSE TIME

  • SHIN M.;LEE W.;SUNWOO M.
    • International Journal of Automotive Technology
    • /
    • 제6권1호
    • /
    • pp.71-77
    • /
    • 2005
  • This paper presents a systematic approach which determines the optimal period to minimize performance measure subject to the schedulability constraints of a real-time control system by formulating the scheduling problem as an optimal problem. The performance measure is derived from the summation of end-to-end response times of processed I/Os scheduled by the static cyclic method. The schedulability constraint is specified in terms of allowable resource utilization. At first, a uniprocessor case is considered and then it is extended to a distributed system connected through a communication link, local-inter network, UN. This approach is applied to the design of an automotive body control system in order to validate the feasibility through a real example. By using the approach, a set of optimal periods can easily be obtained without complex and advanced methods such as branch and bound (B&B) or simulated annealing.

실시간 시스템의 주기적 태스크의 최적 오프셋 탐색 (An Approach to Optimize Initial Offsets of Periodic Tasks in Real-Time Systems)

  • 권지혜;이창건
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
    • /
    • pp.170-172
    • /
    • 2012
  • 실시간 시스템(real-time system)은 논리적 연산을 일정한 시간적 제약 하에서 수행하는 시스템이다. 시간적 제약을 충족하도록 주기적 태스크(periodic task)를 스케줄(schedule)할 때 일반적으로 태스크 오프셋(initial offset)이 0 이거나 고정된 것으로 가정한다. 그러나 오프셋에 약간의 유연성을 허용함으로써 태스크들의 평균 응답 시간을 줄일 수도 있다. 이 논문에서는 주기적 태스크의 오프셋을 주어진 허용 범위 안에서 선택하여 평균 응답 시간(response time)을 최적화할 수 있음을 보이고, 임의의 태스크 집합에 대하여 최적 오프셋이 존재하는 좁은 범위를 제시한다.

실시간 및 비실시간 패킷서비스를 위한 통합 패킷 스케줄링 (Integrated Packet Scheduling Algorithm for real-time and non-real-time packet service)

  • 이은영;박형근
    • 한국정보통신학회논문지
    • /
    • 제13권5호
    • /
    • pp.967-973
    • /
    • 2009
  • 최근 고속데이터통신방법을 사용하는 3세대 이동통신 서비스가 널리 보급됨에 따라 VoIP와 같은 다양한 실시간 데이터 서비스에 대한 요구 또한 증대되고 있다. VoIP 패킷은 일반적인 데이터패킷과 달리 한계지연시간이 있으며 낮은 손실율을 필요로 한다. 우리는 이러한 VoIP 패킷의 특징을 고려함과 동시에 데이터 패킷과 통합적으로 스케줄링이 가능한 스케줄링 알고리즘을 제안하고자 한다. 본 알고리즘은 기본적으로 지연시간 및 채널상태를 함께 고려하여 스케줄링 하되 VoIP 패킷이 큐에 머물러 있는 시간이 증가함에 따라 채널상태에 대한 가중치를 줄이고 지연시간에 대한 가중치를 높임으로서 스케줄링 우선권을 할당한다. 실험을 통해 우리는 이 알고리즘이 기존의 방법에 비해 높은 성능을 가지고 있음을 입증할 수 있었다.