[Webkit-unassigned] [Bug 64501] The JSC and V8 garbage collector can not properly remove an audio element created by JavaScript "new Audio".
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Jul 15 12:41:01 PDT 2011
https://bugs.webkit.org/show_bug.cgi?id=64501
--- Comment #5 from Eric Carlson <eric.carlson at apple.com> 2011-07-15 12:41:00 PST ---
(In reply to comment #0)
> There are two problems.
>
> 1. If playing the audio element and navigating another page, the audio element is not removed.
> 2. GC sweeps the audio element at any time, not during playing.
Not collecting an un-paused media element that is not in the Document is correct according to the spec:
Media elements that are potentially playing while not in a Document must not play
any video, but should play any audio component. Media elements must not stop
playing just because all references to them have been removed; only once a media
element is in a state where no further audio could ever be played by that element
may the element be garbage collected. [1]
I see that the current code is wrong in that it only considers <audio> elements, I wrote bug 64617 for this.
[1] http://www.w3.org/TR/html5/video.html#media-playback
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list