p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

No benchmarks or comparison to other #478

Open voltcode opened 4 years ago

voltcode commented 4 years ago

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?

akashlal commented 4 years ago

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.