Processor Scheduling

Total Page:16

File Type:pdf, Size:1020Kb

Processor Scheduling Background • The previous lecture introduced the basics of concurrency Processor Scheduling – Processes and threads – Definition, representation, management • We now understand how a programmer can spawn concurrent computations • The OS now needs to partition one of the central resources, the CPU, between these concurrent tasks 2 Scheduling Scheduling • The scheduler is the manager of the CPU • Threads alternate between performing I/O and resource performing computation • In general, the scheduler runs: • It makes allocation decisions – it chooses to run – when a process switches from running to waiting certain processes over others from the ready – when a process is created or terminated queue – when an interrupt occurs – Zero threads: just loop in the idle loop • In a non-preemptive system, the scheduler waits for a running process to explicitly block, terminate or yield – One thread: just execute that thread – More than one thread: now the scheduler has to make a • In a preemptive system, the scheduler can interrupt a resource allocation decision process that is running. Terminated • The scheduling algorithm determines how jobs New Ready Running are scheduled Waiting 3 4 Process States Scheduling Evaluation Metrics • There are many possible quantitative criteria for Terminated evaluating a scheduling algorithm: New Ready Running – CPU utilization: percentage of time the CPU is not idle – Throughput: completed processes per time unit Waiting – Turnaround time: submission to completion – Waiting time: time spent on the ready queue Processes are I/O-bound when they spend most of – Response time: response latency their time in the waiting state – Predictability: variance in any of these measures Processes are CPU-bound when they spend their time in the ready and running states • The right metric depends on the context Time spent in each entry into the running state is called a CPU burst 5 6 Scheduling Algorithms FCFS Scheduling Algorithms LIFO • First-come First-served (FCFS) (FIFO) • Last-In First-out (LIFO) – Jobs are scheduled in order of arrival – Newly arrived jobs are placed at the head of the ready queue – Non-preemptive – Improves response time for newly created threads • Problem: • Problem: – Average waiting time can be large if small jobs wait behind – May lead to starvation – early processes may never get the long ones CPU P1 P2 P3 time 0 16 20 24 P2 P3 P1 0 4 8 24 – May lead to poor overlap of I/O and CPU and convoy effects 7 8 Problem Scheduling Algorithms SJF • You work as a short-order cook • Shortest Job First (SJF) – A short order cook has to cook food for customers as they – Choose the job with the shortest next CPU burst come in and specify which dish they want – Provably optimal for minimizing average waiting time – Each dish takes a different amount of time to prepare • You want to minimize the average amount of P1 P3 P2 time the customers wait for their food 0 15 21 24 • What strategy would you use ? PP PP P – Note: most restaurants use FCFS. 3 2 2 3 1 0 3 9 24 • Problem: – Impossible to know the length of the next CPU burst 9 10 Shortest Job First Prediction Scheduling Algorithms SRTF • Approximate the duration of the next CPU-burst from • SJF can be either preemptive or non-preemptive the durations of the previous bursts – The distinction occurs when a new, short job arrives while the – The past can be a good predictor of the future currently process has a long time left to execute • No need to remember entire past history • Preemptive SJF is called shortest remaining time • Use exponential average: first th tnduration of the n CPU burst st ?n+1 predicted duration of the (n+1) CPU burst ?n+1 = ? tn + (1- ? ) ?n where 0 ? ? ? 1 ? determines the weight placed on past behavior 11 12 Priority Scheduling Round Robin • Priority Scheduling • Round Robin (RR) – Choose next job based on priority – Often used for timesharing – For SJF, priority = expected CPU burst – Ready queue is treated as a circular queue (FIFO) – Can be either preemptive or non-preemptive – Each process is given a time slice called a quantum • Problem: – It is run for the quantum or until it blocks – Starvation: jobs can wait indefinitely – RR allocates the CPU uniformly (fairly) across all participants. If average queue length is n, each participant gets 1/n • Solution to starvation – As the time quantum grows, RR becomes FCFS – Age processes: increase priority as a function of waiting time – Smaller quanta are generally desireable, because they improve response time • Problem: – Context switch overhead of frequent context switch 13 14 RR with Time Quantum = 20 Scheduling Algorithms Process Burst Time • Multi-level Queue Scheduling P1 53 • Implement multiple ready queues based on job “type” P2 17 – interactive processes – CPU-bound processes P3 68 P 24 – batch jobs 4 – system processes • The Gantt chart is: – student programs P P P P P P P P P P • Different queues may be scheduled using different 1 2 3 4 1 3 4 1 3 3 algorithms 0 20 37 57 77 97 117 121 134 154 162 • Intra-queue CPU allocation can be either strict or proportional • Typically, higher average turnaround than SJF, • Problem: Classifying jobs into queues is difficult but better response time. – A process may have CPU-bound phases as well as interactive ones 15 16 Multilevel Queue Scheduling Scheduling Algorithms • Multi-level Feedback Queues Highest priority • Implement multiple ready queues System Processes – Different queues may be scheduled using different algorithms – Just like multilevel queue scheduling, but assignments are not static • Jobs move from queue to queue based on feedback Interactive Processes – Feedback = The behavior of the job, e.g. does it require the full quantum for computation, or does it perform frequent I/O ? Batch Processes • Very general algorithm Student Processes • Need to select parameters for: Lowest priority – Number of queues – Scheduling algorithm within each queue – When to upgrade and downgrade a job 17 18 Multilevel Feedback Queue Scheduling Real-time Scheduling Highest priority • Real-time processes have timing constraints – Expressed as deadlines or rate requirements Quantum = 2 • Common RT scheduling policies – Rate monotonic Quantum = 4 – Simple, just one scalar priority related to the periodicity of the job Quantum = 8 – Priority = 1/rate – Static FCFS – Earliest deadline first (EDF) – Dynamic but more complex – Priority = deadline Lowest priority • Both schemes require admission control to provide guarantees 19 20 Turnaround Time Varies With The Time Quantum Scheduling on a Multiprocessor • Two alternatives based on the total number of queues: – Each processor has its own separate queue – All processors share a common ready-queue, and autonomously pick threads to execute from this common queue whenever they are idle (work stealing) • Scheduling locally on any single processor is mostly the same as scheduling on a uniprocessor • Issues: – Want to keep threads local to a processor (processor affinity) – Want to keep related threads together (gang-scheduling) 21 22.
Recommended publications
  • Kernel-Scheduled Entities for Freebsd
    Kernel-Scheduled Entities for FreeBSD Jason Evans [email protected] November 7, 2000 Abstract FreeBSD has historically had less than ideal support for multi-threaded application programming. At present, there are two threading libraries available. libc r is entirely invisible to the kernel, and multiplexes threads within a single process. The linuxthreads port, which creates a separate process for each thread via rfork(), plus one thread to handle thread synchronization, relies on the kernel scheduler to multiplex ”threads” onto the available processors. Both approaches have scaling problems. libc r does not take advantage of multiple processors and cannot avoid blocking when doing I/O on ”fast” devices. The linuxthreads port requires one process per thread, and thus puts strain on the kernel scheduler, as well as requiring significant kernel resources. In addition, thread switching can only be as fast as the kernel's process switching. This paper summarizes various methods of implementing threads for application programming, then goes on to describe a new threading architecture for FreeBSD, based on what are called kernel- scheduled entities, or scheduler activations. 1 Background FreeBSD has been slow to implement application threading facilities, perhaps because threading is difficult to implement correctly, and the FreeBSD's general reluctance to build substandard solutions to problems. Instead, two technologies originally developed by others have been integrated. libc r is based on Chris Provenzano's userland pthreads implementation, and was significantly re- worked by John Birrell and integrated into the FreeBSD source tree. Since then, numerous other people have improved and expanded libc r's capabilities. At this time, libc r is a high-quality userland implementation of POSIX threads.
    [Show full text]
  • Three Level Scheduling
    Uniprocessor Scheduling •Basic Concepts •Scheduling Criteria •Scheduling Algorithms Three level scheduling 2 1 Types of Scheduling 3 Long- and Medium-Term Schedulers Long-term scheduler • Determines which programs are admitted to the system (ie to become processes) • requests can be denied if e.g. thrashing or overload Medium-term scheduler • decides when/which processes to suspend/resume • Both control the degree of multiprogramming – More processes, smaller percentage of time each process is executed 4 2 Short-Term Scheduler • Decides which process will be dispatched; invoked upon – Clock interrupts – I/O interrupts – Operating system calls – Signals • Dispatch latency – time it takes for the dispatcher to stop one process and start another running; the dominating factors involve: – switching context – selecting the new process to dispatch 5 CPU–I/O Burst Cycle • Process execution consists of a cycle of – CPU execution and – I/O wait. • A process may be – CPU-bound – IO-bound 6 3 Scheduling Criteria- Optimization goals CPU utilization – keep CPU as busy as possible Throughput – # of processes that complete their execution per time unit Response time – amount of time it takes from when a request was submitted until the first response is produced (execution + waiting time in ready queue) – Turnaround time – amount of time to execute a particular process (execution + all the waiting); involves IO schedulers also Fairness - watch priorities, avoid starvation, ... Scheduler Efficiency - overhead (e.g. context switching, computing priorities,
    [Show full text]
  • Job Scheduling Strategies for Networks of Workstations
    Job Scheduling Strategies for Networks of Workstations 1 1 2 3 B B Zhou R P Brent D Walsh and K Suzaki 1 Computer Sciences Lab oratory Australian National University Canb erra ACT Australia 2 CAP Research Program Australian National University Canb erra ACT Australia 3 Electrotechnical Lab oratory Umezono sukuba Ibaraki Japan Abstract In this pap er we rst intro duce the concepts of utilisation ra tio and eective sp eedup and their relations to the system p erformance We then describ e a twolevel scheduling scheme which can b e used to achieve go o d p erformance for parallel jobs and go o d resp onse for inter active sequential jobs and also to balance b oth parallel and sequential workloads The twolevel scheduling can b e implemented by intro ducing on each pro cessor a registration oce We also intro duce a lo ose gang scheduling scheme This scheme is scalable and has many advantages over existing explicit and implicit coscheduling schemes for scheduling parallel jobs under a time sharing environment Intro duction The trend of parallel computer developments is toward networks of worksta tions or scalable paral lel systems In this typ e of system each pro cessor having a highsp eed pro cessing element a large memory space and full function ality of a standard op erating system can op erate as a standalone workstation for sequential computing Interconnected by highbandwidth and lowlatency networks the pro cessors can also b e used for parallel computing To establish a truly generalpurp ose and userfriendly system one of the main
    [Show full text]
  • Balancing Efficiency and Fairness in Heterogeneous GPU Clusters for Deep Learning
    Balancing Efficiency and Fairness in Heterogeneous GPU Clusters for Deep Learning Shubham Chaudhary Ramachandran Ramjee Muthian Sivathanu [email protected] [email protected] [email protected] Microsoft Research India Microsoft Research India Microsoft Research India Nipun Kwatra Srinidhi Viswanatha [email protected] [email protected] Microsoft Research India Microsoft Research India Abstract Learning. In Fifteenth European Conference on Computer Sys- tems (EuroSys ’20), April 27–30, 2020, Heraklion, Greece. We present Gandivafair, a distributed, fair share sched- uler that balances conflicting goals of efficiency and fair- ACM, New York, NY, USA, 16 pages. https://doi.org/10. 1145/3342195.3387555 ness in GPU clusters for deep learning training (DLT). Gandivafair provides performance isolation between users, enabling multiple users to share a single cluster, thus, 1 Introduction maximizing cluster efficiency. Gandivafair is the first Love Resource only grows by sharing. You can only have scheduler that allocates cluster-wide GPU time fairly more for yourself by giving it away to others. among active users. - Brian Tracy Gandivafair achieves efficiency and fairness despite cluster heterogeneity. Data centers host a mix of GPU Several products that are an integral part of modern generations because of the rapid pace at which newer living, such as web search and voice assistants, are pow- and faster GPUs are released. As the newer generations ered by deep learning. Companies building such products face higher demand from users, older GPU generations spend significant resources for deep learning training suffer poor utilization, thus reducing cluster efficiency. (DLT), managing large GPU clusters with tens of thou- Gandivafair profiles the variable marginal utility across sands of GPUs.
    [Show full text]
  • 2. Virtualizing CPU(2)
    Operating Systems 2. Virtualizing CPU Pablo Prieto Torralbo DEPARTMENT OF COMPUTER ENGINEERING AND ELECTRONICS This material is published under: Creative Commons BY-NC-SA 4.0 2.1 Virtualizing the CPU -Process What is a process? } A running program. ◦ Program: Static code and static data sitting on the disk. ◦ Process: Dynamic instance of a program. ◦ You can have multiple instances (processes) of the same program (or none). ◦ Users usually run more than one program at a time. Web browser, mail program, music player, a game… } The process is the OS’s abstraction for execution ◦ often called a job, task... ◦ Is the unit of scheduling Program } A program consists of: ◦ Code: machine instructions. ◦ Data: variables stored and manipulated in memory. Initialized variables (global) Dynamically allocated (malloc, new) Stack variables (function arguments, C automatic variables) } What is added to a program to become a process? ◦ DLLs: Libraries not compiled or linked with the program (probably shared with other programs). ◦ OS resources: open files… Program } Preparing a program: Task Editor Source Code Source Code A B Compiler/Assembler Object Code Object Code Other A B Objects Linker Executable Dynamic Program File Libraries Loader Executable Process in Memory Process Creation Process Address space Code Static Data OS res/DLLs Heap CPU Memory Stack Loading: Code OS Reads on disk program Static Data and places it into the address space of the process Program Disk Eagerly/Lazily Process State } Each process has an execution state, which indicates what it is currently doing ps -l, top ◦ Running (R): executing on the CPU Is the process that currently controls the CPU How many processes can be running simultaneously? ◦ Ready/Runnable (R): Ready to run and waiting to be assigned by the OS Could run, but another process has the CPU Same state (TASK_RUNNING) in Linux.
    [Show full text]
  • Processor Affinity Or Bound Multiprocessing?
    Processor Affinity or Bound Multiprocessing? Easing the Migration to Embedded Multicore Processing Shiv Nagarajan, Ph.D. QNX Software Systems [email protected] Processor Affinity or Bound Multiprocessing? QNX Software Systems Abstract Thanks to higher computing power and system density at lower clock speeds, multicore processing has gained widespread acceptance in embedded systems. Designing systems that make full use of multicore processors remains a challenge, however, as does migrating systems designed for single-core processors. Bound multiprocessing (BMP) can help with these designs and these migrations. It adds a subtle but critical improvement to symmetric multiprocessing (SMP) processor affinity: it implements runmask inheritance, a feature that allows developers to bind all threads in a process or even a subsystem to a specific processor without code changes. QNX Neutrino RTOS Introduction The QNX® Neutrino® RTOS has been Effective use of multicore processors can multiprocessor capable since 1997, and profoundly improve the performance of embedded is deployed in hundreds of systems and applications ranging from industrial control systems thousands of multicore processors in to multimedia platforms. Designing systems that embedded environments. It supports make effective use of multiprocessors remains a AMP, SMP — and BMP. challenge, however. The problem is not just one of making full use of the new multicore environments to optimize performance. Developers must not only guarantee that the systems they themselves write will run correctly on multicore processors, but they must also ensure that applications written for single-core processors will not fail or cause other applications to fail when they are migrated to a multicore environment. To complicate matters further, these new and legacy applications can contain third-party code, which developers may not be able to change.
    [Show full text]
  • Rotating Between Scheduling Algorithms
    CARNEGIE MELLON UNIVERSITY - 15418: PARALLEL COMPUTER ARCHITECTURE AND PROGRAMMING 1 sdgOS: Rotating Between Scheduling Algorithms Valerie Choung and Samuel Damashek Abstract| We extended the SouperDamGoodOS (sdgOS) from 15-410 to support symmetric multiprocessing (SMP). Additionally, we created a mechanism for a process to select which scheduling mode it would prefer to run under. The two scheduling modes currently supported are a normal round-robin scheduling algorithm with thread-level granularity, and the other is an approximation of gang scheduling. In this paper, we discuss the implementation details our operating system and also analyze the performance of some sample programs under both scheduling algorithms. Keywords|Scheduling, Gang scheduling, OS, Autogroup. F 1 Introduction very similar to gang scheduling, except that if a processor cannot find more work from the cur- A very simple scheduling algorithm (which rently active process, it will steal work from an- we call the \normal scheduling mode", or NSM) other process's work queue. may treat all threads equally, and rotate through Our project builds on the SouperDamGoodOS threads in a round-robin fashion. However, this (sdgOS), which runs on an x86 machine support- introduces process/task-level fairness issues: if one ing a PS/2 keyboard. This environment can be process creates many threads, threads in that pro- simulated on Simics. Our study primarily has cess would take up more processor time slices in three parts to it: a given time frame when compared against other, less thread-intensive processes. 1) Implement symmetric multi-processing Gang scheduling is one way to ensure that a (SMP) process experiences a reasonable number of clock 2) Support scheduling algorithm rotations ticks before the process is switched away from to 3) Implement as syscall to switch a process be run at a later time.
    [Show full text]
  • CPU Scheduling
    CPU Scheduling CS 416: Operating Systems Design Department of Computer Science Rutgers University http://www.cs.rutgers.edu/~vinodg/teaching/416 What and Why? What is processor scheduling? Why? At first to share an expensive resource ± multiprogramming Now to perform concurrent tasks because processor is so powerful Future looks like past + now Computing utility – large data/processing centers use multiprogramming to maximize resource utilization Systems still powerful enough for each user to run multiple concurrent tasks Rutgers University 2 CS 416: Operating Systems Assumptions Pool of jobs contending for the CPU Jobs are independent and compete for resources (this assumption is not true for all systems/scenarios) Scheduler mediates between jobs to optimize some performance criterion In this lecture, we will talk about processes and threads interchangeably. We will assume a single-threaded CPU. Rutgers University 3 CS 416: Operating Systems Multiprogramming Example Process A 1 sec start idle; input idle; input stop Process B start idle; input idle; input stop Time = 10 seconds Rutgers University 4 CS 416: Operating Systems Multiprogramming Example (cont) Process A Process B start B start idle; input idle; input stop A idle; input idle; input stop B Total Time = 20 seconds Throughput = 2 jobs in 20 seconds = 0.1 jobs/second Avg. Waiting Time = (0+10)/2 = 5 seconds Rutgers University 5 CS 416: Operating Systems Multiprogramming Example (cont) Process A start idle; input idle; input stop A context switch context switch to B to A Process B idle; input idle; input stop B Throughput = 2 jobs in 11 seconds = 0.18 jobs/second Avg.
    [Show full text]
  • CPU Scheduling
    Chapter 5: CPU Scheduling Operating System Concepts – 10th Edition Silberschatz, Galvin and Gagne ©2018 Chapter 5: CPU Scheduling Basic Concepts Scheduling Criteria Scheduling Algorithms Thread Scheduling Multi-Processor Scheduling Real-Time CPU Scheduling Operating Systems Examples Algorithm Evaluation Operating System Concepts – 10th Edition 5.2 Silberschatz, Galvin and Gagne ©2018 Objectives Describe various CPU scheduling algorithms Assess CPU scheduling algorithms based on scheduling criteria Explain the issues related to multiprocessor and multicore scheduling Describe various real-time scheduling algorithms Describe the scheduling algorithms used in the Windows, Linux, and Solaris operating systems Apply modeling and simulations to evaluate CPU scheduling algorithms Operating System Concepts – 10th Edition 5.3 Silberschatz, Galvin and Gagne ©2018 Basic Concepts Maximum CPU utilization obtained with multiprogramming CPU–I/O Burst Cycle – Process execution consists of a cycle of CPU execution and I/O wait CPU burst followed by I/O burst CPU burst distribution is of main concern Operating System Concepts – 10th Edition 5.4 Silberschatz, Galvin and Gagne ©2018 Histogram of CPU-burst Times Large number of short bursts Small number of longer bursts Operating System Concepts – 10th Edition 5.5 Silberschatz, Galvin and Gagne ©2018 CPU Scheduler The CPU scheduler selects from among the processes in ready queue, and allocates the a CPU core to one of them Queue may be ordered in various ways CPU scheduling decisions may take place when a
    [Show full text]
  • CPU Scheduling
    10/6/16 CS 422/522 Design & Implementation of Operating Systems Lecture 11: CPU Scheduling Zhong Shao Dept. of Computer Science Yale University Acknowledgement: some slides are taken from previous versions of the CS422/522 lectures taught by Prof. Bryan Ford and Dr. David Wolinsky, and also from the official set of slides accompanying the OSPP textbook by Anderson and Dahlin. CPU scheduler ◆ Selects from among the processes in memory that are ready to execute, and allocates the CPU to one of them. ◆ CPU scheduling decisions may take place when a process: 1. switches from running to waiting state. 2. switches from running to ready state. 3. switches from waiting to ready. 4. terminates. ◆ Scheduling under 1 and 4 is nonpreemptive. ◆ All other scheduling is preemptive. 1 10/6/16 Main points ◆ Scheduling policy: what to do next, when there are multiple threads ready to run – Or multiple packets to send, or web requests to serve, or … ◆ Definitions – response time, throughput, predictability ◆ Uniprocessor policies – FIFO, round robin, optimal – multilevel feedback as approximation of optimal ◆ Multiprocessor policies – Affinity scheduling, gang scheduling ◆ Queueing theory – Can you predict/improve a system’s response time? Example ◆ You manage a web site, that suddenly becomes wildly popular. Do you? – Buy more hardware? – Implement a different scheduling policy? – Turn away some users? Which ones? ◆ How much worse will performance get if the web site becomes even more popular? 2 10/6/16 Definitions ◆ Task/Job – User request: e.g., mouse
    [Show full text]
  • A Novel Hard-Soft Processor Affinity Scheduling for Multicore Architecture Using Multiagents
    European Journal of Scientific Research ISSN 1450-216X Vol.55 No.3 (2011), pp.419-429 © EuroJournals Publishing, Inc. 2011 http://www.eurojournals.com/ejsr.htm A Novel Hard-Soft Processor Affinity Scheduling for Multicore Architecture using Multiagents G. Muneeswari Research Scholar, Computer Science and Engineering Department RMK Engineering College, Anna University-Chennai, Tamilnadu, India E-mail: [email protected] K. L. Shunmuganathan Professor & Head Computer Science and Engineering Department RMK Engineering College, Anna University-Chennai, Tamilnadu, India E-mail: [email protected] Abstract Multicore architecture otherwise called as SoC consists of large number of processors packed together on a single chip uses hyper threading technology. This increase in processor core brings new advancements in simultaneous and parallel computing. Apart from enormous performance enhancement, this multicore platform adds lot of challenges to the critical task execution on the processor cores, which is a crucial part from the operating system scheduling point of view. In this paper we combine the AMAS theory of multiagent system with the affinity based processor scheduling and this will be best suited for critical task execution on multicore platforms. This hard-soft processor affinity scheduling algorithm promises in minimizing the average waiting time of the non critical tasks in the centralized queue and avoids the context switching of critical tasks. That is we assign hard affinity for critical tasks and soft affinity for non critical tasks. The algorithm is applicable for the system that consists of both critical and non critical tasks in the ready queue. We actually modified and simulated the linux 2.6.11 kernel process scheduler to incorporate this scheduling concept.
    [Show full text]
  • A Study on Setting Processor Or CPU Affinity in Multi-Core Architecture For
    International Journal of Science and Research (IJSR) ISSN (Online): 2319-7064 Index Copernicus Value (2013): 6.14 | Impact Factor (2013): 4.438 A Study on Setting Processor or CPU Affinity in Multi-Core Architecture for Parallel Computing Saroj A. Shambharkar, Kavikulguru Institute of Technology & Science, Ramtek-441 106, Dist. Nagpur, India Abstract: Early days when we are having Single-core systems, then lot of work is to done by the single processor like scheduling kernel, servicing the interrupts, run the tasks concurrently and so on. The performance was may degrades for the time-critical applications. There are some real-time applications like weather forecasting, car crash analysis, military application, defense applications and so on, where speed is important. To improve the speed, adding or having multi-core architecture or multiple cores is not sufficient, it is important to make their use efficiently. In Multi-core architecture, the parallelism is required to make effective use of hardware present in our system. It is important for the application developers take care about the processor affinity which may affect the performance of their application. When using multi-core system to run an multi threaded application, the migration of process or thread from one core to another, there will be a probability of cache locality or memory locality lost. The main motivation behind setting the processor affinity is to resist the migration of process or thread in multi-core systems. Keywords: Cache Locality, Memory Locality, Multi-core Architecture, Migration, Ping-Pong effect, Processor Affinity. 1. Processor Affinity possible as equally to all cores available with that device.
    [Show full text]