StructuredSerialize.h 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142
  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<u8> 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. };
  41. WebIDL::ExceptionOr<SerializationRecord> structured_serialize(JS::VM& vm, JS::Value);
  42. WebIDL::ExceptionOr<SerializationRecord> structured_serialize_for_storage(JS::VM& vm, JS::Value);
  43. WebIDL::ExceptionOr<SerializationRecord> structured_serialize_internal(JS::VM& vm, JS::Value, bool for_storage, SerializationMemory&);
  44. WebIDL::ExceptionOr<JS::Value> structured_deserialize(JS::VM& vm, SerializationRecord const& serialized, JS::Realm& target_realm, Optional<DeserializationMemory> = {});
  45. WebIDL::ExceptionOr<DeserializedRecord> structured_deserialize_internal(JS::VM& vm, ReadonlySpan<u32> const& serialized, JS::Realm& target_realm, DeserializationMemory& memory, Optional<size_t> position = {});
  46. void serialize_boolean_primitive(SerializationRecord& serialized, JS::Value& value);
  47. void serialize_number_primitive(SerializationRecord& serialized, JS::Value& value);
  48. WebIDL::ExceptionOr<void> serialize_big_int_primitive(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  49. WebIDL::ExceptionOr<void> serialize_string_primitive(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  50. void serialize_boolean_object(SerializationRecord& serialized, JS::Value& value);
  51. void serialize_number_object(SerializationRecord& serialized, JS::Value& value);
  52. WebIDL::ExceptionOr<void> serialize_big_int_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  53. WebIDL::ExceptionOr<void> serialize_string_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  54. void serialize_date_object(SerializationRecord& serialized, JS::Value& value);
  55. WebIDL::ExceptionOr<void> serialize_reg_exp_object(JS::VM& vm, SerializationRecord& serialized, JS::Value& value);
  56. template<typename T>
  57. requires(IsIntegral<T> || IsFloatingPoint<T>)
  58. void serialize_primitive_type(SerializationRecord& serialized, T value)
  59. {
  60. if constexpr (sizeof(T) < sizeof(u32)) {
  61. // NOTE: If the value is smaller than a u32, we can just store it directly.
  62. serialized.append(static_cast<u32>(value));
  63. return;
  64. }
  65. serialized.append(bit_cast<u32*>(&value), sizeof(T) / 4);
  66. }
  67. template<typename T>
  68. requires(IsEnum<T>)
  69. void serialize_enum(SerializationRecord& serialized, T value)
  70. {
  71. serialize_primitive_type<UnderlyingType<T>>(serialized, to_underlying(value));
  72. }
  73. WebIDL::ExceptionOr<void> serialize_bytes(JS::VM& vm, Vector<u32>& vector, ReadonlyBytes bytes);
  74. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, DeprecatedFlyString const& string);
  75. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, String const& string);
  76. WebIDL::ExceptionOr<void> serialize_string(JS::VM& vm, Vector<u32>& vector, JS::PrimitiveString const& primitive_string);
  77. WebIDL::ExceptionOr<void> serialize_array_buffer(JS::VM& vm, Vector<u32>& vector, JS::ArrayBuffer const& array_buffer, bool for_storage);
  78. template<OneOf<JS::TypedArrayBase, JS::DataView> ViewType>
  79. WebIDL::ExceptionOr<void> serialize_viewed_array_buffer(JS::VM& vm, Vector<u32>& vector, ViewType const& view, bool for_storage, SerializationMemory& memory);
  80. bool deserialize_boolean_primitive(ReadonlySpan<u32> const& serialized, size_t& position);
  81. double deserialize_number_primitive(ReadonlySpan<u32> const& serialized, size_t& position);
  82. GC::Ref<JS::BooleanObject> deserialize_boolean_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  83. GC::Ref<JS::NumberObject> deserialize_number_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  84. WebIDL::ExceptionOr<GC::Ref<JS::BigIntObject>> deserialize_big_int_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  85. WebIDL::ExceptionOr<GC::Ref<JS::StringObject>> deserialize_string_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  86. GC::Ref<JS::Date> deserialize_date_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  87. WebIDL::ExceptionOr<GC::Ref<JS::RegExpObject>> deserialize_reg_exp_object(JS::Realm& realm, ReadonlySpan<u32> const& serialized, size_t& position);
  88. template<typename T>
  89. requires(IsIntegral<T> || IsFloatingPoint<T> || IsEnum<T>)
  90. T deserialize_primitive_type(ReadonlySpan<u32> const& serialized, size_t& position)
  91. {
  92. T value;
  93. // NOTE: Make sure we always round up, otherwise Ts that are less than 32 bit will end up with a size of 0.
  94. auto size = 1 + ((sizeof(value) - 1) / 4);
  95. VERIFY(position + size <= serialized.size());
  96. memcpy(&value, serialized.offset_pointer(position), sizeof(value));
  97. position += size;
  98. return value;
  99. }
  100. WebIDL::ExceptionOr<ByteBuffer> deserialize_bytes(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  101. WebIDL::ExceptionOr<String> deserialize_string(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  102. WebIDL::ExceptionOr<GC::Ref<JS::PrimitiveString>> deserialize_string_primitive(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  103. WebIDL::ExceptionOr<GC::Ref<JS::BigInt>> deserialize_big_int_primitive(JS::VM& vm, ReadonlySpan<u32> vector, size_t& position);
  104. WebIDL::ExceptionOr<SerializedTransferRecord> structured_serialize_with_transfer(JS::VM& vm, JS::Value value, Vector<GC::Root<JS::Object>> const& transfer_list);
  105. WebIDL::ExceptionOr<DeserializedTransferRecord> structured_deserialize_with_transfer(JS::VM& vm, SerializedTransferRecord&);
  106. }
  107. namespace IPC {
  108. template<>
  109. ErrorOr<void> encode(Encoder&, ::Web::HTML::SerializedTransferRecord const&);
  110. template<>
  111. ErrorOr<void> encode(Encoder&, ::Web::HTML::TransferDataHolder const&);
  112. template<>
  113. ErrorOr<::Web::HTML::SerializedTransferRecord> decode(Decoder&);
  114. template<>
  115. ErrorOr<::Web::HTML::TransferDataHolder> decode(Decoder&);
  116. }