mirror of
https://github.com/php/presentations.git
synced 2026-03-23 23:22:22 +01:00
881 lines
35 KiB
HTML
881 lines
35 KiB
HTML
<!doctype html>
|
|
<html lang="en">
|
|
|
|
<head>
|
|
<meta charset="utf-8">
|
|
|
|
<title>PHP in 2018</title>
|
|
|
|
<meta name="description" content="PHP in 2018">
|
|
<meta name="author" content="Rasmus Lerdorf">
|
|
|
|
<meta name="apple-mobile-web-app-capable" content="yes" />
|
|
<meta name="apple-mobile-web-app-status-bar-style" content="black-translucent" />
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, minimal-ui">
|
|
|
|
<link rel="stylesheet" href="/reveal.js/css/reveal.css">
|
|
<link rel="stylesheet" href="/reveal.js/css/theme/white.css" id="theme">
|
|
|
|
<!-- For syntax highlighting - note that these are not the generic highlight.js theme files - see https://github.com/nwinkler/reveal-highlight-themes -->
|
|
<link rel="stylesheet" href="/styles/xcode.css">
|
|
|
|
<!-- Override a few styles -->
|
|
<style>
|
|
/*
|
|
Not actually sure why this block isn't being picked up from the syntax highlight css
|
|
If you change the syntax highlight theme, copy the first block here
|
|
*/
|
|
.reveal pre {
|
|
width: 100%;
|
|
}
|
|
|
|
.reveal pre code {
|
|
display: block;
|
|
max-height: 600px;
|
|
overflow-x: auto;
|
|
padding: 0.5em;
|
|
line-height: 125%;
|
|
background: #fff;
|
|
color: black;
|
|
-webkit-text-size-adjust: none;
|
|
}
|
|
|
|
.reveal section img {
|
|
box-shadow: none;
|
|
border: none;
|
|
}
|
|
|
|
.reveal code.shell {
|
|
display: block;
|
|
overflow-x: auto;
|
|
padding: 0.5em;
|
|
background: #000;
|
|
color: #ddd;
|
|
line-height: 125%;
|
|
-webkit-text-size-adjust: none;
|
|
}
|
|
|
|
.reveal code.result {
|
|
display: block;
|
|
overflow-x: auto;
|
|
padding: 0.5em;
|
|
background: #ddd;
|
|
color: #000;
|
|
line-height: 125%;
|
|
-webkit-text-size-adjust: none;
|
|
}
|
|
|
|
/* Left-align h3 and h4 if they are p elements */
|
|
h3.p {
|
|
text-align: left;
|
|
}
|
|
h4.p {
|
|
text-align: left;
|
|
}
|
|
/* and left-aligned but slightly indented bullet lists */
|
|
.reveal ul {
|
|
display: block;
|
|
margin: 0 0 1em 3em;
|
|
}
|
|
/* Example titles */
|
|
p.example {
|
|
text-align: left;
|
|
margin: 0 0 -0.5em 1em;
|
|
font-weight: bold;
|
|
}
|
|
/* Example output style */
|
|
pre.output {
|
|
display: block;
|
|
overflow-x: auto;
|
|
padding: 0.5em;
|
|
background: #ddd;
|
|
color: black;
|
|
line-height: 200%;
|
|
-webkit-text-size-adjust: none;
|
|
}
|
|
|
|
</style>
|
|
|
|
<!-- Printing and PDF exports -->
|
|
<script>
|
|
var link = document.createElement( 'link' );
|
|
link.rel = 'stylesheet';
|
|
link.type = 'text/css';
|
|
link.href = window.location.search.match( /print-pdf/gi ) ? '/reveal.js/css/print/pdf.css' : '/reveal.js/css/print/paper.css';
|
|
document.getElementsByTagName( 'head' )[0].appendChild( link );
|
|
</script>
|
|
|
|
<!-- Needed for charts to work. Fall back to network if no local copy -->
|
|
<script type='text/javascript' src='/jquery.min.js'></script>
|
|
<script>window.jQuery || document.write('<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js">\x3C/script>')</script>
|
|
<script src="/highcharts.js"></script>
|
|
<script>window.Highcharts || document.write('<script src="http://code.highcharts.com/highcharts.js">\x3C/script>')</script>
|
|
|
|
<!--[if lt IE 9]>
|
|
<script src="/reveal.js/lib/js/html5shiv.js"></script>
|
|
<![endif]-->
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div class="reveal">
|
|
|
|
<!-- Any section element inside of this container is displayed as a slide -->
|
|
<div class="slides">
|
|
<section>
|
|
<h1>PHP in 2018</h1>
|
|
<h3>PHP.RUHR</h3>
|
|
<h3>Dortmund</h3>
|
|
<h3>Nov.9, 2017</h3>
|
|
<a href="http://talks.php.net/ruhr17">http://talks.php.net/ruhr17</a><br><br>
|
|
<p>Rasmus Lerdorf<br>
|
|
<small><a href="http://twitter.com/@rasmus">@rasmus</a></small>
|
|
</p>
|
|
<aside class="notes">
|
|
</aside>
|
|
</section>
|
|
<section data-background-color="#000000">
|
|
<section id="ruhr">
|
|
<img src="/presentations/slides/intro/rasmus-bvb.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr1">
|
|
<img src="/presentations/slides/intro/signal-iduna.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr2">
|
|
<img src="/presentations/slides/intro/signal-iduna2.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr3">
|
|
<img src="/presentations/slides/intro/haribo.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr4">
|
|
<img src="/presentations/slides/intro/wuppertal.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr5">
|
|
<img src="/presentations/slides/intro/iron1-2400.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="ruhr6">
|
|
<img src="/presentations/slides/intro/iron2-2400.jpg" align="center" width="" height="">
|
|
</section> </section>
|
|
<section>
|
|
<section id="hist_80s">
|
|
<h1 style="text-align:center;text-transform:none">1980s</h1>
|
|
<img src="/presentations/slides/intro/timex.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="hist_80s_1">
|
|
<img src="/presentations/slides/intro/vic20.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="hist_80s_2">
|
|
<img src="/presentations/slides/intro/hayes.jpg" align="center" width="" height="">
|
|
</section>
|
|
<section id="hist_80s_3">
|
|
<img src="/presentations/slides/intro/Zmodem.gif" align="center" width="" height="">
|
|
</section> </section>
|
|
<section>
|
|
<section id="hist_90s">
|
|
<h1 style="text-align:center;text-transform:none">1990s</h1>
|
|
<img src="/presentations/slides/intro/gopher.gif" align="center" width="" height="">
|
|
</section>
|
|
<section id="hist_90s_1">
|
|
<img src="/presentations/slides/intro/mosaic.jpg" align="center" width="" height="">
|
|
</section> </section>
|
|
<section>
|
|
<section id="hist_1993">
|
|
<h3 class="p" style="text-align:center;">1993</h3>
|
|
<pre><code class="C" data-trim style="font-size:0.8em;" >#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <ctype.h>
|
|
#include <string.h>
|
|
|
|
#define ishex(x) (((x) >= '0' && (x) <= '9') || ((x) >= 'a' && \
|
|
(x) <= 'f') || ((x) >= 'A' && (x) <= 'F'))
|
|
|
|
int htoi(char *s) {
|
|
int value;
|
|
char c;
|
|
|
|
c = s[0];
|
|
if(isupper(c)) c = tolower(c);
|
|
value=(c >= '0' && c <= '9' ? c - '0' : c - 'a' + 10) * 16;
|
|
|
|
c = s[1];
|
|
if(isupper(c)) c = tolower(c);
|
|
value += c >= '0' && c <= '9' ? c - '0' : c - 'a' + 10;
|
|
|
|
return(value);
|
|
}
|
|
|
|
void main(int argc, char *argv[]) {
|
|
char *params, *data, *dest, *s, *tmp;
|
|
char *name, *age;
|
|
|
|
puts("Content-type: text/html\r\n");
|
|
puts("<HTML><HEAD><TITLE>Form Example</TITLE></HEAD>");
|
|
puts("<BODY><H1>My Example Form</H1>");
|
|
puts("<FORM action=\"form.cgi\" method=\"GET\">");
|
|
puts("Name: <INPUT type=\"text\" name=\"name\">");
|
|
puts("Age: <INPUT type=\"text\" name=\"age\">");
|
|
puts("<BR><INPUT type=\"submit\">");
|
|
puts("</FORM>");
|
|
|
|
data = getenv("QUERY_STRING");
|
|
if(data && *data) {
|
|
params = data; dest = data;
|
|
while(*data) {
|
|
if(*data=='+') *dest=' ';
|
|
else if(*data == '%' && ishex(*(data+1))&&ishex(*(data+2))) {
|
|
*dest = (char) htoi(data + 1);
|
|
data+=2;
|
|
} else *dest = *data;
|
|
data++;
|
|
dest++;
|
|
}
|
|
*dest = '\0';
|
|
s = strtok(params,"&");
|
|
do {
|
|
tmp = strchr(s,'=');
|
|
if(tmp) {
|
|
*tmp = '\0';
|
|
if(!strcmp(s,"name")) name = tmp+1;
|
|
else if(!strcmp(s,"age")) age = tmp+1;
|
|
}
|
|
} while(s=strtok(NULL,"&"));
|
|
|
|
printf("Hi %s, you are %s years old\n",name,age);
|
|
}
|
|
puts("</BODY></HTML>");
|
|
}</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="hist_1993_2">
|
|
<h3 class="p" style="text-align:center;">1993</h3>
|
|
<pre><code class="Perl" data-trim >use CGI qw(:standard);
|
|
print header;
|
|
print start_html('Form Example'),
|
|
h1('My Example Form'),
|
|
start_form,
|
|
"Name: ", textfield('name'),
|
|
p,
|
|
"Age: ", textfield('age'),
|
|
p,
|
|
submit,
|
|
end_form;
|
|
if(param()) {
|
|
print "Hi ",em(param('name')),
|
|
"You are ",em(param('age')),
|
|
" years old";
|
|
}
|
|
print end_html;</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="hist_1994">
|
|
<h3 class="p" style="text-align:center;">1994-1995</h3>
|
|
<pre><code class="PHP" data-trim ><html><head><title>Form Example</title></head>
|
|
<body><h1>My Example Form</h1>
|
|
<form action="form.phtml" method="POST">
|
|
Name: <input type="text" name="name">
|
|
Age: <input type="text" name="age">
|
|
<br><input type="submit">
|
|
</form>
|
|
<?if($name):?>
|
|
Hi <?echo $name?>, you are <?echo $age?> years old
|
|
<?endif?>
|
|
</body></html></code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="php7_speed">
|
|
<img src="/presentations/slides/intro/php7trans-200.png" width="" height="">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">✔ engine improvements</p>
|
|
<ul>
|
|
<li style="font-size: 1em;">100%+ performance gain on most real-world applications</li>
|
|
<li style="font-size: 1em;">Lower memory usage, sometimes drastically lower</li>
|
|
</ul>
|
|
</section> </section>
|
|
<section>
|
|
<section id="php7perfdetail">
|
|
<h1 style="text-align:center;">JIT?</h1>
|
|
</section>
|
|
<section id="php7perfdetail1">
|
|
<p class="p" style="font-size:1.1em;">Improve CPU cache usage</p>
|
|
<ul>
|
|
<li style="font-size: 1em;list-style-type: none;">Step 1: Decrease overall data</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Step 2: Better data locality and less indirections</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Step 3: Save the world!</li>
|
|
</ul>
|
|
</section>
|
|
<section id="php7perfdetail1">
|
|
<ul>
|
|
<li style="font-size: 1em;list-style-type: none;">zval size reduced from 24 to 16 bytes</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Hashtable size reduced from 72 to 56 bytes</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Hashtable bucket size reduced from 72 to 32 bytes</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Immutable array optimization</li>
|
|
</ul>
|
|
<pre><code data-trim style="font-size:1.1em;" >$a = [];
|
|
for($i=0; $i < 100000;$i++) {
|
|
$a[] = ['abc','def','ghi','jkl','mno','pqr'];
|
|
}
|
|
echo memory_get_usage(true);
|
|
|
|
// PHP 5.x 109M
|
|
// PHP 7.0 42M no opcache
|
|
// PHP 7.0 6M with opcache enabled</code></pre>
|
|
</section>
|
|
<section id="php7perfdetail2">
|
|
<ul>
|
|
<li style="font-size: 1em;list-style-type: none;">New memory allocator similar to jemalloc</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Faster hashtable iteration API</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Array duplication optimization</li>
|
|
<li style="font-size: 1em;list-style-type: none;">PCRE JIT enabled by default</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Precomputed string hashes</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Fast ZPP (ZendParseParameters) implementation</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Faster stack-allocated zvals (instead of heap)</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Optimized VM calling</li>
|
|
<li style="font-size: 1em;list-style-type: none;">Global register variables with gcc 4.8+</li>
|
|
<li style="font-size: 1em;list-style-type: none;">plus hundreds of micro-optimizations</li>
|
|
</ul>
|
|
</section>
|
|
<section id="php7detail4">
|
|
<h1 style="text-align:center;">JIT?</h1>
|
|
</section> </section>
|
|
<section>
|
|
<section id="wpbench">
|
|
|
|
<div id="wpbench_container" class="stretch" style="margin: 0 auto"></div>
|
|
<script src="presentations/slides/intro/wp2017may.js"></script>
|
|
</section>
|
|
<section id="fdo">
|
|
<p class="p" style="font-size:1.1em;text-align:center;">GCC Feedback-Directed Optimization (FDO)</p>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:1em;" >$ gcc --version
|
|
gcc (Debian 6.3.0-14) 6.3.0 20170415
|
|
|
|
$ make clean
|
|
$ make -j8 prof-gen
|
|
...
|
|
$ sapi/cgi/php-cgi -T 1000 /var/www/wordpress/index.php > /dev/null
|
|
$ make prof-clean
|
|
$ make -j8 prof-use</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="smemwp">
|
|
|
|
<div id="smemwp_container" class="stretch" style="margin: 0 auto"></div>
|
|
<script src="presentations/slides/intro/smemwp2017.js"></script>
|
|
</section> </section>
|
|
<section>
|
|
<section id="prod_perc95">
|
|
<h2 margin-bottom="2em">PHP 7 in production</h2><br>
|
|
<img src="/presentations/slides/intro/perc95.png" align="center" width="882" height="465">
|
|
</section>
|
|
<section id="prod_cpu">
|
|
<img src="/presentations/slides/intro/cpu.png" align="center" width="882" height="465">
|
|
</section>
|
|
<section id="prod_mem">
|
|
<img src="/presentations/slides/intro/mem.png" align="center" width="882" height="465">
|
|
</section> </section>
|
|
<section>
|
|
<section id="impact">
|
|
<h1 style="text-align:center;">Saving the Planet?</h1>
|
|
</section>
|
|
<section id="impact1">
|
|
<ul>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">Around 2 billion sites on the web</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">On 10 million physical machines</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">PHP drives at least 50%</li>
|
|
</ul>
|
|
</section>
|
|
<section id="impact2">
|
|
<ul>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">Currently ~5% PHP 7 Adoption</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">which is about 250k physical servers</li>
|
|
</ul>
|
|
</section>
|
|
<section id="impact3">
|
|
<ul>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">3000 KWH/year per server costs approx. US$400</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">Data center cooling doubles that</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">0.5kg CO2 per KWH</li>
|
|
</ul>
|
|
</section>
|
|
<section id="impact4">
|
|
<p class="p" style="font-size:2em;text-align:left;">At 5% Adoption</p>
|
|
<ul>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">US $200M savings</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">750M KWH Savings</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">375M kg less CO2</li>
|
|
</ul>
|
|
</section>
|
|
<section id="impact5">
|
|
<p class="p" style="font-size:2em;text-align:left;">At 100% Adoption</p>
|
|
<ul>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">$4B savings</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">15B KWH Savings</li>
|
|
<li style="font-size: 1.5em;margin-left: -1em;">7.5B kg less CO2</li>
|
|
</ul>
|
|
</section>
|
|
<section id="impact6">
|
|
<h1 style="text-align:center;">Do your part</h1>
|
|
<h1 style="text-align:center;">Upgrade to PHP 7!</h1>
|
|
</section> </section>
|
|
<section>
|
|
<section id="php72">
|
|
<h1 style="text-align:center;">PHP 7.2</h1>
|
|
</section>
|
|
<section id="php72_opt">
|
|
<p class="p" style="font-size:1.6em;text-align:left;">Initial DCE and SCCP optimizations</p>
|
|
</section>
|
|
<section id="php72_widening">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Parameter Type Widening</p>
|
|
<pre><code data-trim style="font-size:1.1em;" >class Orig {
|
|
public function fn(array $arg) { }
|
|
}
|
|
class Wider extends Orig {
|
|
public function fn($arg) { }
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">In PHP 7.1 you would get:</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >Warning: Declaration of Wider::fn($arg) should be
|
|
compatible with Orig::fn(array $arg)</code></pre>
|
|
</section>
|
|
<section id="php72_commas">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Allow trailing commas everywhere</p>
|
|
<pre><code data-trim style="font-size:1em;" >// Arrays (already possible)
|
|
$array = [1, 2, 3,];
|
|
|
|
// Grouped namepaces
|
|
use Foo\Bar\{ Foo, Bar, Baz, };
|
|
|
|
// Function/method arguments (call)
|
|
fooCall($arg1, $arg2, $arg3,);
|
|
|
|
use Foo\Bar\{ Foo, Bar, Baz, };
|
|
|
|
class Foo implements
|
|
// Interface implementations on a class
|
|
FooInterface,
|
|
BarInterface,
|
|
BazInterface,
|
|
{
|
|
// Trait implementations on a class
|
|
use
|
|
FooTrait,
|
|
BarTrait,
|
|
BazTrait,
|
|
;
|
|
|
|
// Class member lists
|
|
const
|
|
A = 1010,
|
|
B = 1021,
|
|
C = 1032,
|
|
D = 1043,
|
|
;</code></pre>
|
|
</section>
|
|
<section id="php72_object">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Object typehint</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >function fn(object $obj): object {
|
|
return json_decode('{}');
|
|
}
|
|
fn("not an object");</code></pre>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:0.9em;" >Warning: Uncaught TypeError: Argument 1 passed to fn() must be an object,
|
|
string given, called in php shell code on line 1 and defined in ...</code></pre>
|
|
</section>
|
|
<section id="php72_unqouted">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Deprecate unquoted strings</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >echo HELLO;</code></pre>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:0.9em;" >Warning: Use of undefined constant HELLO - assumed 'HELLO' (this will throw
|
|
an Error in a future version of PHP) in php shell code on line 1</code></pre>
|
|
</section>
|
|
<section id="php72_mail">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">extra headers array arg for mail() and mb_send_mail()</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >$to = 'nobody@example.com';
|
|
$subject = 'the subject';
|
|
$message = 'hello';
|
|
$headers = ['From' => 'webmaster@example.com',
|
|
'Reply-To' => 'webmaster@example.com',
|
|
'X-Mailer' => 'PHP/' . phpversion() ];
|
|
|
|
mail($to, $subject, $message, $headers);</code></pre>
|
|
</section>
|
|
<section id="php72_argon2i">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Argon2i added to password_hash()</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >$options = [
|
|
'memory_cost' => 2048,
|
|
'time_cost' => 10,
|
|
'threads' => 2
|
|
];
|
|
echo password_hash("rasmuslerdorf", PASSWORD_ARGON2I, $options);</code></pre>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:0.9em;" >$argon2i$v=19$m=2048,t=10,p=2$akUuWkoxRDlMSi5TVGhYLg$j0D1Cl4aR8UMHOGGx5JtZ1BmCApr8RmOJA9qFWm5mz8</code></pre>
|
|
</section>
|
|
<section id="php72_sodium">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Add Sodium Crypto Library</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >// On Alice's computer:
|
|
$msg = 'This comes from Alice.';
|
|
$signed_msg = sodium_crypto_sign($msg, $secret_sign_key);</code></pre>
|
|
<pre><code data-trim style="font-size:1.05em;" >// On Bob's computer:
|
|
$original_msg = sodium_crypto_sign_open($signed_msg, $alice_sign_publickey);
|
|
if ($original_msg === false) {
|
|
throw new Exception("Invalid signature");
|
|
} else {
|
|
echo $original_msg; // Displays "This comes from Alice."
|
|
}</code></pre>
|
|
<div align="" style="font-size: 1em; color: ; text-align: ; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;">see: <a href="https://paragonie.com/book/pecl-libsodium" target="">https://paragonie.com/book/pecl-libsodium</a></div>
|
|
</section>
|
|
<section id="php72cleanups">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Things that may break your code</p>
|
|
<ul>
|
|
<li style="font-size: 0.8em;margin-left: -1em;">mcrypt extension has been removed</li>
|
|
<li style="font-size: 0.8em;margin-left: -1em;">__autoload() deprecated, use spl_autoload_register()</li>
|
|
<li style="font-size: 0.8em;margin-left: -1em;">create_function() deprecated, use anonymous functions</li>
|
|
<li style="font-size: 0.8em;margin-left: -1em;">each() deprecated, use foreach()</li>
|
|
<li style="font-size: 0.8em;margin-left: -1em;">read_exif_data() deprecated, use exif_read_data()</li>
|
|
</ul>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Full details are at:</p>
|
|
<div align="" style="font-size: 0.8em; color: ; text-align: ; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://github.com/php/php-src/blob/PHP-7.2/UPGRADING" target="">https://github.com/php/php-src/blob/PHP-7.2/UPGRADING</a></div>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">And for extension authors:</p>
|
|
<div align="" style="font-size: 0.8em; color: ; text-align: ; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://github.com/php/php-src/blob/PHP-7.2/UPGRADING.INTERNALS" target="">https://github.com/php/php-src/blob/PHP-7.2/UPGRADING.INTERNALS</a></div>
|
|
</section> </section>
|
|
<section>
|
|
<section id="dce">
|
|
<p class="p" style="font-size:2em;text-align:center;">Dead Code Elimination (DCE)</p>
|
|
<p class="p" style="font-size:1.5em;text-align:center;">Escape Analysis</p>
|
|
<p class="p" style="font-size:1.4em;text-align:center;">Sparse Conditional Constant Propagation</p>
|
|
</section>
|
|
<section id="dce0">
|
|
<pre><code class="result nohighlight" data-trim style="font-size:0.9em;" >php -d opcache.optimization_level=-1 -d opcache.opt_debug_level=0x20000 script</code></pre>
|
|
<pre><code data-trim style="font-size:1.05em;" >function fn() {
|
|
$a = 1;
|
|
return 0;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.1</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >fn: (lines=2, args=0, vars=1, tmps=0)
|
|
L0: ASSIGN CV0($a) int(1)
|
|
L1: RETURN int(0)</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.2</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >fn: (lines=1, args=0, vars=0, tmps=0)
|
|
L0: RETURN int(0)</code></pre>
|
|
</section>
|
|
<section id="dce1">
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo(string $s1, string $s2, string $s3, string $s4) {
|
|
$x = ($s1 . $s2) . ($s3 . $s4);
|
|
$x = 0;
|
|
return $x;
|
|
}</code></pre>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >PHP 7.1 PHP 7.2
|
|
foo: (lines=10, args=4, vars=5, tmps=3) foo: (lines=5, args=4, vars=4, tmps=3)
|
|
L0: CV0($s1) = RECV 1 L0: CV0($s1) = RECV 1
|
|
L1: CV1($s2) = RECV 2 L1: CV1($s2) = RECV 2
|
|
L2: CV2($s3) = RECV 3 L2: CV2($s3) = RECV 3
|
|
L3: CV3($s4) = RECV 4 L3: CV3($s4) = RECV 4
|
|
L4: T6 = CONCAT CV0($s1) CV1($s2) L4: RETURN int(0)
|
|
L5: T7 = CONCAT CV2($s3) CV3($s4)
|
|
L6: T5 = CONCAT T6 T7
|
|
L7: ASSIGN CV4($x) T5
|
|
L8: ASSIGN CV4($x) int(0)
|
|
L9: RETURN CV4($x)</code></pre>
|
|
</section>
|
|
<section id="dce2">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">Try to trick it</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo($a) {
|
|
$b = $a += 3;
|
|
return $a;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.2</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >foo: (lines=3, args=1, vars=1, tmps=1)
|
|
L0: CV0($a) = RECV 1
|
|
L1: ASSIGN_ADD CV0($a) int(3)
|
|
L2: RETURN CV0($a)</code></pre>
|
|
</section>
|
|
<section id="dce3">
|
|
<p class="p" style="font-size:1.1em;text-align:left;">But...</p>
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo(int $x, int $y) {
|
|
$a = [$x];
|
|
$a[1] = $y;
|
|
$a = $y;
|
|
return $a;
|
|
}</code></pre>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1em;" >PHP 7.2 PHP 7.3
|
|
foo: (lines=7, args=2, vars=3, tmps=1) foo: (lines=4, args=2, vars=3, tmps=0)
|
|
L0: CV0($x) = RECV 1 L0: CV0($x) = RECV 1
|
|
L1: CV1($y) = RECV 2 L1: CV1($y) = RECV 2
|
|
L2: CV2($a) = INIT_ARRAY 1 CV0($x) NEXT L2: CV2($a) = QM_ASSIGN CV1($y)
|
|
L3: ASSIGN_DIM CV2($a) int(1) L3: RETURN CV2($a)
|
|
L4: OP_DATA CV1($y)
|
|
L5: ASSIGN CV2($a) CV1($y)
|
|
L6: RETURN CV2($a)</code></pre>
|
|
</section>
|
|
<section id="dce4">
|
|
<pre><code data-trim style="font-size:1.05em;" >class A { }
|
|
function foo(int $x) {
|
|
$a = new A;
|
|
$a->foo = $x;
|
|
return $x;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.3</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=2, args=1, vars=1, tmps=0)
|
|
L0: CV0($x) = RECV 1
|
|
L1: RETURN CV0($x)</code></pre>
|
|
</section>
|
|
<section id="dce5">
|
|
<pre><code data-trim style="font-size:1.05em;" >class A {
|
|
function __destruct() {}
|
|
}
|
|
function foo(int $x) {
|
|
$a = new A;
|
|
$a->foo = $x;
|
|
return $x;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.3</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=7, args=1, vars=2, tmps=1)
|
|
L0: CV0($x) = RECV 1
|
|
L1: V2 = NEW 0 string("A")
|
|
L2: DO_FCALL
|
|
L3: CV1($a) = QM_ASSIGN V2
|
|
L4: ASSIGN_OBJ CV1($a) string("foo")
|
|
L5: OP_DATA CV0($x)
|
|
L6: RETURN CV0($x)</code></pre>
|
|
</section>
|
|
<section id="dce6">
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo() {
|
|
$a = 1;
|
|
$b = $a + 2;
|
|
$a += $b;
|
|
return $a;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.2</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=1, args=0, vars=0, tmps=1)
|
|
L0: RETURN int(4)</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.3</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=1, args=0, vars=0, tmps=0)
|
|
L0: RETURN int(4)</code></pre>
|
|
</section>
|
|
<section id="dce7">
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo(int $x) {
|
|
if ($x) {
|
|
$a = [0,1];
|
|
} else {
|
|
$a = [0,2];
|
|
}
|
|
return $a[0];
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.3</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=2, args=1, vars=1, tmps=0)
|
|
L0: CV0($x) = RECV 1
|
|
L1: RETURN int(0)</code></pre>
|
|
</section>
|
|
<section id="dce8">
|
|
<pre><code data-trim style="font-size:1.05em;" >function foo() {
|
|
$o = new stdClass();
|
|
$o->foo = 0;
|
|
$i = 1;
|
|
$c = $i < 2;
|
|
if ($c) {
|
|
$k = 2 * $i;
|
|
$o->foo = $i;
|
|
echo $o->foo;
|
|
}
|
|
$o->foo += 2;
|
|
$o->foo++;
|
|
return $o->foo;
|
|
}</code></pre>
|
|
<p class="p" style="font-size:1.1em;text-align:left;">PHP 7.3</p>
|
|
<pre><code class="result nohighlight" data-trim style="font-size:1.05em;" >foo: (lines=2, args=0, vars=0, tmps=0)
|
|
L0: ECHO int(1)
|
|
L1: RETURN int(4)</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="phan">
|
|
<h1 style="text-align:center;">Static Analysis</h1>
|
|
<br/>
|
|
<br/>
|
|
<div align="center" style="font-size: 2em; color: ; text-align: center; margin-left: ; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://github.com/phan/phan" target="">github.com/phan/phan</a></div>
|
|
</section>
|
|
<section id="phan1">
|
|
<p class="p" style="font-size:1.5em;text-align:left;">It can catch dumb mistakes</p>
|
|
<pre><code class="line-numbers" data-trim style="font-size:1em;" data-highlight-lines='2'>$a = [1,2,3];
|
|
if(count($a > 1)) {
|
|
echo "Test";
|
|
}</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:.75em;" >% phan test.php
|
|
test.php:2 PhanTypeComparisonFromArray array to int comparison</code></pre>
|
|
</section>
|
|
<section id="phan2">
|
|
<p class="p" style="font-size:1.5em;text-align:left;">Check phpdoc comments</p>
|
|
<pre><code class="line-numbers" data-trim style="font-size:.75em;" data-highlight-lines='9,10,11'>class C {
|
|
/** @var int $prop */
|
|
public $prop;
|
|
|
|
/**
|
|
* @param string $arg
|
|
* @return int
|
|
*/
|
|
function test(?$arg) {
|
|
$this->prop = $arg;
|
|
return $arg;
|
|
}
|
|
}</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:0.9em;" >% phan test.php
|
|
test.php:9 PhanTypeMismatchDeclaredParamNullable Doc-block of $arg in test
|
|
is phpdoc param type string which is not a permitted replacement
|
|
of the nullable param type ?string declared in the signature
|
|
('?T' should be documented as 'T|null' or '?T')
|
|
test.php:10 PhanTypeMismatchProperty Assigning string to property
|
|
but \C::prop is int
|
|
test.php:11 PhanTypeMismatchReturn Returning type string
|
|
but test() is declared to return int</code></pre>
|
|
</section>
|
|
<section id="phan3">
|
|
<p class="p" style="font-size:1.5em;text-align:left;">Help with refactoring</p>
|
|
<pre><code class="line-numbers" data-trim style="font-size:1em;" data-highlight-lines='8'>class C {
|
|
/**
|
|
* @deprecated
|
|
*/
|
|
static function legacy_function() { }
|
|
}
|
|
|
|
C::legacy_function();</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:1em;" >% phan test.php
|
|
test.php:8 PhanDeprecatedFunction Call to deprecated function
|
|
\C::legacy_function() defined at test.php:5</code></pre>
|
|
</section>
|
|
<section id="phan4">
|
|
<p class="p" style="font-size:1.5em;text-align:left;">Install with composer</p>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:1em;" >$ composer require --dev phan/phan</code></pre>
|
|
<p class="p" style="font-size:1.5em;text-align:left;">Create .phan/config.php</p>
|
|
<pre><code data-trim style="font-size:1em;" ><?php
|
|
use \Phan\Issue;
|
|
return [
|
|
'should_visit_all_nodes' => true,
|
|
'minimum_severity' => Issue::SEVERITY_LOW,
|
|
'directory_list' => [ 'src', 'vendor' ],
|
|
'exclude_analysis_directory_list' => [ 'vendor' ]
|
|
];</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:1em;" >$ ./vendor/bin/phan</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="phan_ts">
|
|
<p class="p" style="font-size:2em;text-align:center;">Type Safety</p>
|
|
<p class="p" style="font-size:1.5em;text-align:left;">Legacy code</p>
|
|
<pre><code data-trim style="font-size:1em;" >class Data {
|
|
function __construct($data) {
|
|
$this->haystack = $data;
|
|
}
|
|
function find($needle) {
|
|
return in_array($needle, $this->haystack, true);
|
|
}
|
|
}
|
|
$storage = new Data(['apple','orange','banana']);
|
|
|
|
$fruit = false;
|
|
$storage->find($fruit);</code></pre>
|
|
</section>
|
|
<section id="phan_ts2">
|
|
<p class="p" style="font-size:1em;text-align:left;">Going straight to strict types risks runtime fatals</p>
|
|
<pre><code class="line-numbers" data-trim style="font-size:1em;" data-highlight-lines='6,13'><?php declare(strict_types=1);
|
|
class Data {
|
|
function __construct(array $data) {
|
|
$this->haystack = $data;
|
|
}
|
|
function find(string $needle):bool {
|
|
return in_array($needle, $this->haystack, true);
|
|
}
|
|
}
|
|
$storage = new Data(['apple','orange','banana']);
|
|
|
|
$fruit = false;
|
|
$storage->find($fruit);</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:.65em;" >Fatal error: Uncaught TypeError: Argument 1 passed to Data::find() must be of the type string, boolean given,
|
|
called in test.php on line 13 and defined in test.php:6
|
|
Stack trace:
|
|
#0 test.php(13): Data->find(false)
|
|
#1 {main}
|
|
thrown in test.php on line 6</code></pre>
|
|
</section>
|
|
<section id="phan_ts3">
|
|
<p class="p" style="font-size:1em;text-align:left;">Intermediate step</p>
|
|
<pre><code class="line-numbers" data-trim style="font-size:.75em;" data-highlight-lines='15,22'>class Data {
|
|
/** @var array $haystack */
|
|
public $haystack;
|
|
|
|
/**
|
|
* @param array $data
|
|
*/
|
|
function __construct($data) {
|
|
$this->haystack = $data;
|
|
}
|
|
/**
|
|
* @param string $needle
|
|
* @return bool
|
|
*/
|
|
function find($needle) {
|
|
return in_array($needle, $this->haystack, true);
|
|
}
|
|
}
|
|
$storage = new Data(['apple','orange','banana']);
|
|
|
|
$fruit = false;
|
|
$storage->find($fruit);</code></pre>
|
|
<pre><code class="shell nohighlight" data-trim style="font-size:.9em;" >$ phan test.php
|
|
test.php:22 PhanTypeMismatchArgument Argument 1 (needle) is bool
|
|
but \Data::find() takes string defined at test.php:15</code></pre>
|
|
</section> </section>
|
|
<section>
|
|
<section id="thank_you">
|
|
<h2 style="text-align:center;">Thank You</h2>
|
|
<div align="left" style="font-size: 1em; color: ; text-align: left; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href=":-:url:-:" target="">http://talks.php.net/ruhr17</a></div>
|
|
<div align="left" style="font-size: 1em; color: ; text-align: left; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://github.com/phan/phan" target="">https://github.com/phan/phan</a></div>
|
|
<div align="left" style="font-size: 1em; color: ; text-align: left; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://paragonie.com/book/pecl-libsodium" target="">https://paragonie.com/book/pecl-libsodium</a></div>
|
|
<div align="left" style="font-size: 1em; color: ; text-align: left; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://github.com/php/php-src/blob/PHP-7.2/UPGRADING" target="">https://github.com/php/php-src/blob/PHP-7.2/UPGRADING</a></div>
|
|
<div align="left" style="font-size: 1em; color: ; text-align: left; margin-left: -1em; margin-right: ; margin-top: ; margin-bottom: ;"><a href="https://bugs.php.net" target="">https://bugs.php.net</a></div>
|
|
<br/>
|
|
<br/>
|
|
<br/>
|
|
<p class="p" style="font-size:1.1em;">Report Bugs</p>
|
|
<p class="p" style="font-size:1.1em;">Useful bug reports, please!</p>
|
|
</section> </section>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<script src="/reveal.js/lib/js/head.min.js"></script>
|
|
<script src="/reveal.js/js/reveal.js"></script>
|
|
|
|
<script>
|
|
|
|
Reveal.initialize({
|
|
controls: true,
|
|
progress: true,
|
|
history: true,
|
|
center: true,
|
|
width: 1024,
|
|
height: 768,
|
|
|
|
transition: 'slide', // none/fade/slide/convex/concave/zoom
|
|
transitionSpeed: 'fast',
|
|
|
|
// Optional reveal.js plugins
|
|
dependencies: [
|
|
{ src: '/reveal.js/lib/js/classList.js', condition: function() { return !document.body.classList; } },
|
|
{ src: '/highlight.min.js', async: true, condition: function() { return !!document.querySelector( 'pre code' ); }, callback: function() { hljs.initHighlightingOnLoad(); } },
|
|
{ src: '/reveal.js/plugin/zoom-js/zoom.js', async: true },
|
|
{ src: '/reveal.js/plugin/notes/notes.js', async: true },
|
|
{ src: '/reveal.js/plugin/line-numbers/line-numbers.js' }
|
|
]
|
|
});
|
|
/* This draws the graph on the slide on a slidechanged event */
|
|
Reveal.addEventListener('slidechanged', function(event) {
|
|
var callback = "render_"+event.currentSlide.id;
|
|
if(typeof(window[callback])=="function") {
|
|
window[callback]();
|
|
}
|
|
} );
|
|
/* This draws the graph if we got here directly without coming from another slide */
|
|
Reveal.addEventListener('ready', function(event) {
|
|
var callback = "render_"+event.currentSlide.id;
|
|
if(typeof(window[callback])=="function") {
|
|
window[callback]();
|
|
}
|
|
} );
|
|
</script>
|
|
|
|
</body>
|
|
</html>
|