Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Player does not need to go inside a mutexed Arc

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-08-31 11:53:22 +02:00
parent 2d709a283b
commit 1f406ef0a0
1 changed files with 13 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

34
components/script/dom/htmlmediaelement.rs
View file

@ -52,7 +52,7 @@ use std::sync::{Arc, Mutex};
use task_source::{TaskSource, TaskSourceName};
use time::{self, Timespec, Duration};
unsafe_no_jsmanaged_fields!(Arc<Mutex<Box<Player>>>);
unsafe_no_jsmanaged_fields!(Player);
unsafe_no_jsmanaged_fields!(MediaFrameRenderer);
#[dom_struct]
@ -91,7 +91,7 @@ pub struct HTMLMediaElement {
/// Whether the media metadata has been completely received.
have_metadata: Cell<bool>,
#[ignore_malloc_size_of = "servo_media"]
player: Arc<Mutex<Box<Player>>>,
player: Box<Player>,
#[ignore_malloc_size_of = "oops"]
frame_renderer: MediaFrameRenderer,
}
@ -135,9 +135,7 @@ impl HTMLMediaElement {
pending_play_promises: Default::default(),
in_flight_play_promises_queue: Default::default(),
have_metadata: Cell::new(false),
player: Arc::new(Mutex::new(
ServoMedia::get().unwrap().create_player().unwrap(),
)),
player: ServoMedia::get().unwrap().create_player().unwrap(),
frame_renderer: MediaFrameRenderer::new(document.window().get_webrender_api_sender()),
}
}
@ -235,7 +233,7 @@ impl HTMLMediaElement {
}
this.fulfill_in_flight_play_promises(|| {
this.player.lock().unwrap().play();
this.player.play();
});
}),
window.upcast(),
@ -283,7 +281,7 @@ impl HTMLMediaElement {
this.upcast::<EventTarget>().fire_event(atom!("pause"));
//FIXME(victor)
//this.player.lock().unwrap().pause();
//this.player.pause();
// Step 2.3.3.
// Done after running this closure in
@ -320,7 +318,7 @@ impl HTMLMediaElement {
this.fulfill_in_flight_play_promises(|| {
// Step 2.1.
this.upcast::<EventTarget>().fire_event(atom!("playing"));
this.player.lock().unwrap().play();
this.player.play();
// Step 2.2.
// Done after running this closure in
@ -672,7 +670,7 @@ impl HTMLMediaElement {
// Step 5.
this.upcast::<EventTarget>().fire_event(atom!("error"));
this.player.lock().unwrap().stop();
this.player.stop();
// Step 6.
// Done after running this closure in
@ -837,15 +835,10 @@ impl HTMLMediaElement {
fn setup_media_player(&self) {
let (action_sender, action_receiver) = ipc::channel().unwrap();
self.player
.lock()
.unwrap()
.register_event_handler(action_sender);
self.player
.lock()
.unwrap()
.register_frame_renderer(Arc::new(self.frame_renderer.clone()));
self.player.lock().unwrap().setup().unwrap();
self.player.register_event_handler(action_sender);
self.player.register_frame_renderer(Arc::new(self.frame_renderer.clone()));
// XXXferjm this can fail.
self.player.setup().unwrap();
let trusted_node = Trusted::new(self);
let window = window_from_node(self);
@ -1132,7 +1125,7 @@ impl FetchResponseListener for HTMLMediaElementContext {
let elem = self.elem.root();
// push input data into the player
if let Err(_) = elem.player.lock().unwrap().push_data(payload) {
if let Err(_) = elem.player.push_data(payload) {
eprintln!("Couldn't push input data to player");
}
@ -1156,10 +1149,9 @@ impl FetchResponseListener for HTMLMediaElementContext {
return;
}
let elem = self.elem.root();
let player = elem.player.lock().unwrap();
// signal the eos to player
if let Err(_) = player.end_of_stream() {
if let Err(_) = elem.player.end_of_stream() {
eprintln!("Couldn't signal EOS to player");
}