Re: [chromium-discuss] "Communicating sequential processes" impl

[Joe Mason]

Scheduler-dev would be an even better place for this. (I've added it, and set chromium-discuss to BCC)

At a quick glance it looks like "Communicating sequential processes" is a way to mathematically model message passing systems. Chrome IS a message passing system, but I'm not sure if it fits into the formal mathematical definition since I don't know how strict that definition is.

base/task/sequence_manager itself is an implementation detail, just one part of Chrome's message passing implementation.

On Thu, Jan 26, 2023 at 1:20 AM Nikita Karasev <cc....@gmail.com> wrote:

I mean this https://en.wikipedia.org/wiki/Communicating_sequential_processes.

"The chromium-dev group would be a better place to ask this question."

Okey, thank you!

четверг, 26 января 2023 г. в 01:59:36 UTC+3, jon.pe...@gmail.com:

It's unclear what you mean by"communicating sequential processes". The documentation says this is a FIFO queue for a thread so it would typically be for threads within a process. There might be shared queues but you would need to determine how that is implemented because this might be designed specifically for threads in a process.

I'm not an expert on Chrome source so I can't tell you for sure. The chromium-dev group would be a better place to ask this question.

 

On Tue, Jan 24, 2023 at 2:58 PM Nikita Karasev <cc....@gmail.com> wrote:

Hi. Is this is the implementation of "Communicating sequential processes"?
Or something else?

https://source.chromium.org/chromium/chromium/src/+/main:base/task/sequence_manager/

--
--
Chromium Discussion mailing list: chromium...@chromium.org
View archives, change email options, or unsubscribe:
http://groups.google.com/a/chromium.org/group/chromium-discuss

---
To unsubscribe from this group and stop receiving emails from it, send an email to chromium-discu...@chromium.org.

--
--
Chromium Discussion mailing list: chromium...@chromium.org
View archives, change email options, or unsubscribe:
http://groups.google.com/a/chromium.org/group/chromium-discuss