Worker.cpp 17 KB

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