SyncCharts in C: a proposal for light-weight, deterministic concurrency

@inproceedings{Hanxleden2009SyncChartsIC,
  title={SyncCharts in C: a proposal for light-weight, deterministic concurrency},
  author={Reinhard von Hanxleden},
  booktitle={EMSOFT},
  year={2009}
}
SyncCharts in C (SC) extends C with control flow operators for deterministic, light-weight concurrency and preemption. SC is based on SyncCharts, a synchronous variant of Statecharts with a sound formal basis. SC implements concurrency via a simulation of multi-threading, inspired by reactive processing. This approach permits very fast context switches and… CONTINUE READING