perf: analyze cjs re-exports in parallel (#23894)

11 files changed, 184 insertions, 67 deletions

diff --git a/Cargo.lock b/Cargo.lock
index 462a08918..f571d1a64 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1892,9 +1892,9 @@ dependencies = [
 
 [[package]]
 name = "deno_unsync"
-version = "0.3.2"
+version = "0.3.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "30dff7e03584dbae188dae96a0f1876740054809b2ad0cf7c9fc5d361f20e739"
+checksum = "7557a5e9278b9a5cc8056dc37062ea4344770bda4eeb5973c7cbb7ebf636b9a4"
 dependencies = [
  "tokio",
 ]
diff --git a/ext/node/analyze.rs b/ext/node/analyze.rs
index 2d1c169fc..b7adfd5ce 100644
--- a/ext/node/analyze.rs
+++ b/ext/node/analyze.rs
@@ -1,12 +1,15 @@
 // Copyright 2018-2024 the Deno authors. All rights reserved. MIT license.
 
 use std::collections::HashSet;
-use std::collections::VecDeque;
 use std::path::Path;
 use std::path::PathBuf;
 
 use deno_core::anyhow;
 use deno_core::anyhow::Context;
+use deno_core::futures::future::LocalBoxFuture;
+use deno_core::futures::stream::FuturesUnordered;
+use deno_core::futures::FutureExt;
+use deno_core::futures::StreamExt;
 use deno_core::ModuleSpecifier;
 use once_cell::sync::Lazy;
 
@@ -82,16 +85,15 @@ impl<TCjsCodeAnalyzer: CjsCodeAnalyzer> NodeCodeTranslator<TCjsCodeAnalyzer> {
   /// If successful a source code for equivalent ES module is returned.
   pub async fn translate_cjs_to_esm(
     &self,
-    specifier: &ModuleSpecifier,
+    entry_specifier: &ModuleSpecifier,
     source: Option<String>,
     permissions: &dyn NodePermissions,
   ) -> Result<String, AnyError> {
     let mut temp_var_count = 0;
-    let mut handled_reexports: HashSet<ModuleSpecifier> = HashSet::default();
 
     let analysis = self
       .cjs_code_analyzer
-      .analyze_cjs(specifier, source)
+      .analyze_cjs(entry_specifier, source)
       .await?;
 
     let analysis = match analysis {
@@ -105,73 +107,30 @@ impl<TCjsCodeAnalyzer: CjsCodeAnalyzer> NodeCodeTranslator<TCjsCodeAnalyzer> {
         .to_string(),
     ];
 
-    let mut all_exports = analysis
-      .exports
-      .iter()
-      .map(|s| s.to_string())
-      .collect::<HashSet<_>>();
-
-    // (request, referrer)
-    let mut reexports_to_handle = VecDeque::new();
-    for reexport in analysis.reexports {
-      reexports_to_handle.push_back((reexport, specifier.clone()));
-    }
-
-    // todo(dsherret): we could run this analysis concurrently in a FuturesOrdered
-    while let Some((reexport, referrer)) = reexports_to_handle.pop_front() {
-      // First, resolve the reexport specifier
-      let reexport_specifier = self.resolve(
-        &reexport,
-        &referrer,
-        // FIXME(bartlomieju): check if these conditions are okay, probably
-        // should be `deno-require`, because `deno` is already used in `esm_resolver.rs`
-        &["deno", "require", "default"],
-        NodeResolutionMode::Execution,
-        permissions,
-      )?;
-
-      if !handled_reexports.insert(reexport_specifier.clone()) {
-        continue;
-      }
-
-      // Second, resolve its exports and re-exports
-      let analysis = self
-        .cjs_code_analyzer
-        .analyze_cjs(&reexport_specifier, None)
-        .await
-        .with_context(|| {
-          format!(
-            "Could not load '{}' ({}) referenced from {}",
-            reexport, reexport_specifier, referrer
-          )
-        })?;
-      let analysis = match analysis {
-        CjsAnalysis::Esm(_) => {
-          // todo(dsherret): support this once supporting requiring ES modules
-          return Err(anyhow::anyhow!(
-            "Cannot require ES module '{}' from '{}'",
-            reexport_specifier,
-            specifier
-          ));
-        }
-        CjsAnalysis::Cjs(analysis) => analysis,
-      };
+    let mut all_exports = analysis.exports.into_iter().collect::<HashSet<_>>();
 
-      for reexport in analysis.reexports {
-        reexports_to_handle.push_back((reexport, reexport_specifier.clone()));
+    if !analysis.reexports.is_empty() {
+      let mut errors = Vec::new();
+      self
+        .analyze_reexports(
+          entry_specifier,
+          analysis.reexports,
+          permissions,
+          &mut all_exports,
+          &mut errors,
+        )
+        .await;
+
+      // surface errors afterwards in a deterministic way
+      if !errors.is_empty() {
+        errors.sort_by_cached_key(|e| e.to_string());
+        return Err(errors.remove(0));
       }
-
-      all_exports.extend(
-        analysis
-          .exports
-          .into_iter()
-          .filter(|e| e.as_str() != "default"),
-      );
     }
 
     source.push(format!(
       "const mod = require(\"{}\");",
-      specifier
+      entry_specifier
         .to_file_path()
         .unwrap()
         .to_str()
@@ -198,6 +157,130 @@ impl<TCjsCodeAnalyzer: CjsCodeAnalyzer> NodeCodeTranslator<TCjsCodeAnalyzer> {
     Ok(translated_source)
   }
 
+  async fn analyze_reexports<'a>(
+    &'a self,
+    entry_specifier: &url::Url,
+    reexports: Vec<String>,
+    permissions: &dyn NodePermissions,
+    all_exports: &mut HashSet<String>,
+    // this goes through the modules concurrently, so collect
+    // the errors in order to be deterministic
+    errors: &mut Vec<anyhow::Error>,
+  ) {
+    struct Analysis {
+      reexport_specifier: url::Url,
+      referrer: url::Url,
+      analysis: CjsAnalysis,
+    }
+
+    type AnalysisFuture<'a> = LocalBoxFuture<'a, Result<Analysis, AnyError>>;
+
+    let mut handled_reexports: HashSet<ModuleSpecifier> = HashSet::default();
+    handled_reexports.insert(entry_specifier.clone());
+    let mut analyze_futures: FuturesUnordered<AnalysisFuture<'a>> =
+      FuturesUnordered::new();
+    let cjs_code_analyzer = &self.cjs_code_analyzer;
+    let mut handle_reexports =
+      |referrer: url::Url,
+       reexports: Vec<String>,
+       analyze_futures: &mut FuturesUnordered<AnalysisFuture<'a>>,
+       errors: &mut Vec<anyhow::Error>| {
+        // 1. Resolve the re-exports and start a future to analyze each one
+        for reexport in reexports {
+          let result = self.resolve(
+            &reexport,
+            &referrer,
+            // FIXME(bartlomieju): check if these conditions are okay, probably
+            // should be `deno-require`, because `deno` is already used in `esm_resolver.rs`
+            &["deno", "require", "default"],
+            NodeResolutionMode::Execution,
+            permissions,
+          );
+          let reexport_specifier = match result {
+            Ok(specifier) => specifier,
+            Err(err) => {
+              errors.push(err);
+              continue;
+            }
+          };
+
+          if !handled_reexports.insert(reexport_specifier.clone()) {
+            continue;
+          }
+
+          let referrer = referrer.clone();
+          let future = async move {
+            let analysis = cjs_code_analyzer
+              .analyze_cjs(&reexport_specifier, None)
+              .await
+              .with_context(|| {
+                format!(
+                  "Could not load '{}' ({}) referenced from {}",
+                  reexport, reexport_specifier, referrer
+                )
+              })?;
+
+            Ok(Analysis {
+              reexport_specifier,
+              referrer,
+              analysis,
+            })
+          }
+          .boxed_local();
+          analyze_futures.push(future);
+        }
+      };
+
+    handle_reexports(
+      entry_specifier.clone(),
+      reexports,
+      &mut analyze_futures,
+      errors,
+    );
+
+    while let Some(analysis_result) = analyze_futures.next().await {
+      // 2. Look at the analysis result and resolve its exports and re-exports
+      let Analysis {
+        reexport_specifier,
+        referrer,
+        analysis,
+      } = match analysis_result {
+        Ok(analysis) => analysis,
+        Err(err) => {
+          errors.push(err);
+          continue;
+        }
+      };
+      match analysis {
+        CjsAnalysis::Esm(_) => {
+          // todo(dsherret): support this once supporting requiring ES modules
+          errors.push(anyhow::anyhow!(
+            "Cannot require ES module '{}' from '{}'",
+            reexport_specifier,
+            referrer,
+          ));
+        }
+        CjsAnalysis::Cjs(analysis) => {
+          if !analysis.reexports.is_empty() {
+            handle_reexports(
+              reexport_specifier.clone(),
+              analysis.reexports,
+              &mut analyze_futures,
+              errors,
+            );
+          }
+
+          all_exports.extend(
+            analysis
+              .exports
+              .into_iter()
+              .filter(|e| e.as_str() != "default"),
+          );
+        }
+      }
+    }
+  }
+
   fn resolve(
     &self,
     specifier: &str,
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/__test__.jsonc b/tests/specs/node/cjs_analysis_multiple_errors/__test__.jsonc
new file mode 100644
index 000000000..7b5c5e1b6
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/__test__.jsonc
@@ -0,0 +1,5 @@
+{
+  "args": "run main.ts",
+  "output": "main.out",
+  "exitCode": 1
+}
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/deno.json b/tests/specs/node/cjs_analysis_multiple_errors/deno.json
new file mode 100644
index 000000000..f6eb03cc9
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/deno.json
@@ -0,0 +1,5 @@
+{
+  "unstable": [
+    "byonm"
+  ]
+}
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/main.out b/tests/specs/node/cjs_analysis_multiple_errors/main.out
new file mode 100644
index 000000000..cc8077950
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/main.out
@@ -0,0 +1,3 @@
+[# Since this package has multiple cjs export errors and the resolution is done in ]
+[# parallel, we want to ensure the output is deterministic when there's multiple errors]
+error: [ERR_MODULE_NOT_FOUND] Cannot find module "[WILDLINE]not_exists.js" imported from "[WILDLINE]a.js"
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/main.ts b/tests/specs/node/cjs_analysis_multiple_errors/main.ts
new file mode 100644
index 000000000..73b61f674
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/main.ts
@@ -0,0 +1,2 @@
+import * as pkg from "package";
+console.log(pkg);
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/a.js b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/a.js
new file mode 100644
index 000000000..151cd81d7
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/a.js
@@ -0,0 +1,4 @@
+var external001 = require("./not_exists.js");
+Object.keys(external001).forEach(function(key) {
+  exports[key] = external001[key];
+});
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/b.js b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/b.js
new file mode 100644
index 000000000..afd9d5cdb
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/b.js
@@ -0,0 +1,4 @@
+var external001 = require("./not_exists2.js");
+Object.keys(external001).forEach(function(key) {
+  exports[key] = external001[key];
+});
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/index.js b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/index.js
new file mode 100644
index 000000000..60be5e81c
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/index.js
@@ -0,0 +1,8 @@
+var external001 = require("./a.js");
+Object.keys(external001).forEach(function(key) {
+  exports[key] = external001[key];
+});
+var external002 = require("./b.js");
+Object.keys(external002).forEach(function(key) {
+  exports[key] = external002[key];
+});
\ No newline at end of file
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/package.json b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/package.json
new file mode 100644
index 000000000..920dda080
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/node_modules/package/package.json
@@ -0,0 +1,3 @@
+{
+  "name": "package"
+}
diff --git a/tests/specs/node/cjs_analysis_multiple_errors/package.json b/tests/specs/node/cjs_analysis_multiple_errors/package.json
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/tests/specs/node/cjs_analysis_multiple_errors/package.json