Concurrency

[dghosef]

qdbp should become threadsafe at some point. This means

• Test with TSAN
• Make reference count operations atomic
• Make the queues thread-safe queues & double check for any other global state

[dghosef]

Use CSP with unbuffered channels. The only problem is if thread exits prematurely, we will leak memory. Run the garbage whenever we prematurely exit a thread and whenever the heap gets too big. This should happen rarely enough that it is ok.

[dghosef]

Channels should be able to be declared at the top of the program and have the following operations:

• Send
• Receive
• Duplicate

Send and Receive are blocking operations. Duplicated channels have the same type as the original channel

[dghosef]

Functions run in parallel should return a struct that has a >>= method and an Await method

[dghosef]

We need a syntax for making CSP channels

[dghosef]

We need a way to kill a thread halfway without killing the whole app

[dghosef]

Should channels be the way in which we do I/O? I think it makes a lot of sense

[dghosef]

No channels. Instead, just use MVU and have "cooperative-ish" concurrency