p-org / PSharp

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

PSharpSyntax for async handlers #454

Open akashlal opened 5 years ago

akashlal commented 5 years ago

Support something line the following

state S {
   async entry { return foo(); }
}

where foo returns a Task. This is slightly better in terms of performance than doing await foo(). Currently, the VS compiler will complain that the async entry method doesn't do an await.