Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Scheduling Algorithmic Research Rami Abielmona 94.571 (ELG 6171) Monday March 27, 2000 Prof. T. W. Pearce Scheduling Algorithms Introduction • Problem definition: – “One CPU with a number of processes. Only one process can use the CPU at a time and each process is specialized in one, and one task. What’s the best way to organize the processes (schedule them) ?” [1] – “How will the CPU time be divided among the processes and threads competing to use it ?” [2] Scheduling Algorithms Embedded OS Architecture • Kernel: – The executor • Executive: – The manager • Application Programs: – The programmer tasks • Real World Interfacing: – S/W handling the H/W Scheduling Algorithms Basic Assumptions • A pool of runnable processes are contending for one CPU; • The processes are independent and compete for resources; • The job of the scheduler is to distribute the scarce resource of the CPU to the different processes “fairly” and in an optimal way; • The job of the dispatcher is to provide the mechanism for running the processes; • The OS is a multitasking, but not a multiprocessor, one; • Only CPU scheduling is considered (the lowest level of scheduling). Scheduling Algorithms Evaluation Characteristics CPU utilization Throughput Waiting time Response time Scheduler efficiency Turnaround time Keep it as high as possible Number of processes completed per unit time Amount of time spent ready to run but not runnin Amount of time between submission of requests and first response to the request Minimize the overhead Mean time from submission to Scheduling Algorithms Processes and Resources • Resources: – Preemptible: • Take resource away, use it for something else, then give it back. (e.g. processor or I/O channel) – Non-preemptible: • Once give, it can’t be reused until process gives it back. (e.g. file space or terminal) • Processes: – IO bound: • Perform lots of IO operations. • IO burst ---- short CPU burst to process IO --- IO burst – CPU bound: • Perform lots of computation and do little IO • CPU burst ----------- Small IO burst ----------- CPU burst Scheduling Algorithms Process State Transitions • The states of a process, at any given time, is comprised of the following minimal set: – Running: • The CPU is currently executing the code belonging to the process. – Ready: • The process could be running, but another process has the CPU. – Waiting: • Before the process can run, some external event must occur. Scheduling Algorithms Types of Schedulers • Long-term scheduler: – admits new processes to the system; – required because each process needs a portion of the available memory for its code and data. • Medium-term scheduler: – is not found in all systems; – required to control the temporary removal from memory of a process when the latter is extractable. • Short-term scheduler: – determines the assignment of the CPU to ready processes; – required because of IO requests and completions. Scheduling Algorithms The Contestants (1) • First-Come First-Serve (FCFS) – – – – One ready queue; OS runs the process at head of the queue; New processes come in at the end of the queue; Running process does not give up the CPU until it terminates or it performs IO. • Round Robin – Process runs for one time slice, then moved to back of the queue; – Each process gets equal share of the CPU. Scheduling Algorithms The Contestants (2) • Shortest Time to Completion (STCF) – Process with shortest computation time left is picked; – Varianted by preemption; – Requires knowledge of the future. • Exponential Queue (Multi-level Feedback) – Gives newly runnable processes a high priority and a very short time slice; – If process uses up the time slice without blocking then decrease priority by one and double time slice for next time; – Solves both efficiency and response time problems. Scheduling Algorithms The Contestants (3) - Priorities • Priority Systems – The highest priority ready process is selected – In case of a tie, FCFS can be used – Priorities could be assigned: • Externally (e.g. by a system manager) • Internally (e.g. by some algorithm) • Combination of external and internal – Preemptive schemes: • Once a process starts executing, allow it to continue until it voluntarily yields the CPU – Non-preemptive schemes: • A running process may be forced to yield the CPU by an external event rather than by its own action Scheduling Algorithms First-Come First-Serve • Non-preemptive FCFS (no priority scheme) – Simplest implementation of scheduling algorithms – Used on timeshared systems (with timer interruption) • Non-preemptive FCFS (with priority scheme) – Next highest priority process is picked when CPU is yielded – Once process grabs CPU, former keeps latter until completion – Rarely used in real-time systems • Preemptive FCFS (with priority scheme) – Most popular FCFS algorithm Scheduling Algorithms Round Robin • Used mostly on timeshared systems • Allows multiple users slices of the CPU on a “round robin” basis • Majority of users have the same priority • Not a popular scheme with dynamic priority systems Scheduling Algorithms Shortest Time to Completion • Priorities are assigned in inverse order of time needed for completion of the entire job • Minimizes average turnaround time • Exponential averaging is used to estimate the process’ burst duration • A job exceeding the resource estimation is aborted • A job exceeding the time estimation is preempted • Store estimated value in PCB for the current burst, and compare with actual value Scheduling Algorithms Exponential Queues • • • Popular in interactive systems A single queue is maintained for each priority level A new process is added at the end of the highest priority queue – It is alloted a single time quantum when it reaches the front • If it yields the CPU within the time quantum, it is moved to the rear • If not, it is placed at the rear of the next queue down • Dispatcher selects the head of the highest priority queue – A job that “succeeds” moves up – A job that “fails” moves down Scheduling Algorithms Implementation - Data Structures • • • • A queue of processes is implemented by linking PCB’s together using a linked list (with first and last node pointers) Since this project’s queues are known to be short, priority is implemented by using priority queues, and PriorityInsert() function calls Different queues are used to represent different states of processes (Ready, Suspended) Self-release of CPU – – • Internal signal Process completion Forced-release of CPU – – Time slot expired External signal Process ID Status Priority Next Process Scheduling Algorithms Implementation - Progress • Used an OO template in order to easily and efficiently implement any necessary queue • Used structurally defined functions to “simulate” the scheduler and dispatcher – fill_poolQ(), get_tasks(src,dest), sort(queue) • Implemented FCFS, RR and STCF – RR was implemented to fairly compare schemes • Theoretical work still needs to be done – comparison and evaluation Scheduling Algorithms Implementation - Issues • The underlying interrupt system basically readies the task for a switch, but does not perform the switch • Process switches are directly handled by the scheduler • This causes a delay from the time of readiness to the time of the switch, which is not tolerated for, let’s say, system exceptions • The solution is to completely by-pass the scheduler (OS) and go directly to an ISR. [1] • Each process is allocated its own private stack and workspace • This is done to avoid different processes overwriting each other’s data and code • This is based on a strict process model, where all heavyweight processes do not share resources • Code that can be shared safely is called ‘re-entrant’ code [1] Scheduling Algorithms Implementation - Analysis • Direct analysis – Pick a task set and observe results • Apply queueing theory to obtain results – Multi-level feedback queue scheme • Simulations of scheme implementations – FCFS, RR, STCF • Innovations and projections – “Lottery” scheduling and “own” algorithm Scheduling Algorithms References 1) Cooling, J.E. Software Design for Real-Time Systems. Chapman & Hall, London, UK: 1995. 2) Stallings, William. Operating Systems: Internals and Design Principles. Upper Saddle River, NJ: Prentice Hall, 1998. 3) http://www.cs.wisc.edu/~bart/537/lecturenotes/s11.html - viewed on 03/24/2000 4) Savitzky, Stephen. Real-Time Microprocessor Systems. Van Nostrand Reinhold Company, N.Y.: 1985. 5) Undergraduate Operating System Course Notes (Ottawa University, 1998)