Wyniki wyszukiwania - Biblioteka Nauki

1

SEU - the phenomenon omitted by modern operating systems

100%

Borzęcki M. , Świercz B. , Napieralski A.

|

tom R. 55, nr 7

534-536

EN

Modern operating systems are expected to provide one of the key features: performance, meeting time constraints or reliability. Sometimes, the operating systems designers may embed a mix of the listed features, but very few of them are aware of the adverse influence of the environment. In this paper, neutron radiation and cosmic rays are considered as the external factors. A software method of countering the environment induced errors is presented, together with a discussion of the implementation possibilities based on the Linux kernel.

PL

W zależności od przeznaczenia systemu operacyjnego, projektanci skupiają się na jednej z kluczowych cech: wydajności, determinizmie czasowym lub niezawodności. Często projektanci systemów operacyjnych uwzględniają kilka z przytoczonych cech jednocześnie, lecz zazwyczaj zapominają o niekorzystnym wpływie otoczenia na sprzęt elektroniczny. Celem artykułu jest omówienie wpływu jednego z czynników zewnętrznych, jakimi są promieniowanie neutronowe lub kosmiczne, na pracę systemów operacyjnych. Zamiarem autorów artykułu jest przedstawienie programowego algorytmu ochrony systemów przed błędami oraz omówienie możliwości implementacji algorytmu na przykładzie jądra systemu Linux.

2

Efficient data management on a multicomputer

100%

Łukawski G. , Sapiecha K.

|

tom R. 108, z. 1-I

33-47

EN

High performance, fault tolerance and scalability are usual requirements for an application running on a multicomputer. The paper presents different variants of centralized SDDS LH* architecture in the light of all the requirements. Hence, the paper briefly summarizes already published features of SDDS that concern data scalability and fault tolerance, and then introduces a new option for SDDS called throughput scalability that can balance workload of nodes of a multicomputer. Finally, having met all the requirements for efficient management of data on a multicomputer the SDDS schemes are estimated as for the time and memory overhead.

PL

Wysoka wydajność, odporność na błędy i skalowalność to typowe wymagania aplikacji dla multikomputerów. W artykule zaprezentowano różne odmiany struktur SDDS LH* o architekturze scentralizowanej w świetle wszystkich tych wymagań. Podsumowano znane już możliwości struktur SDDS dotyczące skalowalności danych i odporności na błędy oraz przedstawiono nową funkcjonalność SDDS nazwaną skalowalnością przepustowości, pozwalającą na zrównoważenie obciążenia węzłów multikomputera. Ostatecznie, po spełnieniu wszystkich wymagań w kwestii efektywnego zarządzania danymi w obrębie multikomputera, struktury SDDS są analizowane pod względem kosztów czasowych i pamięciowych.

3

Wybrane zagadnienia analizy i projektowania rozproszonych systemów komputerowych czasu rzeczywistego

100%

Gajer M.

|

tom Vol. 47, z. 4

401-431

PL

W artykule dokonano przeglądu rozwiązań stosowanych w analizie i projektowaniu współczesnych systemów komputerowych czasu rzeczywistego. W artykule wprowadzono podstawowe pojęcia i koncepcje związane z dziedziną przetwarzania danych w czasie rzeczywistym. Szczególną uwagę zwrócono na te zagadnienia, które posiadają szczególne znaczenia z punktu widzenia niezawodności i bezpieczeństwa działania systemów czasu rzeczywistego. W artykule zamieszczono także krótką dyskusję rozwiązań zaproponowanych w literaturze przedmiotu. W artykule poruszono zagadnienia dotyczące systemów operacyjnych dla rozproszonych systemów komputerowych czasu rzeczywistego. Poruszono także zagadnienia związane z synchronizacją w takich systemach. Artykuł zakończono dyskusją o potencjalnych zastosowaniach rozproszonych systemów czasu rzeczywistego.

EN

The paper surveys the state of the art in real-time computing. In the paper some basic concepts related with real-time computing field are introduced. Further the basic key issues in the design of real-time systems are identified. Solutions proposed in literature for tackling these issues are also briefly discussed. In the paper the different types of distributed real-time systems architectures is discussed. The operation systems for distributed real-time systems are also discussed. The synchronisation issues in real-time systems are also taken into account. The article is terminated by the discussion of potential application of real-time systems.

4

Zagadnienia przydziału i planowania zadań w systemach czasu rzeczywistego

100%

Gajer M.

|

tom Vol. 47, z. 4

433-461

PL

W artykule dokonano przeglądu rozwiązań stosowanych współcześnie w dziedzinie alokacji i szeregowania zadań dla systemów czasu rzeczywistego. Zamieszczono zwięzłe charakterystyki czterech podstawowych schematów postępowania podczas szeregowania zadań dla systemów czasu rzeczywistego. Omówiono podejścia oparte na: statycznym szeregowaniu z tablicą zadań, szeregowaniu z wywłaszczeniem priorytetowym, szeregowaniu dynamicznym z planowaniem oraz szeregowaniu dynamicznym ukierunkowanym na jak najlepsze działanie systemu. Dokonano także przeglądu technik bezpośrednio związanych z problematyką przy przydziału i szeregowania zadań, takich jak: szeregowanie z zapewnieniem odporności systemu na błędy oraz techniką obliczeń nieprecyzyjnych. Rozważano zagadnienia szeregowania zadań zarówno w systemach jednoprocesorowych, jak i wieloprocesorowych. Na zakończene artykułu podano warunek na szeregowalność zbioru niezależnych zadań okresowych.

EN

The paper summarises the state of real-time field in the areas of scheduling and operating system kernels. In the paper four paradigms underlying the scheduling approaches are presented. These are: static table driven scheduling, static priority preemptive scheduling, dynamic planning-based scheduling, and dynamic best effort scheduling. In the paper some other issues related with the field of task scheduling, like fault tolerant scheduling and imprecise computation technique, are also discussed. There are discussed task scheduling algorithms for both uniprocessor and multiprocessor systems. The condition for independent periodic task schedulability is also given

5

Robust Stabilization for Uncertain Time-Varying Delay Constrained Systems With Delay-Dependence

100%

Han Q. L. , Mehdi D.

|

tom Vol. 9, no 2

293-311

EN

This paper is concerned with the problem of robust stabilization of linear time-varying delay systems containing saturating actuators in the presence of nonlinear parametric perturbations. Based on Razumikhin's approach to the stability of functional differential equations, we determine upper bounds on the time-varying delay such that the uncertain system under consideration is robustly globally or locally asymptotically stabilizable via memoryless state feedback control laws. The obtained bounds are given in terms of solutions to Lyapunov equations. Two numerical examples are included to illustrate the results.