皮皮网
皮皮网
mes源码怎么使用

【最新互助源码】【牛市启动线源码】【源码小程序搭建】antlr 源码

时间:2024-12-24 08:57:21 分类:综合 编辑:纯正的溯源码燕碎价格
1.PASO:一个基于网页的solidity语言分析器
2.和昊昊聊前端转译器之parser综合篇
3.领域特定语言设计技巧
4.MySQL Shell 8.0.32 for GreatSQL编译二进制包

antlr 源码

PASO:一个基于网页的solidity语言分析器

       智能合约的守护者:PASO——Web版Solidity语言分析器

       智能合约,作为分布式账本上的数字合同,正日益成为商业逻辑的核心执行者。其中,Solidity以其广泛流行,主导了以太坊区块链上的最新互助源码编程。然而,随着Solidity语言的迅速迭代,确保其代码质量成为开发者的重要任务。在这个背景下,一款强大的分析工具PASO应运而生,它是一款基于网页的Solidity语言分析器,让专业程序员能够轻松评估智能合约的品质。

       PASO的诞生源于对现有工具的挑战。市面上的Pharo Solity Parser和SolMet虽然在某些方面有所贡献,但它们依赖本地安装,部署繁琐,无法实时跟踪Solidity和以太坊EVM的快速更新。PASO则是为了解决这一痛点,它作为一个网页应用,无需用户安装,只需通过浏览器就能获取智能合约的软件度量结果,适应了Solidity语言的实时性要求。

       PASO的构建灵感来源于软件工程中的度量原则,即“你无法管理你没有度量的事物”。它由四个关键组件组成:Solidity语法,PASO解析器,度量模块,以及直观易用的GUI。Solidity语法部分,通过ANTLR4的细致表达,精确捕捉语言结构。PASO解析器则通过Parser Generator生成,解析源代码,构建出解析树,展示了代码的语法结构,非终端节点和终端节点的细致划分,确保了代码分析的准确性。

       度量模块是PASO的核心,它将通用度量与Solidity特有的牛市启动线源码特性结合,为智能合约提供全面的评估。每个度量指标都有清晰的解释,为开发者提供了深入理解代码质量的窗口。GUI部分,虽然未详细展开,但无疑是提升用户体验的关键,它将复杂度量结果以用户友好的方式呈现。

       PASO的实现,是对Web技术在智能合约分析领域的创新应用。通过ANTLR,它实现了跨语言解析器的生成,使得JavaScript解析器与GUI无缝协作。与传统的本地工具相比,PASO的优势在于其灵活性和易用性,用户无需额外安装,只需通过简单的网页访问,即可获取实时的度量结果。

       然而,PASO的潜力远不止于此。尽管本文讨论的指标尚有限,但PASO代表了未来基于Web的智能合约分析工具的先驱。随着深度研究的推进,PASO有望扩展其功能,提供更全面的度量指标,为开发者提供更深入的洞察,为用户提供更直观的分析体验,从而推动智能合约编程的持续优化和提升。

