The RiDE.C microkernel

Научная статья

Информатика, кибернетика и программирование

C microkernel M. t this point it is resonble to begin with description of microkernel RiDE. nd microkernel rchitecture ssumes to orgnize services mnging resources in the form of userlevel servers which re ccessed over interprocess communiction mchinery IPC nd over the stck of protocols built on IPC.C microkernel re determined by bsic intertsk exchnge protocol – RiDE.



12 KB

0 чел.

The RiDE.C microkernel

M.O. Bakhterev

IMM UrB RAS, Yekaterinburg

It was shown earlier that it is rational to develop distributed OS with new application programming interface (API) allowing to exploit more efficient and easier abilities of modern distributed nonuniform computing systems. The basic principles for structure of such an OS and the basic elements of its API have been already designed, and that allows to proceed to presentation of software components being intended to form the OS. At this point it is reasonable to begin with description of microkernel (RiDE.C), because its design reflects the main features of the OS.

Distributed systems (DS) might be build in the framework of traditional OSes with big monolithic kernels (macrokernels). But overall system structure becomes more complex with this approach. Distributed OS should give applications access to resources in the manner independent of mutual layout of these applications and resources on the system nodes, after all. To achieve that within macrokernel architectures it is needed to use some resource through proxy server. Such server using network service of the kernel provides connectivity with remote nodes of system: it receives external resource requests, translates them (translation TQ) into calls to kernel service maintaining the resource, translates the results of the calls to form replies (TR), and sends them out.

And microkernel architecture assumes to organize services managing resources in the form of user-level servers, which are accessed over inter-process communication machinery (IPC) and over the stack of protocols built on IPC. Traditionally, that serves as the premise to conclusion about  inefficiency of such architectures, because the task context switching is needed to execute application requests. But the working through proxy server in DS based on macrokernel architecure also demands to switch the contexts, even in the case when the resource and the application using it are on the same node. And the need to develop additional protocol and to communicate over it (TR, TQ) makes solution with macrokernel for distributed OS less effective and more complex.

Many features of RiDE.C microkernel are determined by basic inter-task exchange protocol – RiDE.P. It describes interaction over areas of shared memory, and allows to translate over the network transparently for applications the acts of interaction with the help of software agents executed outside microkernel. The RiDE.P protocol only demands from microkernel to support simple synchronization primitive – r-semaphore (unidirectional ring, in contrast to stack behavior of counter, point-to-point semaphore), operations on which are also translatable through agents over the RiDE.P (property ST).

Some features of the RiDE.C microkernel follow.

