diff options
author | Ryan Dahl <ry@tinyclouds.org> | 2019-06-10 15:27:34 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-10 15:27:34 -0400 |
commit | e0436975211202afadb1a8ccd7d5154694162f38 (patch) | |
tree | a4e864991a109071b32e79ae5ab9624c1228b0a4 /core/isolate.rs | |
parent | 88b0c8756eef96c8adaff1005d00aae52bd2272c (diff) |
Expose dynamic import in core (#2472)
Diffstat (limited to 'core/isolate.rs')
-rw-r--r-- | core/isolate.rs | 180 |
1 files changed, 180 insertions, 0 deletions
diff --git a/core/isolate.rs b/core/isolate.rs index b51b7fe47..18ac38183 100644 --- a/core/isolate.rs +++ b/core/isolate.rs @@ -7,6 +7,7 @@ use crate::js_errors::JSError; use crate::libdeno; use crate::libdeno::deno_buf; +use crate::libdeno::deno_dyn_import_id; use crate::libdeno::deno_mod; use crate::libdeno::deno_pinned_buf; use crate::libdeno::PinnedBuf; @@ -19,6 +20,7 @@ use futures::task; use futures::Async::*; use futures::Future; use futures::Poll; +use libc::c_char; use libc::c_void; use std::ffi::CStr; use std::ffi::CString; @@ -52,9 +54,33 @@ pub enum StartupData<'a> { type DispatchFn = Fn(&[u8], Option<PinnedBuf>) -> Op; +pub type DynImportFuture = Box<dyn Future<Item = deno_mod, Error = ()> + Send>; +type DynImportFn = Fn(&str, &str) -> DynImportFuture; + +/// Wraps DynImportFuture to include the deno_dyn_import_id, so that it doesn't +/// need to be exposed. +struct DynImport { + id: deno_dyn_import_id, + inner: DynImportFuture, +} + +impl Future for DynImport { + type Item = (deno_dyn_import_id, deno_mod); + type Error = (); + fn poll(&mut self) -> Poll<Self::Item, ()> { + match self.inner.poll() { + Ok(Ready(mod_id)) => Ok(Ready((self.id, mod_id))), + Ok(NotReady) => Ok(NotReady), + // Note that mod_id 0 indicates error. + Err(()) => Ok(Ready((self.id, 0))), + } + } +} + #[derive(Default)] pub struct Config { dispatch: Option<Arc<DispatchFn>>, + dyn_import: Option<Arc<DynImportFn>>, pub will_snapshot: bool, } @@ -68,6 +94,13 @@ impl Config { { self.dispatch = Some(Arc::new(f)); } + + pub fn dyn_import<F>(&mut self, f: F) + where + F: Fn(&str, &str) -> DynImportFuture + Send + Sync + 'static, + { + self.dyn_import = Some(Arc::new(f)); + } } /// A single execution context of JavaScript. Corresponds roughly to the "Web @@ -85,6 +118,7 @@ pub struct Isolate { needs_init: bool, shared: SharedQueue, pending_ops: FuturesUnordered<OpAsyncFuture>, + pending_dyn_imports: FuturesUnordered<DynImport>, have_unpolled_ops: bool, } @@ -121,6 +155,7 @@ impl Isolate { load_snapshot: Snapshot2::empty(), shared: shared.as_deno_buf(), recv_cb: Self::pre_dispatch, + dyn_import_cb: Self::dyn_import, }; // Seperate into Option values for each startup type @@ -147,6 +182,7 @@ impl Isolate { needs_init, pending_ops: FuturesUnordered::new(), have_unpolled_ops: false, + pending_dyn_imports: FuturesUnordered::new(), }; // If we want to use execute this has to happen here sadly. @@ -174,6 +210,28 @@ impl Isolate { } } + extern "C" fn dyn_import( + user_data: *mut c_void, + specifier: *const c_char, + referrer: *const c_char, + id: deno_dyn_import_id, + ) { + assert_ne!(user_data, std::ptr::null_mut()); + let isolate = unsafe { Isolate::from_raw_ptr(user_data) }; + let specifier = unsafe { CStr::from_ptr(specifier).to_str().unwrap() }; + let referrer = unsafe { CStr::from_ptr(referrer).to_str().unwrap() }; + debug!("dyn_import specifier {} referrer {} ", specifier, referrer); + + if let Some(ref f) = isolate.config.dyn_import { + let inner = f(specifier, referrer); + let fut = DynImport { inner, id }; + task::current().notify(); + isolate.pending_dyn_imports.push(fut); + } else { + panic!("dyn_import callback not set") + } + } + extern "C" fn pre_dispatch( user_data: *mut c_void, control_argv0: deno_buf, @@ -340,6 +398,27 @@ impl Isolate { assert_ne!(snapshot.data_len, 0); Ok(snapshot) } + + fn dyn_import_done( + &self, + id: libdeno::deno_dyn_import_id, + mod_id: deno_mod, + ) -> Result<(), JSError> { + debug!("dyn_import_done {} {}", id, mod_id); + unsafe { + libdeno::deno_dyn_import( + self.libdeno_isolate, + self.as_raw_ptr(), + id, + mod_id, + ) + }; + if let Some(js_error) = self.last_exception() { + assert_eq!(id, 0); + return Err(js_error); + } + Ok(()) + } } /// Called during mod_instantiate() to resolve imports. @@ -440,6 +519,18 @@ impl Future for Isolate { let mut overflow_response: Option<Buf> = None; loop { + // If there are any pending dyn_import futures, do those first. + match self.pending_dyn_imports.poll() { + Err(()) => unreachable!(), + Ok(NotReady) => unreachable!(), + Ok(Ready(None)) => (), + Ok(Ready(Some((dyn_import_id, mod_id)))) => { + self.dyn_import_done(dyn_import_id, mod_id)?; + continue; + } + } + + // Now handle actual ops. self.have_unpolled_ops = false; #[allow(clippy::match_wild_err_arm)] match self.pending_ops.poll() { @@ -765,6 +856,95 @@ pub mod tests { } #[test] + fn dyn_import_err() { + // Test an erroneous dynamic import where the specified module isn't found. + run_in_task(|| { + let count = Arc::new(AtomicUsize::new(0)); + let count_ = count.clone(); + let mut config = Config::default(); + config.dyn_import(move |specifier, referrer| { + count_.fetch_add(1, Ordering::Relaxed); + assert_eq!(specifier, "foo.js"); + assert_eq!(referrer, "dyn_import2.js"); + Box::new(futures::future::err(())) + }); + let mut isolate = Isolate::new(StartupData::None, config); + js_check(isolate.execute( + "dyn_import2.js", + r#" + (async () => { + await import("foo.js"); + })(); + "#, + )); + assert_eq!(count.load(Ordering::Relaxed), 1); + + // We should get an error here. + let result = isolate.poll(); + assert!(result.is_err()); + }) + } + + #[test] + fn dyn_import_ok() { + run_in_task(|| { + let count = Arc::new(AtomicUsize::new(0)); + let count_ = count.clone(); + + // Sometimes Rust is really annoying. + use std::sync::Mutex; + let mod_b = Arc::new(Mutex::new(0)); + let mod_b2 = mod_b.clone(); + + let mut config = Config::default(); + config.dyn_import(move |_specifier, referrer| { + count_.fetch_add(1, Ordering::Relaxed); + // assert_eq!(specifier, "foo.js"); + assert_eq!(referrer, "dyn_import3.js"); + let mod_id = mod_b2.lock().unwrap(); + Box::new(futures::future::ok(*mod_id)) + }); + + let mut isolate = Isolate::new(StartupData::None, config); + + // Instantiate mod_b + { + let mut mod_id = mod_b.lock().unwrap(); + *mod_id = isolate + .mod_new(false, "b.js", "export function b() { return 'b' }") + .unwrap(); + let mut resolve = move |_specifier: &str, + _referrer: deno_mod| + -> deno_mod { unreachable!() }; + js_check(isolate.mod_instantiate(*mod_id, &mut resolve)); + } + // Dynamically import mod_b + js_check(isolate.execute( + "dyn_import3.js", + r#" + (async () => { + let mod = await import("foo1.js"); + if (mod.b() !== 'b') { + throw Error("bad1"); + } + // And again! + mod = await import("foo2.js"); + if (mod.b() !== 'b') { + throw Error("bad2"); + } + })(); + "#, + )); + + assert_eq!(count.load(Ordering::Relaxed), 1); + assert_eq!(Ok(Ready(())), isolate.poll()); + assert_eq!(count.load(Ordering::Relaxed), 2); + assert_eq!(Ok(Ready(())), isolate.poll()); + assert_eq!(count.load(Ordering::Relaxed), 2); + }) + } + + #[test] fn terminate_execution() { let (tx, rx) = std::sync::mpsc::channel::<bool>(); let tx_clone = tx.clone(); |