前端打包工具Mako架构解析|得物技术
目录
一、Mako是什么
二、特点
三、性能测试
四、项目架构
1. entry
2. Compiler
3. build
3.1 Load
3.2 Parse
3.3 transform
3.4 analyze deps+resolve
3.5 create module
4. 生成
五、尾声
一
Mako是什么
二
特点
零配置
生产级
快如闪电
热模块替换
代码拆分
Module Concatenation
三
性能测试
benchmark基准测试 https://github.com/umijs/benchmark
四
项目架构
entry
通过引用Mako的Rust crate来发起,其核心模块均已导出(不过好像未发布到crates.io); 通过引用 Mako的npm包来在nodejs中发起; 通过Mako的cli来发起。
Rust实现Mako编译的核心逻辑并进行导出。
通过napi将Mako核心逻辑的Rust代码,经过胶水层,在github workflows中进行交叉编译,编译出多平台的native模块,然后在npm模块中进行引用,再次进行一层封装供用户使用。
使用napi进行编译的胶水层代码
此代码经过编译后,可在nodejs中进行引用,有关napi的具体细节请参考https://napi.rs/cn
交叉编译任务的workflows
js层引用编译好的native模块,封装后暴露给外部使用
经过js层的参数融合后,最终使用native模块进行构建
在前两步已经将功能、暴露均完成的情况,封装一层cli,根据命令,执行构建。
Mako cli中,匹配到build命令,执行封装好的build函数
Compiler
pub trait Plugin: Any + Send + Sync {fn name(&self) -> &str;fn modify_config(&self, _config: &mut Config, _root: &Path, _args: &Args) -> Result<()> {Ok(())}fn load(&self, _param: &PluginLoadParam, _context: &Arc<Context>) -> Result<Option<Content>> {Ok(None)}fn next_build(&self, _next_build_param: &NextBuildParam) -> bool {true}fn parse(&self,_param: &PluginParseParam,_context: &Arc<Context>,) -> Result<Option<ModuleAst>> {Ok(None)}fn transform_js(&self,_param: &PluginTransformJsParam,_ast: &mut Module,_context: &Arc<Context>,) -> Result<()> {Ok(())}fn after_generate_transform_js(&self,_param: &PluginTransformJsParam,_ast: &mut Module,_context: &Arc<Context>,) -> Result<()> {Ok(())}fn before_resolve(&self, _deps: &mut Vec<Dependency>, _context: &Arc<Context>) -> Result<()> {Ok(())}fn after_build(&self, _context: &Arc<Context>, _compiler: &Compiler) -> Result<()> {Ok(())}fn generate(&self, _context: &Arc<Context>) -> Result<Option<()>> {Ok(None)}fn after_generate_chunk_files(&self,_chunk_files: &[ChunkFile],_context: &Arc<Context>,) -> Result<()> {Ok(())}fn build_success(&self, _stats: &StatsJsonMap, _context: &Arc<Context>) -> Result<Option<()>> {Ok(None)}fn build_start(&self, _context: &Arc<Context>) -> Result<Option<()>> {Ok(None)}fn generate_beg(&self, _context: &Arc<Context>) -> Result<()> {Ok(())}fn generate_end(&self,_params: &PluginGenerateEndParams,_context: &Arc<Context>,) -> Result<Option<()>> {Ok(None)}fn runtime_plugins(&self, _context: &Arc<Context>) -> Result<Vec<String>> {Ok(Vec::new())}fn optimize_module_graph(&self,_module_graph: &mut ModuleGraph,_context: &Arc<Context>,) -> Result<()> {Ok(())}fn before_optimize_chunk(&self, _context: &Arc<Context>) -> Result<()> {Ok(())}fn optimize_chunk(&self,_chunk_graph: &mut ChunkGraph,_module_graph: &mut ModuleGraph,_context: &Arc<Context>,) -> Result<()> {Ok(())}fn before_write_fs(&self, _path: &Path, _content: &[u8]) -> Result<()> {Ok(())}}
内置的分为两类的插件11种; 外部js编写的插件(Less的编译就是使用这种); 其他条件型插件。
使用各种插件
根据plugins创建PluginDriver调度所有插件的生命周期
PluginDriver的内部逻辑,即将执行所有插件对应的生命周期一一执行
build
impl Compiler {pub fn build(&self, files: Vec<File>) -> Result<HashSet<ModuleId>> {let (rs, rr) = channel::<Result<Module>>();let build_with_pool = |file: File, parent_resource: Option<ResolverResource>| {let rs = rs.clone();let context = self.context.clone();thread_pool::spawn(move || {let result = Self::build_module(&file, parent_resource, context.clone());let result = Self::handle_build_result(result, &file, context);rs.send(result).unwrap();});};let mut count = 0;for file in files {count += 1;build_with_pool(file, None);}let mut errors = vec![];let mut module_ids = HashSet::new();for build_result in rr {count -= 1;// handle build_module errorif build_result.is_err() {errors.push(build_result.err().unwrap());if count == 0 {break;} else {continue;}}let module = build_result.unwrap();let module_id = module.id.clone();// xxx}drop(rs);if !errors.is_empty() {return Err(anyhow::anyhow!(BuildError::BuildTasksError { errors }));}Ok(module_ids)}}
pub fn build_module(file: &File,parent_resource: Option<ResolverResource>,context: Arc<Context>,) -> Result<Module> {// 1. loadlet mut file = file.clone();let content = load::Load::load(&file, context.clone())?;file.set_content(content);// 2. parselet mut ast = parse::Parse::parse(&file, context.clone())?;// 3. transformtransform::Transform::transform(&mut ast, &file, context.clone())?;// 4. analyze deps + resolvelet deps = analyze_deps::AnalyzeDeps::analyze_deps(&ast, &file, context.clone())?;// 5. create modulelet path = file.path.to_string_lossy().to_string();let module_id = ModuleId::new(path.clone());let raw = file.get_content_raw();let is_entry = file.is_entry;let source_map_chain = file.get_source_map_chain(context.clone());let top_level_await = match &ast {ModuleAst::Script(ast) => ast.contains_top_level_await,_ => false,};let is_async_module = file.extname == "wasm";let is_async = is_async_module || top_level_await;// raw_hash is only used in watch mode// so we don't need to calculate when watch is offlet raw_hash = if context.args.watch {file.get_raw_hash().wrapping_add(hash_hashmap(&deps.missing_deps))} else {0};let info = ModuleInfo {file,deps,ast,resolved_resource: parent_resource,source_map_chain,top_level_await,is_async,raw_hash,raw,..Default::default()};let module = Module::new(module_id, is_entry, Some(info));Ok(module)}
Load
根据路径加载文件,目前内置如下类型(支持通过插件的Load生命周期配置自定义文件)
virtual:inline_css:runtime ?raw js css md & mdx svg toml wasm xml yaml json assets
impl Load {pub fn load(file: &File, context: Arc<Context>) -> Result<Content> {crate::mako_profile_function!(file.path.to_string_lossy());debug!("load: {:?}", file);// plugin firstlet content: Option<Content> = context.plugin_driver.load(&PluginLoadParam { file }, &context)?;if let Some(content) = content {return Ok(content);}// virtual:inline_css:runtimeif file.path.to_str().unwrap() == "virtual:inline_css:runtime" {return Ok(Content::Js(JsContent {content: r#"export function moduleToDom(css) {var styleElement = document.createElement("style");styleElement.type = "text/css";styleElement.appendChild(document.createTextNode(css))document.head.appendChild(styleElement);}"#.to_string(),..Default::default()}));}// file exists check must after virtual modules handlingif !file.pathname.exists() || !file.pathname.is_file() {return Err(anyhow!(LoadError::FileNotFound {path: file.path.to_string_lossy().to_string(),}));}// unsupportedif UNSUPPORTED_EXTENSIONS.contains(&file.extname.as_str()) {return Err(anyhow!(LoadError::UnsupportedExtName {ext_name: file.extname.clone(),path: file.path.to_string_lossy().to_string(),}));}// ?rawif file.has_param("raw") {let content = FileSystem::read_file(&file.pathname)?;let content = serde_json::to_string(&content)?;return Ok(Content::Js(JsContent {content: format!("module.exports = {}", content),..Default::default()}));}// jsif JS_EXTENSIONS.contains(&file.extname.as_str()) {// entry with ?hmrlet is_jsx = file.extname.as_str() == "jsx" || file.extname.as_str() == "tsx";if file.is_entry && file.has_param("hmr") {let content = format!("{}\nmodule.exports = require(\"{}\");\n",include_str!("../runtime/runtime_hmr_entry.js"),file.pathname.to_string_lossy(),);return Ok(Content::Js(JsContent { content, is_jsx }));}let content = FileSystem::read_file(&file.pathname)?;return Ok(Content::Js(JsContent { content, is_jsx }));}// cssif CSS_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;return Ok(Content::Css(content));}// md & mdxif MD_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;let options = MdxOptions {development: matches!(context.config.mode, Mode::Development),..Default::default()};let content = match compile(&content, &options) {Ok(js_string) => js_string,Err(reason) => {return Err(anyhow!(LoadError::CompileMdError {path: file.path.to_string_lossy().to_string(),reason,}));}};let is_jsx = file.extname.as_str() == "mdx";return Ok(Content::Js(JsContent { content, is_jsx }));}// svg// TODO: Not all svg files need to be converted to React Component, unnecessary performance consumption hereif SVG_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;let svgr_transformed = svgr_rs::transform(content,svgr_rs::Config {named_export: SVGR_NAMED_EXPORT.to_string(),export_type: Some(svgr_rs::ExportType::Named),..Default::default()},svgr_rs::State {..Default::default()},).map_err(|err| LoadError::ToSvgrError {path: file.path.to_string_lossy().to_string(),reason: err.to_string(),})?;let asset_path = Self::handle_asset(file, true, true, context.clone())?;return Ok(Content::Js(JsContent {content: format!("{}\nexport default {};", svgr_transformed, asset_path),is_jsx: true,}));}// tomlif TOML_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;let content = from_toml_str::<TomlValue>(&content)?;let content = serde_json::to_string(&content)?;return Ok(Content::Js(JsContent {content: format!("module.exports = {}", content),..Default::default()}));}// wasmif WASM_EXTENSIONS.contains(&file.extname.as_str()) {let final_file_name = format!("{}.{}.{}",file.get_file_stem(),file.get_content_hash()?,file.extname);context.emit_assets(file.pathname.to_string_lossy().to_string(),final_file_name.clone(),);return Ok(Content::Js(JsContent {content: format!("module.exports = require._interopreRequireWasm(exports, \"{}\")",final_file_name),..Default::default()}));}// xmlif XML_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;let content = from_xml_str::<serde_json::Value>(&content)?;let content = serde_json::to_string(&content)?;return Ok(Content::Js(JsContent {content: format!("module.exports = {}", content),..Default::default()}));}// yamlif YAML_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;let content = from_yaml_str::<YamlValue>(&content)?;let content = serde_json::to_string(&content)?;return Ok(Content::Js(JsContent {content: format!("module.exports = {}", content),..Default::default()}));}// jsonif JSON_EXTENSIONS.contains(&file.extname.as_str()) {let content = FileSystem::read_file(&file.pathname)?;return Ok(Content::Js(JsContent {content: format!("module.exports = {}", content),..Default::default()}));}// assetslet asset_path = Self::handle_asset(file, true, true, context.clone())?;Ok(Content::Js(JsContent {content: format!("module.exports = {};", asset_path),..Default::default()}))}}
Parse
比如想支持鸿蒙的ets,编写插件的话就需要在这个阶段进行ast解析
impl Parse {pub fn parse(file: &File, context: Arc<Context>) -> Result<ModuleAst> {// plugin firstlet ast = context.plugin_driver.parse(&PluginParseParam { file }, &context)?;if let Some(ast) = ast {return Ok(ast);}// jsif let Some(Content::Js(_)) = &file.content {debug!("parse js: {:?}", file.path);let ast = JsAst::new(file, context.clone())?;if let Some(ast) = Rsc::parse_js(file, &ast, context.clone())? {return Ok(ast);}return Ok(ModuleAst::Script(ast));}// cssif let Some(Content::Css(_)) = &file.content {// xxx}}}
transform
impl Transform {pub fn transform(ast: &mut ModuleAst, file: &File, context: Arc<Context>) -> Result<()> {crate::mako_profile_function!();match ast {ModuleAst::Script(ast) => {GLOBALS.set(&context.meta.script.globals, || {let unresolved_mark = ast.unresolved_mark;let top_level_mark = ast.top_level_mark;let cm: Arc<swc_core::common::SourceMap> = context.meta.script.cm.clone();let origin_comments = context.meta.script.origin_comments.read().unwrap();let is_ts = file.extname == "ts";let is_tsx = file.extname == "tsx";let is_jsx = file.is_content_jsx()|| file.extname == "jsx"|| file.extname == "js"|| file.extname == "ts"|| file.extname == "tsx";// visitorslet mut visitors: Vec<Box<dyn VisitMut>> = vec![Box::new(resolver(unresolved_mark, top_level_mark, is_ts || is_tsx)),Box::new(FixHelperInjectPosition::new()),Box::new(FixSymbolConflict::new(top_level_mark)),Box::new(NewUrlAssets {context: context.clone(),path: file.path.clone(),unresolved_mark,}),Box::new(WorkerModule::new(unresolved_mark)),];if is_tsx {visitors.push(Box::new(tsx_strip(cm.clone(),context.clone(),top_level_mark,)))}if is_ts {visitors.push(Box::new(ts_strip(top_level_mark)))}// named default exportif context.args.watch && !file.is_under_node_modules && is_jsx {visitors.push(Box::new(DefaultExportNamer::new()));}// react & react-refreshlet is_dev = matches!(context.config.mode, Mode::Development);let is_browser =matches!(context.config.platform, crate::config::Platform::Browser);let use_refresh = is_dev&& context.args.watch&& context.config.hmr.is_some()&& !file.is_under_node_modules&& is_browser;if is_jsx {visitors.push(react(cm,context.clone(),use_refresh,&top_level_mark,&unresolved_mark,));}{let mut define = context.config.define.clone();let mode = context.config.mode.to_string();define.entry("NODE_ENV".to_string()).or_insert_with(|| format!("\"{}\"", mode).into());let env_map = build_env_map(define, &context)?;visitors.push(Box::new(EnvReplacer::new(Lrc::new(env_map),unresolved_mark,)));}visitors.push(Box::new(TryResolve {path: file.path.to_string_lossy().to_string(),context: context.clone(),unresolved_mark,}));visitors.push(Box::new(Provide::new(context.config.providers.clone(),unresolved_mark,top_level_mark,)));visitors.push(Box::new(VirtualCSSModules {auto_css_modules: context.config.auto_css_modules,}));visitors.push(Box::new(ContextModuleVisitor { unresolved_mark }));if context.config.dynamic_import_to_require {visitors.push(Box::new(DynamicImportToRequire { unresolved_mark }));}if matches!(context.config.platform, crate::config::Platform::Node) {visitors.push(Box::new(features::node::MockFilenameAndDirname {unresolved_mark,current_path: file.path.clone(),context: context.clone(),}));}// folderslet mut folders: Vec<Box<dyn Fold>> = vec![];folders.push(Box::new(decorators(decorators::Config {legacy: true,emit_metadata: false,..Default::default()})));let comments = origin_comments.get_swc_comments().clone();let assumptions = context.assumptions_for(file);folders.push(Box::new(swc_preset_env::preset_env(unresolved_mark,Some(comments),swc_preset_env::Config {mode: Some(swc_preset_env::Mode::Entry),targets: Some(swc_preset_env_targets_from_map(context.config.targets.clone(),)),..Default::default()},assumptions,&mut FeatureFlag::default(),)));folders.push(Box::new(reserved_words::reserved_words()));folders.push(Box::new(paren_remover(Default::default())));folders.push(Box::new(simplifier(unresolved_mark,SimpilifyConfig {dce: dce::Config {top_level: false,..Default::default()},..Default::default()},)));ast.transform(&mut visitors, &mut folders, file, true, context.clone())?;Ok(())})}ModuleAst::Css(ast) => {// replace @import url() to @import before CSSUrlReplacerimport_url_to_href(&mut ast.ast);let mut visitors: Vec<Box<dyn swc_css_visit::VisitMut>> = vec![];visitors.push(Box::new(Compiler::new(compiler::Config {process: swc_css_compat::feature::Features::NESTING,})));let path = file.path.to_string_lossy().to_string();visitors.push(Box::new(CSSAssets {path,context: context.clone(),}));// same ability as postcss-flexbugs-fixesif context.config.flex_bugs {visitors.push(Box::new(CSSFlexbugs {}));}if context.config.px2rem.is_some() {let context = context.clone();visitors.push(Box::new(Px2Rem::new(context.config.px2rem.as_ref().unwrap().clone(),)));}// prefixervisitors.push(Box::new(prefixer::prefixer(prefixer::options::Options {env: Some(targets::swc_preset_env_targets_from_map(context.config.targets.clone(),)),})));ast.transform(&mut visitors)?;// css moduleslet is_modules = file.has_param("modules");if is_modules {CssAst::compile_css_modules(file.pathname.to_str().unwrap(), &mut ast.ast);}Ok(())}ModuleAst::None => Ok(()),}}}
analyze deps+resolve
依赖分析阶段
有个很有意思的事情是我看到代码中有使用oxc_resolver,一开始有点好奇,以为是什么黑科技,因为oxc和swc是同类型的工具,一般不会出现在同一个项目中。
经过查找之后发现,是之前的resolver有点问题,作为替换才使用的oxc的resolver模块。
也就是解析还是使用的swc,oxc只用到了resolver。
具体可参考https://github.com/umijs/mako/pull/919。
create module
create Module阶段
🎉 至此,核心编译流程已经完成。
生成
生成阶段
五
尾声
Mako 不是为了与 Webpack 的社区加载器和插件兼容而设计的。如果你的项目严重依赖于 Webpack 的社区加载器和插件,你不应该使用 Mako,Rspack 是更好的选择。
往期回顾
1. 基于Rspack实现大仓应用构建提效实践|得物技术
2. 星愿森林的互动玩法揭秘|得物技术
3. StarRocks跨集群迁移最佳实践|得物技术
4. Apache Flink类型及序列化研读&生产应用|得物技术
5. 可视化流量录制规则探索和实践|得物技术
文 / asarua
关注得物技术,每周一、三、五更新技术干货
要是觉得文章对你有帮助的话,欢迎评论转发点赞~
未经得物技术许可严禁转载,否则依法追究法律责任。
“
扫码添加小助手微信
如有任何疑问,或想要了解更多技术资讯,请添加小助手微信:
线下活动推荐
快快点击下方图片报名吧!