DOCSLIB.ORG

Hack for Hiphop

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hack for Hiphop Hack for HHVM <?hh Julien Verlaguet Facebook Facebook • Very large codebase (> 10,000 millions) • Engineers have access to the entire codebase • Culture where everybody moves fast • At this scale, everything changes: – Performance is very critical – Security – Refactoring WHY PHP? PHP • Available everywhere • Very fast development cycle • Very easy to learn • Many libraries • Request based model OK but … WHY PHP? Because … PHP: a FAST feedback loop FAST dynamic g++ -02 - Type whatever checking static C++ Linking ./a.out How do we move forward? Just use Scala! • … Or whatever your favorite language is … • Are we going to convert 10+M lines of code to another language? – The runtimes are incompatible – The object model is different in subtle ways – Very impractical at this scale Making things better • HPHPc • XHP (inline HTML) • Generators • Lint rules HHVM • A JIT compiler for PHP • 5X to 9X faster • Supports modern PHP • HHVM now supports a new language: HACK • hhvm.com/repo What is at stake? • Consequence of subtle bugs: – Corrupt database, etc … • Consequence of difficult APIs: – Copy pasta, hard ramping up time • Consequence of difficult refactoring: – Bad APIs stay bad HACK (or Hack for HHVM) Hack • A statically typed language for HHVM • Compatible with PHP: – Interoperates with no overhead – Same representation at runtime • Evolved from PHP: – If you know PHP, you know Hack! • Designed for incremental adoption: – Gradual typing The type checker in action! DEMO Hack Type System • What must be annotated? – Class members – Function parameters – Return types • What is inferred? – All the rest Hack Types • All PHP types: int, MyClassName, array • Nullable: ?int, ?MyClassName • Mixed: anything (careful) • Tuples: (int, bool, X) • Closures: (function(int): int) • Collections: Vector<int>, Map<string, int> • Generics: A<T>, foo<T>(T $x): T • Constraints: foo<T as A>(T $x): T DEMO Static Typing -> Dynamic Language • PHP wasn’t designed to be statically typed. • Example of things that are expected to work: Hack Type Inference (1) • Let’s infer the type of $x: Hack Type Inference (2) • How does a type-system normally work? – Type-variables are introduced – A unification algorithm solves the type-variables (usually noted α) type($x) = α if (…) { $x = new A(); unify(α, A) => α = A } else { $x = new B(); unify(α, B) => α = B } ERROR Type inference in Hack • Hack introduces unresolved types (noted U) type($x) = α = U() if (…) { $x = new A(); $x = α = U(A); } else { $x = new B(); $x = α = U(A, B); } takesAnIFace($x); $x = α = U(A, B) = IFace with (A ≤ IFace, B ≤ IFace) Hack Type Inference: Generics (1) • Should this work? Hack Type Inference: Generics (2) • Yes, because of this: Hack Type Inference: Generics (3) • But this won’t work: Error messages • We can’t expect the user to understand all the type-inference • The solution: keep the reason why we deduced a type and expose it to the user HACK CONVERSION Facebook now runs on HACK • Majority of our codebase is in Hack • Organic adoption • Automated conversion, 4 kinds of tools: 1. Static analysis (credit: Josh Watzman) 2. Refactoring (credit: Yoann Padioleau) 3. Runtime monitoring (credit: Alok Menghrajani) 4. Codebase monitoring (credit: Gabriel Levi) Hack Adoption • Facebook developers using Hack Coverage MAP (credit: Yoann Padioleau) DEMO What’s next? • PHP 5.5 compatibility • Open-sourcing Questions? HACK ARCHITECTURE Working at scale: Classic Approach • A compiler: takes input files produces .o • A Makefile: recomputes the object files when something changed • A linker: produces a binary file from .o • IDE: talks to the compiler • This design came to be for historical reasons Working at scale: Hack • We knew we wanted an IDE from day one • Big code base • The solution, a server: – The server type-checks all the files – Keeps track of the dependencies – Re-computes types when something changed .
Load more

