ProfHewitt·4 वर्ष पहले·discussActorsTheory serves as the rigorous mathematical foundations of capability systems.
ProfHewitt·4 वर्ष पहले·discussFoundation is about rigorously specifying the general Laws of Locality for Actor systems that CHERI implements.
ProfHewitt·4 वर्ष पहले·discussGreat to see further progress on CHERI!See the following for theoretical foundations for the work:Linux 60th Anniversary Keynotehttps://t.co/IRe3vpMlWn
ProfHewitt·5 वर्ष पहले·discussInteresting article.Mathematical foundations are needed that are much more suitable to modern Computer Science than using "universes".For an example see the following article:https://papers.ssrn.com/abstract=3603021Also, see the following video:https://www.youtube.com/watch?v=AJP1VL7shiI
ProfHewitt·5 वर्ष पहले·discussComputer science theory didn't get harder.Instead, education became weaker :-(See following link for foundations of computer Science:https://www.youtube.com/watch?v=AJP1VL7shiI
ProfHewitt·5 वर्ष पहले·discussThe Actors Abstraction does not require specification ofcomputer boundaries.
ProfHewitt·5 वर्ष पहले·discussThe Actors Abstraction is foundational for computer scienceanalogous to the Natural Numbers in classical mathematics.
ProfHewitt·5 वर्ष पहले·discussProbably not a good idea to burden application programmerswith having to annotate each message send with whether thereceiver is on the current computer or another one in aCitadel.Since Actors can move between computers in a Citadel, suchannotations are infeasible in practice.Of course, modularity, security, and performance should not beignored.
ProfHewitt·5 वर्ष पहले·discussSee the following for a rigorous definition of the Actors Abstraction:https://papers.ssrn.com/abstract=3418003
ProfHewitt·5 वर्ष पहले·discussProbably can't make much progress without a scientific foundation including the Actors Abstraction.
ProfHewitt·5 वर्ष पहले·discussThe Actor Paradigm is much more widespread with offerings from Microsoft, Lightbend, etc.
ProfHewitt·5 वर्ष पहले·discussI fondly remember Joe Armstrong, who was a good friend.However, not having a mathematical foundation has been asevere limitation for Erlang.The Erlang community is trying to dig its way out withmodifications and extensions. Still have a long way to go.Of course, no Actors framework is perfect.Many important implementations have been done Erlang.Also, significant Erlang projects are ongoing to good effect.
ProfHewitt·5 वर्ष पहले·discussIn a Citadel, distributed Actors are going to be necessary.See the following: Citadels: faster response time and better information integration than remote datacenters https://papers.ssrn.com/abstract=2836282
ProfHewitt·5 वर्ष पहले·discussErlang incorporated some of the ideas of the Actor Abstractionbut missed a few things. SeeSee article and video here:https://papers.ssrn.com/abstract=3603021https://www.youtube.com/watch?v=AJP1VL7shiI
ProfHewitt·5 वर्ष पहले·discussSwift Actors are an important contribution to the Actor Paradigm.There is is an upcoming keynote address on the Actor Paradigm at the Linux 30th Anniversary Conference. Seehttps://reactivesummit2021.sched.com
ProfHewitt·5 वर्ष पहले·discussBoth ASIO and Sender/Receiver are not a suitable foundation for concurrency in C++.
ProfHewitt·5 वर्ष पहले·discussAs dueling co-routine proposals neither ASIO nor Sender/Receiver are a suitable foundation for C++ semantics.