文档章节

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

lonely1986
 lonely1986
发布于 2015/03/31 11:10
字数 1141
阅读 80
收藏 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
粉丝 110
博文 34
码字总数 8686
作品 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
浏览器内核Trident/Gecko/WebKit/Presto

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

数通畅联
2015/02/06
0
0
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
04/15
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Word Pattern(leetcode290)

Given a pattern and a string str, find if str follows the same pattern. Here follow means a full match, such that there is a bijection between a letter in pattern and a non-empt......

woshixin
8分钟前
0
0
Kubernetes 1.13.1快速升级

Kubernetes 1.13.1已经正式发布,快速升级(含国内镜像快速下载链接)包括升级kubeadm/kubectl/kubelet版本、拉取镜像、升级Kubernetes集群三个主要步骤。注意Kubernetes 1.12.3版本暂时不支...

openthings
11分钟前
1
0
多线程的实现方式

多线程是指 一个程序运行时,产生或使用了不止一个线程。 线程的生命周期是怎么样的,下面这张图我们可以看出些端倪: 这章我们主要讨论多线程实现的方式,基础知识部分我们可以下来再恶补。...

搬砖大侠
23分钟前
1
0
新人千万不要在 Windows 上使用 Ruby on Rails

标题:新人千万不要在 Windows 上使用 Ruby on Rails 副标题:鼓励新人在 Linux 和 Mac 上使用 Ruby on Rails ! 原则:要走寻常路,不要学美特斯邦伟! "在 Windows上 使用 Ruby on Rails "是...

Jason909
31分钟前
1
0
day177-2018-12-14-英语流利阅读-待学习

艾滋病的治愈方法是否触手可及? Daniel 2018-12-14 1.今日导读 几十年来,艾滋病一直是世界上最难对付的“超级绝症”之一,从人类历史上第一次诊断出艾滋病病例的 20 世纪 80 年代早期到 20...

飞鱼说编程
57分钟前
9
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部