MessagePort.cpp 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454
  1. /*
  2. * Copyright (c) 2021, Andreas Kling <andreas@ladybird.org>
  3. * Copyright (c) 2023, Andrew Kaster <akaster@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/ByteReader.h>
  8. #include <AK/MemoryStream.h>
  9. #include <LibCore/Socket.h>
  10. #include <LibCore/System.h>
  11. #include <LibIPC/Decoder.h>
  12. #include <LibIPC/Encoder.h>
  13. #include <LibIPC/File.h>
  14. #include <LibIPC/Transport.h>
  15. #include <LibWeb/Bindings/ExceptionOrUtils.h>
  16. #include <LibWeb/Bindings/Intrinsics.h>
  17. #include <LibWeb/Bindings/MessagePortPrototype.h>
  18. #include <LibWeb/DOM/EventDispatcher.h>
  19. #include <LibWeb/HTML/EventNames.h>
  20. #include <LibWeb/HTML/MessageEvent.h>
  21. #include <LibWeb/HTML/MessagePort.h>
  22. #include <LibWeb/HTML/Scripting/TemporaryExecutionContext.h>
  23. #include <LibWeb/HTML/StructuredSerializeOptions.h>
  24. #include <LibWeb/HTML/WorkerGlobalScope.h>
  25. namespace Web::HTML {
  26. constexpr u8 IPC_FILE_TAG = 0xA5;
  27. GC_DEFINE_ALLOCATOR(MessagePort);
  28. static HashTable<GC::RawPtr<MessagePort>>& all_message_ports()
  29. {
  30. static HashTable<GC::RawPtr<MessagePort>> ports;
  31. return ports;
  32. }
  33. GC::Ref<MessagePort> MessagePort::create(JS::Realm& realm)
  34. {
  35. return realm.create<MessagePort>(realm);
  36. }
  37. MessagePort::MessagePort(JS::Realm& realm)
  38. : DOM::EventTarget(realm)
  39. {
  40. all_message_ports().set(this);
  41. }
  42. MessagePort::~MessagePort() = default;
  43. void MessagePort::for_each_message_port(Function<void(MessagePort&)> callback)
  44. {
  45. for (auto port : all_message_ports())
  46. callback(*port);
  47. }
  48. void MessagePort::initialize(JS::Realm& realm)
  49. {
  50. Base::initialize(realm);
  51. WEB_SET_PROTOTYPE_FOR_INTERFACE(MessagePort);
  52. }
  53. void MessagePort::finalize()
  54. {
  55. Base::finalize();
  56. all_message_ports().remove(this);
  57. disentangle();
  58. }
  59. void MessagePort::visit_edges(Cell::Visitor& visitor)
  60. {
  61. Base::visit_edges(visitor);
  62. visitor.visit(m_remote_port);
  63. visitor.visit(m_worker_event_target);
  64. }
  65. bool MessagePort::is_entangled() const
  66. {
  67. return m_transport.has_value();
  68. }
  69. void MessagePort::set_worker_event_target(GC::Ref<DOM::EventTarget> target)
  70. {
  71. m_worker_event_target = target;
  72. }
  73. // https://html.spec.whatwg.org/multipage/web-messaging.html#message-ports:transfer-steps
  74. WebIDL::ExceptionOr<void> MessagePort::transfer_steps(HTML::TransferDataHolder& data_holder)
  75. {
  76. // 1. Set value's has been shipped flag to true.
  77. m_has_been_shipped = true;
  78. // FIXME: 2. Set dataHolder.[[PortMessageQueue]] to value's port message queue.
  79. // FIXME: Support delivery of messages that haven't been delivered yet on the other side
  80. // 3. If value is entangled with another port remotePort, then:
  81. if (is_entangled()) {
  82. // 1. Set remotePort's has been shipped flag to true.
  83. m_remote_port->m_has_been_shipped = true;
  84. // 2. Set dataHolder.[[RemotePort]] to remotePort.
  85. if constexpr (IsSame<IPC::Transport, IPC::TransportSocket>) {
  86. auto fd = MUST(m_transport->release_underlying_transport_for_transfer());
  87. m_transport = {};
  88. data_holder.fds.append(IPC::File::adopt_fd(fd));
  89. data_holder.data.append(IPC_FILE_TAG);
  90. } else {
  91. VERIFY(false && "Don't know how to transfer IPC::Transport type");
  92. }
  93. }
  94. // 4. Otherwise, set dataHolder.[[RemotePort]] to null.
  95. else {
  96. data_holder.data.append(0);
  97. }
  98. return {};
  99. }
  100. WebIDL::ExceptionOr<void> MessagePort::transfer_receiving_steps(HTML::TransferDataHolder& data_holder)
  101. {
  102. // 1. Set value's has been shipped flag to true.
  103. m_has_been_shipped = true;
  104. // FIXME 2. Move all the tasks that are to fire message events in dataHolder.[[PortMessageQueue]] to the port message queue of value,
  105. // if any, leaving value's port message queue in its initial disabled state, and, if value's relevant global object is a Window,
  106. // associating the moved tasks with value's relevant global object's associated Document.
  107. // 3. If dataHolder.[[RemotePort]] is not null, then entangle dataHolder.[[RemotePort]] and value.
  108. // (This will disentangle dataHolder.[[RemotePort]] from the original port that was transferred.)
  109. auto fd_tag = data_holder.data.take_first();
  110. if (fd_tag == IPC_FILE_TAG) {
  111. if constexpr (IsSame<IPC::Transport, IPC::TransportSocket>) {
  112. auto fd = data_holder.fds.take_first();
  113. m_transport = IPC::Transport(MUST(Core::LocalSocket::adopt_fd(fd.take_fd())));
  114. m_transport->set_up_read_hook([strong_this = GC::make_root(this)]() {
  115. strong_this->read_from_transport();
  116. });
  117. } else {
  118. VERIFY(false && "Don't know how to receive IPC::Transport type");
  119. }
  120. } else if (fd_tag != 0) {
  121. dbgln("Unexpected byte {:x} in MessagePort transfer data", fd_tag);
  122. VERIFY_NOT_REACHED();
  123. }
  124. return {};
  125. }
  126. void MessagePort::disentangle()
  127. {
  128. if (m_remote_port)
  129. m_remote_port->m_remote_port = nullptr;
  130. m_remote_port = nullptr;
  131. m_transport = {};
  132. m_worker_event_target = nullptr;
  133. }
  134. // https://html.spec.whatwg.org/multipage/web-messaging.html#entangle
  135. void MessagePort::entangle_with(MessagePort& remote_port)
  136. {
  137. if (m_remote_port.ptr() == &remote_port)
  138. return;
  139. // 1. If one of the ports is already entangled, then disentangle it and the port that it was entangled with.
  140. if (is_entangled())
  141. disentangle();
  142. if (remote_port.is_entangled())
  143. remote_port.disentangle();
  144. // 2. Associate the two ports to be entangled, so that they form the two parts of a new channel.
  145. // (There is no MessageChannel object that represents this channel.)
  146. remote_port.m_remote_port = this;
  147. m_remote_port = &remote_port;
  148. // FIXME: Abstract such that we can entangle different transport types
  149. auto create_paired_sockets = []() -> Array<NonnullOwnPtr<Core::LocalSocket>, 2> {
  150. int fds[2] = {};
  151. MUST(Core::System::socketpair(AF_LOCAL, SOCK_STREAM, 0, fds));
  152. auto socket0 = MUST(Core::LocalSocket::adopt_fd(fds[0]));
  153. MUST(socket0->set_blocking(false));
  154. MUST(socket0->set_close_on_exec(true));
  155. auto socket1 = MUST(Core::LocalSocket::adopt_fd(fds[1]));
  156. MUST(socket1->set_blocking(false));
  157. MUST(socket1->set_close_on_exec(true));
  158. return Array { move(socket0), move(socket1) };
  159. };
  160. auto sockets = create_paired_sockets();
  161. m_transport = IPC::Transport(move(sockets[0]));
  162. m_remote_port->m_transport = IPC::Transport(move(sockets[1]));
  163. m_transport->set_up_read_hook([strong_this = GC::make_root(this)]() {
  164. strong_this->read_from_transport();
  165. });
  166. m_remote_port->m_transport->set_up_read_hook([remote_port = GC::make_root(m_remote_port)]() {
  167. remote_port->read_from_transport();
  168. });
  169. }
  170. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-postmessage-options
  171. WebIDL::ExceptionOr<void> MessagePort::post_message(JS::Value message, Vector<GC::Root<JS::Object>> const& transfer)
  172. {
  173. // 1. Let targetPort be the port with which this MessagePort is entangled, if any; otherwise let it be null.
  174. GC::Ptr<MessagePort> target_port = m_remote_port;
  175. // 2. Let options be «[ "transfer" → transfer ]».
  176. auto options = StructuredSerializeOptions { transfer };
  177. // 3. Run the message port post message steps providing this, targetPort, message and options.
  178. return message_port_post_message_steps(target_port, message, options);
  179. }
  180. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-postmessage
  181. WebIDL::ExceptionOr<void> MessagePort::post_message(JS::Value message, StructuredSerializeOptions const& options)
  182. {
  183. // 1. Let targetPort be the port with which this MessagePort is entangled, if any; otherwise let it be null.
  184. GC::Ptr<MessagePort> target_port = m_remote_port;
  185. // 2. Run the message port post message steps providing targetPort, message and options.
  186. return message_port_post_message_steps(target_port, message, options);
  187. }
  188. // https://html.spec.whatwg.org/multipage/web-messaging.html#message-port-post-message-steps
  189. WebIDL::ExceptionOr<void> MessagePort::message_port_post_message_steps(GC::Ptr<MessagePort> target_port, JS::Value message, StructuredSerializeOptions const& options)
  190. {
  191. auto& realm = this->realm();
  192. auto& vm = this->vm();
  193. // 1. Let transfer be options["transfer"].
  194. auto const& transfer = options.transfer;
  195. // 2. If transfer contains this MessagePort, then throw a "DataCloneError" DOMException.
  196. for (auto const& handle : transfer) {
  197. if (handle == this)
  198. return WebIDL::DataCloneError::create(realm, "Cannot transfer a MessagePort to itself"_string);
  199. }
  200. // 3. Let doomed be false.
  201. bool doomed = false;
  202. // 4. If targetPort is not null and transfer contains targetPort, then set doomed to true and optionally report to a developer console that the target port was posted to itself, causing the communication channel to be lost.
  203. if (target_port) {
  204. for (auto const& handle : transfer) {
  205. if (handle == target_port.ptr()) {
  206. doomed = true;
  207. dbgln("FIXME: Report to a developer console that the target port was posted to itself, causing the communication channel to be lost");
  208. }
  209. }
  210. }
  211. // 5. Let serializeWithTransferResult be StructuredSerializeWithTransfer(message, transfer). Rethrow any exceptions.
  212. auto serialize_with_transfer_result = TRY(structured_serialize_with_transfer(vm, message, transfer));
  213. // 6. If targetPort is null, or if doomed is true, then return.
  214. // IMPLEMENTATION DEFINED: Actually check the socket here, not the target port.
  215. // If there's no target message port in the same realm, we still want to send the message over IPC
  216. if (!m_transport.has_value() || doomed) {
  217. return {};
  218. }
  219. // 7. Add a task that runs the following steps to the port message queue of targetPort:
  220. post_port_message(move(serialize_with_transfer_result));
  221. return {};
  222. }
  223. ErrorOr<void> MessagePort::send_message_on_transport(SerializedTransferRecord const& serialize_with_transfer_result)
  224. {
  225. IPC::MessageBuffer buffer;
  226. IPC::Encoder encoder(buffer);
  227. MUST(encoder.encode(serialize_with_transfer_result));
  228. TRY(buffer.transfer_message(*m_transport));
  229. return {};
  230. }
  231. void MessagePort::post_port_message(SerializedTransferRecord serialize_with_transfer_result)
  232. {
  233. if (!m_transport.has_value() || !m_transport->is_open())
  234. return;
  235. if (auto result = send_message_on_transport(serialize_with_transfer_result); result.is_error()) {
  236. dbgln("Failed to post message: {}", result.error());
  237. disentangle();
  238. }
  239. }
  240. ErrorOr<MessagePort::ParseDecision> MessagePort::parse_message()
  241. {
  242. static constexpr size_t HEADER_SIZE = sizeof(u32);
  243. auto num_bytes_ready = m_buffered_data.size();
  244. switch (m_socket_state) {
  245. case SocketState::Header: {
  246. if (num_bytes_ready < HEADER_SIZE)
  247. return ParseDecision::NotEnoughData;
  248. m_socket_incoming_message_size = ByteReader::load32(m_buffered_data.data());
  249. // NOTE: We don't decrement the number of ready bytes because we want to remove the entire
  250. // message + header from the buffer in one go on success
  251. m_socket_state = SocketState::Data;
  252. [[fallthrough]];
  253. }
  254. case SocketState::Data: {
  255. if (num_bytes_ready < HEADER_SIZE + m_socket_incoming_message_size)
  256. return ParseDecision::NotEnoughData;
  257. auto payload = m_buffered_data.span().slice(HEADER_SIZE, m_socket_incoming_message_size);
  258. FixedMemoryStream stream { payload, FixedMemoryStream::Mode::ReadOnly };
  259. IPC::Decoder decoder { stream, m_unprocessed_fds };
  260. auto serialized_transfer_record = TRY(decoder.decode<SerializedTransferRecord>());
  261. // Make sure to advance our state machine before dispatching the MessageEvent,
  262. // as dispatching events can run arbitrary JS (and cause us to receive another message!)
  263. m_socket_state = SocketState::Header;
  264. m_buffered_data.remove(0, HEADER_SIZE + m_socket_incoming_message_size);
  265. // Note: this is step 7 of message_port_post_message_steps:
  266. // 7. Add a task that runs the following steps to the port message queue of targetPort:
  267. queue_global_task(Task::Source::PostedMessage, relevant_global_object(*this), GC::create_function(heap(), [this, serialized_transfer_record = move(serialized_transfer_record)]() mutable {
  268. this->post_message_task_steps(serialized_transfer_record);
  269. }));
  270. break;
  271. }
  272. case SocketState::Error:
  273. return Error::from_errno(ENOMSG);
  274. }
  275. return ParseDecision::ParseNextMessage;
  276. }
  277. void MessagePort::read_from_transport()
  278. {
  279. auto&& [bytes, fds] = m_transport->read_as_much_as_possible_without_blocking([this] {
  280. queue_global_task(Task::Source::PostedMessage, relevant_global_object(*this), GC::create_function(heap(), [this] {
  281. this->close();
  282. }));
  283. });
  284. m_buffered_data.append(bytes.data(), bytes.size());
  285. for (auto fd : fds)
  286. m_unprocessed_fds.enqueue(IPC::File::adopt_fd(fd));
  287. while (true) {
  288. auto parse_decision_or_error = parse_message();
  289. if (parse_decision_or_error.is_error()) {
  290. dbgln("MessagePort::read_from_socket(): Failed to parse message: {}", parse_decision_or_error.error());
  291. return;
  292. }
  293. if (parse_decision_or_error.value() == ParseDecision::NotEnoughData)
  294. break;
  295. }
  296. }
  297. void MessagePort::post_message_task_steps(SerializedTransferRecord& serialize_with_transfer_result)
  298. {
  299. // 1. Let finalTargetPort be the MessagePort in whose port message queue the task now finds itself.
  300. // NOTE: This can be different from targetPort, if targetPort itself was transferred and thus all its tasks moved along with it.
  301. auto* final_target_port = this;
  302. // IMPLEMENTATION DEFINED:
  303. // https://html.spec.whatwg.org/multipage/workers.html#dedicated-workers-and-the-worker-interface
  304. // Worker objects act as if they had an implicit MessagePort associated with them.
  305. // All messages received by that port must immediately be retargeted at the Worker object.
  306. // We therefore set a special event target for those implicit ports on the Worker and the WorkerGlobalScope objects
  307. EventTarget* message_event_target = final_target_port;
  308. if (m_worker_event_target != nullptr) {
  309. message_event_target = m_worker_event_target;
  310. }
  311. // 2. Let targetRealm be finalTargetPort's relevant realm.
  312. auto& target_realm = relevant_realm(*final_target_port);
  313. auto& target_vm = target_realm.vm();
  314. // 3. Let deserializeRecord be StructuredDeserializeWithTransfer(serializeWithTransferResult, targetRealm).
  315. TemporaryExecutionContext context { relevant_realm(*final_target_port) };
  316. auto deserialize_record_or_error = structured_deserialize_with_transfer(target_vm, serialize_with_transfer_result);
  317. if (deserialize_record_or_error.is_error()) {
  318. // If this throws an exception, catch it, fire an event named messageerror at finalTargetPort, using MessageEvent, and then return.
  319. auto exception = deserialize_record_or_error.release_error();
  320. MessageEventInit event_init {};
  321. message_event_target->dispatch_event(MessageEvent::create(target_realm, HTML::EventNames::messageerror, event_init));
  322. return;
  323. }
  324. auto deserialize_record = deserialize_record_or_error.release_value();
  325. // 4. Let messageClone be deserializeRecord.[[Deserialized]].
  326. auto message_clone = deserialize_record.deserialized;
  327. // 5. Let newPorts be a new frozen array consisting of all MessagePort objects in deserializeRecord.[[TransferredValues]], if any, maintaining their relative order.
  328. // FIXME: Use a FrozenArray
  329. Vector<GC::Root<MessagePort>> new_ports;
  330. for (auto const& object : deserialize_record.transferred_values) {
  331. if (is<HTML::MessagePort>(*object)) {
  332. new_ports.append(verify_cast<MessagePort>(*object));
  333. }
  334. }
  335. // 6. Fire an event named message at finalTargetPort, using MessageEvent, with the data attribute initialized to messageClone and the ports attribute initialized to newPorts.
  336. MessageEventInit event_init {};
  337. event_init.data = message_clone;
  338. event_init.ports = move(new_ports);
  339. auto event = MessageEvent::create(target_realm, HTML::EventNames::message, event_init);
  340. event->set_is_trusted(true);
  341. message_event_target->dispatch_event(event);
  342. }
  343. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-start
  344. void MessagePort::start()
  345. {
  346. if (!is_entangled())
  347. return;
  348. VERIFY(m_transport.has_value());
  349. // TODO: The start() method steps are to enable this's port message queue, if it is not already enabled.
  350. }
  351. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-close
  352. void MessagePort::close()
  353. {
  354. // 1. Set this MessagePort object's [[Detached]] internal slot value to true.
  355. set_detached(true);
  356. // 2. If this MessagePort object is entangled, disentangle it.
  357. if (is_entangled())
  358. disentangle();
  359. }
  360. #undef __ENUMERATE
  361. #define __ENUMERATE(attribute_name, event_name) \
  362. void MessagePort::set_##attribute_name(WebIDL::CallbackType* value) \
  363. { \
  364. set_event_handler_attribute(event_name, value); \
  365. } \
  366. WebIDL::CallbackType* MessagePort::attribute_name() \
  367. { \
  368. return event_handler_attribute(event_name); \
  369. }
  370. ENUMERATE_MESSAGE_PORT_EVENT_HANDLERS(__ENUMERATE)
  371. #undef __ENUMERATE
  372. }