IEEE Organizations related to System Kernels

Back to Top

No organizations are currently tagged "System Kernels"



Conferences related to System Kernels

Back to Top

No conferences are currently tagged "System Kernels"


Periodicals related to System Kernels

Back to Top

No periodicals are currently tagged "System Kernels"


Most published Xplore authors for System Kernels

Back to Top

Xplore Articles related to System Kernels

Back to Top

A kernel-oriented algorithm for transmission expansion planning [discussion and closure]

IEEE Transactions on Power Systems, 2001

The authors discuss the paper "A kernel-oriented algorithm for transmission expansion planning" (see ibid., vol.15, no.4, p.1434-40, 2000), stating that the theoretical formulation is easy to follow, but it's practical application leaves many open questions. The original authors' comments on this discussion are also included in the paper.


Temporal analysis of a microkernel

Software Engineering Journal, 1995

Temporal logic techniques have been proposed as a way of achieving a very natural transition from informal requirements to a formal specification of the requirements. The paper presents a case study of a real life system developed using such techniques. Both a top level specification and implementation semantics are given in temporal logic. In particular, the progression from statements in ...


An instance-oriented mechanism in grid-based mobile agent system

2003 Proceedings IEEE International Conference on Cluster Computing, 2003

In this paper, an instance-oriented security mechanism is proposed, to attack possible security threats in grid-based mobile agent system. The proposed delegation profile allows application systems to define their own security instances, while it provides mechanisms to delegate one's identity on those instances, instead of on certain hosts, just like the conventional delegation does. This can prevent the delegated host ...


A kernel running in DSM - design aspects of a distributed operating system

2003 Proceedings IEEE International Conference on Cluster Computing, 2003

The Plurix project implements an object-oriented operating system (OS) for PC clusters. Communication is achieved via shared objects in a distributed shared memory (DSM). The consistency of this distributed memory is guaranteed by an optimistic synchronization scheme and restartable transactions. We contend that coupling object orientation with the DSM property allows quick system startup, simplified development of distributed applications and ...


User-level QoS-adaptive resource management in server end-systems

IEEE Transactions on Computers, 2003

Proliferation of QoS-sensitive client-server Internet applications such as high-quality audio, video-on-demand, e-commerce, and commercial Web hosting has generated an impetus to provide performance guarantees. These applications require a guaranteed minimum amount of resources to operate acceptably to the users, thus calling for QoS-provisioning mechanisms. One good place to locate such mechanisms is in server communication subsystems. Server-side communication subsystems manage ...


More Xplore Articles

Educational Resources on System Kernels

Back to Top

