• 제목/요약/키워드: basic concurrency constraint (BCC)

검색결과 2건 처리시간 0.015초

초경량 실시간 운영체제 TMO-eCos를 위한 TMO 지원 라이브러리 및 BCC 스케줄러 (A TMO Supporting Library and a BCC Scheduler for the Microscale Real-time OS, TMO-eCos))

  • 주현태;김정국
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권7호
    • /
    • pp.505-509
    • /
    • 2009
  • 실시간 처리의 가장 큰 목적은 시스템에서 동작 하는 실시간 태스크들이 주어진 데드라인을 잘 지키도록 하는 것이다. 본 논문에서는 임베디드 시스템을 위한 운영체제인 TMO-eCos의 실시간 태스크 스케줄링 성능 개선을 위하여, TMO(Time-triggered Message-triggered Object) 모델에 필수 요소로 규정된 BCC(Basic Concurrency Control) 스케줄러의 구현과, 실시간 객체 TMO의 객체 기반 프로그래밍을 제공하는 TMO 지원 라이브러리의 설계 및 구현에 관하여 기술한다. BCC 스케줄러는 보장성 컴퓨팅 설계를 위한 것으로, 비동기적 사건 구동 태스크의 스케줄을 사전에 스케줄이 정의된 시간 구동 태스크의 구동 시간을 제외한 여유 시간이 충분할 때에만 허용하는 실시간 스케줄러이다.

Maximizing Concurrency and Analyzable Timing Behavior in Component-Oriented Real-Time Distributed Computing Application Systems

  • Kim, Kwang-Hee Kane;Colmenares, Juan A.
    • Journal of Computing Science and Engineering
    • /
    • 제1권1호
    • /
    • pp.56-73
    • /
    • 2007
  • Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.