summaryrefslogtreecommitdiff
path: root/core/isolate.rs
diff options
context:
space:
mode:
authorRyan Dahl <ry@tinyclouds.org>2019-06-10 15:27:34 -0400
committerGitHub <noreply@github.com>2019-06-10 15:27:34 -0400
commite0436975211202afadb1a8ccd7d5154694162f38 (patch)
treea4e864991a109071b32e79ae5ab9624c1228b0a4 /core/isolate.rs
parent88b0c8756eef96c8adaff1005d00aae52bd2272c (diff)
Expose dynamic import in core (#2472)
Diffstat (limited to 'core/isolate.rs')
-rw-r--r--core/isolate.rs180
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();