文档章节

深入了解webkit内核第一篇:JavaScript引擎深度解析

lonely1986
 lonely1986
发布于 2015/03/31 11:10
字数 1141
阅读 84
收藏 1

看到HorkeyChen写的文章《[WebKit] JavaScriptCore解析--基础篇(三)从脚本代码到JIT编译的代码实现》,写的很好,深受启发。想补充一些Horkey没有写到的细节比如字节码是如何生成的等等,为此成文。


      JSC对JavaScript的处理,其实与Webkit对CSS的处理许多地方是类似的,它这么几个部分:

(1)词法分析->出来词语(Token);

(2)语法分析->出来抽象语法树(AST:Abstract Syntax Tree);

(3)遍历抽象语法树->生成字节码(Bytecode);

(4)用解释器(LLInt:Low Level Interpreter)执行字节码;

(5)如果性能不够好就用Baseline JIT编译字节码生成机器码、然后执行此机器码;

(6)如果性能还不够好,就用DFG JIT重新编译字节码生成更好的机器码、然后执行此机器码;

(7)最后,如果还不好,就祭出重器--虚拟器(LLVM:Low Level Virtual Machine)来编译DFG的中间表示代码、生成更高优化的机器码并执行。接下来,我将会用一下系列文章描述此过程。

      其中,步骤1、2是类似的,3、4、5步的思想,CSS JIT也是采用类似方法,请参考[1]。想写写JSC的文章,用菜鸟和愚公移山的方式,敲开JSC的冰山一角。

本篇主要描述词法和语法解析的细节。

 一、 JavaScriptCore的词法分析器工作流程分析

    W3C是这么解释词法和语法工作流程的:


 词法器Tokenizer的工作过程如下,就是不断从字符串中寻找一个个的词(Token),比如找到连续的“true”字符串,就创建一个TokenTrue。词法器工作过程如下:

JavaScriptCore/interpreter/interpreter.cpp:
template <typename CharType>

?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
template  <ParserMode mode> TokenType LiteralParser<CharType>::Lexer::lex(LiteralParserToken<CharType>& token)
{
     while  (m_ptr < m_end && isJSONWhiteSpace(*m_ptr))
         ++m_ptr;
 
     if  (m_ptr >= m_end) {
         token.type = TokEnd;
         token.start = token.end = m_ptr;
         return  TokEnd;
     }
     token.type = TokError;
     token.start = m_ptr;
     switch  (*m_ptr) {
         case  '[' :
             token.type = TokLBracket;
             token.end = ++m_ptr;
             return  TokLBracket;
         case  ']' :
             token.type = TokRBracket;
             token.end = ++m_ptr;
             return  TokRBracket;
         case  '(' :
             token.type = TokLParen;
             token.end = ++m_ptr;
             return  TokLParen;
         case  ')' :
             token.type = TokRParen;
             token.end = ++m_ptr;
             return  TokRParen;
         case  ',' :
             token.type = TokComma;
             token.end = ++m_ptr;
             return  TokComma;
         case  ':' :
             token.type = TokColon;
             token.end = ++m_ptr;
             return  TokColon;
         case  '"' :
             return  lexString<mode,  '"' >(token);
         case  't' :
             if  (m_end - m_ptr >= 4 && m_ptr[1] ==  'r'  && m_ptr[2] ==  'u'  && m_ptr[3] ==  'e' ) {
                 m_ptr += 4;
                 token.type = TokTrue;
                 token.end = m_ptr;
                 return  TokTrue;
             }
             break ;
         case  '-' :
         case  '0' :

?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
         ...
         case  '9' :
             return  lexNumber(token);
     }
     if  (m_ptr < m_end) {
         if  (*m_ptr ==  '.' ) {
             token.type = TokDot;
             token.end = ++m_ptr;
             return  TokDot;
         }
         if  (*m_ptr ==  '=' ) {
             token.type = TokAssign;
             token.end = ++m_ptr;
             return  TokAssign;
         }
         if  (*m_ptr ==  ';' ) {
             token.type = TokSemi;
             token.end = ++m_ptr;
             return  TokAssign;
         }
         if  (isASCIIAlpha(*m_ptr) || *m_ptr ==  '_'  || *m_ptr ==  '$' )
             return  lexIdentifier(token);
         if  (*m_ptr ==  '\'' ) {
             return  lexString<mode,  '\'' >(token);
         }
     }
     m_lexErrorMessage = String::format( "Unrecognized token '%c'" , *m_ptr).impl();
     return  TokError;
}

经过此过程,一个完整的JSC世界的Token就生成了。然后,再进行语法分析,生成抽象语法树.

JavaScriptCore/parser/parser.cpp:

?

1
<span style= "font-family: Arial, Helvetica, sans-serif;" >PassRefPtr<ParsedNode> Parser<LexerType>::parse(JSGlobalObject* lexicalGlobalObject, Debugger* debugger, ExecState* debuggerExecState, JSObject** exception)</span>

