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