| | 1 | == Collaboration on Standards in JSC: A Cross-Organizational Update == |
| | 2 | ''by Ross Kirsling (Sony), Yusuke Suzuki (Apple), Caio Lima (Igalia), and Alexey Shvayka (Igalia)'' [https://docs.google.com/presentation/d/1FuL76wznv2rCP_mieE9__fJnFRNcRR4yc9VbDAoZzFo/edit?usp=sharingSlide Deck] |
| | 3 | |
| | 4 | This has been a very fruitful year of community-wide collaboration within JSC. We’ll give you the latest on how we’ve been working together, the features and improvements we’ve implemented in 2020, and what we hope to accomplish in the year to come. |
| | 5 | |
| | 6 | ''Ross:'' I think we had a successful contributing with standards and trying to be as conformant as possible. |
| | 7 | |
| | 8 | ''Ross:'' We have had a more balanced participation in Source/JavaScriptCore in 2019-2020 in the last year. In the last year more contributions have been done by non-apple contributors. Slack has been great for our communication on the JSC part of the project. There’s also a biweekly OSS staff meeting. |
| | 9 | |
| | 10 | ''Ross:'' The rest of the presentation is focused on standards-related work in the JSC team. |
| | 11 | |
| | 12 | ''Ross:'' But there are cases where we use our knowledge and work in JSC to help contribute to standards work. |
| | 13 | |
| | 14 | ''Alexey:'' Today we have an all time high on test262 (JS spec test suite) |
| | 15 | |
| | 16 | ''Alexey:'' Overall we have an 85% pass rate up from 80% in 2019 |
| | 17 | |
| | 18 | ''Alexey:'' There have been a number of notable fixes in the last year. Keith (me) fixei unescaped astral literals in indentifiers. Saam fixed Array.prototype to work with indicies beyond 2^32 |
| | 19 | |
| | 20 | ''Alexey:'' ProxyObject has been improved such as trap failures, relection, in the prototype chain, etc. |
| | 21 | |
| | 22 | ''Alexey:'' Early errors for unicode RegExps |
| | 23 | |
| | 24 | ''Alexey:'' [[DefineOwnProperty]] no longer corrupts property name order (for-in) |
| | 25 | |
| | 26 | ''Alexey:'' Classes no longer rely on `_proto_ ops handle [[IsHTMLDDA]] correctly |
| | 27 | |
| | 28 | ''Alexey:'' Array.prototype.sort was aligned with the new tightened spec. |
| | 29 | |
| | 30 | ''Alexey:'' Ross aligned TypedArray internal and prototype methods with the spec (while at the same time fixing the spec) |
| | 31 | |
| | 32 | ''Caio:'' Public and private fields are currently a stage 3 proposal in TC-39 |
| | 33 | |
| | 34 | ''Caio:'' In the last year Safari shipped with public fields |
| | 35 | |
| | 36 | ''Caio:'' With fields the constructor of a class will install each of the fields in the class onto the object it creates |
| | 37 | |
| | 38 | ''Caio:'' Private fields are a bit different because the identifier is only accessible from inside the lexical scope of the class definition |
| | 39 | |
| | 40 | ''Caio:'' Igalia has been working on this and has also been working on other class features. |
| | 41 | |
| | 42 | ''Ross:'' Were you also gonig to tell us about BigInt? |
| | 43 | |
| | 44 | ''Caio:'' Robin and I have been working on BigInt over the last year |
| | 45 | |
| | 46 | ''Caio:'' BigInts are similar to numbers in JS but they have infinite precision. i.e. when you go over 2^53 with BigInt you will not lose precision. |
| | 47 | |
| | 48 | ''Ross:'' New 262 features. |
| | 49 | |
| | 50 | ''Yusuke:'' WeakRef and FinalizationRegistry, implemented by Keith (me) |
| | 51 | |
| | 52 | ''Yususke:'' With WeakRef, it’s now possible to create a weak map where the values are held weakly |
| | 53 | |
| | 54 | ''Yusuke:'' In fact we are already using WeakRef in the WebInspector |
| | 55 | |
| | 56 | ''Ross:'' Short-circuiting assignment operators. |
| | 57 | |
| | 58 | ''Ross:'' This proposal was delayed until the nullish coalesing feature has been shipped. |
| | 59 | |
| | 60 | ''Ross:'' short ciruiting assignment was implemented by Devin |
| | 61 | |
| | 62 | ''Ross:'' String.prototype.replaceAll does what you would have expected replace all along. |
| | 63 | |
| | 64 | ''Ross:'' Previously if you didn’t use the global flag on a regexp or used a string regexp replace would only replace the first occurrance |
| | 65 | |
| | 66 | ''Ross:'' Array.prototype.at (originally, proposed as Array.prototype.item) |
| | 67 | |
| | 68 | ''Ross:'' has an advantage for access because it works with negative indicies |
| | 69 | |
| | 70 | ''Yusuke:'' Intl |
| | 71 | |
| | 72 | ''Yusuke:'' We went from 37% conformance to 98% conformance |
| | 73 | |
| | 74 | ''Yusuke:'' Ross and I worked closely on getting everything working. Included work with ICU, perf, and new feature work. |
| | 75 | |
| | 76 | ''Yusuke:'' * describes all the new Intl features we have shipped * |
| | 77 | |
| | 78 | ''Yusuke:'' New Webassembly features this year are mutable Globals |
| | 79 | |
| | 80 | ''Ross:'' Looking ahead to 2021 we want to get to 90% pass rate on test262. The important part here isn’t just to get 90% but rather that we want to establish 90% as our new baseline and continually improve on that |
| | 81 | |
| | 82 | ''Caio:'' We also want to continue our class properties work to implement private methods |
| | 83 | |
| | 84 | ''Caio:'' Not limited to just functions but also can include private getters and setters |
| | 85 | |
| | 86 | ''Caio:'' Last but not least we also want to add static class fields and static private methods |
| | 87 | |
| | 88 | ''Yusuke:'' We have also re-enabled SharedArrayBuffer and Atomics in the build and in testers |
| | 89 | |
| | 90 | ''Yusuke:'' We also want to add Top-level await. This lets us put the await expression at the top level of module code. |
| | 91 | |
| | 92 | ''Yusuke:'' Another module feature we want is to have modules in workers |
| | 93 | |
| | 94 | ''Yusuke:'' And many more features all coming soon! |
| | 95 | |
| | 96 | ''Yusuke:'' We also hope to have more collaboration and build on the progress we have made this year |
| | 97 | |
| | 98 | == Questions & Comments == |
| | 99 | |
| | 100 | ''Saam:'' Where are we at in test262 conformance again? |
| | 101 | |
| | 102 | ''Ross:'' Roughly we are at 85% |
| | 103 | |
| | 104 | ''Ryosuke:'' Is private class fields enabled in safari 14 |
| | 105 | |
| | 106 | ''Yusuke:'' Private fields just landed a few minutes ago so no |
| | 107 | |
| | 108 | ''Ryosuke:'' I’m excited for this feature so I hope we can get it done soon |
| | 109 | |
| | 110 | ''Caio:'' We still needed to add some JIT work for private fields and hopefully we can get that done soon |
| | 111 | |
| | 112 | ''Saam:'' We should just turn it on |
| | 113 | |
| | 114 | ''Yusuke:'' This is a good time to enable it because it gives us a chance to get feedback |
| | 115 | |
| | 116 | ''Caio:'' We need to do some work on field initialization but it shouldn’t block private fields because it didn’t block public fields |
| | 117 | |
| | 118 | ''Ryosuke:'' In order for the fuzzer to run with it we need to enable it somewhere e.g. WebKitTestRunner |
| | 119 | |
| | 120 | ''Yusuke:'' We need to add support private fields syntax in the fuzzer but shouldn’t be too hard |
| | 121 | |
| | 122 | ''Ryosuke:'' For each JSC feature we now want to have significant fuzzing for each new feature before shipping |
| | 123 | |
| | 124 | ''Yusuke:'' We can also enable the feature in our fuzzers without enabling by default |
| | 125 | |
| | 126 | ''Ryosuke:'' To clarify on what we want to fuzz we want to fuzz everything that could be used to exploit JSC |
| | 127 | |
| | 128 | ''Saam:'' Fortunately, for most features outside syntax, fuzzer will just test it |
| | 129 | |
| | 130 | ''Yusuke:'' Yeah, for things like changes to DFG the fuzzer will find it because it will build off all the JSC tests |
