This change contains an initial implementation of closure serialization built atop V8, rather than our own custom runtime. This requires that we use a Node.js dynamic C++ module, so that we can access the V8 APIs directly. No build magic is required beyond node-gyp. For the most part, this was straight forward, except for one part: we have to use internal V8 APIs. This is required for two reasons: 1) We need access to the function's lexical closure environment, so that we may look up closure variables. Although there is a tantalizingly-close v8::Object::CreationContext, its implementation intentionally pokes through closure contexts in order to recover the Function constructor context instead. That's not what we want. We want the raw, unadulterated Function::context. 2) We need to control the lexical lookups of free variables so that they can look past chained contexts, lexical contexts, withs, and eval-style context extensions. Simply runing a v8::Script, or simulating an eval, doesn't do the trick. Hence, we need to access the unexported v8::internal::Context::Lookup function. There is a third reason which is not yet implemented: free variable calculation. I could use Esprima, or do my own scanner for free variables, but I'd prefer to simply use the V8 parser so that we're using the same JavaScript parser across all components. That too is not part of the v8.h API, so we'll need to crack it open more. To be clear, these are still exported public APIs, in proper headers that are distributed with both Node and V8. They simply aren't part of the "stable" v8.h surface area. As a result, I do expect that maintaining this will be tricky, and I'd like to keep exploring how to do this without needing the internal dependency. For instance, although this works with node-gyp just fine, we will probably be brittle across versions of Node/V8, when the internal APIs might be changing. This will introduce unfortunate versioning headaches (all, hopefully and thankfully, caught at compile-time).
37 lines
1.7 KiB
TypeScript
37 lines
1.7 KiB
TypeScript
// Copyright 2016-2017, Pulumi Corporation. All rights reserved.
|
|
|
|
const nativeruntime = require("./native/build/Release/nativeruntime.node");
|
|
|
|
// Closure represents the serialized form of a JavaScript serverless function.
|
|
export interface Closure {
|
|
code: string; // a serialization of the function's source code as text.
|
|
runtime: string; // the language runtime required to execute the serialized code.
|
|
environment: EnvObj; // the captured lexical environment of variables to values, if any.
|
|
}
|
|
|
|
// EnvObj is the captured lexical environment for a closure.
|
|
export type EnvObj = {[key: string]: EnvEntry};
|
|
|
|
// EnvEntry is the environment slot for a named lexically captured variable.
|
|
export interface EnvEntry {
|
|
json?: any; // a value which can be safely json serialized.
|
|
closure?: Closure; // a closure we are dependent on.
|
|
obj?: EnvObj; // an object which may contain nested closures.
|
|
arr?: EnvEntry[]; // an array which may contain nested closures.
|
|
}
|
|
|
|
// serializeClosure serializes a function and its closure environment into a form that is amenable to persistence
|
|
// as simple JSON. Like toString, it includes the full text of the function's source code, suitable for execution.
|
|
// Unlike toString, it actually includes information about the captured environment.
|
|
export function serializeClosure(func: Function): Closure {
|
|
// Ensure this is an expression function.
|
|
let funcstr: string = func.toString();
|
|
if (funcstr.indexOf("[Function:") === 0) {
|
|
throw new Error("Cannot serialize non-expression functions (such as definitions and generators)");
|
|
}
|
|
|
|
// Produce the free variables and then pass them into the native runtime.
|
|
return <Closure><any>nativeruntime.serializeClosure(func);
|
|
}
|
|
|