Operating System Support for Redundant Multithreading
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
微软郑宇:大数据解决城市大问题 18 更智能的家庭 19 微博拾粹 Weibo Highlights
2015年1月 第33期 P7 WWT: 数字宇宙,虚拟星空 P16 P12 带着微软坐过山车 P4 P10 1 微软亚洲研究院 2015年1月 第33期 以“开放”和“极客创新”精神铸造一个“新”微软 3 第十六届“二十一世纪的计算”学术研讨会成功举办 4 微软与清华大学联合举办2014年微软亚太教育峰会 5 你还记得一夜暴红的机器人小冰吗? 7 Peter Lee:带着微软坐过山车 10 计算机科学家周以真专访 12 WWT:数字宇宙,虚拟星空 16 微软郑宇:大数据解决城市大问题 18 更智能的家庭 19 微博拾粹 Weibo Highlights @微软亚洲研究院 官方微博精彩选摘 20 让虚拟世界更真实 22 4K时代,你不能不知道的HEVC 25 小冰的三项绝技是如何炼成的? 26 科研伴我成长——上海交通大学ACM班学生在微软亚洲研究院的幸福实习生活 28 年轻的心与渐行渐近的梦——记微软-斯坦福产品设计创新课程ME310 30 如何写好简历,找到心仪的暑期实习 32 微软研究员Eric Horvitz解读“人工智能百年研究” 33 2 以“开放”和“极客创新”精神 铸造一个“新”微软 爆竹声声辞旧岁,喜气洋“羊”迎新年。转眼间,这一 年的时光即将伴着哒哒的马蹄声奔驰而去。在这辞旧迎新的 时刻,我们怀揣着对技术改变未来的美好憧憬,与所有为推 动互联网不断发展、为人类科技进步不断奋斗的科技爱好者 一起,敲响新年的钟声。挥别2014,一起期盼那充满希望 的新一年! 即将辞行的是很不平凡的一年。这一年的互联网风起云 涌,你方唱罢我登场,比起往日的峥嵘有过之而无不及:可 穿戴设备和智能家居成为众人争抢的高地;人工智能在逐渐 触手可及的同时又引起争议不断;一轮又一轮创业大潮此起 彼伏,不断有优秀的新公司和新青年展露头角。这一年的微 软也在众人的关注下发生着翻天覆地的变化:第三任CEO Satya Nadella屡新,确定以移动业务和云业务为中心 的公司战略,以开放的姿态拥抱移动互联的新时代,发布新一代Windows 10操作系统……于我个人而言,这一 年,就任微软亚太研发集团主席开启了我20年微软旅程上的新篇章。虽然肩上的担子更重了,但心中的激情却 丝毫未减。 “开放”和“极客创新”精神是我们在Satya时代看到微软文化的一个演进。“开放”是指不固守陈规,不囿 于往日的羁绊,用户在哪里需要我们,微软的服务就去哪里。推出Office for iOS/Android,开源.Net都是“开放” 的“新”微软对用户做出的承诺。关于“极客创新”,大家可能都已经听说过“车库(Garage)”这个词了,当年比 尔∙盖茨最早就是在车库里开始创业的。2014年,微软在全球范围内举办了“极客马拉松大赛(Hackthon)”,并鼓 励员工在业余时间加入“微软车库”项目,将自己的想法变为现实。这一系列的举措都是希望激发微软员工的“极 客创新”精神,我们也欣喜地看到变化正在微软内部潜移默化地进行着。“微软车库”目前已经公布了一部分有趣 的项目,我相信,未来还会有更多让人眼前一亮的创新。 2015年,我希望微软亚洲研究院和微软亚太研发集团的同事能够保持和发扬“开放”和“极客创新”的精 神。我们一起铸造一个“新”微软,为用户创造更多的惊喜! 微软亚洲研究院院长 3 第十六届“二十一世纪的计算”学术研讨会成功举办 2014年10月29日由微软亚洲研究院与北京大学联合主办的“二 形图像等领域的突破:微软语音助手小娜的背后,蕴藏着一系列人 十一世纪的计算”大型学术研讨会,在北京大学举行。包括有“计 工智能技术;大数据和机器学习技术帮助我们更好地认识城市和生 算机科学领域的诺贝尔奖”之称的图灵奖获得者、来自微软及学术 -
High Velocity Kernel File Systems with Bento
High Velocity Kernel File Systems with Bento Samantha Miller, Kaiyuan Zhang, Mengqi Chen, and Ryan Jennings, University of Washington; Ang Chen, Rice University; Danyang Zhuo, Duke University; Thomas Anderson, University of Washington https://www.usenix.org/conference/fast21/presentation/miller This paper is included in the Proceedings of the 19th USENIX Conference on File and Storage Technologies. February 23–25, 2021 978-1-939133-20-5 Open access to the Proceedings of the 19th USENIX Conference on File and Storage Technologies is sponsored by USENIX. High Velocity Kernel File Systems with Bento Samantha Miller Kaiyuan Zhang Mengqi Chen Ryan Jennings Ang Chen‡ Danyang Zhuo† Thomas Anderson University of Washington †Duke University ‡Rice University Abstract kernel-level debuggers and kernel testing frameworks makes this worse. The restricted and different kernel programming High development velocity is critical for modern systems. environment also limits the number of trained developers. This is especially true for Linux file systems which are seeing Finally, upgrading a kernel module requires either rebooting increased pressure from new storage devices and new demands the machine or restarting the relevant module, either way on storage systems. However, high velocity Linux kernel rendering the machine unavailable during the upgrade. In the development is challenging due to the ease of introducing cloud setting, this forces kernel upgrades to be batched to meet bugs, the difficulty of testing and debugging, and the lack of cloud-level availability goals. support for redeployment without service disruption. Existing Slow development cycles are a particular problem for file approaches to high-velocity development of file systems for systems. -
Project-Team REGAL
IN PARTNERSHIP WITH: CNRS Université Pierre et Marie Curie (Paris 6) Activity Report 2013 Project-Team REGAL Large-Scale Distributed Systems and Applications IN COLLABORATION WITH: Laboratoire d’informatique de Paris 6 (LIP6) RESEARCH CENTER Paris - Rocquencourt THEME Distributed Systems and middleware Table of contents 1. Members :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 2. Overall Objectives :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 2 2.1. Overall Objectives2 2.2. Highlights of the Year2 3. Research Program :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 3 3.1.1. Modern computer systems are increasingly parallel and distributed.3 3.1.2. Multicore architectures are everywhere.3 4. Software and Platforms ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 4 4.1. Coccinelle 4 4.2. SwiftCloud 4 4.3. JESSY 4 4.4. Java and .Net runtimes for LLVM5 5. New Results :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 5 5.1. Introduction 5 5.2. Distributed algorithms for dynamic networks5 5.2.1. Mutual Exclusion and Failure Detection.6 5.2.2. Self-Stabilization and Self-* Services.6 5.2.3. Dissemination and Data Finding in Large Scale Systems.6 5.2.4. Peer certification.7 5.3. Management of distributed data7 5.3.1. Long term durability7 5.3.2. Adaptative replication8 5.3.3. Strong consistency8 5.3.4. Distributed Transaction Scheduling9 5.3.5. Eventual consistency9 5.3.6. Mixing commutative and non-commutative updates: reservations9 5.4. Performance and Robustness of Systems Software in Multicore Architectures 10 5.4.1. Managed Runtime Environments 10 5.4.2. System software robustness 10 5.4.3. Domain-specific languages for systems software 11 6. Bilateral Contracts and Grants with Industry ::::::::::::::::::::::::::::::::::::::::::::: 11 6.1. Bilateral Contracts with Industry 11 6.2. Bilateral Grants with Industry 11 7. -
Building a Better Mousetrap
ISN_FINAL (DO NOT DELETE) 10/24/2013 6:04 PM SUPER-INTERMEDIARIES, CODE, HUMAN RIGHTS IRA STEVEN NATHENSON* Abstract We live in an age of intermediated network communications. Although the internet includes many intermediaries, some stand heads and shoulders above the rest. This article examines some of the responsibilities of “Super-Intermediaries” such as YouTube, Twitter, and Facebook, intermediaries that have tremendous power over their users’ human rights. After considering the controversy arising from the incendiary YouTube video Innocence of Muslims, the article suggests that Super-Intermediaries face a difficult and likely impossible mission of fully servicing the broad tapestry of human rights contained in the International Bill of Human Rights. The article further considers how intermediary content-control pro- cedures focus too heavily on intellectual property, and are poorly suited to balancing the broader and often-conflicting set of values embodied in human rights law. Finally, the article examines a num- ber of steps that Super-Intermediaries might take to resolve difficult content problems and ultimately suggests that intermediaries sub- scribe to a set of process-based guiding principles—a form of Digital Due Process—so that intermediaries can better foster human dignity. * Associate Professor of Law, St. Thomas University School of Law, inathen- [email protected]. I would like to thank the editors of the Intercultural Human Rights Law Review, particularly Amber Bounelis and Tina Marie Trunzo Lute, as well as symposium editor Lauren Smith. Additional thanks are due to Daniel Joyce and Molly Land for their comments at the symposium. This article also benefitted greatly from suggestions made by the participants of the 2013 Third Annual Internet Works-in-Progress conference, including Derek Bambauer, Marc Blitz, Anupam Chander, Chloe Georas, Andrew Gilden, Eric Goldman, Dan Hunter, Fred von Lohmann, Mark Lemley, Rebecca Tushnet, and Peter Yu. -
Important OS Papers
AppendixC Important OS papers This Appendix contains important operating system papers. What makes them important? There are a variety of ways for a paper to get included in this list. Some papers contain fundamental breakthroughs in operating system design or specific operating system functional areas. Others describe research that lead the way for new areas of innovation. Some describe promising research that has not yet borne fruit. Some provided a distillation of previous work, but that distillation resulted in better understanding of operating system functionality that lead to new research or solutions. The list of important papers here is not all inclusive, of course, but tries to be a fundamental reading list for those interested in core operating systems research publications. • Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung “The Google File System”, Proceedings of the Summer USENIX Conference (1986). • S. Baskiyar, and N. Meghanathan “A Survey of Contemporary Real-time Operating Systems” Informatica (2005). • Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauery, Ian Pratt, Andrew Warfield “Xen and the Art of Virtuaization”, Proceedings of the 19th ACM Symposium on Operating Systems Principles (2003). • Mahadev Satyanarayanan “Mobile Computing: The Next Decade”, Pro- ceedings of the 1st ACM Workshop on Mobile Cloud Computing and Services: Social Networks and Beyond (2010). • Andrew D. Birrell “An Introduction to Programming with Threads”, Research Report 35: Digital Equipment Corporation Systems Research (1989). • Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy “Scheduler Activations”, Proceedings of the 13th ACM Symposium on Operating Systems Principles (1991). • Thomas W. -
Large Scale Malicious Code: a Research Agenda ∗†
Large Scale Malicious Code: A Research Agenda ∗† Nicholas Weaver Vern Paxson Stuart Staniford Robert Cunningham Silicon Defense & ICSI Center for Silicon Defense MIT Lincoln UC Berkeley Internet Research Laboratory 1 Executive Summary attacks on the Internet infrastructure. What makes the threat particularly serious is that the resources required The reliable operation of our networked computing infras- to launch such an attack are comparatively small: a few tructure is essential to many governmental and corporate skilled programmers and a small group of test machines. activities. Unfortunately, this infrastructure is highly vul- There are several strategies possible, including active nerable to automated attacks by computer worms: pro- scanning, topologically-aware, contagion, metaserver, grams that propagate themselves to all vulnerable ma- and flash attacks, which can’t be detected or responded chines on the Internet. Such wide-scale malicious code to by current systems. There are numerous possible pay- is a major threat. loads, such as data erasers, hardware-damaging routines, Previous worms, such as Code Red[25] and Nimda[12], Internet-scale denial-of-service attacks, or widespread es- were relatively minor: they contained no overtly mali- pionage, which could significantly affect the U.S. econ- cious payload designed to affect the infected machine and omy if contained in a widespread worm. attacked comparatively well-known vulnerabilities. Even If our nation wishes to rely upon commodity networked so, they were moderately disruptive and highlighted the computers for our day to day business, governmental, and systemic vulnerabilities as the worms infected hundreds military operations, we need to invest in several avenues of thousands of machines in a few hours. -
Linux Kernel User Documentation V4.20.0
usepackagefontspec setsansfontDejaVu Sans setromanfontDejaVu Serif setmonofontDejaVu Sans Mono Linux Kernel User Documentation v4.20.0 The kernel development community 1 16, 2019 Contents 1 Linux kernel release 4.x <http://kernel.org/> 3 2 The kernel’s command-line parameters 9 3 Linux allocated devices (4.x+ version) 109 4 L1TF - L1 Terminal Fault 171 5 Reporting bugs 181 6 Security bugs 185 7 Bug hunting 187 8 Bisecting a bug 193 9 Tainted kernels 195 10 Ramoops oops/panic logger 197 11 Dynamic debug 201 12 Explaining the dreaded “No init found.” boot hang message 207 13 Rules on how to access information in sysfs 209 14 Using the initial RAM disk (initrd) 213 15 Control Group v2 219 16 Linux Serial Console 245 17 Linux Braille Console 247 18 Parport 249 19 RAID arrays 253 20 Kernel module signing facility 263 21 Linux Magic System Request Key Hacks 267 i 22 Unicode support 273 23 Software cursor for VGA 277 24 Kernel Support for miscellaneous (your favourite) Binary Formats v1.1 279 25 Mono(tm) Binary Kernel Support for Linux 283 26 Java(tm) Binary Kernel Support for Linux v1.03 285 27 Reliability, Availability and Serviceability 293 28 A block layer cache (bcache) 309 29 ext4 General Information 319 30 Power Management 327 31 Thunderbolt 349 32 Linux Security Module Usage 353 33 Memory Management 369 ii Linux Kernel User Documentation, v4.20.0 The following is a collection of user-oriented documents that have been added to the kernel over time. There is, as yet, little overall order or organization here — this material was not written to be a single, coherent document! With luck things will improve quickly over time. -
Microsoft from Wikipedia, the Free Encyclopedia Jump To: Navigation, Search
Microsoft From Wikipedia, the free encyclopedia Jump to: navigation, search Coordinates: 47°38′22.55″N 122°7′42.42″W / 47.6395972°N 122.12845°W / 47.6395972; -122.12845 Microsoft Corporation Public (NASDAQ: MSFT) Dow Jones Industrial Average Type Component S&P 500 Component Computer software Consumer electronics Digital distribution Computer hardware Industry Video games IT consulting Online advertising Retail stores Automotive software Albuquerque, New Mexico Founded April 4, 1975 Bill Gates Founder(s) Paul Allen One Microsoft Way Headquarters Redmond, Washington, United States Area served Worldwide Key people Steve Ballmer (CEO) Brian Kevin Turner (COO) Bill Gates (Chairman) Ray Ozzie (CSA) Craig Mundie (CRSO) Products See products listing Services See services listing Revenue $62.484 billion (2010) Operating income $24.098 billion (2010) Profit $18.760 billion (2010) Total assets $86.113 billion (2010) Total equity $46.175 billion (2010) Employees 89,000 (2010) Subsidiaries List of acquisitions Website microsoft.com Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions. Established on April 4, 1975 to develop and sell BASIC interpreters for the Altair 8800, Microsoft rose to dominate the home computer operating system (OS) market with MS-DOS in the mid-1980s, followed by the Microsoft Windows line of OSes. Microsoft would also come to dominate the office suite market with Microsoft Office. The company has diversified in recent years into the video game industry with the Xbox and its successor, the Xbox 360 as well as into the consumer electronics market with Zune and the Windows Phone OS. -
A Study on Faults and Error Propagation in the Linux Operating System
A Thesis for the Degree of Ph.D. in Engineering A Study on Faults and Error Propagation in the Linux Operating System March 2016 Graduate School of Science and Technology Keio University Takeshi Yoshimura Acknowledgement I would like to thank my adviser, Prof. Kenji Kono. His guidance helped me in all the time of research. I would like to express my sincere gratitude to Prof. Hiroshi Yamada. This dissertation would not have been possible without their advice and encouragement. I am also grateful to the members of my thesis committee: Prof. Shingo Takada, Prof. Hiroaki Saito, and Prof. Kenichi Kourai. This dissertation was greatly improved by their invaluable feedback. During my Ph.D., I did an internship at NEC. I enjoyed working with Dr. Masato Asahara and the opportunity had a significant impact on my research skills. He also taught me LDA, which is the core of the fault study in this dis- sertation. I am also thankful to my colleagues in the sslab. Their surprising enthusiasm and skills have always inspired me. I appreciate the financial supports from the Research Fellowships of the Japan Society for the Promotion of Science for Young Scientists and the Core Re- search for Evolutional Science and Technology of Japan Science and Technology Agency. Finally, I would like to thank my family, my parents, sister for their support all these years. Without their support and encouragement, many accomplishments in my life including this dissertation would not have been possible. 2 Abstract A Study on Faults and Error Propagation in the Linux Operating System Takeshi Yoshimura Operating systems are crucial for application reliability. -
How to Find Bugs in USB Device Drivers
Don’t trust your USB! How to find bugs in USB device drivers Sergej Schumilo Ralf Spenneberg OpenSource Security Ralf Spenneberg OpenSource Training Ralf Spenneberg University of Applied Sciences Muenster [email protected] [email protected] Hendrik Schwartke OpenSource Security Ralf Spenneberg [email protected] Abstract The USB fuzzing technique either tries to specifically modify the USB traffic implementing a Man-in-the-Middle Attacks via USB have been demonstrated regularly for approach[4] or to emulate a malicious USB device, which some years. A comprehensive systematic analysis of the po- injects malicious payloads into the USB host. In the past, tential risk of this weakness was very expensive, yet. The no approach supported a systematic, comprehensive analy- framework presented in this paper supports the systematic sis of all available USB device drivers of a given operating high performance fuzzing of USB drivers using massive par- system. The vast amount of possible USB device drivers allel virtual machines. The framework identifies and docu- and the possible variations of the USB traffic require the ments the security weaknesses. The format used permits the generation of several million possible fuzzing tests. The reproduction of the attack, supporting the analysis by devel- slow speed of the known hardware solutions (Facedancer, opers and analysts. etc.) makes such fuzzing attacks virtually impossible. This papers presents the development of USB fuzzing Keywords: USB, Fuzzing, QEMU, KVM, USB- framework named vUSBf (virtual USB fuzzer). This frame- Redirection, Emulation work increases the speed of the fuzzing test by several mag- nitudes. Additional features support the reproducibility and 1. -
Spatial Computation
Spatial Computation Mihai Budiu December 2003 CMU-CS-03-217 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Thesis Committee: Seth Copen Goldstein, Chair Peter Lee Todd Mowry Babak Falsafi, ECE Nevin Heinze, Agere Systems This research was sponsored by the Defense Advanced Projects Agency (DARPA) under US Army contract no. DABT6396C0083, DARPA under US Navy grant no. N000140110659 via Pennsylvania State University and via Hewlett-Packard (HP) Laboratories, the National Science Foundation (NSF) under grant no. CCR-0205523 and no. CCR-9876248, and by generous donations from the Altera Corporation and HP. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the sponsors or any other entity. Keywords: spatial computation, optimizing compilers, internal representation, dataflow machines, asyn- chronous circuits, reconfigurable computing, power-efficient computation Abstract This thesis presents a compilation framework for translating ANSI C programs into hardware dataflow ma- chines. The framework is embodied in the CASH compiler, a Compiler for Application-Specific Hardware. CASH generates asynchronous hardware circuits that directly implement the functionality of the source program, without using any interpretative structures. This style of computation is dubbed “Spatial Compu- tation.” CASH relies extensively on predication and speculation for building efficient hardware circuits. The first part of this document describes Pegasus, the internal representation of CASH, and a series of novel program transformations performed by CASH. The most notable of these are a new optimal register- promotion algorithm and partial redundancy elimination for memory accesses based on predicate manipu- lation. -
ISSUE on OPERATINGSYSTEMSSUPPORTFOR DATAMANAGEMENT Editor-In-Chief,Databaseengineering Chairperson, IC Dr
SEPTEMBER1986 VOL.9NO.3 a quarLerlybulletin of the IEEEcomputersociety technicalcommittee Database Engineering CONTENTS Chairman’sMessage 1 S. Jajodia Changes to the EditorialStaff of DatabaseEngineering 2 W. Kim Letterfrom the Editor 3 H. Boral An OperatingSystem for a DatabaseMachine 5 C. Nyberg TheJASMINKernel as a DataManagerBase 9 W. K. Wlkinson, M-YLai Supporting a DatabaseSystem on Symbolics LispMachines 17 H-i Chou, J. Garza N. Ba/Iou The CamelotProject 23 A. Spector, J. Bloch, 0. Daniels, R. Draves, D. Duchamp, J. Eppinger, S. Menees, 0. Thompson Getting the OperatingSystem Out of the Way 35 J. Moss OperatingSystemSupport for DataManagement 43 M. Stonebraker, A. Kumar Calls for Papers 52 SPECIALISSUE ON OPERATINGSYSTEMSSUPPORTFOR DATAMANAGEMENT Editor-in-Chief,DatabaseEngineering Chairperson, IC Dr. Won Kim Dr. SushilJajodia MCC NavalResearch Lab. 3500WestBalconesCenterDrive Washington, D.C. 20375-5000 Austin, TX 78759 (202)767-3596 (512)338-3439 ViceChairperson, TC Associate Database Editors, Engineering Prof. ArthurKeller Dr. HaranBoral Dept. of ComputerSciences MCC University of Texas 3500WestBalconesCenterDrive Austin, TX 78712-1188 Austin, TX 78759 (512)471-7316 (512)338-3469 Prof. MichaelCarey Treasurer, TC ComputerSciencesDepartment Prof. LeszekLilien University of Wisconsin Dept. of ElectricalEngineering Madison, WI 53706 and ComputerScience (608)262-2252 University of Illinois Dr. C. Mohan Chicago, IL 60680 IBM AlmadenResearchCenter (312)996-0827 650 HarryRoad San Jose, CA 95 120-6099 Secretary, TC (408)927-1733 Dr. Richard L. Shuey Dr. SunilSarin 2338Rosendale Rd. ComputerCorporation of America Schenectady, NY 12309 4 CambridgeCenter (518)374-5684 Cambridge, MA 02142 (617)492-8860 Prof.YannisVassiliou GraduateSchool of BusinessAdministration NewYorkUniversity 90 TrinityPlace NewYork, NY (212)598-7536 DatabaseEngineeringBulletin is a quarterlypublication of Memoership in the DatabaseEngineeringTechnicalCom the IEEEComputerSocietyTechnicalCommittee on Database mittee is open to individualswhodemonstratewillingness to Engineering.