Implicitly Concurrent Scheme

Aubrey Jaffer, author of SCM and SLIB, wrote that:

There has been a lot of concern over how to harness the speed potential of multi-core processors without a disrupting reinvention of software engineering. Implicit concurrency is a solution.

His proposal for implementing this solution is a simple addition to the standard:

Implicitly-Concurrent-Scheme is a minor modification to Scheme Report semantics which allows, but does not require, both interpreters and compilers to simply parallelize the execution of programs. No new primitives are introduced. In order to write ICS programs which produce the same output irrespective of concurrent evaluation order requires a regime very similar to the that required of RnRS programs to produce the same output irrespective of serial evaluation order.

It has a pretty good selling point: no new language constructs. Everything works the way you already expect (unspecified order of evaluation == concurrent evaluation of arguments). Read everything in-between those quotes here


One thought on “Implicitly Concurrent Scheme”

  1. I’m not aware of scheme implementations that implements SMP, especially it would be nice to have it included in one with green threads like Gambit.

Leave a Reply

Your email address will not be published. Required fields are marked *