Introduction

There are multiple places in WebKit where we do communication between threads. Each of these has a slightly different model, but all are pretty similar. The problems we have with our current scheme are:

1. Every time someone need to do this, they need to write their own version of it, which leads to many typical problems with duplicate code.
2. Common operations are need to be hand written each time requiring careful review of tricky lifetime code which is easy to get wrong.

To fix these, it would be good to have some common data structures which handle common operations without requiring much boilerplate code. Let's start by enumerating out common cases.

Use cases

1. An object exist on one thread. It wants to create an object on another thread and then have a number of calls happen between these two objects.

This one is a superset of other potential cases including fire and forget.

Issue: Should this use case be broken up into several?

2. A web worker thread wants to call a function on another thread and wait until it is done. Allowing callbacks resulting from that to run in the web worker thread.

This does look suspiciously like a nested message loop with a filter which many people regard as evil. The only reason to allow this capability is for synchronous calls from javascript to call to the main thread to get some work done and act like a synchronous call but there may be callbacks (e.g. when doing a sync xhr call.) Theoretically, the javascript engine could roll up its state into a closure and we could avoid the nested message loop but that capability doesn't exist in the engines that we deal with and would be very expensive to add to them.

3. Allowing for a thread pool scenario. (This isn't about implementing the thread pool but ensuring that the implementation suggested doesn't preclude one being done in the future).

TBD: There are likely more use cases to be listed here.

Proposed code samples for use cases

TBD: Here is where some code will go to show what these use cases look like.