和昊昊聊前端转译器之parser综合篇

       昊昊,你了解前端领域的转译器吗?

       昊昊:转译器(transpiler)在前端领域用途广泛,比如babel、typescript、terser、eslint、prettier、postcss、posthtml、vue template compiler等。

       我:这些转译器包括了大部分,还有像taro、源码小程序搭建uniapp这样的基于上述转译器的小程序转译器。当然,也有用rust写的类似babel的swc,以及用go写的esbuild自带的js transpiler,这些不是js写的,我们先不讨论。

       昊昊:转译器的实现原理是什么?

       我:转译器是源码转源码,大致分为三个步骤:parse、transform、generate。

       第一步,parse,将源码解析为抽象语法树AST,通过树形结构记录源码信息,以便计算机理解。

       第二步,transform,解析源码后,进行各种转换,转译器主要工作是转换,对AST进行目的不同的增删改。

       第三步,generate,转换后的AST进行递归打印,生成新的代码,并生成源码和目标源码关联关系的sourcemap。

       虽然三个阶段大同小异,但具体名字可能不同,例如vue template compiler中将transform称为optimize,强调优化渲染的转换;postcss第三步被称为stringifier。

       昊昊:你能详细讲讲parse、transform、generate三个阶段吗?

       我:当然,转译器都分为这三个阶段,我们换个角度,分别深入分析parse、transform、generate这三个阶段,纵向对比各种转译器的源码屋会员共享实现。

       先从JS Parser开始。昊昊,你认为为什么用JS写JS Parser?

       昊昊:是因为前端工程化,有了node后,可以用js写js代码的工具链,包括语法转换、压缩混淆、打包工具等,这些都需要Parser的支持。

       我:确实,工程化工具链驱动了Parser的需求。最早的JS写的Parser是esprima,当时Mozilla公布了SpiderMonkey JS引擎的Parser API和AST标准。esprima基于此实现了Parser。后来形成了estree标准,这是对SpiderMonkey AST的兼容和扩展,最早的实现是esprima。Terser文档中将其称为SpiderMonkey AST。

       昊昊:SpiderMonkey API是参照物,estree是对它的兼容和扩展,最早的实现是esprima。

       我:对,有了esprima这个Parser,许多JS转译工具可以基于它进行开发,比如eslint。eslint早期基于esprima,发展顺利。但随着JS到ES6后,更新速度加快,esprima更新跟不上,导致eslint用户频繁抱怨。于是eslint fork了一份esprima,扩展语法,形成espree,espree自立门户,但也遵循estree标准。后来社区迎来了更快的JS Parser,如acorn,它速度更快,newlive直播app源码支持新语法,并且支持插件扩展,全面超越了esprima。因此,大量之前基于esprima的工具改用acorn,其中当然包括eslint,在espree2.0后,底层的Parser实现改为acorn。

       acorn的插件机制允许开发者扩展新语法,比如创建一个关键字ssh,实现ssh;使用,这需要注册关键字、注册新语法类型,并在Parser中覆盖相关方法。实现方式并不复杂,完整代码展示了这一过程。

       昊昊:acorn可以扩展新语法,是怎么实现的?

       我:通过acorn插件实现新语法扩展,插件是一个函数,接受旧Parser,返回继承旧Parser的新Parser。新Parser通过重写方法实现扩展。这里以ssh关键字为例,首先修改构造器注册ssh关键字,然后在Parser中注册新语法类型。在parse逻辑中判断是否处理ssh关键字,并进入自定义解析逻辑。实现新语法扩展并不难。

       昊昊:acorn插件机制很棒,还能扩展新语法。除了acorn,还有其他JS Parser有插件机制吗?

       我:印象中没有,如esprima、typescript等没有语法插件,这种扩展只能等待官方实现。

       昊昊:babel、espree等基于acorn,它们做了哪些改动和扩展?

       我:espree仅增加了一些属性,保持estree兼容性。而@babel/parser除了添加节点属性,还扩展了许多新节点,不兼容estree标准,主要修改包括新增节点定义、属性添加等。

       昊昊:其他JS转译器,如prettier、terser的Parser是什么?

       我:prettier基于@babel/parser和typescript,terser有自己的AST标准。terser使用自己标准的原因是其AST方法丰富,有继承关系,而estree标准的AST仅是数据结构。改动成本大,所以terser没有改变。详细原因可以查看官方文章。

       昊昊:其他转译器的Parser?

       我:CSS转译器流行的是postcss,用于增强CSS能力的less、sass等与postcss这类专业转译器定位不同。postcss支持插件机制,默认支持CSS语法扩展。接下来在postcss语法插件中应用一个acorn语法插件,实现CSS支持新JS语法。

       昊昊:把JS新语法编译到CSS,很酷。

       我:不仅是Parser,stringifier也能自定义,比如实现语法高亮等。

       昊昊:HTML的Parser呢?

       我:HTML的Parser与CSS类似,支持各种模板引擎编译为HTML。主要转译器是postcss,其Parser使用htmlparser2。流程与postcss相似,但不支持语法扩展插件,仅支持转换插件。可以拿到某个节点后获取内容,自行解析生成HTML AST,如Markdown转HTML、模板引擎转HTML等。

       昊昊:感觉Parser种类繁多,既有acorn、htmlparser2、postcss等通用Parser,也有各种转译器自带的Parser。

       我:学习时不要只关注使用,了解Parser类型拓宽视野。深入学习Parser需要理解词法分析和语法分析,而不是学习某个Parser的使用。通常不会手写复杂的Parser,比如HTML Parser,可以用如ANTLR的Parser生成器。

       转译的开始在解析阶段,之后的转换与生成才是重头戏。

