StructuredSerialize.h 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  1. /*
  2. * Copyright (c) 2022, Daniel Ehrenberg <dan@littledan.dev>
  3. * Copyright (c) 2022, Andrew Kaster <akaster@serenityos.org>
  4. * Copyright (c) 2024, Kenneth Myhra <kennethmyhra@serenityos.org>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #pragma once
  9. #include <AK/Result.h>
  10. #include <AK/Types.h>
  11. #include <AK/Vector.h>
  12. #include <LibIPC/Forward.h>
  13. #include <LibJS/Forward.h>
  14. #include <LibWeb/Forward.h>
  15. #include <LibWeb/HTML/StructuredSerializeTypes.h>
  16. #include <LibWeb/WebIDL/ExceptionOr.h>
  17. // Structured serialize is an entirely different format from IPC because:
  18. // - It contains representation of type information
  19. // - It may contain circularities
  20. // - It is restricted to JS values
  21. namespace Web::HTML {
  22. struct TransferDataHolder {
  23. Vector<u32> data;
  24. Vector<IPC::File> fds;
  25. };
  26. struct SerializedTransferRecord {
  27. SerializationRecord serialized;
  28. Vector<TransferDataHolder> transfer_data_holders;
  29. };
  30. struct DeserializedTransferRecord {
  31. JS::Value deserialized;
  32. Vector<GC::Root<JS::Object>> transferred_values;
  33. };
  34. struct DeserializedRecord {
  35. Optional<JS::Value> value;
  36. size_t position;
  37. };
  38. enum class TransferType : u8 {
  39. MessagePort,
  40. ArrayBuffer,
  41. ResizableArrayBuffer,
  42. };
  43. WebIDL::ExceptionOr<SerializationRecord> structured_serialize(JS::VM& vm, JS::Value);
  44. WebIDL::ExceptionOr<SerializationRecord> structured_serialize_for_storage(JS::VM& vm, JS::Value);
  45. WebIDL::ExceptionOr<SerializationRecord> structured_serialize_internal(JS::VM& vm, JS::Value, bool for_storage, SerializationMemory&);
  46. WebIDL::ExceptionOr<JS::Value> structured_deserialize(JS::VM& vm, SerializationRecord const& serialized, JS::Realm& target_realm, Optional<DeserializationMemory> = {});
  47. WebIDL::ExceptionOr<DeserializedRecord> structured_deserialize_internal(JS::VM& vm, ReadonlySpan<u32> const& serialized, JS::Realm& target_realm, DeserializationMemory& memory, Optional<size_t> position = {});
  48. void serialize_boolean_primitive(SerializationRecord& serialized, JS::Value& value);
  49. void serialize_number_primitive(SerializationRecord& serialized, JS::Value& value);
  50. WebIDL::ExceptionOr<void> serialize_big_int_primitive(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  51. WebIDL::ExceptionOr<void> serialize_string_primitive(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  52. void serialize_boolean_object(SerializationRecord& serialized, JS::Value& value);
  53. void serialize_number_object(SerializationRecord& serialized, JS::Value& value);
  54. WebIDL::ExceptionOr<void> serialize_big_int_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  55. WebIDL::ExceptionOr<void> serialize_string_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  56. void serialize_date_object(SerializationRecord& serialized, JS::Value& value);
  57. WebIDL::ExceptionOr<void> serialize_reg_exp_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  58. template<typename T>
  59. requires(IsIntegral<T> || IsFloatingPoint<T>)
  60. void serialize_primitive_type(SerializationRecord& serialized, T value)
  61. {
  62. if constexpr (sizeof(T) < sizeof(u32)) {
  63. // NOTE: If the value is smaller than a u32, we can just store it directly.
  64. serialized.append(static_cast<u32>(value));
  65. return;
  66. }
  67. serialized.append(bit_cast<u32*>(&value), sizeof(T) / 4);
  68. }
  69. template<typename T>
  70. requires(IsEnum<T>)
  71. void serialize_enum(SerializationRecord& serialized, T value)
  72. {
  73. serialize_primitive_type<UnderlyingType<T>>(serialized, to_underlying(value));
  74. }
  75. WebIDL::ExceptionOr<void> serialize_bytes(JS::VM& vm, Vector<u32>& vector, ReadonlyBytes bytes);
  76. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, DeprecatedFlyString const& string);
  77. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, String const& string);
  78. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, JS::PrimitiveString const& primitive_string);
  79. WebIDL::ExceptionOr<void> serialize_array_buffer(JS::VM& vm, Vector<u32>& vector, JS::ArrayBuffer const& array_buffer, bool for_storage);
  80. template<OneOf<JS::TypedArrayBase, JS::DataView> ViewType>
  81. WebIDL::ExceptionOr<void> serialize_viewed_array_buffer(JS::VM& vm, Vector<u32>& vector, ViewType const& view, bool for_storage, SerializationMemory& memory);
  82. bool deserialize_boolean_primitive(ReadonlySpan<u32> const& serialized, size_t& position);
  83. double deserialize_number_primitive(ReadonlySpan<u32> const& serialized, size_t& position);
  84. GC::Ref<JS::BooleanObject> deserialize_boolean_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  85. GC::Ref<JS::NumberObject> deserialize_number_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  86. WebIDL::ExceptionOr<GC::Ref<JS::BigIntObject>> deserialize_big_int_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  87. WebIDL::ExceptionOr<GC::Ref<JS::StringObject>> deserialize_string_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  88. GC::Ref<JS::Date> deserialize_date_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  89. WebIDL::ExceptionOr<GC::Ref<JS::RegExpObject>> deserialize_reg_exp_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  90. template<typename T>
  91. requires(IsIntegral<T> || IsFloatingPoint<T> || IsEnum<T>)
  92. T deserialize_primitive_type(ReadonlySpan<u32> const& serialized, size_t& position)
  93. {
  94. T value;
  95. // NOTE: Make sure we always round up, otherwise Ts that are less than 32 bit will end up with a size of 0.
  96. auto size = 1 + ((sizeof(value) - 1) / 4);
  97. VERIFY(position + size <= serialized.size());
  98. memcpy(&value, serialized.offset_pointer(position), sizeof(value));
  99. position += size;
  100. return value;
  101. }
  102. WebIDL::ExceptionOr<ByteBuffer> deserialize_bytes(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  103. WebIDL::ExceptionOr<String> deserialize_string(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  104. WebIDL::ExceptionOr<GC::Ref<JS::PrimitiveString>> deserialize_string_primitive(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  105. WebIDL::ExceptionOr<GC::Ref<JS::BigInt>> deserialize_big_int_primitive(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  106. WebIDL::ExceptionOr<SerializedTransferRecord> structured_serialize_with_transfer(JS::VM& vm, JS::Value value, Vector<GC::Root<JS::Object>> const& transfer_list);
  107. WebIDL::ExceptionOr<DeserializedTransferRecord> structured_deserialize_with_transfer(JS::VM& vm, SerializedTransferRecord&);
  108. }
  109. namespace IPC {
  110. template<>
  111. ErrorOr<void> encode(Encoder&, ::Web::HTML::SerializedTransferRecord const&);
  112. template<>
  113. ErrorOr<void> encode(Encoder&, ::Web::HTML::TransferDataHolder const&);
  114. template<>
  115. ErrorOr<::Web::HTML::SerializedTransferRecord> decode(Decoder&);
  116. template<>
  117. ErrorOr<::Web::HTML::TransferDataHolder> decode(Decoder&);
  118. }