1. Every  algorithm used in RiDE.C functionality implementation has time complexity of O(1). Even the time management subsystems, algorithms for which in traditional OSes have complexity of O(n*n) or O(n*log(n),  n – the number of software timers being used.

2. The architecture of OS being developed assumes that load balancing functions are carried out to user-level process. The RiDE.C scheduler does not solve the task of balancing, because it cannot be solved qualitatively enough without taking into account the peculiarities of specific application.

3. The RiDE.C scheduler was designed to provide good execution conditions for interactive tasks (at DS they are tasks controlling data exchange), as well as for tasks with large computational time. Optimizing the work of first ones, the scheduler tracks task groups, which occupy processor for a long time, and lowers their interactivity level. Supporting the second ones, the scheduler reprograms hardware timer to provide processor-bounded tasks with long intervals of uninterrupted work. Both types of tasks in many traditional OSes are interrupted equally frequently, and user can get unfair long amount of processor time for her/his application, because only the individual behaviors of tasks forming the application are analyzed.

4. Only two actions with r-semaphores are defined by RiDE.C API as system calls. Access to all other microkernell functionality is defined by API as protocol over RiDE.P, that together with property ST allows to flexibly adjust access to microkernel. The tasks working with microkernel on some remote node of system, as well as the tasks having no control over microkernel running the local for tasks node are standard for OS being developed. Such capability is important element in the dataflow based model of parallel programming for nonuniform DS, which was proposed earlier.

5.The RiDE.C API prescribe to allocate and to tune data structures for microkernel at the external user level manager and to begin their usage at the microkernel itself after simple registration. Such functions as “create task” or “create r-semaphore” are absent, because they demand to work with memory at the microkernel level leading to difficulties when virtual memory is used. This approach does not lower the general system security (the memory manager is always trusted component), but allows to make microkernel simpler and, what is more important for big computations, opens access to states of tasks and r-semaphores connecting them from user level. That, in its turn, leads to simplification of the implementation of orthogonal persistence machinery: checkpoints, task migration between nodes of DS. Also that allows to run load balancers specialized for concrete applications at the user level.

By present uniprocessor version of microkernel has been implemented. The work on drivers providing task interaction in multiprocessor systems and the work on drivers providing access to modern hardware timers are carried out.


А также другие работы, которые могут Вас заинтересовать

29962. Виды и функции речи 48 KB
  Рубинштейн Речь – это процесс материализации мысли. Леонтьев Речь – Это деятельность общения – выражения воздействия сообщения = посредством языка; речь – это язык в действии. Речь это форма существования сознания мыслей чувств переживаний для другого служащая средством общения с ним и форма обобщённого отражения действительности или форма существования мышления. Рубинштейн Важно отличать речь от языка.
29963. Теория поля Курта Левина 46.5 KB
  Теория поля Курта Левина 1.: категория гешт образ Левин мотив; у гештальтистов образ рассматривался в отрыве от мотивации а мотивация у Левина отрывается от предметносмыслового содержания ситуации т. Для Левина поле это структура в которой совершается поведение. Понятие поля у Левина охватывает внутренний человека и внешний окружающее факторы.
29964. Структура личности и различные методологические подходы к ее изучению 52.5 KB
  Структура личности и различные методологические подходы к ее изучению Понятие личности Л – внешн проявление индивидуальности – как чел воспринимается окружающими и как он на них воздействует в римском театре маска актера =личина лицо обращенное к аудрии. Общее представление о структуре личности. Структурный и динамический подходы к изучению личности Каждая теория личности тем или иным образом отвечает на вопрос: Каким образом определяются структурные единицы личности и взаимосвязи между ними....
29965. Роль индивидных свойств человека в развитии личности 48 KB
  Темперамент как форма интеграции первичных индивидных свойств. Темперамент характеристика индивида со стороны динамических особенностей его психической деятельности т. У темперамента нет единого содержания и единой системы внешних проявлений. Попытки такого анализа приводят к выделению трех главных ведущих компонентов темперамента относящихся к сферам общей активности индивида его моторики и его эмоциональности.
29966. Личность и характер 70.5 KB
  Современное состояние исследований характера. По Рубинштейну способ поведения является наиболее существенным и показательным выражением характера но характер определяет и сам способ поведения. Основные проблемы психологии характера К настоящему времени понятие характер признано дискуссионным. сомнения в возможности изучения характера как самостоятельного явления вообще.
29967. Личность и способности 44 KB
  Личность и способности. ПРОБЛЕМЫ что такое способности как способности соотносятся с основными психическими процессами соотношение наследственности и среды в развитии способностей соотношение общих способностей и интеллекта природа и взаимосвязь общих и специальных способностей возможности измерения способностей пути и методы эффективного развития способностей Ученые: В. Понятие о способностях Петровский: Способности это такие психологические особенности человека от которых зависит успешность приобретения ЗУНов это...
29968. Основные проблемы психологии эмоций 65.5 KB
  Основные проблемы психологии эмоций Эмоции –это переживание челом его отношения к окружающему миру и самому себе. Экспрессии выделил Дарвин; по внешн проявлениям другие судят об эмоции; важно у животных – сист знаков предупреждений оповещений. Появление данной теории привело к упрощению понимания механизмов произвольной регуляции например нежелательные эмоции такие как горе или гнев можно подавить если намеренно совершать действия в результате которых обычно появляются положительные эмоции. В ней эмоции трактуются как субъективные...
29969. Основные проблемы психологии воли 91 KB
  Основные проблемы психологии воли. Понятие воли волевого действия волевой регуляции. Проблема воли имеет не только психологические но и философские и правовые аспекты. Характерно что проблема свободы воли и ответственности продолжает оставаться предметом анализа и споров философов юристов.
29970. Основные проблемы психологии мотивации 76.5 KB
  Потребность ПТ – свойство всех живых существ у человека – осознание и цель. Понимание потребности как нужды в чёмлибо что находится за пределами организма Узнадзе Платонов Потребность как отсутствие блага благо – состояние человека и внешней среды которые обуславдивают сохранение и развитие субекта Магун. Потребность как необходимость как заложенная программа Д.Леонтьев: потребность есть объективное отношение между субъектом и миром.