Facing practical limits to increasing processor frequencies, manufacturers have resorted to multi-core designs in their commercial products. In multi-core implementations, cores in a physical package share the last-level caches to improve inter-core communication. To efficiently exploit this facility, operating systems must employ cache-aware schedulers. Unfortunately, virtualization software, ...

Parallel Prolog systems consist, at least conceptually, of two components: an engine and a scheduler. This paper addresses the problem of deening a clean interface between these components. Such an interface has been designed for Aurora, a prototype or-parallel implementation of the full Prolog language for shared memory multiprocessors. The practical purpose of the interface is to enable diier...

Scheduler Fifo Scheduler Abstract Scaffold Brick Architecture Component Connector Event

This paper examines the applicability of the new specification language E-LOTOS in the description of real time applications. E-LOTOS is the new extended version of LOTOS, currently under consideration by the ISO/IEC committee. The paper presents the complete process of producing the formal specification of a real time scheduler from its informal description. During this process, a semi-formal ...

In this paper we propose a new infrastructure for efficient job scheduling on the Grid using multi-agent systems and a Service Level Agreement (SLA) negotiation protocol based on the Contract Net Protocol. The agent-based Grid scheduling system involves user agents, local scheduler agents, and super scheduler agents. User agents submit jobs to Grid compute resources. Local scheduler agents sche...

In this paper we present a framework to integrate speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources and CPUs, . . . ) is speci ed in terms of a timed Petri-net formalism. We show how to generate, in a second step, the most genera...

In this paper we present the performance analysis of two nite queues coupled by a triggering scheduler Customers waiting for service have rst to pass the scheduler and then experience service by their dedicated server The scheduler is permitted to gather a custo mer from a particular queue only if the corresponding server is idle An application of this model can be found in job shop like manufa...

In industry, gain-scheduled proportional-integral-derivative (PID) control is performed for nonlinear systems using a look-up table (LUT) that easy to understand. Compared with the fixed PID, there are many more parameters of scheduler, and it takes lot time tune them. Also, ROM storage area increases. To address these problems, in this paper, we propose law sparse polynomial functions direct p...

This paper is a study of scheduler latencies in different versions of Linux 2.6 kernel with emphasis set on its usage in real-time systems. It tries to find the optimal kernel configuration leading to minimal latencies using some soft real-time tuning options. Benchmark tests under heavy load show differences between kernels and also between different scheduling policies. We compare Linux kerne...