[Webkit-unassigned] [Bug 51984] [WK2][Qt] Multiple problems with MemoryMappedPool

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=51984





--- Comment #3 from Balazs Kelemen <kbalazs at webkit.org>  2011-01-10 09:08:10 PST ---
> You need to send the message by using specific API.
> In other words: the file descriptor table is not shared after fork. It's only copied during fork. AFAIK.
> 
> "File Descriptor Passing" in this url:
> http://www.wsinnovations.com/softeng/articles/uds.html
> 

You are right.

> 0) Web process has passed 1 update chunk to ui process. Ui process has processed that update chunk and marked the underlying MappedMemory free. Both processes have this MappedMemory in the m_pool.

> 1) Both processes run MappedMemoryPool::mapMemory(size_t size)

The UI process never calls that.

> 2) Both processes run MappedMemoryPool::isFree() at the same time for the same pool entry. Both process get result 'true'.
> 
> 3) Both processes run MappedMemoryPool::markUsed() at the same time

Ditto.

> No. It should fail the memory allocation. This should fail the update chunk allocation. This should result in empty result in paint. Beats crashing, is easy and somewhat well-defined.

Yep, sounds better.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.