Recommended publications
  • Extra Notes - React - Getting Started
    Extra Notes - React - Getting Started Dr Nick Hayward React JavaScript Library A quick introduction to React JavaScript library. Further details are available at the React website. Contents Intro Overview why use React? state changes component lifecycle a few benefits Getting started part 1 and 2 JSX benefits composite components more dynamic values conditionals non-DOM attributes reserved words data flow State stateless child components stateful parent component props vs state State - an example Minimal state Component lifecycle method groupings Additional reading &c. References Intro React began life as a port of a custom PHP framework called XHP, which was developed internally at Facebook. XHP, as a PHP framework, was designed to render the full page for each request. React developed from this concept, thereby creating a client-side implementation of loading the full page. Overview React can, therefore, be perceived as a type of state machine, thereby allowing a developer to control and manage the inherent complexity of state as it changes over time. It is able to achieve this by concentrating on a narrow scope for development, maintaining and updating the DOM responding to events React is best perceived as a view library, and has no definite requirements or restrictions on storage, data structure, routing, and so on. This allows developers the freedom to incorporate React code into a broad scope of applications and frameworks. why use React? React is often considered the V in the traditional MVC. As defined in the React docs, it was designed to solve one problem, building large applications with data that changes over time.
    [Show full text]
  • Hack and HHVM: Programming Productivity Without Breaking Things
    Hack & HHVM PROGRAMMING PRODUCTIVITY WITHOUT BREAKING THINGS Owen Yamauchi www.itbook.store/books/9781491920879 Hack and HHVM How can you take advantage of the HipHop Virtual Machine (HHVM) and “Hack is remarkable not the Hack programming language, two new technologies that Facebook only for the elegance and developed to run their web servers? With this practical guide, Owen Yamauchi—a member of Facebook’s core Hack and HHVM teams—shows power of its type system you how to get started with these battle-tested open source tools. and concurrency model, You’ll explore static typechecking and several other features that separate but because it provides Hack from its PHP origins, and learn how to set up, configure, deploy, existing PHP applications and monitor HHVM. Ideal for developers with basic PHP knowledge or a thoughtful, iterative experience with other languages, this book also demonstrates how these tools can be used with existing PHP codebases and new projects alike. migration strategy that can be executed at ■ Learn how Hack provides static typechecking while retaining scale. Yamauchi's survey PHP’s flexible, rapid development capability of the language and its ■ Write typesafe code with Hack’s generics feature runtime is clear, expert, ■ Explore HHVM, a just-in-time compilation runtime engine with and essential. Highly full PHP compatibility recommended. ■ Dive into Hack collections, asynchronous functions, and the ” —Ori Livneh XHP extension for PHP Principal Performance Engineer, ■ Understand Hack’s design rationale, including why it omits Wikimedia Foundation some PHP features ■ Use Hack for multitasking, and for generating HTML securely ■ Learn tools for working with Hack code, including PHP-to-Hack migration Owen Yamauchi is a software engineer at Facebook, where he works on the Hack and HHVM teams.
    [Show full text]
  • React: Facebook's Functional Turn on Writing Javascript
    practice DOI:10.1145/2980991 performance. The key to both advances Article development led by queue.acm.org is that components built from stan- dard JavaScript objects serve as the fun- damental building blocks for React’s A discussion with Pete Hunt, Paul O’Shannessy, internal framework, thus allowing for Dave Smith, and Terry Coatta greatly simplified composability. Once developers manage to get comfortable with building front ends in this way, they typically find they can more readi- ly see what is going on while also enjoy- React: ing greater flexibility in terms of how they structure and display data. All of which caused us to wonder about what led to the creation of React in the first place and what some of its most Facebook’s important guiding principles were. For- tunately for us, Pete Hunt, who at the time was an engineering manager at Instagram as well as one of the more Functional prominent members of Facebook’s React core team, is willing to shed some light on React’s beginnings. Hunt has since gone on to cofound Smyte, a San Turn on Francisco startup focused on security for marketplaces and social networks. Also helping to tell the story is Paul O’Shannessy, one of the first engi- Writing neers at Facebook to be dedicated to React full time. He came to that role from Mozilla, where he had previously worked on the Firefox front end. JavaScript The job of asking the probing ques- tions that drive the discussion forward falls to Dave Smith and Terry Coatta. Smith is an engineering director at HireVue, a Salt Lake City company fo- cused on team-building software, where he has had an opportunity to make ex- tensive use of both Angular and React.
    [Show full text]
  • Comparative Analysis of Reactjs and Vuejs
    International Journal of Future Generation Communication and Networking Vol. 13, No. 3, (2020), pp. 3871–3880 Comparative Analysis Of Reactjs And Vuejs Dr.V. Sakthivel, Assistant Professor(Sr.G), Ms.N.R.Suruthika, Student Department of Computer Science and Engineering, Department of Computer Science and KPR Institute of Engineering and Technology, KPR Institute of Engineering and Coimbatore Technology, Coimbatore [email protected] [email protected] Abstract We live in a period of the web, we need a different approach to build a web application that is very interactive and speedy, that’s where JavaScript comes into picture. JavaScript has gained its own popularity and numerous designers are making numerous new JavaScript Frameworks. JavaScript Frameworks act as a spine of a single page application and it adds more advanced functionalities to HTML and JavaScript. React JS and Vue JS are two most used JavaScript frameworks in current web development. Both of them are used to develop an interactive single web page application. This paper helps us to understand the concepts of React JS and Vue JS. Index Terms — JavaScript, React JS, Vue JS, Virtual DOM I. INTRODUCTION JavaScript is a client side scripting language that enables us to create a dynamically updating content of HTML pages. JavaScript is a client side rendering language, its code is executed on the user’s processor instead of the web server thus it saves bandwidth and load on the web server. As JavaScript supports asynchronous communication, results and processing is completed almost instantly depending on the task, thus it reduces the processing work of the web server and sending back the processed result to the client local server.
    [Show full text]
  • Web Development Documentation Release Spring 2019
    Web Development Documentation Release Spring 2019 Paul Vincent Craven Jan 16, 2020 Contents 1 Example Report - New Features in JavaScript ES61 2 How-To Examples 9 3 Final Reports 13 Bibliography 107 i ii CHAPTER 1 Example Report - New Features in JavaScript ES6 ECMAScript 6, also known as “Harmony” and often shortened to ES6, is the sixth release of the language, and was released in June 2015. ECMAScript, or “ES” for short, is also generally referred to as “JavaScript”. There have been many new additions and changes made from JavaScript ES5 (the previous version) to ES6. Some of the changes that will be highlighted in this example will be constants, block-scope variables and functions, default parameter values, and string interpolation. Finally, there are several new built-in functions and formatting options. 1.1 Constants One of the new features of ES6 is the ability to use constant variables. A constant variable is one that cannot be assigned any new content. Instead of using the typical var to declare the variable, const is used. var was the only option available in ES5, which meant that any variable created in the code could be changed at any other point in the code. Listing 1: Const Declaration const constant=5 print(constant) // 5 1 Web Development Documentation, Release Spring 2019 Listing 2: Error, the const value can’t be changed. constant +=2 • With a const variable, this will not be allowed, and will pop up an error that indicates constant is of type const and cannot be reassigned. Const can be especially useful in programming situations where there are multiple programmers or developers working on the same project.
    [Show full text]
  • Javascript Everywhere Building Cross-Platform Applications with Graphql, React, React Native, and Electron
    JavaScript Everywhere Building Cross-Platform Applications with GraphQL, React, React Native, and Electron Adam D. Scott Praise for JavaScript Everywhere JavaScript Everywhere is an incredible book that will give you everything you need to build applications with JavaScript on any platform. The title is the truth: JavaScript is everywhere, and this book performs the unique feat of putting everything in context for developers at all levels. Read this book then write code and make technology decisions with confidence. —Eve Porcello, Software Developer and Instructor at Moon Highway JavaScript Everywhere is the perfect companion for navigating the ever-changing modern JavaScript ecosystem. Adam teaches React, React Native, and GraphQL in a clear, approachable way so you can build robust web, mobile, and desktop applications. —Peggy Rayzis, Engineering Manager at Apollo GraphQL JavaScript Everywhere Building Cross-Platform Applications with GraphQL, React, React Native, and Electron Adam D. Scott Beijing Boston Farnham Sebastopol Tokyo JavaScript Everywhere by Adam D. Scott Copyright © 2020 Adam D. Scott. All rights reserved. Printed in the United States of America. Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472. O’Reilly books may be purchased for educational, business, or sales promotional use. Online editions are also available for most titles (http://oreilly.com). For more information, contact our corporate/institutional sales department: 800-998-9938 or [email protected]. Acquisitions Editor: Jennifer Pollock Indexer: WordCo Indexing Services, Inc. Development Editor: Angela Rufino Interior Designer: David Futato Production Editor: Christopher Faucher Cover Designer: Karen Montgomery Copyeditor: Rachel Monaghan Illustrator: Rebecca Demarest Proofreader: Christina Edwards February 2020: First Edition Revision History for the First Edition 2020-02-06: First Release See http://oreilly.com/catalog/errata.csp?isbn=9781492046981 for release details.
    [Show full text]
  • Using Typescript, React, Node.Js, Webpack, and Docker — Frank Zammetti Modern Full-Stack Development Using Typescript, React, Node.Js, Webpack, and Docker
    Modern Full-Stack Development Using TypeScript, React, Node.js, Webpack, and Docker — Frank Zammetti Modern Full-Stack Development Using TypeScript, React, Node.js, Webpack, and Docker Frank Zammetti Modern Full-Stack Development Frank Zammetti Pottstown, PA, USA ISBN-13 (pbk): 978-1-4842-5737-1 ISBN-13 (electronic): 978-1-4842-5738-8 https://doi.org/10.1007/978-1-4842-5738-8 Copyright © 2020 by Frank Zammetti This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Trademarked names, logos, and images may appear in this book. Rather than use a trademark symbol with every occurrence of a trademarked name, logo, or image we use the names, logos, and images only in an editorial fashion and to the benefit of the trademark owner, with no intention of infringement of the trademark. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made.
    [Show full text]
  • Compiling and Installing PHP, Extensions, and Libs
    APPENDIX A Compiling and Installing PHP, Extensions, and Libs There are a dozen ways to get PHP, including downloading and compiling it yourself, downloading precompiled binaries, using package managers and software repositories, and finding it preinstalled by a forward-thinking administrator. On most Linux distributions, PHP can be installed with a one-line command such as sudo apt-get install php5 or through graphical package managers such as the Synaptic Package Manager or the Ubuntu Software Center. Many common PHP extensions and add-ons are likewise available as prebuilt packages or alternatively through the PECL and PEAR systems. However, sometimes it becomes necessary to do a little more work to install PHP; for instance, in the following situations: • Your project has requirements for a specific version of PHP that is different from the one shipped with your OS. • You need extensions not available as packages. • You want to compile a customized version of PHP specific to your needs. Like anything involved in computers and software development, compiling PHP can take you down a rabbit hole of options, customizations, compatibility issues, libraries, and dependencies. A whole book could be written about the possibilities (and possible headaches) involved. Luckily for us, in most use cases, the basics of compiling a standard version are quite straightforward. And like most things in life, it gets easier after you have done it once. The following section outlines the steps necessary for getting, compiling, and installing PHP and its core extensions. PHP is written in C, and because you might not be familiar with the process of compiling C programs, I have explained each step to give you an idea of what is happening.
    [Show full text]
  • Include Hack
    HHVM - PHP++ PAUL TARJAN SARA GOLEMON HHVM OPEN SOURCE HHVM OPEN SOURCE What is HHVM? HHVM is not a source transformer That was HPHPc, it’s dead. ▪ Runs your PHP pages live, just like PHP ▪ Uses standard FastCGI transport ! Database Webserver A PHP P (mysql, posges, ! (apache, nginx, etc…) C mongo, redis, etc…) ▪ Runs anywhere (on 64-bit x86 linux) index.php ▪ Drop-in replacement for PHP login.php home.php (mostly) cart.php HHVM is not a source transformer That was HPHPc, it’s dead. ▪ Runs your PHP pages live, just like PHP ▪ Uses standard FastCGI transport ! Database Webserver HHVM (mysql, posges, ! (apache, nginx, etc…) mongo, redis, etc…) ▪ Runs anywhere (on 64-bit x86 linux) index.php ▪ Drop-in replacement for PHP login.php home.php (mostly) cart.php HHVM supports all PHP syntax Tracking HEAD And some of its own ▪ Splat & Variadics ▪ Scalar type hint (and much much more) ▪ Finally ▪ Async co-routines ! ▪ Generics ▪ Generators ▪ Collections (smart arrays) ▪ Namespaces ▪ XHP (Integrated XHTML) ▪ User Attributes HHVM’s Parity Gap ! • Only about 60% of PHP’s unit tests pass ▪ Missing Extensions ▪ Minor differences in error message output ▪ Most private extensions need a rewrite ! • 20 top frameworks (and more) do pass ▪ So I wouldn’t sweat the small stuff HHVM is easy to install If you’re on Ubuntu Or something Debianish… ▪ deb http://dl.hhvm.com/ubuntu trusty main ▪ apt-get update ▪ apt-get install hhvm (or hhvm-nightly) ▪ Provides one binary covering cli, debugger, & fcgi server ! ▪ Coming very soon to a Debian near you! HHVM is buildable On other linux distros (Mac in interp mode) ▪ http://hhvm.com/repo/wiki ▪ gcc 4.8 or later (We love C++11) ▪ Boost 1.49 or later ▪ Lots of other dependencies….
    [Show full text]
  • DOM Benchmark Comparison of the Front-End Javascript Frameworks React, Angular, Vue, and Svelte
    DOM benchmark comparison of the front-end JavaScript frameworks React, Angular, Vue, and Svelte Mattias Levlin, 38852 Master’s Thesis in Computer Science Åbo Akademi University Supervisors: Annamari Soini & Dragos Truscan Mattias Levlin i Abstract One of the most used tools for creating interactive, advanced, and easily maintainable websites in 2020 is the programming language JavaScript. Over the last decade, many front-end frameworks have been built on top of JavaScript, which makes creation, design, and maintenance of interactive websites easier. As of 2020, the most popular front-end JavaScript frameworks were, by a large margin, React and Vue, followed by Angular. A relatively new framework called Svelte was also gaining in popularity and raised developer interest. This study will evaluate the performance of these front-end JavaScript frameworks. The criteria for evaluation are primarily based on speed of completing certain operations related to DOM elements in the web browser, such as DOM element addition, editing, and removal. Non- technical evaluation points include differences in architecture, development experience, popularity, maturity, and availability. To set the context for the study of these frameworks, the study begins with an outline of the history and development of JavaScript. Its current status and versions are also described. Surrounding technologies relevant to the study are presented, such as DOM and HTML. Following this, the key features of front-end JavaScript frameworks are investigated, and the development setup process for a generic framework is documented. The criteria for selecting frameworks for evaluation is presented, and the four selected front-end frameworks are then investigated and evaluated.
    [Show full text]
  • Facebook Facebook Has Been Developed from The
    Facebook Facebook has been developed from the ground up using open source software. Developers building with Platform scale their own applications using many of the same infrastructure technologies that power Facebook. Platform Platform engineering team has released and maintains open source SDKs for Android, C#, iPhone, JavaScript, PHP, and Python. Developer tools codemod assists with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Facebook Animation is a JavaScript library for creating customizable animations using DOM and CSS manipulation. flvtool++ is a tool for hinting and manipulating the metadata of FLV files. It was originally created for Facebook Video. Online Schema Change for MySQL lets you alter large database tables without taking your cluster offline. Phabricator is a collection of web applications which make it easier to write, review, and share source code. It is currently available as an early release and is used by hundreds of Facebook engineers every day. PHPEmbed makes embedding PHP truly simple for all of our developers (and indeed the world) we developed this PHPEmbed library which is just a more accessible and simplified API built on top of the PHP SAPI. phpsh provides an interactive shell for PHP that features readline history, tab completion, and quick access to documentation. It is ironically written mostly in Python. Three20 is an Objective-C library for iPhone developers which provides many UI elements and data helpers behind our iPhone application. XHP is a PHP extension which augments the syntax of the language such that XML document fragments become valid expressions.
    [Show full text]
  • Joshua Yuan [email protected] Github.Com/Joshuayuan || Linkedin.Com/In/Joshua-Yuan Joshuayuan.Me
    (408) 691-6981 Joshua Yuan [email protected] github.com/joshuayuan || linkedin.com/in/joshua-yuan joshuayuan.me EXPERIENCE EDUCATION Facebook, ​Facebook Stories: Web - ​Software Engineering Intern UC Berkeley Summer 2018 Computer Science, B.A. - Built features for Facebook Stories on web and mobile web using PHP Class of 2019 (Hack/XHP) and Javascript (React) that were crucial to product launch SKILLS - Created GraphQL mutations and queries and their respective modules Confident with ​Java, Python, - Carried out experiments and decisions that directly impact ad revenue PHP (Hack, XHP), Javascript - Worked with Facebook.com’s core designers to create new features (React), Android development and testing, Git/Mercurial, Google, ​Google Pay Send: Android - ​Software Engineering Intern Guice & Dagger, Linux/Unix, Summer 2017 HTML/ CSS, Jekyll, CAD - Wrote software in Java to implement full stack architecture for Android software, prototyping and - Integrated Google Reminders with Google Pay Send fabrication, Adobe Creative - Developed server-side code implementing RPCs and Pub/Sub patterns Suite, Bash + Tmux - Followed Material Design specifications and built sleek user interfaces - Used Robolectric, Mockito, and Espresso for Java unit-testing Familiar with ​ROS, C, C++, Node.js, Protobufs, GraphQL UC Berkeley EECS Department, ​CS61A & EE106A​ ​— ​Course Staff EXTRACURRICULAR Fall 2017 & Fall 2018 ACTIVITIES/AWARDS - CS61A Tutor: Mentored students at office hours and in sections. Taught UC Berkeley Men’s Ultimate fundamental programming skills in Python and graded material Team​ Brand Manager - EE106A Reader: Graded assignments covering kinematics, dynamics, Top 10 Hack​ at PennApps XIII robot manipulators, robotic vision, sensing, etc Best Use of Rapid Prototyping PERSONAL PROJECTS at PennApps XIII Mr.
    [Show full text]