Calculating a Round-Robin Scheduler
نویسندگان
چکیده
Kropf 7] has collected together a number of problems that can be used as benchmarks for hardware veriication, one of which is a bus arbiter. The function of the bus arbiter is to assign the use of a shared resource on each clock cycle to one out of N subsystems that may want to use it, and in such a way that no subsystem is denied access forever. The most signiicant component in its implementation is a round-robin scheduler. Rather than verify the existing implementation of the scheduler, this paper shows how to construct a correct implementation from the given requirements. We make use of both point-free and pointwise relation algebra.
منابع مشابه
Starvation Free Scheduler for Buffered Crossbar Switches (RESEARCH NOTE)
Need for high speed internet connectivity has lead to a substantial research in switching systems. Buffered crossbar switches have received a lot of attention from both research and industrial communities due of its flexibility and scalability. Designing a scheduling algorithm for buffered crossbar switches without starvation is a major challenge as of now. In this paper, we proposed a Delay ba...
متن کاملStability Improvement of Hydraulic Turbine Regulating System Using Round-Robin Scheduling Algorithm
The sustainability of hydraulic turbines was one of the most important issues considered by electrical energy provider experts. Increased electromechanical oscillation damping is one of the key issues in the turbines sustainability. Electromechanical oscillations, if not quickly damp, can threaten the stability of hydraulic turbines and causes the separation of different parts of the netw...
متن کاملFair Queueing Scheduler for IEEE 802.11 Based Wireless Multimedia Networks
Wireless local area networks are a viable technology to support multimedia traffic One of the prominent wireless local area network standards is the IEEE 802.11 standard. In wireless multimedia networks, mobile stations will be capable of generating a heterogeneous traffic mix with varying bandwidth requirements. In this paper, we investigate in detail, a distributed fair queueing scheduler for...
متن کاملAverage Delay and Queue Length Model for WRRPQ
We present a new iterative mathematical model for calculating the average bandwidth assigned to traffic flows using a Weighted Round Robin with Priority queuing (WRRPQ) scheduler with both strict and rate controlled priority in IP based NGN networks. The bandwidth assignment estimation is based on the average packet length, link speed and the arrival rate. We prove the model outcome with exampl...
متن کاملCharacterization of Advanced Round Robin Scheduler
In this paper we show that Advanced Round Robin (ARR) scheduler is in the class of Latency Rate servers and it also belongs to the class of Guaranteed Rate servers. We present the latency parameter and the error term of ARR. Next, we evaluate the fairness characteristic. Finally, we describe the relationship between ARR and Generalized Processor Sharing. All of these results can make the compar...
متن کامل