PSharp
PSharp copied to clipboard
No benchmarks or comparison to other
Could you please provide a comparison and benchmarks that compare P# to other actor model inspired frameworks for .NET like Akka.NET and Orleans? What are the pros and cons for using P# in spite of the aforementioned frameworks in production?
Let me mention a quick comparison. Both Akka and Orleans provide a distributed runtime, whereas P# does not. P# is meant for programming the business logic and you are free to use any distributed runtime underneath. P# provides features for writing specifications and detailed concurrency tests. The P# tester gives best-in-class concurrency coverage. Users of P# typically rely heavily on testing to weed out corner-cases, concurrency issues, message ordering bugs, etc.