Dispatching Universität Karlsruhe, System Architecture Group
|
|
- Julius Watts
- 5 years ago
- Views:
Transcription
1 µ-kernel Construction (6) Dispatching 1
2 Dispatching Topics Thread switch To a specific thread To next thread to be scheduled To nil Implicitly, when IPC blocks Priorities Preemption Time slices Wakeups, interruptions Timeouts and wakeups Time 2
3 Thread A Switch to () Dispatcher Thread Smaller stack per thread Dispatcher is preemptible Clean model Improved interrupt latency if dispatching is time consuming switch to (dispatcher) select next ready thread, assume B switch to (B) Thread B 3
4 Thread A Switch to () save live registers and IP on stack ; tcb[a].sp := SP ; SP := dispatcher stack bottom ; return to dispatcher. switch to (dispatcher) switch to (B) Dispatcher Thread select next ready thread, assume B Dispatcher thread is special No user mode No own AS, hence no AS switch required No ID required Freedom from TCB layout conventions Almost stateless (see priorities) No need to preserve internal state between invocations External state must be consistent costs (A B) costs (A disp B) costs (select next) costs (A disp A) are low Thread B Why?? if B A then switch from AS(A) to AS(B) fi ; SP := tcb[b].sp ; return to B. 4
5 Example: Simple Dispatch sp Enter the kernel, save some user state in HW Save remaining user state Optionally do some work Save live registers (required when resuming) and return address Store SP in TCB Switch to dispatcher stack Jump to dispatcher code Select next thread to run TCB(A) sp live regs local state eax ebp x cs flg esp ss Dispatcher stack local state 5
6 Example: Simple Dispatch (cont d) sp Dispatcher selected next thread to run (B) Switch to B s stack Return to B Pop return address from stack Restore live registers Return to B s user mode Pop return address Switch to B s address space (if current) Load user register contents Drop exception code X iret pops remaining data TCB(B) sp live regs local state eax ebp x cs flg esp ss TCB(A) sp live regs local state eax ebp x cs flg esp ss Dispatcher stack local state 6
7 Example: Simple Dispatch (cont d) Stack layout depends on cause of prior thread switch Timer vs. device IRQ, IPC send vs. recv, yield(), TCB(E) sp live regs local state x cs flg esp ss TCB(D) sp eax ebp x cs flg esp ss TCB(C) sp live regs local state eax ebp x cs flg esp ss TCB(B) sp live regs local state eax ebp x cs flg esp ss TCB(A) sp live regs local state eax ebp x cs flg esp ss Dispatcher stack local state 7
8 Example: Dispatch with `Tick Dispatcher interrupted by timer IRQ sp Detect and resume Data structures (ready queues) might have changed! Throw away dispatcher state and restart TCB(B) sp live regs local state eax ebp x cs flg esp ss TCB(A) sp live regs local state eax ebp x cs flg esp ss Dispatcher stack local state eax ebp x cs flg esp ss local state 8
9 Example: Dispatch with Device IRQ Dispatcher interrupted by device IRQ sp Determine handler thread (B) Switch to B (assuming high priority) Throws away dispatcher state TCB(B) sp live regs local state eax ebp x cs flg esp ss TCB(A) sp live regs local state eax ebp x cs flg esp ss Dispatcher stack local state eax ebp x cs flg esp ss local state 9
10 Switch to () Dispatcher thread is also idle thread Thread A Dispatcher Thread switch to (dispatcher) select next ready thread, assume B switch to (B) B := A ; do B := next ready (B) ; if B nil then return fi ; idle od. Thread B 10
11 Priorities 0 (lowest) 255 Hard priorities Dynamically changeable Round robin per priority Ready TCB per priority Current TCB per do p := 255 ; do if current [p] nil then B := current [p] ; return fi ; p -= 1 until p < 0 od ; idle od. disp table Prio 100 Prio 50 11
12 Priorities Optimizations Remember highest active priority Bitmask do p if := current 255 [highest ; active p] nil then dob := current [highest active p] ; if return current [p] nil then elif highest B := current active [p] p ; > 0 then highest return active p -= 1 else fi ; p idle -= 1 until fi p < 0 od ; od idle. od. disp table Prio 100 Prio 50 12
13 Optimization: Priorities Bitmap Set bit on insertion Clear when group empty IA-32: BSR BIT SCAN REVERSE 2 cycles
14 Priorities, Preemption highest active p := max (new p, highest active p). do do p := 255; if current do [highest active p] nil then B := current if current [highest [p] nil active p] ; return then B := current [p] ; elif highest active p > 0 then return highest active p -= 1 fi ; else p -= 1 idle until p < 0 od ; fi idle od. od disp table Prio 110 Prio 100 Prio 50 p=110 intr/wakeup 14
15 Priorities, Preemption What happens when a priority falls empty? do if current [highest active p] nil then round robin if necessary ; B := current [highest active p] ; return elif highest active p > 0 then do highest active p -= 1 if else current [highest active p] nil then idle B := current [highest active p] ; fi return od elif. highest active p > 0 then highest active p -= 1 round elserobin if necessary: if current idle [hi act p].rem ts = 0 then fi current [hi act p].rem ts := new ts ; od. current [hi act p] := current [hi act p].next ; fi. disp table Prio 110 Prio 100 Prio 50? Remaining time slice > 0? 15
16 Priorities, Preemption What happens when a priority falls empty? do if current [highest active p] nil then round robin if necessary ; B := current [highest active p] ; return elif highest active p > 0 then highest active p -= 1 else fi od. idle round robin if necessary: if current [hi act p].rem ts = 0 then current [hi act p].rem ts := new ts ; current [hi act p] := current [hi act p].next ; fi. disp table Prio 110 Prio 100 Prio 50 Remaining time slice > 0 16
17 Preemption Preemption, time slice exhausted do if current [highest active p] nil then round robin if necessary ; B := current [highest active p] ; return elif highest active p > 0 then highest active p -= 1 else fi od. idle round robin if necessary: if current [hi act p].rem ts = 0 then current [hi act p].rem ts := new ts ; current [hi act p] := current [hi act p].next ; fi. disp table Prio 100 Prio 50 Remaining time slice = 0 17
18 Preemption Preemption, time slice exhausted do if current [highest active p] nil then round robin if necessary ; B := current [highest active p] ; return elif highest active p > 0 then highest active p -= 1 else fi od. idle round robin if necessary: if current [hi act p].rem ts = 0 then current [hi act p].rem ts := new ts ; current [hi act p] := current [hi act p].next ; fi. disp table Prio 100 Prio 50 Remaining time slice := new ts 18
19 Lazy Dispatching Thread state toggles frequently (per IPC) ready waiting Delete/insert ready is expensive Therefore: delete lazily from ready disp table Prio 100 Prio 50 ready ready ready 19
20 Lazy Dispatching Thread state toggles frequently (per IPC) ready waiting Delete/insert ready is expensive Therefore: delete lazily from ready disp table Prio 100 Prio 50 ready waiting ready 20
21 Lazy Dispatching Thread state toggles frequently (per IPC) ready waiting Delete/insert ready is expensive Therefore: delete lazily from ready disp table Prio 100 Prio 50 ready waiting ready 21
22 Lazy Dispatching Thread state toggles frequently (per IPC) ready waiting Delete/insert ready is expensive Therefore: delete lazily from ready disp table Prio 100 Prio 50 ready waiting ready 22
23 Lazy Dispatching Thread state toggles frequently (per IPC) ready waiting Delete/insert ready is expensive Therefore: delete lazily from ready Whenever reaching a non-ready thread Delete it from Proceed with next disp table Prio 100 ready ready Prio 50 23
24 Lazy Dispatching do round robin if necessary ; if current [highest active p] nil then Thread state toggles return frequently (per IPC) B := current [highest active p] ; return elif highest active p > 0 then highest active readyp -= 1 waiting else idle fi od. Delete/insert ready is expensive Therefore: delete lazily from ready Whenever reaching a non-ready thread Delete it from round robin if necessary: while current [hi act p] nil do next := current [hi act p].next ; if current [hi act p].state ready then delete from (current [hi act p] ) elif current [hi act p].rem ts = 0 then current [hi act p].rem ts := new ts else return fi ; current [hi act p] := next od. Proceed with next disp table 24 Prio 100 Prio 50 ready ready
25 Timeouts & Wakeups Operations Insert timeout Raise timeout Find next timeout Delete timeout timeout set completion, no timeout timeout expired t Raised-timeout costs are uncritical (occur only after timeout exp time). Most timeouts are never raised! 25
26 Timeouts & Wakeups too expensive Idea 1: unsorted Insert timeout costs Prepend entry cycles Find next timeout t costs Parse entire n cycles Raise timeout costs Delete timeout costs Delete known entry cycles 26
27 Timeouts & Wakeups too expensive Idea 2: sorted Insert timeout costs Search + insert n/ cycles Find next timeout t costs Check head 10 cycles Raise timeout costs Delete timeout costs Delete known entry cycles 27
28 Timeouts & Wakeups Idea 3: sorted tree / heap too expensive too complicated Insert timeout costs Search + insert log n cycles Find next timeout t costs Find min node / root log n x / 10 cycles Raise timeout costs Delete timeout costs Delete known node log n x / log n x
29 Wakeup Classes now insert timeout (now + ) soon late late late now soon t late late late 29
30 Wakeup Classes now soon late late late now soon t late late late 30
31 Wakeup Classes now soon late late late soon t late late contains soon entries late correction phase required late late 31
32 Wakeup Classes now soon late late late soon now t late late late late late contains soon and late entries late late correction phase required Also move late late entries to late Postpone further late late correction phases 32
33 Wakeup Classes now soon soon late late late now soon s := max #entries (length of soon ) t late s #timeouts to be raised in soon + new soon timeouts late late s is small if soon is short enough 33
34 Timeouts & Wakeups Idea 4: unsorted wakeup classes Insert timeout costs Select class + prepend cycles Find next timeout t costs still Search soon class s cycles Raise timeout costs Delete timeout costs Delete known entry cycles too expensive Raised-timeout costs are uncritical (occur only after timeout exp time). Most timeouts are never raised! 34
35 Lazy Timeouts insert (t 1 ) soon late late late t 1 now soon Late t late late 35
36 Lazy Timeouts insert (t 1 ) delete timeout soon late late late now soon Late t late late 36
37 Lazy Timeouts insert (t 1 ) delete timeout insert (t 2 ) soon late late late t 2 now soon Late t late late 37
Maximum CPU utilization is obtained by multiprogramming. CPU I/O Burst Cycle Process execution consists of a cycle of CPU execution and I/O wait
Chapter 5: CPU Scheduling Basic Concepts Maximum CPU utilization is obtained by multiprogramming CPU I/O Burst Cycle Process execution consists of a cycle of CPU execution and I/O wait Burst access CPU
More informationHeap Sort. Lecture 35. Robb T. Koether. Hampden-Sydney College. Mon, Apr 25, 2016
Heap Sort Lecture 35 Robb T. Koether Hampden-Sydney College Mon, Apr 25, 2016 Robb T. Koether (Hampden-Sydney College) Heap Sort Mon, Apr 25, 2016 1 / 14 1 Sorting 2 The Heap Sort Robb T. Koether (Hampden-Sydney
More informationProblem Solving as Search - I
Problem Solving as Search - I Shobhanjana Kalita Dept. of Computer Science & Engineering Tezpur University Slides prepared from Artificial Intelligence A Modern approach by Russell & Norvig Problem-Solving
More informationSIDDHARTH INSTITUTE OF ENGINEERING & TECHNOLOGY :: PUTTUR (AUTONOMOUS) Siddharth Nagar, Narayanavanam Road QUESTION BANK (DESCRIPTIVE)
Subject with Code : Data Structures(16MC806) Course & Specialization: MCA UNIT I Sorting, Searching and Directories 1. Explain how to sort the elements by using insertion sort and derive time complexity
More informationSEARCH TREE. Generating the children of a node
SEARCH TREE Node: State in state tree Root node: Top of state tree Children: Nodes that can be reached from a given node in 1 step (1 operator) Expanding: Generating the children of a node Open: Closed:
More informationSolving Problems by Searching chap3 1. Problem-Solving Agents
Chapter3 Solving Problems by Searching 20070315 chap3 1 Problem-Solving Agents Reflex agents cannot work well in those environments - state/action mapping too large - take too long to learn Problem-solving
More informationOperating instructions Electrical switching facility pco
Operating instructions Electrical switching facility pco from software version V1.33 on TABLE OF CONTENTS 1. Before you start... 4 1.1 Brief description... 4 1.2 Using this manual... 4 2. pco integrated
More informationUninformed Search (Ch )
1 Uninformed Search (Ch. 3-3.4) 3 Terminology review State: a representation of a possible configuration of our problem Action: -how our agent interacts with the problem -can be different depending on
More informationCSE 3401: Intro to AI & LP Uninformed Search II
CSE 3401: Intro to AI & LP Uninformed Search II Required Readings: R & N Chapter 3, Sec. 1-4. 1 {Arad}, {Zerind, Timisoara, Sibiu}, {Zerind, Timisoara, Arad, Oradea, Fagaras, RimnicuVilcea }, {Zerind,
More informationRepresentation. Representation. Representation. Representation. 8 puzzle.
You have a 3-liter jug and a 4-liter jug, and need to measure out exactly two liters of water. the jugs do not have any measurement lines you don't have any additional containers 8 puzzle. Measuring water.
More informationUninformed search strategies
AIMA sections 3.4,3.5 search use only the information available in the problem denition Breadth-rst search Uniform-cost search Depth-rst search Depth-limited search Iterative deepening search Breadth-rst
More informationSEARCH SEARCH TREE. Node: State in state tree. Root node: Top of state tree
Page 1 Page 1 Page 2 SEARCH TREE SEARCH Node: State in state tree Root node: Top of state tree Children: Nodes that can be reached from a given node in 1 step (1 operator) Expanding: Generating the children
More informationPrincess Nora University Faculty of Computer & Information Systems ARTIFICIAL INTELLIGENCE (CS 370D) Computer Science Department
Princess Nora University Faculty of Computer & Information Systems 1 ARTIFICIAL INTELLIGENCE (CS 370D) Computer Science Department (CHAPTER-3-PART2) PROBLEM SOLVING AND SEARCH (Course coordinator) Searching
More informationUninformed Search (Ch )
1 Uninformed Search (Ch. 3-3.4) 7 Small examples 8-Queens: how to fit 8 queens on a 8x8 board so no 2 queens can capture each other Two ways to model this: Incremental = each action is to add a queen to
More informationAlgorithms and Data Structures
Algorithms and Data Structures CMPSC 465 LECTURES 22-23 Binary Search Trees Adam Smith S. Raskhodnikova and A. Smith. Based on slides by C. Leiserson and E. Demaine. 1 Heaps: Review Heap-leap-jeep-creep(A):
More informationCONSOLE-320 ENGLISH. 230A: CONSOLE-320 with cable data output Item 230B: CONSOLE-320 with cable + wireless radio data output
CONSOLE-320 Item 230A: CONSOLE-320 with cable data output Item 230B: CONSOLE-320 with cable + wireless radio data output Table of contents 1. INTRODUCTION...2 1.1 Power supply...2 1.2 Connections...2 1.3
More informationTable of Contents. 1 Command Summary...1
Table of Contents 1 Command Summary....1 1.1 General Commands.... 1 1.1.1 Operating Modes.... 1 1.1.2 In a Menu or List.... 2 1.1.3 Options Available at Any Point.... 2 1.1.4 Switch Programs.... 4 1.1.5
More informationAirflow Options for Cisco MDS 9396S SAN Switch
Airflow Options for Cisco MDS 9396S SAN Switch This document describes how to configure, administer and troubleshoot airflow options in the MDS 9396S switch. Anyone can use this document along with hardware
More informationCS 4649/7649 Robot Intelligence: Planning
CS 4649/7649 Robot Intelligence: Planning Heuristics & Search Sungmoon Joo School of Interactive Computing College of Computing Georgia Institute of Technology S. Joo (sungmoon.joo@cc.gatech.edu) 1 *Slides
More informationFIBA Europe Coaching Website. Manual. Practice Section
FIBA Europe Coaching Website Manual Practice Section CONTENTS Page 1. How to get started 3 Roster Management 4 Attendance 4 Practice Planner 5 2. Drills 8 Search Mask 8 Overview 11 Create Drill 13 3. Plays
More informationRoller AC Servo System
Safely Instruction Roller AC Servo System HMI-15 User Manual Please read this manual carefully, also with related manual for the machinery before use the controller. For installing and operating the controller
More informationProblem Solving Agents
Problem Solving Agents A problem solving agent is one which decides what actions and states to consider in completing a goal Examples: Finding the shortest path from one city to another 8-puzzle Problem
More informationSUPER LEAGUE Season 7. League Rules and Information Guide
SUPER LEAGUE Season 7 League Rules and Information Guide About SUPER LEAGUE SEASON 7 is here. 5 months. Three Divisions. Hundreds of teams across North America. Do you have what it takes to be the best
More informationSmart Gas Governor. Also consumers having one cylinder need to monitor consumed quantity to be able to place order for a refill.
Story Smart Gas Governor The idea behind this product is to help consumers using cooking gas cylinders to avoid leakage related disasters, monitor gas consumption and identify contamination. Developing
More informationIn this chapter the concepts of authoring BIOS tasks (TSK) will be considered.
Tasks - TSK Introduction In this chapter the concepts of authoring BIOS tasks (TSK) will be considered. Objectives At the conclusion of this module, you should be able to: Describe the fundamental concepts
More informationProduct Overview. Product Description CHAPTER
CHAPTER 1 This chapter provides a functional overview of the Cisco Redundant Power System 2300 and covers these topics: Product Description, page 1-1 Features, page 1-3 Supported Devices, page 1-4 Deployment
More informationCENG 466 Artificial Intelligence. Lecture 4 Solving Problems by Searching (II)
CENG 466 Artificial Intelligence Lecture 4 Solving Problems by Searching (II) Topics Search Categories Breadth First Search Uniform Cost Search Depth First Search Depth Limited Search Iterative Deepening
More informationGCMSD-Headspace Analysis SOP
Before you start GCMSD-Headspace Analysis SOP Method and Sequences names are restricted to 50 characters (MSD program will crash otherwise) The GC oven and Injection Ports need to be cooled to 50 oc to
More informationIn Response to a Planned Power Outage: PPMS EverCool II Shut Down and Re-start Procedure
PPMS Service Note 1099-412 In Response to a Planned Power Outage: PPMS EverCool II Shut Down and Re-start Procedure Introduction: Loss of electricity to the PPMS EverCool II should not cause damage to
More information[CROSS COUNTRY SCORING]
2015 The Race Director Guide [CROSS COUNTRY SCORING] This document describes the setup and scoring processes employed when scoring a cross country race with Race Director. Contents Intro... 3 Division
More informationTo Logon On to your tee sheet, start by opening your browser. (NOTE: Internet Explorer V. 6.0 or greater is required.)
1. Log-On To Logon On to your tee sheet, start by opening your browser. (NOTE: Internet Explorer V. 6.0 or greater is required.) (NOTE: Logon ID s must be 7 characters or more and passwords are case sensitive.)
More informationOrdering with Par Levels
Ordering with Par Levels with Sysco Mobile Inventory Quick Start Guide ordering with par levels Too much inventory can spoil and go to waste, which is expensive. It also creates overcrowded storage areas
More informationApplication Notes. SLP85xD Load Cells
Application Notes Load Cells Table of Contents 1 Introduction 3 2 Description of the Filling Cycle 4 3 Filling Optimization 7 4 Filling Monitor 8 4.1 Weight-Based Filling Monitor... 8 4.2 Time-Based Filling
More informationFireHawk M7 Interface Module Software Instructions OPERATION AND INSTRUCTIONS
FireHawk M7 Interface Module Software Instructions OPERATION AND INSTRUCTIONS WARNING THE WARRANTIES MADE BY MSA WITH RESPECT TO THE PRODUCT ARE VOIDED IF THE PRODUCT IS NOT USED AND MAINTAINED IN ACCORDANCE
More informationDive Planet. Manual. Rev Basic User Interface. 2 How to organize your dives. 3 Statistics. 4 Location Service and Map View.
Dive Planet Manual Rev 1.2 1 Basic User Interface 2 How to organize your dives 3 Statistics 4 Location Service and Map View 5 Settings 6 Languages 7 Buddies and guide 8 Backup and restore of the data 9
More information3PO MECHANICS. There is one game, three referees, but still only one officiating team.
1 3PO BASIC Part 1 2 3PO MECHANICS There is one game, three referees, but still only one officiating team. 3 modules R3.0 Introduction R3.1 Court Positions R3.2 Jump Ball & Start of Period 4 TERMINOLOGY
More informationCT PET-2018 Part - B Phd COMPUTER APPLICATION Sample Question Paper
CT PET-2018 Part - B Phd COMPUTER APPLICATION Sample Question Paper Note: All Questions are compulsory. Each question carry one mark. 1. Error detection at the data link layer is achieved by? [A] Bit stuffing
More informationAHE58/59 AC Servo System
AHE58/59 AC Servo System HMI-12 User Manual Safely INstruction Please read this manual carefully, also with related manual for the machine head before use. For perfect operation and safety, installing
More informationCMPUT680 - Winter 2001
CMPUT680 - Winter 2001 Topic 6: Register Allocation and Instruction Scheduling José Nelson Amaral http://www.cs.ualberta.ca/~amaral/courses/680 CMPUT 680 - Compiler Design and Optimization 1 Reading List
More information[CROSS COUNTRY SCORING]
2018 The Race Director Guide [CROSS COUNTRY SCORING] This document describes the setup and scoring processes employed when scoring a cross country race with Race Director. Contents Intro... 3 Division
More informationRobust Task Execution: Procedural and Model-based. Outline. Desiderata: Robust Task-level Execution
Robust Task Execution: Procedural and Model-based Mission Goals and Environment Constraints Temporal Planner Temporal Network Solver Projective Task Expansion Initial Conditions Temporal Plan Dynamic Scheduling
More information(POM )
POM 3.0.5 Patch 8 File name : POM305Patch08.zip Type : Patch Affected Version(s) : Proactive Outreach Manager 3.0.5 Md5sum : 24b212f635318381a6f7b42374f3a8fb POM305Patch08 Dependency : POM 3.0.5 (Version:
More informationCulvert Design for Low and High Gradient Streams in the Midwest. Dale Higgins, Hydrologist Chequamegon-Nicolet National Forest
Culvert Design for Low and High Gradient Streams in the Midwest Dale Higgins, Hydrologist Chequamegon-Nicolet National Forest Overview Culvert Design Considerations Hydraulic Terms Culvert Impacts Low
More informationUniversity of MN, Minnesota Nano Center Standard Operating Procedure
Equipment Name: Image Reversal Oven Badger name: ir-oven Revision #: 2 Model: YES 310 Revisionist: Paul Kimani Location: Bay 2 Date: October 29, 2013 1. Description The Yield Engineering Systems YES-310
More informationTechnology. In the My Files [My Files] submenu you can store all the programs that you have made on the NXT or downloaded from your computer.
NXT Main Menu My Files Files are automatically placed into the appropriate folders. When you download a program using a Sound file to the NXT, the program will be placed under Software files while the
More informationUninformed search methods II.
CS 2710 Foundations of AI Lecture 4 Uninformed search methods II. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Announcements Homework assignment 1 is out Due on Tuesday, September 12, 2017 before
More informationGolf Team Challenge. Product: EA SPORTS PGA TOUR Software Version: Release Date: 10/18/06. Revised 4/21/2009
Product: EA SPORTS PGA TOUR Software Version: 4.0.0 Release Date: 10/18/06. Revised 4/21/2009 Golf Team Challenge This document describes the new play modes and Operator Menus in EA SPORTS PGA TOUR Golf
More informationThe pluriscout Software allows you to record live game data and keep track of game progress as well as your scouting entries.
The allows you to record live game data and keep track of game progress as well as your scouting entries. This manual will provide a concise summary of the information provided by the application, and
More information1. Functional description. Application program usage. 1.1 General. 1.2 Behavior on bus voltage loss and bus voltage. 1.
Application program usage product family: Product type: Manufacturer: Name: Order-No.: Valve actuators Constant valve actuator Siemens Valve actuator AP 562/02 5WG1 562-7AB02 Commissioning For commissioning
More informationE A C S. Engine Altitude Conditions Simulator. Technical description
E A C S Engine Altitude Conditions Simulator Technical description CONTROL SISTEM Introduction The EACS is an innovative machine that allows to test internal combustion engines in a wide range of ambient
More informationATM 322 Basic Pneumatics H.W.6 Modules 5 7
ATM 322 Basic Pneumatics H.W.6 Modules 5 7 Name: Answer Key Mark: Question I: Write (T) for True and (F) for false sentences. A) For the time dependant process control; Step enabling conditions are generated
More informationOperation of the Perkin Elmer TGA-GC/MS
Operation of the Perkin Elmer TGA-GC/MS Summary of the TGA-GC/MS: The TGA-GC/MS allows a user to decompose a sample by heating, measure its loss of mass, and simultaneously analyze the chemical composition
More informationBASIC Z-STACK AND TIME SERIES SCAN ON THE ZEISS LIGHTSHEET Z. 1
BASIC Z-STACK AND TIME SERIES SCAN ON THE ZEISS LIGHTSHEET Z. 1 The front door of the main body of the instrument may be open when you arrive. Take the sample chamber and slide it into position with the
More informationIndiana Traffic Signal Hi Resolution Data Logger Enumerations
Purdue University Purdue e-pubs JTRP Data Papers 11-2012 Indiana Traffic Signal Hi Resolution Data Logger Enumerations James R. Sturdevant INDOT, jsturdevant@indot.in.gov Timothy Overman INDOT Eric Raamot
More informationCSE 3402: Intro to Artificial Intelligence Uninformed Search II
CSE 3402: Intro to Artificial Intelligence Uninformed Search II Required Readings: Chapter 3, Sec. 1-4. 1 {Arad}, {Zerind, Timisoara, Sibiu}, {Zerind, Timisoara, Arad, Oradea, Fagaras, RimnicuVilcea },
More informationKIT. Small Automatic Water Boosters KIT MODELS
KIT Small Automatic Water Boosters The electronic controller KIT orders the automatic start and stop of the water pump when opening or closing any tap or valve in the installation. There are four main
More informationYSC-8330 USER MANUAL XI AN TYPICAL INDUSTRIES CO.,LTD.
YSC-8330 USER MANUAL XI AN TYPICAL INDUSTRIES CO.,LTD. Contents 1 Notice 1.1 Work environment 1.2 Notice of installation 1.3 Notice of safety 2 Installation and Adjustment 2.1 Controll box 2.2 Speed controller
More informationSearch I. Tuomas Sandholm Carnegie Mellon University Computer Science Department. [Read Russell & Norvig Chapter 3]
Search I Tuomas Sandholm Carnegie Mellon University Computer Science Department [Read Russell & Norvig Chapter 3] Search I Goal-based agent (problem solving agent) Goal formulation (from preferences).
More informationCALEFFI. Ball zone valves. series /03 GB
all zone valves series cert. n ISO / Function Zone valves are used to automatically shut-off the flow of carrier fluid distributed to a system. Specifically: -In central heating systems, they support the
More informationConfiguring Bidirectional Forwarding Detection for BGP
CHAPTER 7 Configuring Bidirectional Forwarding Detection for BGP This chapter describes how to configure Bidirectional Forwarding Detection (BFD) for BGP. This chapter includes the following sections:
More informationOPERATION OF LIQUID PARTICLE COUNTER. GP-B P0045 Rev -
1 W. W. Hansen Experimental Physics Laboratory STANFORD UNIVERSITY STANFORD, CALIFORNIA 94305-4085 Gravity Probe B Relativity Mission OPERATION OF LIQUID PARTICLE COUNTER GP-B P0045 Rev - May 23, 1997
More informationKELCO F60 DIGITAL PUMP CONTROLLER
KELCO F60 DIGITAL PUMP CONTROLLER PROGRAMMING INSTRUCTIONS KELCO Engineering Pty Ltd Sydney Australia www.kelco.com.au Table Of Contents Introduction 1 Programming the Controller 2 F60 Modes and Functions,
More informationGolfLogix: Golf GPS. User Guide for: iphone 3G & 3GS. Version 1.0. Software Release 1.0
GolfLogix: Golf GPS User Guide for: iphone 3G & 3GS Version 1.0 Software Release 1.0 1 Table of Contents Topic Page Topic Page Getting Started Statistics Downloading the GolfLogix Application 4 Statistic
More informationModule 3 Developing Timing Plans for Efficient Intersection Operations During Moderate Traffic Volume Conditions
Module 3 Developing Timing Plans for Efficient Intersection Operations During Moderate Traffic Volume Conditions CONTENTS (MODULE 3) Introduction...1 Purpose...1 Goals and Learning Outcomes...1 Organization
More informationUninformed search methods II.
CS 1571 Introduction to AI Lecture 5 Uninformed search methods II. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Uninformed methods Uninformed search methods use only information available in
More informationSPIROVENT VACUUM DEGASSERS
SPIROVENT VACUUM DEGASSERS S P I R O V E N T A I R S U P E R I O R FLUID AND GAS There are always a certain amount of gasses in a fluid, dependent on pressure and temperature. The British physicist William
More informationA4 Operation Manual. Fig.1-1 Controller Socket Diagram
A4 Operation Manual Safety Instruction Please read this manual carefully, also with related manual for the machinery before use the controller. For installing and operating the controller properly and
More informationOPERATION. Estimated kerf width compensation. HPR260 Manual Gas Instruction Manual 4-9
Estimated kerf width compensation The widths in the chart below are for reference. Differences between installations and material composition may cause the specific user results to vary from those shown
More information2. Terms and Definition 2.1 The term SET/GAME refers to a 1v1 game with the following setting:
National Championship Rules & Regulations 1. General 1.1 The ORGANIZER of National Championship will be the FIFA Online 3 Game Operations Team from Garena Online. 1.2 The ORGANIZER reserves the right to
More informationUltimate 101. Calvin Wheeler Hayden Weaver
Ultimate 101 Calvin Wheeler Hayden Weaver General Rules Usually played 7 vs. 7 Teams typically consist of 12-18 players 5-2 offense dictate Means that for every 5 guys on the field there must be 2 girls
More informationZIPWAKE DYNAMIC TRIM CONTROL SYSTEM OUTLINE OF OPERATING PRINCIPLES BEHIND THE AUTOMATIC MOTION CONTROL FEATURES
ZIPWAKE DYNAMIC TRIM CONTROL SYSTEM OUTLINE OF OPERATING PRINCIPLES BEHIND THE AUTOMATIC MOTION CONTROL FEATURES TABLE OF CONTENTS 1 INTRODUCTION 3 2 SYSTEM COMPONENTS 3 3 PITCH AND ROLL ANGLES 4 4 AUTOMATIC
More informationSteltronic Focus. User Manual Manage Focus Tournaments
Steltronic Focus User Manual Manage Focus Tournaments Steltronic S.p.A. Via Artigianale 34, 25082 Botticino Sera Brescia - Italy Tel: +39 030 2190811 Fax: +39 030 2190798 Service: + 39 030 2190830 http:
More informationBUCKET WHEEL RECLAIMERS. AUTHOR: MR. W KNAPPE MAN TAKRAF Fördertechnik GmbH
BUCKET WHEEL RECLAIMERS AUTHOR: MR. W KNAPPE MAN TAKRAF Fördertechnik GmbH Performance of Bucket Wheel Reclaimers (Method of Calculation in Principle) A: Introduction The objective of the following is
More informationScope of the Transit Priority Project
Transit Planning Committee #1 March 19, 2015 Scope of the Transit Priority Project Review of the 2010 plan Analysis of Transit Priority Measures Preliminary plans for rapid transit Recommendations for
More informationIntroduction to Traffic Signal Timing
Introduction to Traffic Signal Timing Course No: C-7 Credit: PDH Jeffrey W. Buckholz, Ph.D., P.E., PTOE Continuing Education and Development, Inc. 9 Greyridge Farm Court Stony Point, NY 98 P: (877) -58
More informationPOM Patch 7. Service Request: OUTREACH-8673: POM help pages are accessed via http instead of https
POM 3.0.5 Patch 7 File name : POM305Patch07.zip Type : Patch Affected Version(s) : Proactive Outreach Manager 3.0.5 Md5sum : 5758615c8f46c3ac3fbf2396fa053778 Dependency : POM 3.0.5 (Version: POM.03.00.05.00.008)
More informationEnglish. English. Predictive Multi Gas for
English English Predictive Multi Gas for TABLE OF CONTENTS 1. Glossary...1 English 2. Pairing of transmitters and gas summary table...2 3. PMG menu...2 4. RBT=0min in Gas integration menu...2 5. Screen
More informationA4s Operation Manual
A4s Operation Manual Safety Instruction Please read this manual carefully, also with related manual for the machinery before use the controller. For installing and operating the controller properly and
More informationUrban OR: Quiz 2 Solutions (2003) ( 1 ρ 1 )( 1 ρ 1 ρ 2 ) ( 1 12 )( ) σ S ] 24 [ 2 = 60, 2 2 ] ( 2 ) 3
Problem 1: (a) Wo = ƒ λ Urban OR: Quiz 2 Solutions (2003) 2 2 E [ S i ] 12 1 12 9 i = + = 1 min i = 1 2 60 2 60 2 W W = o 1 q1 = = 1. 25 min ( 1 ρ 1 ) ( 1 12 ) 60 W W = o 1 q2 = = 6. 25 min ( 1 ρ 1 )(
More informationELIMINATOR COMPETITION DRAG RACE Program Manual Firm Ver 4.11
ELIMINATOR COMPETITION DRAG RACE Program Manual Firm Ver 4.11 The Portatree Eliminator Super 2000 Competition Track Timer can be used with an IBM Compatible Personal Computer connected through Com Port
More informationSIZING THE WELL-X-TROL
West Warwick, Rhode Island 02893 SIZING THE WELL-X-TROL POTABLE WATER WELL TANK Table 1. Series 420 & 447 Pressure Switch This handbook will discuss the basic sizing used for our larger Well-X-Trols such
More informationProto Matrix Musashi 3 Upgrade Manual
Proto Matrix Musashi 3 Upgrade Manual Musashi 3 Upgrade Instructions for Proto Matrix FEATURES...3 LED INDICATOR...3 SOLID GREEN...3 SOLID RED...3 SLOW BLINKING GREEN...3 SLOW BLINKING RED...3 POWER OPERATION...3
More informationSynchro Studio 8. Overview. By Ioannis Psarros
Synchro Studio 8 Overview By Ioannis Psarros What is Synchro? Software for signal optimization Developed by Trafficware Optimization can be applied to: Cycle lengths Splits Offsets Source: http://bikewalklee.blogspot.com
More informationOperating Manual. SUPREMA Calibration. Software for Fire and Gas Warning Units. Order No.: /01. MSAsafety.com
Operating Manual Software for Fire and Gas Warning Units Order No.: 10154656/01 MSAsafety.com MSA Europe GmbH Schlüsselstrasse 12 8645 Rapperswil-Jona Switzerland info.ch@msasafety.com www.msasafety.com
More informationValves. Controllers. Valves Two Types
Hydraulics Taking the Irritation out of Irrigation My plants are getting irrigated, so I m all set, right? Marcus Duck Academic Advisor, Instructor & Program Coordinator MSU s 2-year Horticulture Programs
More informationCOMP9414: Artificial Intelligence Uninformed Search
COMP9, Monday March, 0 Uninformed Search COMP9: Artificial Intelligence Uninformed Search Overview Breadth-First Search Uniform Cost Search Wayne Wobcke Room J- wobcke@cse.unsw.edu.au Based on slides by
More informationFRDS GEN II SIMULATOR WORKBOOK
FRDS GEN II SIMULATOR WORKBOOK Trotter Control Inc 2015 Document# Revision Revised 9001-0038 FRDS GEN II Simulator Workbook E 02/15/2015 by DC FRDS GEN II Simulator Workbook This workbook is a follow-on
More informationNAPERVILLE SUMMER TENNIS LEAGUE RULES Updated: 10/19
NAPERVILLE SUMMER TENNIS LEAGUE RULES Updated: 10/19 1. COURTS a) Home teams are responsible for providing 4 courts. b) All matches are to be played on outdoor courts. There is an exception in the case
More informationOPERATING INSTRUCTIONS FOR
OPERATING INSTRUCTIONS FOR MODEL 2240LED www.sportablescoreboards.com 1 Table of Contents CONTROLLER DEFINITIONS... 3 COMMUNICATION CABLES... 4 CONNECTING A HARD WIRED CABLE:... 4 CONNECTING A WIRELESS
More informationGolfLogix: Golf GPS. User Guide for: BlackBerry Curve. Version 1.0. Software Release , 8330, 8350i, 8800, 8820, 8830, 8900
GolfLogix: Golf GPS User Guide for: BlackBerry Curve 8310, 8330, 8350i, 8800, 8820, 8830, 8900 Version 1.0 Software Release 1.0 1 Table of Contents Topic Page Topic Page Getting Started Statistics Downloading
More informationOnline League Management lta.tournamentsoftware.com. User Manual. Further support is available online at
Online League Management lta.tournamentsoftware.com User Manual Further support is available online at www.lta.org.uk/leagueplanner Contents Welcome... 3 Using this guide... 3 Further support?... 3 Publishing
More informationIntroduction. AI and Searching. Simple Example. Simple Example. Now a Bit Harder. From Hammersmith to King s Cross
Introduction AI and Searching We have seen how models of the environment allow an intelligent agent to dry run scenarios in its head without the need to act Logic allows premises to be tested Machine learning
More informationHow to achieve fluid traffic
Kanton Basel-Stadt How to achieve fluid traffic Objectives, instruments and limits of traffic management Alain Groff, Office for Mobility, Canton of Basel-Stadt Overview Some figures about Basel Tools
More informationBasic CPM Calculations
Overview Core Scheduling Papers: #7 Basic CPM Calculations Time Analysis calculations in a Precedence Diagramming Method (PDM) Critical Path Method (CPM) network can be done in a number of different ways.
More informationYAKUZA SERIES OLED. For the Bob Long Closer, Marq, Vice, and Protege 4C Technology by Extreme Paintball Design LLC, pat pend FEATURES
1. Features 2. Installation 3. Board Operation 4. OLED Diagrams 5. Menu System 6. Settings 7. Recommendations YAKUZA SERIES OLED For the Bob Long Closer, Marq, Vice, and Protege 4C Technology by Extreme
More informationHOT SPOT MONITOR (HSM)
HOT SPOT MONITOR (HSM) EDS FILE TECHNICAL NOTE INSERTING EDS TO ROCKWELL STUDIO 5000 Follow the below steps to add GraceSense TM Hot Spot Monitor (HSM) product via Ethernet IP to your project. Download
More informationThere are three types of station hunting in IPedge/VIPedge:
IPedge/VIPedge Feature Desc. 10/4/12 OVERVIEW There are three types of station hunting in IPedge/VIPedge: 1. Serial 2. Circular 3. Distributed Serial hunting and circular hunting may optionally have a
More informationCOMP219: Artificial Intelligence. Lecture 8: Combining Search Strategies and Speeding Up
COMP219: Artificial Intelligence Lecture 8: Combining Search Strategies and Speeding Up 1 Overview Last time Basic problem solving techniques: Breadth-first search complete but expensive Depth-first search
More informationCode of Practice for the Inspection and Testing of Portable Electrical Equipment (PAT)
Code of Practice for the Inspection and Testing of Portable Electrical Equipment (PAT) Reviews and Revisions Action Date Reason Reviewer Updated details of External PAT Contractor 17/02/16 New contract
More informationPilot Check Valve: Metal Body Type
INFORMATION Pilot Check Valve: Metal Body Type The use of a metal body improves strength and environmental resistance. Temporary intermediate stops are possible. *1 *1 Precise intermediate stops are not
More information