请输入您要查询的百科知识:

 

词条 Soft Hard Real-Time Kernel
释义

  1. Main features

  2. Applications

  3. Modularity

  4. History

  5. See also

  6. External links

{{Infobox OS
| name = S.Ha.R.K.
| logo =
| screenshot =
| caption =
| developer = Sant'Anna School of Advanced Studies
| source_model = Open source
| kernel_type = Microkernel
| supported_platforms =
| ui =
| family = Unix-like real-time operating systems
| released =
| latest_release_version = 1.5.3
| latest_release_date = January 17, 2007
| latest_test_version =
| latest_test_date =
| marketing_target =
| programmed_in =
| prog_language =
| language =
| updatemodel =
| package_manager =
| working_state = Current
| license = GNU General Public License
| website = shark.sssup.it
}}

S.Ha.R.K. (the acronym stands for Soft Hard Real-time Kernel) is a completely configurable kernel architecture designed for supporting hard, soft, and non real-time applications with interchangeable scheduling algorithms.

Main features

The kernel architecture's main benefit is that an application can be developed independently from a particular system configuration. This allows new modules to be added or replaced in the same application, so that specific scheduling policies can be evaluated for predictability, overhead and performance.

Applications

S.Ha.R.K. was developed at RETIS Lab, a research facility of the Sant'Anna School of Advanced Studies, and at the University of Pavia, as a tool for teaching, testing and developing real-time software systems. It is used for teaching at many universities, including the Sant'Anna School of Advanced Studies and Malardalens University in Sweden.

Modularity

Unlike the kernels in traditional operating systems, S.Ha.R.K. is fully modular in terms of scheduling policies, aperiodic servers, and concurrency control protocols. Modularity is achieved by partitioning system activities between a generic kernel and a set of modules, which can be registered at initialization to configure the kernel according to specific application requirements.

History

S.Ha.R.K. is the evolution of the Hartik Kernel and it is based on the OSLib Project.

See also

{{Portal|Free and open-source software}}
  • Real-time operating system

External links

  • The S.Ha.R.K. Project official site

2 : Real-time operating systems|Free software operating systems

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/10 11:11:59