mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
bf99cf7f30
* Make device cleanup right * Use weakref for GPUDevice in globalscope * No need to destroy device on drop * DeviceReason early return * make remove_gpu_device to be the only way to remove device
59 lines
1.8 KiB
Rust
59 lines
1.8 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
|
|
|
//! IPC massages that are send to script thread (global scope).
|
|
|
|
use base::id::PipelineId;
|
|
use serde::{Deserialize, Serialize};
|
|
|
|
use crate::gpu_error::Error;
|
|
use crate::identity::WebGPUDevice;
|
|
use crate::wgc::id::{
|
|
AdapterId, BindGroupId, BindGroupLayoutId, BufferId, CommandBufferId, ComputePipelineId,
|
|
DeviceId, PipelineLayoutId, QuerySetId, RenderBundleId, RenderPipelineId, SamplerId,
|
|
ShaderModuleId, StagingBufferId, SurfaceId, TextureId, TextureViewId,
|
|
};
|
|
|
|
/// <https://gpuweb.github.io/gpuweb/#enumdef-gpudevicelostreason>
|
|
#[derive(Clone, Copy, Debug, Deserialize, Serialize)]
|
|
pub enum DeviceLostReason {
|
|
Unknown,
|
|
Destroyed,
|
|
}
|
|
|
|
#[derive(Clone, Debug, Deserialize, Serialize)]
|
|
pub enum WebGPUMsg {
|
|
FreeAdapter(AdapterId),
|
|
FreeDevice {
|
|
device_id: DeviceId,
|
|
pipeline_id: PipelineId,
|
|
},
|
|
FreeBuffer(BufferId),
|
|
FreePipelineLayout(PipelineLayoutId),
|
|
FreeComputePipeline(ComputePipelineId),
|
|
FreeRenderPipeline(RenderPipelineId),
|
|
FreeBindGroup(BindGroupId),
|
|
FreeBindGroupLayout(BindGroupLayoutId),
|
|
FreeCommandBuffer(CommandBufferId),
|
|
FreeTexture(TextureId),
|
|
FreeTextureView(TextureViewId),
|
|
FreeSampler(SamplerId),
|
|
FreeSurface(SurfaceId),
|
|
FreeShaderModule(ShaderModuleId),
|
|
FreeRenderBundle(RenderBundleId),
|
|
FreeStagingBuffer(StagingBufferId),
|
|
FreeQuerySet(QuerySetId),
|
|
UncapturedError {
|
|
device: WebGPUDevice,
|
|
pipeline_id: PipelineId,
|
|
error: Error,
|
|
},
|
|
DeviceLost {
|
|
device: WebGPUDevice,
|
|
pipeline_id: PipelineId,
|
|
reason: DeviceLostReason,
|
|
msg: String,
|
|
},
|
|
Exit,
|
|
}
|