Modeling and validation of the Real-Time Mach scheduler

Hiroshi Arakawa, Daniel I. Katcher, Jay K. Strosnider, Hideyuki Tokuda

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

Real-time scheduling theory is designed to provide a priori verification that all real-time tasks meet their timing requirements. However, this body of theory generally assumes that resources are instantaneously pre-emptable and ignores the costs of systems services. In previous work [1, 2] we provided a theoretical foundation for including the costs of the operating system scheduler in the real-time scheduling framework. In this paper, we apply that theory to the Real-Time (RT) Mach scheduler. We describe a methodology for measuring the components of the RT Mach scheduler in user space. We analyze the predicted performance of different realtime task sets on the target system using the scheduling model and the measured characteristics. We then verify the model experimentally by measuring the performance of the real-time task sets, consisting of RT Mach threads, on the target system. The experimental measurements verify the analytical model to within a small percentage of error. Thus, using the model we have successfully predicted the performance of real-time task sets using system services, and developed consistent methodologies to accomplish that prediction.

本文言語English
ホスト出版物のタイトルProceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993
出版社Association for Computing Machinery, Inc
ページ195-206
ページ数12
ISBN(電子版)0897915801, 9780897915809
DOI
出版ステータスPublished - 1993 6月 1
イベント1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993 - Santa Clara, United States
継続期間: 1993 5月 101993 5月 14

出版物シリーズ

名前Proceedings of the 1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993

Other

Other1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1993
国/地域United States
CitySanta Clara
Period93/5/1093/5/14

ASJC Scopus subject areas

  • ソフトウェア
  • コンピュータ ネットワークおよび通信
  • ハードウェアとアーキテクチャ
  • 計算理論と計算数学

フィンガープリント

「Modeling and validation of the Real-Time Mach scheduler」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル