search

p-org / PSharp

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

Proposing a use case for integrating ZeroMQ binding #441

Closed ivanserdyuk closed 4 years ago

ivanserdyuk commented 5 years ago

Hello.

There are 3 known/implemented ZeroMQ bindings, for .NET:

. I wonder if you have a vision on re-implementing in P# and/or integrating P#->C# translated code (auto-generation and validation) with P/Invoke part. Plus P might be used for generating external C code (which is also an interesting route - but using P for other side of P/Invoke as itself an independent question, which worth a separate discussion).

@pblasucci might join this - he is working (at least) one of those bindings.

Ivan

akashlal commented 5 years ago

Hi @ivanserdyuk.

P# by itself is just a programming framework. It doesn't have a distributed runtime component. In other words, any distributed runtime (which can host a .NET process) can be used in conjunction with P#. It must already be possible to use ZeroMQ for messaging. Although a native integration can help making it easy to use ZeroMQ, it doesn't fit our plans for now.

If I misunderstood your proposal, please let me know.

Akash

pdeligia commented 4 years ago

Closing due to inactivity.