IEEE-USA E-Books

  • A kernel-oriented algorithm for transmission expansion planning [discussion and closure]

    The authors discuss the paper "A kernel-oriented algorithm for transmission expansion planning" (see ibid., vol.15, no.4, p.1434-40, 2000), stating that the theoretical formulation is easy to follow, but it's practical application leaves many open questions. The original authors' comments on this discussion are also included in the paper.

  • Temporal analysis of a microkernel

    Temporal logic techniques have been proposed as a way of achieving a very natural transition from informal requirements to a formal specification of the requirements. The paper presents a case study of a real life system developed using such techniques. Both a top level specification and implementation semantics are given in temporal logic. In particular, the progression from statements in English to temporal logic is highlighted. A correctness proof that the implemented system satisfies the specification has been produced.<>

  • An instance-oriented mechanism in grid-based mobile agent system

    In this paper, an instance-oriented security mechanism is proposed, to attack possible security threats in grid-based mobile agent system. The proposed delegation profile allows application systems to define their own security instances, while it provides mechanisms to delegate one's identity on those instances, instead of on certain hosts, just like the conventional delegation does. This can prevent the delegated host from abusing privileges. By adopting the new delegation profile kernel, a new trust framework is then proposed to enhance the security verification ability and provide more fine-grained authorization to mobile agent platforms.

  • A kernel running in DSM - design aspects of a distributed operating system

    The Plurix project implements an object-oriented operating system (OS) for PC clusters. Communication is achieved via shared objects in a distributed shared memory (DSM). The consistency of this distributed memory is guaranteed by an optimistic synchronization scheme and restartable transactions. We contend that coupling object orientation with the DSM property allows quick system startup, simplified development of distributed applications and a type- consistent system bootstrapping procedure. The OS (including kernel and drivers) is written in Java using proprietary Plurix Java compiler (PJC) to translate Java source code directly into Intel machine instructions. We briefly illustrate the architecture of our DSM-based OS kernel and the resulting synergies for communication between applications and OS. We present advanced issues of memory management with respect to the DSM-kernel classes and strategies to avoid false-sharing.

  • User-level QoS-adaptive resource management in server end-systems

    Proliferation of QoS-sensitive client-server Internet applications such as high-quality audio, video-on-demand, e-commerce, and commercial Web hosting has generated an impetus to provide performance guarantees. These applications require a guaranteed minimum amount of resources to operate acceptably to the users, thus calling for QoS-provisioning mechanisms. One good place to locate such mechanisms is in server communication subsystems. Server-side communication subsystems manage an increasing number of connection end-points, thus readily controlling important bottleneck resources. We propose, implement, and evaluate a novel communication server architecture that maximizes the aggregate utility of QoS-sensitive connections for a community of clients even in the case of overload. A contribution of this architecture is that it manages QoS from the user space and is transparent to the application. It does not require modifications to the OS kernel, which improves portability and reduces development cost. Results from an experimental evaluation on a microkernel indicate that it achieves end-system overload protection and traffic prioritization, improves insulation between independent clients, adapts to offered load, and enhances aggregate service utility.

  • A performance comparison of Linux and a lightweight kernel

    In this paper, we compare running the Linux operating system on the compute nodes of ASCI Red hardware to running a specialized, highly-optimized lightweight kernel (LWK) operating system. We have ported Linux to the compute and service nodes of the ASCI Red supercomputer, and have run several benchmarks. We present performance and scalability results for Linux compared with the LWK environment. To our knowledge, this is the first direct comparison on identical hardware of Linux and an operating system designed specifically for large-scale supercomputers. In addition to presenting these results, we discuss the limitations of both operating systems, in terms of the empirical evidence as well as other important factors.

  • Energy-aware memory firewalling for QoS-sensitive applications

    This paper presents operating system abstractions for managing physical memory and paging that can be used to improve both timing predictability and the run- time performance of soft real-time tasks. First, we propose a memory reservation scheme which allows any application to reserve a portion of the total system memory pages for its exclusive use. If the application's memory needs exceed its memory reservation, its pages are swapped within its own reservation, thereby containing the performance effects of its memory access profile to its reservation. Swap space for the application is also reserved. A memory reservation can be shared by multiple threads/applications, and reservations can be used hierarchically, with children using only a portion of their parent's reservation. Next, we propose a novel methodology to determine reservation sizes for an embedded task-set that optimizes the overall performance of the system. We also show how an application can leverage customized predictable page-replacement policies to minimize performance penalties from avoidable page faults ("capacity misses").

  • An energy-based implicit co-scheduling model for Beowulf cluster

    This paper introduces an implicit co-scheduling model called an energy-based model where a parallel system is considered as an RC electric circuit whose components are processes. The dynamical behavior of the system is represented by the charging and discharging of potentials of these components. The priorities of parallel processes are then adjusted accordingly. The model proposed falls into a framework of implicit co-scheduling techniques where the scheduler uses the recent traces of communication patterns to periodically calculate the priorities of processes. However, no previously proposed models incorporate the history of the communication and computation of the processes. The model is implemented as a highly portable Linux kernel module. The experiments using NAS benchmark show that the co-scheduling kernel modules substantially increase the speed of the parallel program execution. The improvement is better than the recent results reported in the literature.

  • Design of A Pedagogical Framework for Configuration, Execution and Analysis of Distributed Programs

    In distributed system it may pose some problems to visualize the exact nature of functioning and the sequence of events in various nodes of the said system and such insights are essential to comprehend and analyze the behavior of different algorithms executing in different nodes of the system mentioned. This paper describes a framework that has been implemented to help visualize and analyze the working behavior of various algorithms on distributed system. Using this platform it is possible for students and researchers to gain insight into the working of various nodes of a distributed system, check their interactions at run time and thus to test different algorithms in a simulated as well as actual environment. The framework lets the student to check the behavior of certain standard built-in distributed algorithms, viz., Leader Election using Bully and Ring Algorithms, Ricart-Agrawala's Mutual Exclusion Algorithm and Chandy-Mishra-Hash deadlock detection algorithm. The users can also write their own algorithms and use a program generator module to generate programs for different nodes using this framework. Subsequent to the execution, a graphical analyzer module aids the user by showing the execution behavior of the algorithm using a space-time graphical diagram that makes use of Lamport's Time Stamping algorithm. The framework provides built-in system- level supports to facilitate exclusive access to shared resources and detects distributed deadlock also.

  • Model-Based Encryption: Privacy of States in Networked Control Systems

    In this paper, we investigate model-based encryption scheme for privacy of states against eavesdroppers with unbounded computation power in one-channel feedback networked control system (NCSs). In the one-channel feedback NCS, the states of the plant are measured by remote sensors and the controller is co- located with the actuators. To emphasize the mechanics of the proposed approach, the model-based encryption scheme is referred to as masking with system kernel (MSK). In contrast to encryption approaches based on modern cryptography, MSK does not require generation and distribution of secret keys amongst sensors and the controller. It is demonstrated that MSK guarantees privacy of states against eavesdroppers with unbounded computation power if the system parameters of the considered one-channel feedback NCS are selected in an appropriate manner.



Standards related to System Kernels

Back to Top

No standards are currently tagged "System Kernels"


Jobs related to System Kernels

Back to Top