?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
{
     ASSERT(lexicalGlobalObject);
     ASSERT(exception && !*exception);
     int  errLine;
     UString errMsg;
 
     if  (ParsedNode::scopeIsFunction)
         m_lexer->setIsReparsing();
 
     m_sourceElements = 0;
 
     errLine = -1;
     errMsg = UString();
 
     UString parseError = parseInner();
     。。。

UString Parser<LexerType>::parseInner()

?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
{
     UString parseError = UString();
     
     unsigned oldFunctionCacheSize = m_functionCache ? m_functionCache->byteSize() : 0;
     
         //抽象语法树Builder:
     ASTBuilder context( const_cast <JSGlobalData*>(m_globalData),  const_cast <SourceCode*>(m_source));
     if  (m_lexer->isReparsing())
         m_statementDepth--;
     ScopeRef scope = currentScope();
     
         //开始解析生成语法树的一个节点:
     SourceElements* sourceElements = parseSourceElements<CheckForStrictMode>(context);
     if  (!sourceElements || !consume(EOFTOK))


         举例说来,根据Token的类型,JSC认为输入的Token是一个常量声明,就会使用如下的模板函数生成语法节点(Node),然后放入ASTBuilder里面:

    接下来,就会调用BytecodeGenerator::generate生成字节码,具体分下节分析。我们先看看下面来自JavaScript的一个个语法树节点生成字节码的过程:

JavaScriptCore/bytecompiler/NodeCodeGen.cpp:
RegisterID* BooleanNode::emitBytecode(BytecodeGenerator& generator, RegisterID* dst)


第一时间获得博客更新提醒,以及更多技术信息分享,欢迎关注个人微信公众平台:程序员互动联盟(coder_online)

1.直接帮你解答wekit技术疑点

2.第一时间获得业内十多个领域技术文章

3.针对文章内疑点提出问题,第一时间回复你,帮你耐心解答

4.让你和原创作者成为很好的朋友,拓展自己的人脉资源

扫一扫下方二维码或搜索微信号coder_online即可关注,我们可以在线交流。


引用:

1 https://www.webkit.org/blog/3271/webkit-css-selector-jit-compiler/

2 http://blog.csdn.net/horkychen/article/details/8928578


本文转载自:

lonely1986
粉丝 111
博文 34
码字总数 8686
作品 0
海淀
私信 提问
浏览器内核Trident/Gecko/WebKit/Presto

原文网址链接http://tools.yesky.com/19/34456519.shtml “浏览器内核”主要指渲染引擎(Rendering Engine),负责解析网页语法(如HTML、JavaScript)并渲染、展示网页。因此,所谓的浏览器内核...

数通畅联
2015/02/06
0
0
基于WebKit浏览器的本地扩展方法

摘要:对浏览器进行本地扩展,对JavaScript的功能进行扩充,能强化浏览器在嵌入式平台的应用。该文将主要介绍基于WebKit内核浏览器的本地JS扩展方法,以实现浏览器对本地JavaScript对象的调用...

吴志斌
2012/07/26
0
1
Android-----WebView使用

在Android手机中内置了一款高性能webkit内核浏览器,在SDK中封装为一个叫做WebView组件。 什么是webkit WebKit是Mac OS X v10.3及以上版本所包含的软件框架(对v10.2.7及以上版本也可通过软件...

无鸯
2011/11/09
1K
1
Android WebView基本介绍

大部分内容为网上整理其它高人的帖子,现只作整理,用于查看: 在Android手机中内置了一款高性能webkit内核浏览器,在SDK中封装为一个叫做WebView组件。 什么是webkit WebKit是Mac OS X v10....

TracyZhang
2012/04/23
0
2
How Webkit works笔记

主要是参考google的这个幻灯片 webkit的作用就是将html,css,javascript渲染成web page。 它的主要组件有: api接口 webkit,webkit2 和平台的具体实现做绑定 bindings。绑定的准确定义我还...

yhchinabest
2018/04/15
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Visual Paradigm 教程[UML]:如何绘制封装图?(上)

下载Visual Paradigm最新试用版 查看本教程视频文件 在项目开始时,您只有有限数量的图表,一切都简单而美观。然而,当时间过得匆匆时,已经创建了越来越多的图表,并且它们开始变得无法管理...

xiaochuachua
39分钟前
2
0
Pure-ftpd服务安装及虚拟用户设置

安装 sudo apt-get install pure-ftpd 虚拟用户设置 首先,可以在系统中添加相应的用户和组,如用户ftpuser 和组ftpgroup ,专门用来管理ftp服务。也可以是能登录系统的用户,但最好是不能登...

Gm_ning
41分钟前
1
0
一位面试了阿里,滴滴,网易,蚂蚁金服,最终有幸去了网易的Java程序员【面试题分享】

前言 15年毕业到现在也近三年了,最近面试了阿里集团(菜鸟网络,蚂蚁金服),网易,滴滴,点我达,最终收到点我达,网易offer,蚂蚁金服二面挂掉,菜鸟网络一个月了还在流程中... 最终有幸去...

Java领航员
42分钟前
3
0
“大团队”和“敏捷开发”,谁说不可兼得?

阿里妹导读:当小团队的产出跟不上业务需要,团队就面临规模化的问题。从1个团队到3个团队,仍可以通过简单的团队沟通保持高效协作。当产品复杂到需要5个以上团队同时开发时,我们需要一定的...

阿里云云栖社区
46分钟前
1
0
基于虹软人脸识别Demo android人脸识别

参加一个比赛,指定用虹软的人脸识别功能,奈何虹软人脸识别要自己建人脸库,不然就只能离线用,总不能装个样子,简单看了下虹软Demo,下面决定用这种简单方法实现在线人脸识别: Android端(...

是哇兴哥棒棒哒
51分钟前
2
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部