On 12/27/24 7:32 PM, Waldek Hebisch wrote: > On Thu, Dec 26, 2024 at 06:14:15PM +0800, Qian Yun wrote: >> On 12/25/24 10:07 PM, Waldek Hebisch wrote: >>> >>> However, it looks to me that you eliminated one (significant) problem, >>> but there is still parallel signalling between processes, which >>> may lead to races. That is we should change communication protocal >>> between our processes to be essentially message based. >>> >> >> What's your opinion on my thread titled "An idea to greatly >> simplify socket communication protocol / sman process tree"? >> (Namely to move the main IO loop from "session" to "FRICASsys", >> thus greatly reduce the number of processes and parallel signalling.) > > I am affraid of potential problems: > - FRICASsys is compute-intensive, computations may block > communication leading to trouble (this is problematic now, > but having more things in FRICASsys may make problem worse).
On one hand, we can think "the app" (FriCAS as a whole) as a REPL, when it is in the "eval" stage, we simply wait for the computation to finish. On the other hand, we can think "the app" as a single-threaded HTTP server, when multiple incoming requests arrive, we handle each request one by one and block the rest. Either way, current implementation is unnecessarily complicated. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/292a8d0c-f2bd-4c7b-a235-867a21beeb4e%40gmail.com.
