Worker.cpp 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348
  1. /*
  2. * Copyright (c) 2022, Ben Abraham <ben.d.abraham@gmail.com>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/String.h>
  7. #include <LibJS/Runtime/ConsoleObject.h>
  8. #include <LibJS/Runtime/Realm.h>
  9. #include <LibWeb/Bindings/MainThreadVM.h>
  10. #include <LibWeb/Bindings/WorkerPrototype.h>
  11. #include <LibWeb/DOM/ExceptionOr.h>
  12. #include <LibWeb/HTML/Scripting/Environments.h>
  13. #include <LibWeb/HTML/Worker.h>
  14. #include <LibWeb/HTML/WorkerDebugConsoleClient.h>
  15. namespace Web::HTML {
  16. // https://html.spec.whatwg.org/multipage/workers.html#dedicated-workers-and-the-worker-interface
  17. Worker::Worker(FlyString const& script_url, WorkerOptions const options, DOM::Document& document)
  18. : DOM::EventTarget(document.realm())
  19. , m_script_url(script_url)
  20. , m_options(options)
  21. , m_document(&document)
  22. , m_custom_data()
  23. , m_worker_vm(JS::VM::create(adopt_own(m_custom_data)))
  24. , m_interpreter(JS::Interpreter::create<JS::GlobalObject>(m_worker_vm))
  25. , m_interpreter_scope(*m_interpreter)
  26. , m_implicit_port(MessagePort::create(document.window()))
  27. {
  28. set_prototype(&document.window().ensure_web_prototype<Bindings::WorkerPrototype>("Worker"));
  29. }
  30. void Worker::visit_edges(Cell::Visitor& visitor)
  31. {
  32. Base::visit_edges(visitor);
  33. visitor.visit(m_document.ptr());
  34. visitor.visit(m_worker_realm.ptr());
  35. visitor.visit(m_worker_scope.ptr());
  36. visitor.visit(m_implicit_port.ptr());
  37. visitor.visit(m_outside_port.ptr());
  38. }
  39. // https://html.spec.whatwg.org/multipage/workers.html#dom-worker
  40. DOM::ExceptionOr<JS::NonnullGCPtr<Worker>> Worker::create(FlyString const& script_url, WorkerOptions const options, DOM::Document& document)
  41. {
  42. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Creating worker with script_url = {}", script_url);
  43. // Returns a new Worker object. scriptURL will be fetched and executed in the background,
  44. // creating a new global environment for which worker represents the communication channel.
  45. // options can be used to define the name of that global environment via the name option,
  46. // primarily for debugging purposes. It can also ensure this new global environment supports
  47. // JavaScript modules (specify type: "module"), and if that is specified, can also be used
  48. // to specify how scriptURL is fetched through the credentials option.
  49. // FIXME: 1. The user agent may throw a "SecurityError" DOMException if the request violates
  50. // a policy decision (e.g. if the user agent is configured to not allow the page to start dedicated workers).
  51. // Technically not a fixme if our policy is not to throw errors :^)
  52. // 2. Let outside settings be the current settings object.
  53. auto& outside_settings = document.relevant_settings_object();
  54. // 3. Parse the scriptURL argument relative to outside settings.
  55. auto url = document.parse_url(script_url);
  56. // 4. If this fails, throw a "SyntaxError" DOMException.
  57. if (!url.is_valid()) {
  58. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Invalid URL loaded '{}'.", script_url);
  59. return DOM::SyntaxError::create("url is not valid");
  60. }
  61. // 5. Let worker URL be the resulting URL record.
  62. // 6. Let worker be a new Worker object.
  63. auto worker = document.heap().allocate<Worker>(document.realm(), script_url, options, document);
  64. // 7. Let outside port be a new MessagePort in outside settings's Realm.
  65. auto outside_port = MessagePort::create(verify_cast<HTML::Window>(outside_settings.realm().global_object()));
  66. // 8. Associate the outside port with worker
  67. worker->m_outside_port = outside_port;
  68. // 9. Run this step in parallel:
  69. // 1. Run a worker given worker, worker URL, outside settings, outside port, and options.
  70. worker->run_a_worker(url, outside_settings, *outside_port, options);
  71. // 10. Return worker
  72. return JS::NonnullGCPtr(*worker);
  73. }
  74. // https://html.spec.whatwg.org/multipage/workers.html#run-a-worker
  75. void Worker::run_a_worker(AK::URL& url, EnvironmentSettingsObject& outside_settings, MessagePort& outside_port, WorkerOptions const options)
  76. {
  77. // 1. Let is shared be true if worker is a SharedWorker object, and false otherwise.
  78. // FIXME: SharedWorker support
  79. auto is_shared = false;
  80. auto is_top_level = false;
  81. // 2. Let owner be the relevant owner to add given outside settings.
  82. // FIXME: Support WorkerGlobalScope options
  83. if (!is<HTML::WindowEnvironmentSettingsObject>(outside_settings))
  84. TODO();
  85. // 3. Let parent worker global scope be null.
  86. // 4. If owner is a WorkerGlobalScope object (i.e., we are creating a nested dedicated worker),
  87. // then set parent worker global scope to owner.
  88. // FIXME: Support for nested workers.
  89. // 5. Let unsafeWorkerCreationTime be the unsafe shared current time.
  90. // 6. Let agent be the result of obtaining a dedicated/shared worker agent given outside settings
  91. // and is shared. Run the rest of these steps in that agent.
  92. // NOTE: This is effectively the worker's vm
  93. // 7. Let realm execution context be the result of creating a new JavaScript realm given agent and the following customizations:
  94. auto realm_execution_context = Bindings::create_a_new_javascript_realm(
  95. *m_worker_vm,
  96. [&](JS::Realm& realm) -> JS::Object* {
  97. // 7a. For the global object, if is shared is true, create a new SharedWorkerGlobalScope object.
  98. // 7b. Otherwise, create a new DedicatedWorkerGlobalScope object.
  99. // FIXME: Proper support for both SharedWorkerGlobalScope and DedicatedWorkerGlobalScope
  100. if (is_shared)
  101. TODO();
  102. // FIXME: Make and use subclasses of WorkerGlobalScope, however this requires JS::GlobalObject to
  103. // play nicely with the IDL interpreter, to make spec-compliant extensions, which it currently does not.
  104. m_worker_scope = m_worker_vm->heap().allocate_without_realm<JS::GlobalObject>(realm);
  105. return m_worker_scope.ptr();
  106. },
  107. nullptr);
  108. auto& console_object = *realm_execution_context->realm->intrinsics().console_object();
  109. m_worker_realm = realm_execution_context->realm;
  110. m_console = adopt_ref(*new WorkerDebugConsoleClient(console_object.console()));
  111. console_object.console().set_client(*m_console);
  112. // FIXME: This should be done with IDL
  113. u8 attr = JS::Attribute::Writable | JS::Attribute::Enumerable | JS::Attribute::Configurable;
  114. m_worker_scope->define_native_function(
  115. m_worker_scope->shape().realm(),
  116. "postMessage",
  117. [this](auto& vm) {
  118. // This is the implementation of the function that the spawned worked calls
  119. // https://html.spec.whatwg.org/multipage/workers.html#dom-dedicatedworkerglobalscope-postmessage
  120. // The postMessage(message, transfer) and postMessage(message, options) methods on DedicatedWorkerGlobalScope
  121. // objects act as if, when invoked, it immediately invoked the respective postMessage(message, transfer) and
  122. // postMessage(message, options) on the port, with the same arguments, and returned the same return value
  123. auto message = vm.argument(0);
  124. // FIXME: `transfer` not support by post_message yet
  125. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Inner post_message");
  126. // FIXME: This is a bit of a hack, in reality, we should m_outside_port->post_message and the onmessage event
  127. // should bubble up to the Worker itself from there.
  128. auto& event_loop = get_vm_event_loop(m_document->realm().vm());
  129. event_loop.task_queue().add(HTML::Task::create(HTML::Task::Source::PostedMessage, nullptr, [this, message]() mutable {
  130. MessageEventInit event_init {};
  131. event_init.data = message;
  132. event_init.origin = "<origin>";
  133. // FIXME: The cast here is totally bogus, since workers don't have a Window object..
  134. dispatch_event(*MessageEvent::create(verify_cast<HTML::Window>(*m_worker_scope), HTML::EventNames::message, event_init));
  135. }));
  136. return JS::js_undefined();
  137. },
  138. 2, attr);
  139. // 8. Let worker global scope be the global object of realm execution context's Realm component.
  140. // NOTE: This is the DedicatedWorkerGlobalScope or SharedWorkerGlobalScope object created in the previous step.
  141. // 9. Set up a worker environment settings object with realm execution context,
  142. // outside settings, and unsafeWorkerCreationTime, and let inside settings be the result.
  143. m_inner_settings = WorkerEnvironmentSettingsObject::setup(*m_document, move(realm_execution_context));
  144. // 10. Set worker global scope's name to the value of options's name member.
  145. // FIXME: name property requires the SharedWorkerGlobalScope or DedicatedWorkerGlobalScope child class to be used
  146. // 11. Append owner to worker global scope's owner set.
  147. // FIXME: support for 'owner' set on WorkerGlobalScope
  148. // 12. If is shared is true, then:
  149. if (is_shared) {
  150. // FIXME: Shared worker support
  151. // 1. Set worker global scope's constructor origin to outside settings's origin.
  152. // 2. Set worker global scope's constructor url to url.
  153. // 3. Set worker global scope's type to the value of options's type member.
  154. // 4. Set worker global scope's credentials to the value of options's credentials member.
  155. }
  156. // 13. Let destination be "sharedworker" if is shared is true, and "worker" otherwise.
  157. // 14. Obtain script by switching on the value of options's type member:
  158. // classic: Fetch a classic worker script given url, outside settings, destination, and inside settings.
  159. // module: Fetch a module worker script graph given url, outside settings, destination, the value of the
  160. // credentials member of options, and inside settings.
  161. if (options.type != "classic") {
  162. dbgln_if(WEB_WORKER_DEBUG, "Unsupported script type {} for LibWeb/Worker", options.type);
  163. TODO();
  164. }
  165. ResourceLoader::the().load(
  166. url,
  167. [this, is_shared, is_top_level, url, &outside_port](auto data, auto&, auto) {
  168. // In both cases, to perform the fetch given request, perform the following steps if the is top-level flag is set:
  169. if (is_top_level) {
  170. // 1. Set request's reserved client to inside settings.
  171. // 2. Fetch request, and asynchronously wait to run the remaining steps
  172. // as part of fetch's process response for the response response.
  173. // Implied
  174. // 3. Set worker global scope's url to response's url.
  175. // 4. Initialize worker global scope's policy container given worker global scope, response, and inside settings.
  176. // FIXME: implement policy container
  177. // 5. If the Run CSP initialization for a global object algorithm returns "Blocked" when executed upon worker
  178. // global scope, set response to a network error. [CSP]
  179. // FIXME: CSP support
  180. // 6. If worker global scope's embedder policy's value is compatible with cross-origin isolation and is shared is true,
  181. // then set agent's agent cluster's cross-origin isolation mode to "logical" or "concrete".
  182. // The one chosen is implementation-defined.
  183. // FIXME: CORS policy support
  184. // 7. If the result of checking a global object's embedder policy with worker global scope, outside settings,
  185. // and response is false, then set response to a network error.
  186. // FIXME: Embed policy support
  187. // 8. Set worker global scope's cross-origin isolated capability to true if agent's agent cluster's cross-origin
  188. // isolation mode is "concrete".
  189. // FIXME: CORS policy support
  190. if (!is_shared) {
  191. // 9. If is shared is false and owner's cross-origin isolated capability is false, then set worker
  192. // global scope's cross-origin isolated capability to false.
  193. // 10. If is shared is false and response's url's scheme is "data", then set worker global scope's
  194. // cross-origin isolated capability to false.
  195. }
  196. }
  197. if (data.is_null()) {
  198. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Failed to load {}", url);
  199. return;
  200. }
  201. // Asynchronously complete the perform the fetch steps with response.
  202. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Script ready!");
  203. auto script = ClassicScript::create(url.to_string(), data, *m_inner_settings, AK::URL());
  204. // NOTE: Steps 15-31 below pick up after step 14 in the main context, steps 1-10 above
  205. // are only for validation when used in a top-level case (ie: from a Window)
  206. // 15. Associate worker with worker global scope.
  207. // FIXME: Global scope association
  208. // 16. Let inside port be a new MessagePort object in inside settings's Realm.
  209. // FIXME: The cast here is totally bogus, since workers don't have a Window object..
  210. auto inside_port = MessagePort::create(verify_cast<HTML::Window>(*m_worker_scope));
  211. // 17. Associate inside port with worker global scope.
  212. // FIXME: Global scope association
  213. // 18. Entangle outside port and inside port.
  214. outside_port.entangle_with(*inside_port);
  215. // 19. Create a new WorkerLocation object and associate it with worker global scope.
  216. // 20. Closing orphan workers: Start monitoring the worker such that no sooner than it
  217. // stops being a protected worker, and no later than it stops being a permissible worker,
  218. // worker global scope's closing flag is set to true.
  219. // FIXME: Worker monitoring and cleanup
  220. // 21. Suspending workers: Start monitoring the worker, such that whenever worker global scope's
  221. // closing flag is false and the worker is a suspendable worker, the user agent suspends
  222. // execution of script in that worker until such time as either the closing flag switches to
  223. // true or the worker stops being a suspendable worker
  224. // FIXME: Worker suspending
  225. // 22. Set inside settings's execution ready flag.
  226. // FIXME: Implement worker settings object
  227. // 23. If script is a classic script, then run the classic script script.
  228. // Otherwise, it is a module script; run the module script script.
  229. auto result = script->run();
  230. // 24. Enable outside port's port message queue.
  231. outside_port.start();
  232. // 25. If is shared is false, enable the port message queue of the worker's implicit port.
  233. if (!is_shared)
  234. m_implicit_port->start();
  235. // 26. If is shared is true, then queue a global task on DOM manipulation task source given worker
  236. // global scope to fire an event named connect at worker global scope, using MessageEvent,
  237. // with the data attribute initialized to the empty string, the ports attribute initialized
  238. // to a new frozen array containing inside port, and the source attribute initialized to inside port.
  239. // FIXME: Shared worker support
  240. // 27. Enable the client message queue of the ServiceWorkerContainer object whose associated service
  241. // worker client is worker global scope's relevant settings object.
  242. // FIXME: Understand....and support worker global settings
  243. // 28. Event loop: Run the responsible event loop specified by inside settings until it is destroyed.
  244. },
  245. [](auto&, auto) {
  246. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: HONK! Failed to load script.");
  247. });
  248. }
  249. // https://html.spec.whatwg.org/multipage/workers.html#dom-worker-terminate
  250. DOM::ExceptionOr<void> Worker::terminate()
  251. {
  252. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Terminate");
  253. return {};
  254. }
  255. // https://html.spec.whatwg.org/multipage/workers.html#dom-worker-postmessage
  256. void Worker::post_message(JS::Value message, JS::Value)
  257. {
  258. dbgln_if(WEB_WORKER_DEBUG, "WebWorker: Post Message: {}", message.to_string_without_side_effects());
  259. // 1. Let targetPort be the port with which this is entangled, if any; otherwise let it be null.
  260. auto& target_port = m_outside_port;
  261. // 2. Let options be «[ "transfer" → transfer ]».
  262. // 3. Run the message port post message steps providing this, targetPort, message and options.
  263. target_port->post_message(message);
  264. }
  265. #undef __ENUMERATE
  266. #define __ENUMERATE(attribute_name, event_name) \
  267. void Worker::set_##attribute_name(Bindings::CallbackType* value) \
  268. { \
  269. set_event_handler_attribute(event_name, move(value)); \
  270. } \
  271. Bindings::CallbackType* Worker::attribute_name() \
  272. { \
  273. return event_handler_attribute(event_name); \
  274. }
  275. ENUMERATE_WORKER_EVENT_HANDLERS(__ENUMERATE)
  276. #undef __ENUMERATE
  277. } // namespace Web::HTML