领域特定语言设计技巧

       领域特定语言(Domain-Specific Language,DSL)专注于特定领域的计算机语言,其设计旨在简化复杂领域中的问题解决过程。在设计领域特定语言时,有几个关键的技巧和步骤,以下将探讨这些要点。

       首先,理解领域特定语言的定义:领域特定语言是一种专注于特定应用程序领域的语言,它既可编译也可解释执行。与通用编程语言相比,领域特定语言的源代码在经过编译后通常不会直接生成可执行程序,但可以转换为兼容核心应用程序操作环境的资源或通用编程语言。这种设计允许领域特定语言更加聚焦于特定问题的解决。

       在设计领域特定语言时,应注意以下几点:

       1. **简化业务呈现**:领域特定语言旨在简化业务场景的描述,通过特定的呈现模式解析源代码,转化为所需的数据结构。

       2. **定义数据结构**:在设计领域特定语言时,关注于定义数据结构,这一步骤与通用语言的编译过程类似,但领域特定语言的中间表示形式通常对应于实际需要的数据结构。

       3. **提炼领域特定名词**:通过与领域专家合作,从领域知识中提炼名词,这与领域驱动设计(Domain-Driven Design,DDD)中的问题域提炼过程相似,目的是获得更准确、专业的领域特定语言。

       4. **从用例开始**:与领域专家协作,从具体的业务用例出发,理解用户在特定场景下的操作流程,从而设计统一的语言。用例描述了达到目标所需的步骤,包括用户与系统之间的交互。

       5. **关键字、值和属性的提取**:基于用例,提取关键信息,如关键字、值、属性等,为后续设计提供基础。

       6. **关联关系与语法设计**:设计领域特定语言时,关注领域内名词之间的关系,以及如何通过语法准确表达这些关系。这包括考虑领域内类之间的关系,如继承、实现等。

       7. **实现用例与简化设计**:实现用例的过程应遵循人类思维习惯,力求简化设计,同时保留足够的信息,以供未来维护和理解。

       8. **使用解析器生成器**:在设计领域特定语言时,通常使用解析器生成器,如ANTLR、Lex & Yacc等工具,来自动化实现语言的解析,减轻开发人员的负担。

       9. **测试驱动开发与自动化语言迁移**:采用测试驱动开发(Test-Driven Development,TDD)方法,确保语言设计覆盖所有可能的场景,并能适应未来的需求变化。同时,考虑自动化语言迁移策略,以提高系统的可维护性和适应性。

       领域特定语言设计的核心在于聚焦特定领域的解决方案,通过精简的表达和高效的数据结构,提升复杂问题的处理效率。通过遵循上述技巧和步骤,开发者能够更有效地设计和实现领域特定语言,以满足特定业务领域的复杂需求。

