Skip to content

loyso/LuaCSP

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

99 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LuaCSP

Communicating Sequential Processes in Lua: an extension.

LuaCSP library is a framework that allows you to create pseudo-concurrent programming language embeddable in your application.

Read the comprehensive documentation (an article) here.

See the introductional slides here.

Why?

  • The world is parallel. Typical simulation and robotics projects deal with many entities acting and interacting concurrently.

  • Event-oriented systems (command+callback, finite state machines - FSMs) can be implemented very efficiently but the resulting model logic is quite fragmented, as the scheduling and the evaluation of conditions are scattered throughout the event routines.

  • Callbacks and FSMs are way too low-level. FSMs are non-composable.

  • Asyncronous "push" multi-threaded systems are hard to program and understand. Whould be nice to orchestrate them at a higher level in synchronous way: back to natural control flow - stack and sequence are very powerful abstractions.

We should resolve these complexity and maintainability issues.

How?

We introduce next level you model in: embeddable Lua-based programming language with concurrent control-flow semantics.

So, LuaCSP:

  • Uses the Occam programming language ideas by Tony Hoare (the author of Quicksort).
  • Follows the principle of compositionality.
  • Introduces restrictions and rules, how entities behave and interact.
  • Extends Lua in standard way, includes it as a subset.

LuaCSP can be used under GNU General Public License (GPL), version 2.

http://www.gnu.org/licenses/old-licenses/gpl-2.0.html

Please, contact Alexey Baskakov if you want to use LuaCSP under any other license.

Copyright (c) 2012-2014 Alexey Baskakov. Feel free to contact the author for additional features, consulting and support.