Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell

Total Page:16

File Type:pdf, Size:1020Kb

Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell by Robert Stewart Submitted in conformity with the requirements for the degree of Doctor of Philosophy Heriot Watt University School of Mathematical and Computer Sciences Submitted November, 2013 The copyright in this thesis is owned by the author. Any quotation from this thesis or use of any of the information contained in it must acknowledge this thesis as the source of the quotation or information. Abstract As the number of cores in manycore systems grows exponentially, the number of failures is also predicted to grow exponentially. Hence massively parallel computations must be able to tolerate faults. Moreover new approaches to language design and system architecture are needed to address the resilience of massively parallel heterogeneous architectures. Symbolic computation has underpinned key advances in Mathematics and Computer Sci- ence, for example in number theory, cryptography, and coding theory. Computer algebra soft- ware systems facilitate symbolic mathematics. Developing these at scale has its own distinctive set of challenges, as symbolic algorithms tend to employ complex irregular data and control structures. SymGridParII is a middleware for parallel symbolic computing on massively parallel High Performance Computing platforms. A key element of SymGridParII is a domain specific language (DSL) called Haskell Distributed Parallel Haskell (HdpH). It is explicitly designed for scalable distributed-memory parallelism, and employs work stealing to load balance dynamically generated irregular task sizes. To investigate providing scalable fault tolerant symbolic computation we design, implement and evaluate a reliable version of HdpH, HdpH-RS. Its reliable scheduler detects and handles faults, using task replication as a key recovery strategy. The scheduler supports load balancing with a fault tolerant work stealing protocol. The reliable scheduler is invoked with two fault tolerance primitives for implicit and explicit work placement, and 10 fault tolerant parallel skeletons that encapsulate common parallel programming patterns. The user is oblivious to many failures, they are instead handled by the scheduler. An operational semantics describes small-step reductions on states. A simple abstract ma- chine for scheduling transitions and task evaluation is presented. It defines the semantics of supervised futures, and the transition rules for recovering tasks in the presence of failure. The transition rules are demonstrated with a fault-free execution, and three executions that recover from faults. The fault tolerant work stealing has been abstracted in to a Promela model. The SPIN model checker is used to exhaustively search the intersection of states in this automaton to validate a key resiliency property of the protocol. It asserts that an initially empty supervised future on the supervisor node will eventually be full in the presence of all possible combinations of failures. The performance of HdpH-RS is measured using five benchmarks. Supervised scheduling achieves a speedup of 757 with explicit task placement and 340 with lazy work stealing when executing Summatory Liouville up to 1400 cores of a HPC architecture. Moreover, supervision overheads are consistently low scaling up to 1400 cores. Low recovery overheads are observed in the presence of frequent failure when lazy on-demand work stealing is used. A Chaos Monkey mechanism has been developed for stress testing resiliency with random failure combinations. All unit tests pass in the presence of random failure, terminating with the expected results. 2 Dedication To Mum and Dad. 3 Acknowledgements Foremost, I would like to express my deepest thanks to my two supervisors, Professor Phil Trinder and Dr Patrick Maier. Their patience, encouragement, and immense knowledge were key motivations throughout my PhD. They carry out their research with an objective and principled approach to computer science. They persuasively conveyed an interest in my work, and I am grateful for my inclusion in their HPC-GAP project. Phil has been my supervisor and guiding beacon through four years of computer science MEng and PhD research. I am truly thankful for his steadfast integrity, and selfless dedication to both my personal and academic development. I cannot think of a better supervisor to have. Patrick is a mentor and friend, from whom I have learnt the vital skill of disciplined critical thinking. His forensic scrutiny of my technical writing has been invaluable. He has always found the time to propose consistently excellent improvements. I owe a great debt of gratitude to Phil and Patrick. I would like to thank Professor Greg Michaelson for offering thorough and excellent feedback on an earlier version of this thesis. In addition, a thank you to Dr Gudmund Grov. Gudmund gave feedback on Chapter 4 of this thesis, and suggested generality improvements to my model checking abstraction of HdpH-RS. A special mention for Dr Edsko de Vries of Well Typed, for our insightful and detailed discussions about network transport design. Furthermore, Edsko engineered the network abstraction layer on which the fault detecting component of HdpH-RS is built. I thank the computing officers at Heriot-Watt University and the Edinburgh Parallel Computing Centre for their support and hardware access for the performance evaluation of HdpH-RS. 4 Contents 1 Introduction 10 1.1 Context . 10 1.2 Contributions . 11 1.3 Authorship & Collaboration . 13 1.3.1 Authorship . 13 1.3.2 Collaboration . 14 2 Related Work 16 2.1 Dependability of Distributed Systems . 16 2.1.1 Distributed Systems Terminology . 17 2.1.2 Dependable Systems . 17 2.2 Fault Tolerance . 18 2.2.1 Fault Tolerance Terminology . 18 2.2.2 Failure Rates . 20 2.2.3 Fault Tolerance Mechanisms . 22 2.2.4 Software Based Fault Tolerance . 25 2.3 Classifications of Fault Tolerance Implementations . 27 2.3.1 Fault Tolerance for DOTS Middleware . 27 2.3.2 MapReduce . 28 2.3.3 Distributed Datastores . 28 2.3.4 Fault Tolerant Networking Protocols . 29 2.3.5 Fault Tolerant MPI . 30 2.3.6 Erlang . 32 2.3.7 Process Supervision in Erlang OTP . 33 2.4 CloudHaskell . 34 2.4.1 Fault Tolerance in CloudHaskell . 34 2.4.2 CloudHaskell 2.0 . 35 2.5 SymGridParII . 36 5 2.6 HdpH . 36 2.6.1 HdpH Language Design . 36 2.6.2 HdpH Primitives . 37 2.6.3 Programming Example with HdpH . 37 2.6.4 HdpH Implementation . 38 2.7 Fault Tolerance Potential for HdpH . 38 3 Designing a Fault Tolerant Programming Language for Distributed Memory Scheduling 41 3.1 Supervised Workpools Prototype . 42 3.2 Introducing Work Stealing Scheduling . 43 3.3 Reliable Scheduling for Fault Tolerance . 45 3.3.1 HdpH-RS Terminology . 45 3.3.2 HdpH-RS Programming Primitives . 47 3.4 Operational Semantics . 48 3.4.1 Semantics of the Host Language . 49 3.4.2 HdpH-RS Core Syntax . 49 3.4.3 Small Step Operational Semantics . 50 3.4.4 Execution of Transition Rules . 58 3.5 Designing a Fault Tolerant Scheduler . 62 3.5.1 Work Stealing Protocol . 62 3.5.2 Task Locality . 64 3.5.3 Duplicate Sparks . 68 3.5.4 Fault Tolerant Scheduling Algorithm . 71 3.5.5 Fault Recovery Examples . 75 3.6 Summary . 80 4 The Validation of Reliable Distributed Scheduling for HdpH-RS 81 4.1 Modeling Asynchronous Environments . 82 4.1.1 Asynchronous Message Passing . 82 4.1.2 Asynchronous Work Stealing . 83 4.2 Promela Model of Fault Tolerant Scheduling . 84 4.2.1 Introduction to Promela . 84 4.2.2 Key Reliable Scheduling Properties . 85 4.2.3 HdpH-RS Abstraction . 86 4.2.4 Out-of-Scope Characteristics . 88 4.3 Scheduling Model . 88 6 4.3.1 Channels & Nodes . 88 4.3.2 Node Failure . 91 4.3.3 Node State . 92 4.3.4 Spark Location Tracking . 94 4.3.5 Message Handling . 95 4.4 Verifying Scheduling Properties . 103 4.4.1 Linear Temporal Logic & Propositional Symbols . 103 4.4.2 Verification Options & Model Checking Platform . 104 4.5 Model Checking Results . 105 4.5.1 Counter Property . 106 4.5.2 Desirable Properties . 106 4.6 Identifying Scheduling Bugs . 107 5 Implementing a Fault Tolerant Programming Language and Reliable Scheduler 109 5.1 HdpH-RS Architecture . 109 5.1.1 Implementing Futures . 111 5.1.2 Guard Posts . 116 5.2 HdpH-RS Primitives . 117 5.3 Recovering Supervised Sparks and Threads . 118 5.4 HdpH-RS Node State . 120 5.4.1 Communication State . 120 5.4.2 Sparkpool State . 121 5.4.3 Threadpool State . 122 5.5 Fault Detecting Communications Layer . 123 5.5.1 Distributed Virtual Machine . 123 5.5.2 Message Passing API . 123 5.5.3 RTS Messages . 124 5.5.4 Detecting Node Failure . 125 5.6 Comparison with Other Fault Tolerant Language Implementations . 129 5.6.1 Erlang . 129 5.6.2 Hadoop . 130 5.6.3 GdH Fault Tolerance Design . 131 5.6.4 Fault Tolerant MPI Implementations . 132 6 Fault Tolerant Programming & Reliable Scheduling Evaluation 133 6.1 Fault Tolerant Programming with HdpH-RS . 134 7 6.1.1 Programming With HdpH-RS Fault Tolerance Primitives . 134 6.1.2 Fault Tolerant Parallel Skeletons . 134 6.1.3 Programming With Fault Tolerant Skeletons . 137 6.2 Launching Distributed Programs . 138 6.3 Measurements Platform . 141 6.3.1 Benchmarks . 141 6.3.2 Measurement Methodologies . 142 6.3.3 Hardware Platforms . ..
Recommended publications
  • 2002 Public Accountability Statement
    2002 Public Accountability Statement Committed to our customers, our employees, the communities where we live and work, and our shareholders 2002 PUBLIC ACCOUNTABILITY STATEMENT – TABLE OF CONTENTS 2A 170-Year Tradition of Commitment 22 Supporting Community Development A message from Peter C. Godsoe and Locally Richard E. Waugh 24 Supporting Community Development 4 The Scotiabank Group Globally Core business descriptions and international presence 27 Respect for the Environment 6 Our Commitment to Shareholders 30 Our Commitment to Our Customers We aim to be the best at helping all 7 Codes of Conduct at Scotiabank of our customers become financially better off 8 Corporate Governance Sound and effective corporate 34 Our Commitment to Small Business governance is a priority for Committed to becoming the bank of Scotiabank choice for small business owners 9 Our Commitment to Communities 36 Our Commitment to Employees Contributing to the well-being of the Scotiabank’s goal is to be recognized communities where we live and work as an employer of choice by current and potential employees 10 Education Adding real value to students’ 42 Regional Support educational experiences 42 British Columbia & Yukon Region 12 Health 43 Prairie Region & Northwest Encouraging healthy people and Territories healthy communities 44 Ontario 14 Social Services 45 Quebec Reaching out to people in need is 46 Atlantic Canada an important part of building strong communities 47 Appendix 47 Branch & ABM Openings, 16 Arts & Culture Closings and Consolidations Supporting
    [Show full text]
  • Senior Environment Corps (SEC) of Elder Services of Cape Cod & the Islands Free Winter Education & Film Series Tuesday
    Senior Environment Corps (SEC) of Elder Services of Cape Cod & the Islands Free Winter Education & Film Series SEC is holding a FREE Educational & Film Series on environmental topics of interest to volunteers and the public during Winter 2017. Light refreshments will be served. Seating is limited. To register leave your name at 508-394-4630 x522 or contact Anita@508-394-4630x523/[email protected]. Tuesday, January 17, 11 AM-12:30 PM – “The Gift that Keeps on Giving” Chris Powicki, President, Water & Energy and Ecology Information & Design Services; Adjunct Professor, Cape Cod Community College. Inroads and barriers to instituting renewable and sustainable energy and reducing carbon emissions: How does Cape Cod measure up? Location: Brewster Ladies’ Library, Eddy Auditorium, 2042 Main St., Brewster, MA. Wednesday, January 25, 2-4 PM Film: Catching the Sun-1hr.,15mins. The positive impact of the solar energy industry revolution on a low-income community in Richmond, California and a Chinese solar entrepreneur’s financial success. Location: Cape Cod Museum of Art, D’Allesandro Auditorium, 60 Hope Lane, Dennis, MA. http://www.nytimes.com/2016/04/01/movies/review-catching-the-sun-profiles- solar-energy-entrepreneurs-and-activists.html?_r=0 Tuesday, February 21, 1 -2 PM “Off the Hook” Alex Hay, Owner/Operator Mac’s Seafood and restaurants, Wellfleet Shellfish Company, Board of Directors, Wellfleet Seafood Promotion and Tasting (SPAT.) Initiatives to protect and promulgate Cape seafood through responsible catch and harvesting. Sustainable aquaculture and the benefits of reef restoration explained. Location: Wellfleet Preservation Hall, 335 Main St., Wellfleet.* Post-presentation guided tour, Wellfleet Shellfish Co.
    [Show full text]
  • Med 2002.08-4
    ¡Vaya veranazo me estoy pegando! He estado en “Saint Tropez”, un lujo de playa. He conocido a una pandilla alucinante (¡qué cuerpazos!) que viven en Melrose“ Place”. Ah! y me han presentado a 4 amigas de Nueva York con las que me lo paso Mónica Suárez bomba hablando de sexo. C/ Serrano, 21 ¿Envidia, eh? MELROSE“ PLACE” lunes a viernes a las 22 h. Bueno, tú también puedes (28001 Madrid) hacerlo. Besos y hasta la vuelta. www.cosmopolitan.es “ domingo a las 16 h. SEXO EN NUEV de lunes a “SAINT TROPEZ” A YORK” jueves y sábados a las 23 h. AL“ SALIR DE CLASE” de lunes a viernes a las 20.30 h. Teléfono gratuito de Nº 29 Atención al Cliente agosto 2002 15 00 Imagen Portada: Canal Buzz SUMARIO Cine Locales y autonómicos Canal Hollywood . 24 Andalucía TV . 58 Canal 9 . 58 Deportes Canal 33. 58 K3 . 59 Eurosport . 26 Punt 2 . 59 Sportmanía . 27 Telemadrid . 55 TV3 . 56 lunes a viernes a las 22 h. Documentales Localia TV Alicante . 56 Discovery . 41 Tele Elx. 55 MELROSE“ PLACE” El canal de historia. 31 Natura . 43 Música Odisea . 28 40 TV . 61 Viajar . 33 Ritmoson . 59 Sol Música . 60 Canales opcionales TeleHit . 60 Canal 18. 36 “SEXO EN NUEVA YORK” jueves y sábados a las 23 h. Canalstar . 37 Cultura . 39 Nacionales a las 16 h. Showtime Extreme . 38 Antena 3 . 62 domingo Bloomerg . 62 La 2 . 61 Infocable Editorial, S.L. Entretenimiento Avda. Mistral, 73-75 Ppal 2ª de lunes a Tele 5. 62 Barcelona - 08015 Cocina . 48 ROPEZ” Tel.
    [Show full text]
  • +Tuhinga 27-2016 Vi:Layout 1
    27 2016 2016 TUHINGA Records of the Museum of New Zealand Te Papa Tongarewa Tuhinga: Records of the Museum of New Zealand Te Papa Tongarewa The journal of scholarship and mätauranga Number 27, 2016 Tuhinga: Records of the Museum of New Zealand Te Papa Tongarewa is a peer-reviewed publication, published annually by Te Papa Press PO Box 467, Wellington, New Zealand TE PAPA ® is the trademark of the Museum of New Zealand Te Papa Tongarewa Te Papa Press is an imprint of the Museum of New Zealand Te Papa Tongarewa Tuhinga is available online at www.tepapa.govt.nz/tuhinga It supersedes the following publications: Museum of New Zealand Records (1171-6908); National Museum of New Zealand Records (0110-943X); Dominion Museum Records; Dominion Museum Records in Ethnology. Editorial board: Catherine Cradwick (editorial co-ordinator), Claudia Orange, Stephanie Gibson, Patrick Brownsey, Athol McCredie, Sean Mallon, Amber Aranui, Martin Lewis, Hannah Newport-Watson (Acting Manager, Te Papa Press) ISSN 1173-4337 All papers © Museum of New Zealand Te Papa Tongarewa 2016 Published June 2016 For permission to reproduce any part of this issue, please contact the editorial co-ordinator,Tuhinga, PO Box 467, Wellington. Cover design by Tim Hansen Typesetting by Afineline Digital imaging by Jeremy Glyde Tuhinga: Records of the Museum of New Zealand Te Papa Tongarewa Number 27, 2016 Contents A partnership approach to repatriation: building the bridge from both sides 1 Te Herekiekie Herewini and June Jones Mäori fishhooks at the Pitt Rivers Museum: comments and corrections 10 Jeremy Coote Response to ‘Mäori fishhooks at the Pitt Rivers Museum: comments 20 and corrections’ Chris D.
    [Show full text]
  • Transcript (12
    ) ~l, lgas 1 GAS UNITED STATES SENTENCING COMMISSION PUBLIC HEARING ON PROPOSED GUIDELINE AMENDMENTS Thursday, March 24, 1994 Federal Judiciary Building Education Center One Columbus Circle, N.E. O Room C - 415, South Lobby Washington, D.C. 20002 - 8002 The hearing commenced at 9:07 a.m. BEFORE : WILLIAM W. WILKINS, JR., Chairman JULIE E. CARNES, Commissioner MICHAEL S. GELACAK, Commissioner HENRY GRINNER, Commissioner GARY KATZMANN, Commissioner A. DAVID MAZZONE, Commissioner ILENE H. NAGEL, Commissioner O MILLER REPORTING CO., INC. 507 C STREET, N;E. WASHINGTON, D.C. 20002 (202) 545 - 6666 gas 2 C O N T E N T S PAGE Marvin Miller 7 National Organization for the Reform of Marijuana Laws Julie Stewart 14 Peggy Edmunson 19 Alice O'Leary 24 Families Against Mandatory'Minimums Reverend Andrew Gunn 29 Clergy for Enlightened Drug Policy Nkechi Taifa 41 American Civil Liberties Union Tom Hillier' 53 Federal Public and Community Defenders Dr. John Morgan 68 Dr. John Beresford 75 Committee on Unjust Sentencing Mary Lou Soller 87 American Bar Association Alan Chaset 97 National Association of Criminal Defense Lawyers K.M. Hearst, accompanied by Bob Vincent 106 U.S. Postal Service Barbara Piggee 117, 137 Families Against Discriminative Crack Laws Reverend Jesse L. Jackson 120 National Rainbow Coalition Nicole Washington 144 Neighborhood Families Against Unjust Crack Laws Dr. Arthur Curry 148 MILLER REPORTING CO., INC. 507 C STREET, N.E. WASHINGTON, D.C. 20002 (202) 54€ - €€66 ~, gas 3 C 0 N T E N T S (cont'd) PAGE Dr. Robert Lantz 153 Families Against Mandatory Minimums Jose Clark 160 Rob Stewart 167 Drug Policy Foundation Marjorie Peerce 174 New York Council of Defense Lawyers Maureen Winters 180 Joseph Timilty 183 Ed Rosenthal 188 Ruth Dodd 202 Professor Jonathan Turley 214 "The Project for Older Prisoners OPEN MIKE: Christopher Miller 207 Chuck Morley 235 Kelly M.
    [Show full text]
  • Ras Al-Hamra Sub Aqua Club RAHSAC Celebrates 30 Anniversary
    Ras al-Hamra Sub Aqua Club BSAC BRANCH 1299s RAHSAC celebrates 30th Anniversary On 19th May 1982 the Ras Al Hamra Sub-Aqua Club was founded as a section of the Ras Al Hamra Recreation Club and as branch 1299 of the British Sub-Aqua Club. Some people who were instrumental in the formation of the club were Richard Keech, Mike Butcher, John Elder and Frances Green. Consisting of around 15 members, the dive club had sponsorship from the Recreation Club and could buy some dive tanks, regulators and most important, a compressor. Since formation we have seen hundreds of divers passing through the club; as a club our membership tends to change every four years as people change postings. We have also trained hundreds of divers to become good divers and many up to instructor levels. The club has had its ups and downs with membership shrinking and expanding, restricted by regulations and discovering new dive sites. We have always been supported by the RAH Recreation Club and its committee with finance for equipment, boats and compressors. We have also supported the club during sailing and swimming events and other occasions. At present RAHSAC is a large healthy diving club with about 100 members, instructors, boats, compressors, gas blending facilities and everything that an adventurous diver needs. These two pictures show how the club has developed, from owning a Rubber Duck (see picture above) to operating three seaworthy dive boats. (See picture left) In May we will celebrate our 30th Birthday, a milestone in the club’s history with a celebration dinner on 16th May and with diving activities on 19th May.
    [Show full text]
  • Myths of Offshore Drilling
    SPRING 2010 oceana.org Oceana TRAGEDY IN THE GULF Inside the biggest oil disaster in U.S. history - and how to help WIND ON THE RISE The U.S. makes a run at reclaiming its position as a world leader in wind energy PLUS Chile adopts farmed salmon reform, and more OCEANA.ORG | 1 6 The Deepwater Horizon oil rig exploded: Oceana campaigns to protect and restore the world’s oceans. Now what? Our team of marine scientists, economists, lawyers and advocates win specific and concrete policy changes to reduce pollution and to prevent the irreversible collapse of fish populations, marine mammals and other sea life. Global in scope and dedicated to conservation, Oceana has campaigners based in North America, Europe and South and Central America. More than 300,000 members and e-activists in over 150 countries have already joined Oceana. For more information, please visit www.oceana.org. BOARD OF DIRECTORS OCEAN COUNCIL Keith Addis, Chair Susan Cohn Rockefeller, Chair Dr. Kristian Parker, Lea Haratani, Vice Chair Vice Chair Anne Alexander Rowley James Sandler, Treasurer Dr. Andrew Bevacqua Simon Sidamon-Eristoff, Pierce Brosnan Secretary Deborah Buck Herbert M. Bedolfe III Dan and Beth Cort Ted Danson Andrew and Sydney Davis César Gaviria Michael Dershewitz María Eugenia Girón Barbara Ettinger and Sven Huseby © USCG Stephen P. McAllister Christina Falco and Michael Frumkin Michael Northrop Kelsey Grammer Dr. Daniel Pauly Benjamin Goldsmith Sally-Christine Rodgers Hardy Jones SPRING 2010 | coNteNtS Sam Waterston J. Stephen and Angela Kilcullen Valarie Whiting Eve Kornyei COVER STORY Larry Kopald OCEANA Willa and Ted Lutz 6 Catastrophe In The Gulf Chief Executive Officer Carolyn Marks Blackwood Andrew Sharpless Aaron Peirsol Twenty years after Exxon Valdez, the Executive Vice President Nicole Polizois Deepwater Drilling Disaster shows & General Counsel Linus Roache James Simon Lois Robbins just how dangerous offshore drilling is Senior Vice President, Ruthie Russ today.
    [Show full text]
  • Editorial Features Travel News Equipment Books
    THE FACTS AND VIEWPOINTS IN THIS SECTION ARE NOT NECESSARILY THE VIEWS OF X-RAY MAG. ITEMS PRESENTED IN THIS SECTION HAS NOT BEEN TESTED BY X- Bottom Crawlers RAY MAG STAFF, NOR ARE THE ITEMS WARRANTED, INFORMATION PROVIDED IS CONDENSED FROM MANUFACTURERS DESCRIPTIONS. TEXTS ARE USUALLY EDITED 100% cotton Tribal Shark Men’s T FOR LENGTH, CLARITY AND STYLE LINKS ACTIVE AT THE TIME OF PUBLICATIONS Bold oriental brush strokes on mocha t-shirt. POINT & CLICK Price: US$16.95 www.bottomcrawlers.com ON BOLD LINKS Edited by Gunild Pak Symes ALL PHOTOS COURTESY OF THE MANUFACTURERS OR VENDORS Spring Dive Fashion Stylin’ Togs for Your Tank Stylish Jewelry from the Sea Have a little fun with your gear and A piece of dyed mother of pearl or shell is cut and set by hand in each of these get ‘em grinning with this polyethylene air tank stainless steel pendants. Other designs by the Canadian based husband-and-wife shirt inspired by Lifesavers hard candies. design team Eric Jean-Louis and Vivian Cheng come in bamboo, coconut, coral, Price: US$21.97 www.divingtoysfromdivetonight.com ox bone, steel, Mah Jong and Washi styles. Price: US$75.00 Blendcreations.com Patagonia beach foot- wear fad: Cloud Walker for WaterGirls. O2 Rainwear Full-grain leather upper, Blue or Yellow Lightwieght, breath- pigskin lining and suede Jacket, $29.95 able, waterproof cover footbed. Five colors. Price: Pant, $20.99 for sea bound divers US$80.00 www.patagonia.com O2rainwear.com Sea Inspired Style The fashion label Kawayan (Philippino for ’bamboo’) was created by two sisters, Anna Frances and Anna Mae Dioso.
    [Show full text]
  • New Zealand Sharkwater
    Spring Dive Fashion & Accessories Protecting the Sharks Indonesia Ambon Dive & Kayak GLOBAL EDITION New Apr :: May 2007 Number 16 Zealand Science Black Sea Portfolio Jeroen Verhoeff Dive Medicine Vitamins Help Divers PHILIPPINES Rob Stewart’s TheCOVER PHOTO BY WOLFGANG VisayasLEANDER 1 X-RAY MAG : 16 : 2007 Sharkwater silver cinema of dreams www.seacam.com 2 X-RAY MAG : 16 : 2007 DIRECTORY X-RAY MAG is published by AquaScope Underwater Photography Spring Dive Fashions & Accessories Copenhagen, Denmark - www.aquascope.biz www.xray-mag.com For the Well-Dressed Diver... page 54 “LIFESAVER” SCUBADIVER DIVE FLAVORS AIR TANK SHIRT AVAILABLE FROM DIVE TONIGHT AT WWW.DIVINGTOYSFROMDIVETONIGHT.COM PUBLISHER CO- EDITORS (continued) & EDITOR-IN-CHIEF Arnold Weisz - News, Features Peter Symes Willy Volk - News, Interviews Caribbean reefshark. Photo by Wolfgang Leander [email protected] Millis Keegan - Opinions, MANAGING EDITOR Brian Keegan - Equipment contents & CREATIVE DIRECTOR Michael Arvedlund - Ecology Gunild Pak Symes Jason Heller - Photography [email protected] Dan Beecham - Videography ASSOCIATE EDITORS Michel Tagliati - Medicine & REPRESENTATIVES: Leigh Cunningham - Tech USA: Millis Keegan Edwin Marcow - Sharks [email protected] Russia: Andrey Bizyukin CORRESPONDENTS [email protected] John Collins - Ireland Jordi Chias - Spain South East Asia Rep & editor: Enrico Cappeletti - Italy Catherine GS Lim, Singapore Tomas Knutsson - Iceland [email protected] Gary Myors - Tasmania Marcelo Mammana - Argentina ADVERTISING Svetlana Murashkina
    [Show full text]
  • JANUARY 2008 VOLUME 35, ISSUE 1 Canadian Publication Mail Contract – 40070050 IHS Accumap®
    19 Your Experience Counts: Assessments for Professional Registration 20 Reservoir Engineering for Geologists Part 4 27 Mackenzie Delta/Beaufort Sea, NWT 32 A Petroleum Events Chart for the Whitehorse Trough, Yukon 37 University of Saskatchewan Clastics Field Trip 43 Talking to Astrid Arts JANUARY 2008 VOLUME 35, ISSUE 1 Canadian Publication Mail Contract – 40070050 IHS AccuMap® “AccuMap encompasses speed, stability, efficiency and accuracy. As an intuitive and easy-to-use product, AccuMap serves a broad audience, from field users to the CEO.” Darrel Saik Senior Geological Technologist Paramount Energy Trust AccuMap is the most widely used and highly trusted oil and gas mapping software touching every segment of E&P, for every professional. www.ihs.com/energy Call toll free 1 877 495 4473 I_dY['/(-$$$ ® IHS AccuMap JANUARY 2008 – VOLUME 35, ISSUE 1 ARTICLES Your Experience Counts: Assessments for Professional Registration ....... 19 “AccuMap encompasses by Deborah Spratt, PhD, P.Geol. speed, stability, efficiency Reservoir Engineering for Geologists and accuracy. As an intuitive Part 4 – Production Decline Analysis ............................................................... 20 by Lisa Dean, P.Geol. and Ray Mireault, P.Eng. and easy-to-use product, CSPG OFFICE #600, 640 - 8th Avenue SW Mackenzie Delta/Beaufort Sea, NWT ............................................................... 27 AccuMap serves a broad Calgary, Alberta, Canada T2P 1G7 by Canadian Discovery Ltd. Tel: 403-264-5610 Fax: 403-264-5898 audience, from field users Web: www.cspg.org A Petroleum Events Chart for the Whitehorse Trough, Yukon ................. 32 Office hours: Monday to Friday, 8:30am to 4:00pm by G.W. Lowey to the CEO.” Business Manager: Tim Howard Email: [email protected] University of Saskatchewan Clastics Field Trip ...............................................
    [Show full text]
  • Effect of Heat and Physiological Stress on the Growth Performance
    Effect of heat and physiological stress on the growth performance, physiology and welfare of broiler chickens By Iyasere, Oluwaseun Serah BSc. Animal Production and Health MSc. Animal Physiology A thesis submitted for the degree of Doctor of Philosophy (PhD) School of Agriculture Food and Rural Development Newcastle University April, 2014 i ABSTRACT Broilers can be faced with a several stressful conditions during their production cycle which can have implications for both growth performance and animal welfare. Animal welfare encompasses the physical and mental well-being of animals, assessed from the biological functioning and subjective experience. The aims of this thesis were i) to develop and validate non-invasive means of assessing the welfare of broilers under physiological and episodic heat stress conditions, ii) to investigate the impact of episodic heat stress, physiological stress and light wavelength on the growth performance, physiology and welfare of broiler chickens and, finally, iii) to investigate a novel means of alleviating heat stress in broilers. Endogenous corticosterone measured in the urate sphere was suppressed by dexamethasone administration. In a cognitive bias task, birds offered mealworms injected with corticosterone to mimic chronic stress were pessimistic in their judgement about ambiguous positions. A positive correlation was established between physiological indicators of stress and cognitive bias. Although light wavelength was confounded with light intensity in our study, there was no difference in growth performance and cognitive ability of birds reared in the blue and red light, except for increased activity of birds in red light. Under simulated episodic heat stress, the change in CBT measured from a temperature-ID chip (ΔCBT-chip) and a data logger (ΔCBT-logger) was positively correlated.
    [Show full text]
  • Congressional Record United States Th of America PROCEEDINGS and DEBATES of the 108 CONGRESS, FIRST SESSION
    E PL UR UM IB N U U S Congressional Record United States th of America PROCEEDINGS AND DEBATES OF THE 108 CONGRESS, FIRST SESSION Vol. 149 WASHINGTON, TUESDAY, NOVEMBER 25, 2003 No. 174 Senate The Senate met at 8:15 a.m. and was Lord, thank You for all the beauty in Accept this our sacrifice of thanks- called to order by the President pro our world, for the loveliness of earth giving and praise, for the sake of Your tempore (Mr. STEVENS). and sea and sky. Thank You for great glorious name. Amen music and great books, for prose and f PRAYER poetry. Thank You for the nobility You The Chaplain, Dr. Barry C. Black, of- have placed in human hearts, for our PLEDGE OF ALLEGIANCE fered the following prayer: military people who love their country Eternal and dependable Creator, The PRESIDENT pro tempore led the until even self is forgotten. Thank You Pledge of Allegiance, as follows: giver of the abundant harvest, the ref- for Senators who struggle with com- uge of all who flee to You the helper of I pledge allegiance to the Flag of the plex issues and labor for a world at United States of America, and to the Repub- those in need and the one sure resource peace. in times of trouble. Thank You for har- lic for which it stands, one nation under God, monizing the world with seasons and Thank you for loved ones without indivisible, with liberty and justice for all. climates, sowing and reaping, color and whom life would never be the same.
    [Show full text]