Memory.cpp 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158
  1. /*
  2. * Copyright (c) 2021, Ali Mohammad Pur <mpfard@serenityos.org>
  3. * Copyright (c) 2023, Tim Flynn <trflynn89@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <LibJS/Runtime/Realm.h>
  8. #include <LibJS/Runtime/SharedArrayBufferConstructor.h>
  9. #include <LibJS/Runtime/VM.h>
  10. #include <LibWasm/Types.h>
  11. #include <LibWeb/Bindings/Intrinsics.h>
  12. #include <LibWeb/Bindings/MemoryPrototype.h>
  13. #include <LibWeb/WebAssembly/Memory.h>
  14. #include <LibWeb/WebAssembly/WebAssembly.h>
  15. namespace Web::WebAssembly {
  16. GC_DEFINE_ALLOCATOR(Memory);
  17. WebIDL::ExceptionOr<GC::Ref<Memory>> Memory::construct_impl(JS::Realm& realm, MemoryDescriptor& descriptor)
  18. {
  19. auto& vm = realm.vm();
  20. // https://webassembly.github.io/threads/js-api/index.html#dom-memory-memory
  21. // 4. Let share be shared if descriptor["shared"] is true and unshared otherwise.
  22. // 5. If share is shared and maximum is empty, throw a TypeError exception.
  23. auto shared = descriptor.shared.value_or(false);
  24. if (shared && !descriptor.maximum.has_value())
  25. return vm.throw_completion<JS::TypeError>("Maximum has to be specified for shared memory."sv);
  26. Wasm::Limits limits { descriptor.initial, move(descriptor.maximum) };
  27. Wasm::MemoryType memory_type { move(limits) };
  28. auto& cache = Detail::get_cache(realm);
  29. auto address = cache.abstract_machine().store().allocate(memory_type);
  30. if (!address.has_value())
  31. return vm.throw_completion<JS::TypeError>("Wasm Memory allocation failed"sv);
  32. auto memory_object = realm.create<Memory>(realm, *address, shared ? Shared::Yes : Shared::No);
  33. cache.abstract_machine().store().get(*address)->successful_grow_hook = [memory_object] {
  34. MUST(memory_object->reset_the_memory_buffer());
  35. };
  36. return memory_object;
  37. }
  38. Memory::Memory(JS::Realm& realm, Wasm::MemoryAddress address, Shared shared)
  39. : Bindings::PlatformObject(realm)
  40. , m_address(address)
  41. , m_shared(shared)
  42. {
  43. }
  44. void Memory::initialize(JS::Realm& realm)
  45. {
  46. Base::initialize(realm);
  47. WEB_SET_PROTOTYPE_FOR_INTERFACE_WITH_CUSTOM_NAME(Memory, WebAssembly.Memory);
  48. }
  49. void Memory::visit_edges(Visitor& visitor)
  50. {
  51. Base::visit_edges(visitor);
  52. visitor.visit(m_buffer);
  53. }
  54. // https://webassembly.github.io/spec/js-api/#dom-memory-grow
  55. WebIDL::ExceptionOr<u32> Memory::grow(u32 delta)
  56. {
  57. auto& vm = this->vm();
  58. auto& context = Detail::get_cache(realm());
  59. auto* memory = context.abstract_machine().store().get(address());
  60. if (!memory)
  61. return vm.throw_completion<JS::RangeError>("Could not find the memory instance to grow"sv);
  62. auto previous_size = memory->size() / Wasm::Constants::page_size;
  63. if (!memory->grow(delta * Wasm::Constants::page_size, Wasm::MemoryInstance::GrowType::No, Wasm::MemoryInstance::InhibitGrowCallback::Yes))
  64. return vm.throw_completion<JS::RangeError>("Memory.grow() grows past the stated limit of the memory instance"sv);
  65. TRY(reset_the_memory_buffer());
  66. return previous_size;
  67. }
  68. // https://webassembly.github.io/spec/js-api/#refresh-the-memory-buffer
  69. // FIXME: `refresh-the-memory-buffer` is a global abstract operation.
  70. // Implement it as a static function to align with the spec.
  71. WebIDL::ExceptionOr<void> Memory::reset_the_memory_buffer()
  72. {
  73. if (!m_buffer)
  74. return {};
  75. auto& vm = this->vm();
  76. auto& realm = *vm.current_realm();
  77. if (m_buffer->is_fixed_length()) {
  78. // https://webassembly.github.io/threads/js-api/index.html#refresh-the-memory-buffer
  79. // 1. If IsSharedArrayBuffer(buffer) is false,
  80. if (!m_buffer->is_shared_array_buffer()) {
  81. // 1. Perform ! DetachArrayBuffer(buffer, "WebAssembly.Memory").
  82. MUST(JS::detach_array_buffer(vm, *m_buffer, JS::PrimitiveString::create(vm, "WebAssembly.Memory"_string)));
  83. }
  84. }
  85. m_buffer = TRY(create_a_fixed_length_memory_buffer(vm, realm, m_address, m_shared));
  86. return {};
  87. }
  88. // https://webassembly.github.io/spec/js-api/#dom-memory-buffer
  89. WebIDL::ExceptionOr<GC::Ref<JS::ArrayBuffer>> Memory::buffer() const
  90. {
  91. auto& vm = this->vm();
  92. auto& realm = *vm.current_realm();
  93. if (!m_buffer)
  94. m_buffer = TRY(create_a_fixed_length_memory_buffer(vm, realm, m_address, m_shared));
  95. return GC::Ref(*m_buffer);
  96. }
  97. // https://webassembly.github.io/spec/js-api/#create-a-fixed-length-memory-buffer
  98. WebIDL::ExceptionOr<GC::Ref<JS::ArrayBuffer>> Memory::create_a_fixed_length_memory_buffer(JS::VM& vm, JS::Realm& realm, Wasm::MemoryAddress address, Shared shared)
  99. {
  100. auto& context = Detail::get_cache(realm);
  101. auto* memory = context.abstract_machine().store().get(address);
  102. if (!memory)
  103. return vm.throw_completion<JS::RangeError>("Could not find the memory instance"sv);
  104. JS::ArrayBuffer* array_buffer;
  105. // https://webassembly.github.io/threads/js-api/index.html#create-a-fixed-length-memory-buffer
  106. // 3. If share is shared,
  107. if (shared == Shared::Yes) {
  108. // 1. Let block be a Shared Data Block which is identified with the underlying memory of memaddr.
  109. auto bytes = memory->data();
  110. // 2. Let buffer be a new SharedArrayBuffer with the internal slots [[ArrayBufferData]] and [[ArrayBufferByteLength]].
  111. array_buffer = TRY(JS::allocate_shared_array_buffer(vm, realm.intrinsics().shared_array_buffer_constructor(), bytes.size()));
  112. bytes.span().copy_to(array_buffer->buffer().span());
  113. // 3. FIXME: Set buffer.[[ArrayBufferData]] to block.
  114. // 4. FIXME: Set buffer.[[ArrayBufferByteLength]] to the length of block.
  115. // 5. Perform ! SetIntegrityLevel(buffer, "frozen").
  116. MUST(array_buffer->set_integrity_level(JS::Object::IntegrityLevel::Frozen));
  117. }
  118. // 4. Otherwise,
  119. else {
  120. array_buffer = JS::ArrayBuffer::create(realm, &memory->data());
  121. array_buffer->set_detach_key(JS::PrimitiveString::create(vm, "WebAssembly.Memory"_string));
  122. }
  123. return GC::Ref(*array_buffer);
  124. }
  125. }