MessagePort.cpp 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419
  1. /*
  2. * Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2023, Andrew Kaster <akaster@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/MemoryStream.h>
  8. #include <LibCore/Socket.h>
  9. #include <LibCore/System.h>
  10. #include <LibIPC/Decoder.h>
  11. #include <LibIPC/Encoder.h>
  12. #include <LibIPC/File.h>
  13. #include <LibWeb/Bindings/ExceptionOrUtils.h>
  14. #include <LibWeb/Bindings/Intrinsics.h>
  15. #include <LibWeb/Bindings/MessagePortPrototype.h>
  16. #include <LibWeb/DOM/EventDispatcher.h>
  17. #include <LibWeb/HTML/EventNames.h>
  18. #include <LibWeb/HTML/MessageEvent.h>
  19. #include <LibWeb/HTML/MessagePort.h>
  20. #include <LibWeb/HTML/Scripting/TemporaryExecutionContext.h>
  21. namespace Web::HTML {
  22. constexpr u8 IPC_FILE_TAG = 0xA5;
  23. JS_DEFINE_ALLOCATOR(MessagePort);
  24. JS::NonnullGCPtr<MessagePort> MessagePort::create(JS::Realm& realm)
  25. {
  26. return realm.heap().allocate<MessagePort>(realm, realm);
  27. }
  28. MessagePort::MessagePort(JS::Realm& realm)
  29. : DOM::EventTarget(realm)
  30. {
  31. }
  32. MessagePort::~MessagePort()
  33. {
  34. disentangle();
  35. }
  36. void MessagePort::initialize(JS::Realm& realm)
  37. {
  38. Base::initialize(realm);
  39. set_prototype(&Bindings::ensure_web_prototype<Bindings::MessagePortPrototype>(realm, "MessagePort"_fly_string));
  40. }
  41. void MessagePort::visit_edges(Cell::Visitor& visitor)
  42. {
  43. Base::visit_edges(visitor);
  44. visitor.visit(m_remote_port);
  45. }
  46. // https://html.spec.whatwg.org/multipage/web-messaging.html#message-ports:transfer-steps
  47. WebIDL::ExceptionOr<void> MessagePort::transfer_steps(HTML::TransferDataHolder& data_holder)
  48. {
  49. // 1. Set value's has been shipped flag to true.
  50. m_has_been_shipped = true;
  51. // FIXME: 2. Set dataHolder.[[PortMessageQueue]] to value's port message queue.
  52. // FIXME: Support delivery of messages that haven't been delivered yet on the other side
  53. // 3. If value is entangled with another port remotePort, then:
  54. if (is_entangled()) {
  55. // 1. Set remotePort's has been shipped flag to true.
  56. m_remote_port->m_has_been_shipped = true;
  57. // 2. Set dataHolder.[[RemotePort]] to remotePort.
  58. auto fd = MUST(m_socket->release_fd());
  59. m_socket = nullptr;
  60. data_holder.fds.append(fd);
  61. data_holder.data.append(IPC_FILE_TAG);
  62. auto fd_passing_socket = MUST(m_fd_passing_socket->release_fd());
  63. m_fd_passing_socket = nullptr;
  64. data_holder.fds.append(fd_passing_socket);
  65. data_holder.data.append(IPC_FILE_TAG);
  66. }
  67. // 4. Otherwise, set dataHolder.[[RemotePort]] to null.
  68. else {
  69. data_holder.data.append(0);
  70. }
  71. return {};
  72. }
  73. WebIDL::ExceptionOr<void> MessagePort::transfer_receiving_steps(HTML::TransferDataHolder& data_holder)
  74. {
  75. // 1. Set value's has been shipped flag to true.
  76. m_has_been_shipped = true;
  77. // FIXME 2. Move all the tasks that are to fire message events in dataHolder.[[PortMessageQueue]] to the port message queue of value,
  78. // if any, leaving value's port message queue in its initial disabled state, and, if value's relevant global object is a Window,
  79. // associating the moved tasks with value's relevant global object's associated Document.
  80. // 3. If dataHolder.[[RemotePort]] is not null, then entangle dataHolder.[[RemotePort]] and value.
  81. // (This will disentangle dataHolder.[[RemotePort]] from the original port that was transferred.)
  82. auto fd_tag = data_holder.data.take_first();
  83. if (fd_tag == IPC_FILE_TAG) {
  84. auto fd = data_holder.fds.take_first();
  85. m_socket = MUST(Core::LocalSocket::adopt_fd(fd.take_fd(), Core::LocalSocket::PreventSIGPIPE::Yes));
  86. fd_tag = data_holder.data.take_first();
  87. VERIFY(fd_tag == IPC_FILE_TAG);
  88. fd = data_holder.fds.take_first();
  89. m_fd_passing_socket = MUST(Core::LocalSocket::adopt_fd(fd.take_fd(), Core::LocalSocket::PreventSIGPIPE::Yes));
  90. } else if (fd_tag != 0) {
  91. dbgln("Unexpected byte {:x} in MessagePort transfer data", fd_tag);
  92. VERIFY_NOT_REACHED();
  93. }
  94. return {};
  95. }
  96. void MessagePort::disentangle()
  97. {
  98. if (m_remote_port)
  99. m_remote_port->m_remote_port = nullptr;
  100. m_remote_port = nullptr;
  101. m_socket = nullptr;
  102. m_fd_passing_socket = nullptr;
  103. }
  104. // https://html.spec.whatwg.org/multipage/web-messaging.html#entangle
  105. void MessagePort::entangle_with(MessagePort& remote_port)
  106. {
  107. if (m_remote_port.ptr() == &remote_port)
  108. return;
  109. // 1. If one of the ports is already entangled, then disentangle it and the port that it was entangled with.
  110. if (is_entangled())
  111. disentangle();
  112. if (remote_port.is_entangled())
  113. remote_port.disentangle();
  114. // 2. Associate the two ports to be entangled, so that they form the two parts of a new channel.
  115. // (There is no MessageChannel object that represents this channel.)
  116. remote_port.m_remote_port = this;
  117. m_remote_port = &remote_port;
  118. auto create_paired_sockets = []() -> Array<NonnullOwnPtr<Core::LocalSocket>, 2> {
  119. int fds[2] = {};
  120. MUST(Core::System::socketpair(AF_LOCAL, SOCK_STREAM, 0, fds));
  121. auto socket0 = MUST(Core::LocalSocket::adopt_fd(fds[0], Core::LocalSocket::PreventSIGPIPE::Yes));
  122. MUST(socket0->set_blocking(false));
  123. MUST(socket0->set_close_on_exec(true));
  124. auto socket1 = MUST(Core::LocalSocket::adopt_fd(fds[1], Core::LocalSocket::PreventSIGPIPE::Yes));
  125. MUST(socket1->set_blocking(false));
  126. MUST(socket1->set_close_on_exec(true));
  127. return Array { move(socket0), move(socket1) };
  128. };
  129. auto sockets = create_paired_sockets();
  130. m_socket = move(sockets[0]);
  131. m_remote_port->m_socket = move(sockets[1]);
  132. m_socket->on_ready_to_read = [strong_this = JS::make_handle(this)]() {
  133. strong_this->read_from_socket();
  134. };
  135. m_remote_port->m_socket->on_ready_to_read = [remote_port = JS::make_handle(m_remote_port)]() {
  136. remote_port->read_from_socket();
  137. };
  138. auto fd_sockets = create_paired_sockets();
  139. m_fd_passing_socket = move(fd_sockets[0]);
  140. m_remote_port->m_fd_passing_socket = move(fd_sockets[1]);
  141. }
  142. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-postmessage-options
  143. WebIDL::ExceptionOr<void> MessagePort::post_message(JS::Value message, Vector<JS::Handle<JS::Object>> const& transfer)
  144. {
  145. // 1. Let targetPort be the port with which this MessagePort is entangled, if any; otherwise let it be null.
  146. JS::GCPtr<MessagePort> target_port = m_remote_port;
  147. // 2. Let options be «[ "transfer" → transfer ]».
  148. auto options = StructuredSerializeOptions { transfer };
  149. // 3. Run the message port post message steps providing this, targetPort, message and options.
  150. return message_port_post_message_steps(target_port, message, options);
  151. }
  152. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-postmessage
  153. WebIDL::ExceptionOr<void> MessagePort::post_message(JS::Value message, StructuredSerializeOptions const& options)
  154. {
  155. // 1. Let targetPort be the port with which this MessagePort is entangled, if any; otherwise let it be null.
  156. JS::GCPtr<MessagePort> target_port = m_remote_port;
  157. // 2. Run the message port post message steps providing targetPort, message and options.
  158. return message_port_post_message_steps(target_port, message, options);
  159. }
  160. // https://html.spec.whatwg.org/multipage/web-messaging.html#message-port-post-message-steps
  161. WebIDL::ExceptionOr<void> MessagePort::message_port_post_message_steps(JS::GCPtr<MessagePort> target_port, JS::Value message, StructuredSerializeOptions const& options)
  162. {
  163. auto& realm = this->realm();
  164. auto& vm = this->vm();
  165. // 1. Let transfer be options["transfer"].
  166. auto const& transfer = options.transfer;
  167. // 2. If transfer contains this MessagePort, then throw a "DataCloneError" DOMException.
  168. for (auto const& handle : transfer) {
  169. if (handle == this)
  170. return WebIDL::DataCloneError::create(realm, "Cannot transfer a MessagePort to itself"_fly_string);
  171. }
  172. // 3. Let doomed be false.
  173. bool doomed = false;
  174. // 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.
  175. if (target_port) {
  176. for (auto const& handle : transfer) {
  177. if (handle == target_port.ptr()) {
  178. doomed = true;
  179. dbgln("FIXME: Report to a developer console that the target port was posted to itself, causing the communication channel to be lost");
  180. }
  181. }
  182. }
  183. // 5. Let serializeWithTransferResult be StructuredSerializeWithTransfer(message, transfer). Rethrow any exceptions.
  184. auto serialize_with_transfer_result = TRY(structured_serialize_with_transfer(vm, message, transfer));
  185. // 6. If targetPort is null, or if doomed is true, then return.
  186. // IMPLEMENTATION DEFINED: Actually check the socket here, not the target port.
  187. // If there's no target message port in the same realm, we still want to send the message over IPC
  188. if (!m_socket || doomed) {
  189. return {};
  190. }
  191. // 7. Add a task that runs the following steps to the port message queue of targetPort:
  192. post_port_message(move(serialize_with_transfer_result));
  193. return {};
  194. }
  195. ErrorOr<void> MessagePort::send_message_on_socket(SerializedTransferRecord const& serialize_with_transfer_result)
  196. {
  197. IPC::MessageBuffer buffer;
  198. IPC::Encoder encoder(buffer);
  199. MUST(encoder.encode<u32>(0)); // placeholder for total size
  200. MUST(encoder.encode(serialize_with_transfer_result));
  201. u32 buffer_size = buffer.data.size() - sizeof(u32); // size of *payload*
  202. buffer.data[0] = buffer_size & 0xFF;
  203. buffer.data[1] = (buffer_size >> 8) & 0xFF;
  204. buffer.data[2] = (buffer_size >> 16) & 0xFF;
  205. buffer.data[3] = (buffer_size >> 24) & 0xFF;
  206. for (auto& fd : buffer.fds) {
  207. if (auto result = m_fd_passing_socket->send_fd(fd->value()); result.is_error()) {
  208. return Error::from_string_view("Can't send fd"sv);
  209. }
  210. }
  211. ReadonlyBytes bytes_to_write { buffer.data.span() };
  212. int writes_done = 0;
  213. size_t initial_size = bytes_to_write.size();
  214. while (!bytes_to_write.is_empty()) {
  215. auto maybe_nwritten = m_socket->write_some(bytes_to_write);
  216. writes_done++;
  217. if (maybe_nwritten.is_error()) {
  218. auto error = maybe_nwritten.release_error();
  219. if (error.is_errno()) {
  220. // FIXME: This is a hacky way to at least not crash on large messages
  221. // The limit of 100 writes is arbitrary, and there to prevent indefinite spinning on the EventLoop
  222. if (error.code() == EAGAIN && writes_done < 100) {
  223. sched_yield();
  224. continue;
  225. }
  226. switch (error.code()) {
  227. case EPIPE:
  228. return Error::from_string_literal("IPC::Connection::post_message: Disconnected from peer");
  229. case EAGAIN:
  230. return Error::from_string_literal("IPC::Connection::post_message: Peer buffer overflowed");
  231. default:
  232. return Error::from_syscall("IPC::Connection::post_message write"sv, -error.code());
  233. }
  234. } else {
  235. return error;
  236. }
  237. }
  238. bytes_to_write = bytes_to_write.slice(maybe_nwritten.value());
  239. }
  240. if (writes_done > 1) {
  241. dbgln("LibIPC::Connection FIXME Warning, needed {} writes needed to send message of size {}B, this is pretty bad, as it spins on the EventLoop", writes_done, initial_size);
  242. }
  243. return {};
  244. }
  245. void MessagePort::post_port_message(SerializedTransferRecord serialize_with_transfer_result)
  246. {
  247. // FIXME: Use the correct task source?
  248. queue_global_task(Task::Source::PostedMessage, relevant_global_object(*this), [this, serialize_with_transfer_result = move(serialize_with_transfer_result)]() mutable {
  249. if (!m_socket || !m_socket->is_open())
  250. return;
  251. if (auto result = send_message_on_socket(serialize_with_transfer_result); result.is_error()) {
  252. dbgln("Failed to post message: {}", result.error());
  253. disentangle();
  254. }
  255. });
  256. }
  257. void MessagePort::read_from_socket()
  258. {
  259. auto num_bytes_ready = MUST(m_socket->pending_bytes());
  260. switch (m_socket_state) {
  261. case SocketState::Header: {
  262. if (num_bytes_ready < sizeof(u32))
  263. break;
  264. m_socket_incoming_message_size = MUST(m_socket->read_value<u32>());
  265. num_bytes_ready -= sizeof(u32);
  266. m_socket_state = SocketState::Data;
  267. }
  268. [[fallthrough]];
  269. case SocketState::Data: {
  270. if (num_bytes_ready < m_socket_incoming_message_size)
  271. break;
  272. Vector<u8, 1024> data;
  273. data.resize(m_socket_incoming_message_size, true);
  274. MUST(m_socket->read_until_filled(data));
  275. FixedMemoryStream stream { data, FixedMemoryStream::Mode::ReadOnly };
  276. IPC::Decoder decoder(stream, *m_fd_passing_socket);
  277. auto serialize_with_transfer_result = MUST(decoder.decode<SerializedTransferRecord>());
  278. post_message_task_steps(serialize_with_transfer_result);
  279. m_socket_state = SocketState::Header;
  280. break;
  281. }
  282. case SocketState::Error:
  283. VERIFY_NOT_REACHED();
  284. break;
  285. }
  286. }
  287. void MessagePort::post_message_task_steps(SerializedTransferRecord& serialize_with_transfer_result)
  288. {
  289. // 1. Let finalTargetPort be the MessagePort in whose port message queue the task now finds itself.
  290. // NOTE: This can be different from targetPort, if targetPort itself was transferred and thus all its tasks moved along with it.
  291. auto* final_target_port = this;
  292. // 2. Let targetRealm be finalTargetPort's relevant realm.
  293. auto& target_realm = relevant_realm(*final_target_port);
  294. auto& target_vm = target_realm.vm();
  295. // 3. Let deserializeRecord be StructuredDeserializeWithTransfer(serializeWithTransferResult, targetRealm).
  296. TemporaryExecutionContext context { relevant_settings_object(*final_target_port) };
  297. auto deserialize_record_or_error = structured_deserialize_with_transfer(target_vm, serialize_with_transfer_result);
  298. if (deserialize_record_or_error.is_error()) {
  299. // If this throws an exception, catch it, fire an event named messageerror at finalTargetPort, using MessageEvent, and then return.
  300. auto exception = deserialize_record_or_error.release_error();
  301. MessageEventInit event_init {};
  302. final_target_port->dispatch_event(MessageEvent::create(target_realm, HTML::EventNames::messageerror, event_init));
  303. return;
  304. }
  305. auto deserialize_record = deserialize_record_or_error.release_value();
  306. // 4. Let messageClone be deserializeRecord.[[Deserialized]].
  307. auto message_clone = deserialize_record.deserialized;
  308. // 5. Let newPorts be a new frozen array consisting of all MessagePort objects in deserializeRecord.[[TransferredValues]], if any, maintaining their relative order.
  309. // FIXME: Use a FrozenArray
  310. Vector<JS::Handle<JS::Object>> new_ports;
  311. for (auto const& object : deserialize_record.transferred_values) {
  312. if (is<HTML::MessagePort>(*object)) {
  313. new_ports.append(object);
  314. }
  315. }
  316. // 6. Fire an event named message at finalTargetPort, using MessageEvent, with the data attribute initialized to messageClone and the ports attribute initialized to newPorts.
  317. MessageEventInit event_init {};
  318. event_init.data = message_clone;
  319. event_init.ports = move(new_ports);
  320. final_target_port->dispatch_event(MessageEvent::create(target_realm, HTML::EventNames::message, event_init));
  321. }
  322. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-start
  323. void MessagePort::start()
  324. {
  325. VERIFY(m_socket);
  326. VERIFY(m_fd_passing_socket);
  327. // TODO: The start() method steps are to enable this's port message queue, if it is not already enabled.
  328. }
  329. // https://html.spec.whatwg.org/multipage/web-messaging.html#dom-messageport-close
  330. void MessagePort::close()
  331. {
  332. // 1. Set this MessagePort object's [[Detached]] internal slot value to true.
  333. set_detached(true);
  334. // 2. If this MessagePort object is entangled, disentangle it.
  335. if (is_entangled())
  336. disentangle();
  337. }
  338. #undef __ENUMERATE
  339. #define __ENUMERATE(attribute_name, event_name) \
  340. void MessagePort::set_##attribute_name(WebIDL::CallbackType* value) \
  341. { \
  342. set_event_handler_attribute(event_name, value); \
  343. } \
  344. WebIDL::CallbackType* MessagePort::attribute_name() \
  345. { \
  346. return event_handler_attribute(event_name); \
  347. }
  348. ENUMERATE_MESSAGE_PORT_EVENT_HANDLERS(__ENUMERATE)
  349. #undef __ENUMERATE
  350. }