128 lines
4.5 KiB
Raw Normal View History

2021-06-22 14:17:51 +00:00
# Third Racket implementation of Syndicate
2020-04-27 18:27:48 +00:00
## Quickstart
2022-05-17 11:45:34 +00:00
git clone
cd syndicate-rkt
make link
For more detail, [see below](#compiling-and-running-the-code).
2020-04-27 18:27:48 +00:00
## The language itself
This repository contains a [Racket](
implementation of Syndicate, which includes
- the implementation of the `#lang syndicate` language, in the
[`syndicate` directory](syndicate/).
- a TCP echo server example, which listens for connections on port
5999 by default, in
2021-06-22 14:17:51 +00:00
2020-04-27 18:27:48 +00:00
Connect to it using, for example, `telnet localhost 5999`.
- a number of other examples both small and large, in
2021-06-22 14:17:51 +00:00
## New design, new implementation
This implementation of Syndicate is based on the *Syndicated Actor
Model*, a design that takes the language-level constructs of facets,
capabilities denoting objects, and dataflow fields to heart. The
implementation integrates these ideas into a facet- and
assertion-oriented actor implementation and a capability-aware
dataspace implementation.
It gains a *significant* performance advantage (10-30x speedup!) over
[2017-era dataspace implementations](
by representing patterns over assertions in a
[new way](syndicate/, and a smaller but not
insignificant advantage over
[2019-era implementations](
by switching to a simpler and more general actor implementation.
The dataspace implementation techniques herein are the subject of a
forthcoming paper. The prototype that embodies the new idea is in
2020-04-27 18:27:48 +00:00
[historical/prototype.rkt](historical/prototype.rkt), and
[syndicate/](syndicate/ describes the
approach via prose.
All the drivers end up looking much nicer with this new
implementation. The previously-separate GL-2D support is now
integrated as just another driver (though the timing characteristics
2021-06-22 14:17:51 +00:00
of the old implementation are not precisely preserved). The connection
to the surrounding Racket environment is also much cleaner.
2020-04-27 18:27:48 +00:00
2021-06-22 14:17:51 +00:00
<!-- To see the difference in speed, try out the "many Racket logos" -->
<!-- animation example/demo after installing the `syndicate` and -->
<!-- `syndicate-examples` packages: -->
2020-04-27 18:27:48 +00:00
2021-06-22 14:17:51 +00:00
<!-- racket -l syndicate-examples/gl-2d-many -->
2020-04-27 18:27:48 +00:00
2021-06-22 14:17:51 +00:00
<!-- Hopefully you'll get a smooth 60fps, though I admit I'm running it on -->
<!-- a fairly fast machine so you might need to drop the `sprite-count` in -->
<!-- the code a bit to sustain 60fps. -->
2020-04-27 18:27:48 +00:00
## Compiling and running the code
2021-06-22 14:17:51 +00:00
You will need Racket version 8.1 or later.
2020-04-27 18:27:48 +00:00
Once you have Racket installed, run
2021-06-22 14:17:51 +00:00
<!-- raco pkg install syndicate -->
2020-04-27 18:27:48 +00:00
2021-06-22 14:17:51 +00:00
<!-- to install the package from the Racket package repository, or -->
2020-04-27 18:27:48 +00:00
raco pkg install --link syndicate
from the root directory of the Git checkout to install the package
from a local snapshot. This will make `#lang syndicate` available to
Repeat the process with `syndicate-examples` in place of `syndicate`
to install the examples as well.
Alternatively, `make link` from the root directory of the Git checkout
installs both packages from the local copy.
### Running the tests
The implementation test suite lives in [syndicate/test/](syndicate/test/). Run it with:
raco setup syndicate; raco test -p syndicate
## Distribution
2020-04-27 18:27:48 +00:00
### License
This program is distributed under the terms of the [LGPLv3
license]( or any later version.
Documentation is distributed under the terms of the [CC BY 4.0
### Authors
2021-06-04 09:15:05 +00:00
- Tony Garnock-Jones
### Contributors
2021-06-04 09:15:05 +00:00
Contributors can be found by inspecting the history of the source
control repository.
### How to contribute
As contributor, you retain the copyright of your work, but it must be
2021-06-04 09:15:05 +00:00
distributed using the same license as this software. For minor patches
like bug fixes, typo corrections, or improvements to the
documentation, this will be implicit, and will be documented in the
history of the source control repository. In case of major
contributions, you must also update the header of the modified source
code files, specifying something like this:
SPDX-License-Identifier: LGPL-3.0-or-later
Copyright (C) 2019-2021 Previous Author <>
Copyright (C) YYYY-YYYY New Contributor <>