MySQL Shell 8.0. for GreatSQL编译二进制包

       构建MySQL Shell 8.0. for GreatSQL

       写在前面

       之前已经写过一篇前传 MySQL Shell 8.0. for GreatSQL编译安装,最近再次编译MySQL Shell二进制包时,发现了一些新问题,因此重新整理更新本文档。

       几处新问题

       这次编译MySQL Shell发现几个新问题,下面一一列举。

       针对这些情况,为了方便社区用户,我直接将整个二进制包编译工作打包成Docker镜像,有需要的直接拉取镜像创建容器,只需耐心等上几分钟即可得到MySQL Shell for GreatSQL二进制包了。

       使用方法很简单,类似下面这样即可:

       接下来回退到宿主机,将容器中的二进制包拷贝出来

       然后解压缩,就可以在宿主机环境下使用了。

       说完用Docker容器构建二进制包的方法,再说下手动编译全过程,有兴趣的同学也可以跟着自己动手做一遍,增加体感。

       手动编译过程

       2.1 准备Docker环境

       参考编译环境要求参考 GreatSQL-Shell Dockerfile ,构建好一个Docker镜像环境,基本上照着做就行,这里不赘述。

       2.2 下载源码包

       先下载准备好下列几个源码包:

       下载完后都放在/opt/ 目录下,并解压缩。

       2.3 修改MySQL Shell源码包

       打开链接: gitee.com/GreatSQL/Grea...,下载GreatSQL补丁包文件 mysqlsh-for-greatsql-8.0..patch。

       为了让MySQL Shell支持GreatSQL仲裁节点(ARBITRATOR)特性,需要打上补丁包:

       2.4 编译相关软件包1..1 antlr4-4.

       编译antlr4:

       如果你的网络环境无法直接从github上下载二进制包,则先自行下载二进制包 github.com/google/googl...,并放到antlr4代码包中相应位置,再修改antlr4代码,略过下载步骤,详见下面的做法:

       之后就可以用上面的方法进行编译,而不会在下载二进制包环节卡住不动。

       2.4.2 patchelf-0..5

       2.4.3 protobuf-3..4

       2.4.4 rpcsvc-proto-1.4

       编译MySQL Shell

       3.1 编译MySQL 8.0.

       在MySQL 8.0.源码目录中,编译生成MySQL客户端相关依赖库,这是编译MySQL Shell之前要先做的事:

       3.2 编译MySQL Shell 8.0. for GreatSQL

       编译完MySQL 8.0.后,切换到MySQL Shell源码目录下,准备继续编译:

       编译完成后,会把二进制文件安装到/usr/local/greatsql-shell-8.0.--Linux-glibc2.-x_ 目录下。

       3.3 运行测试

       运行mysqlsh测试前,还要先将libprotobuf.so动态库文件拷贝放到MySQL Shell目录下,再运行测试:

       好了,开始感受GreatSQL 8.0.-新版本特性,以及MGR仲裁节点的魅力吧 O(∩_∩)O哈哈~

       延伸阅读

       本文完。

       Enjoy GreatSQL :)

       关于GreatSQL

       GreatSQL数据库是一款开源免费数据库,可在普通硬件上满足金融级应用场景,具有高可用、高性能、高兼容、高安全等特性,可作为MySQL或Percona Server for MySQL的理想可选替换。

       相关链接

       GreatSQL社区

       Gitee

       GitHub

       Bilibili

       技术交流群

       微信:添加GreatSQL社区助手好友,微信号wanlidbc发送验证信息加群

       QQ群:

       Enjoy GreatSQL :)

       关于 GreatSQL

       GreatSQL是适用于金融级应用的国内自主开源数据库,具备高性能、高可靠、高易用性、高安全等多个核心特性,可以作为MySQL或Percona Server的可选替换,用于线上生产环境,且完全免费并兼容MySQL或Percona Server。

       相关链接: GreatSQL社区 Gitee GitHub Bilibili

       GreatSQL社区:

       社区有奖建议反馈: greatsql.cn/thread--1...

       社区博客有奖征稿详情: greatsql.cn/thread--...

       (对文章有疑问或者有独到见解都可以去社区官网提出或分享哦~)

       技术交流群:

       微信&QQ群:

       QQ群:

       微信群:添加GreatSQL社区助手(微信号:wanlidbc )好友,待社区助手拉您进群。

本文地址:http://04.net.cn/news/90a452095389.html

copyright © 2016 powered by 皮皮网   sitemap