smarr / SOMns

78%

master: 98%

LAST BUILD ON BRANCH csp

branch: csp

CHANGE BRANCH

x

Reset

• csp
• 070-release-prep
• 1-gitlab-ci
• 1-libgraal
• activity-default-methods
• actor-dym
• actor-optimizations
• and
• artifact
• async-demo
• avoid-block-splitting
• bd-inlining
• bd-primitives
• bitor-prim
• blocking-prims-and-safepoints
• chatapp-maintenance
• chatapp-opt-experiments
• check-isvalue-for-actor-creation
• citation
• cleanup
• cleanup-dm-flags
• cleanup-lexer
• context-profile
• coveralls
• csp-msg-breakpoints
• csp-tests
• da-ut-extract-benchmarks
• da/TO-custom-bytebuffer
• da/replay-opts
• da/tracing-overhaul
• debugger-tests
• del-ns
• dev
• disable-noctxopt-for-debugging
• docs
• dym
• error-instead-of-assertion
• exit-handling
• exit-on-error
• exp/chatapp
• extension-modules
• far-ref-bug
• fix-actor-debugger-tests
• fix-bd-build-setup
• fix-clobber
• fix-flags-and-pinning
• fix-incorrect-sync-on-lock
• fix-lexer-avoid-reflection
• fix-libgraal
• fix-statement-tags
• fix-travis-and-codespeed
• fj-benchmark
• fj-java
• fork-join-clean-2
• graal-usage
• improve-behavior-on-halt-prim
• in-parser-specialization
• inlining-and-var-handling
• java-coverage
• jcstress
• jdk10
• kent-ci
• kompos-demo-bench
• kompos-fixes
• kompos-tests
• lee-vacation-benchmarks
• ls-improvements
• lsp-improvements
• maintenance
• master
• message-stepping
• modernize-travis-ci
• moth/integrate-repos
• move-to-bd
• multi-paradigm-bench
• mx
• npm-test
• ns-array-literals-final
• ns-benchmarks
• ns-compat
• ns-file-names
• ns-message-cascades
• ns-numeric-literals
• ns-object-literals-opt-determine-ctx-dynamically
• object-model
• object-model-race
• opt-outer-sends-to-self
• optimize-build
• parser-array-dict
• parser-messages
• perf-changes
• pinning
• pr/make-instrumentation-of-prims-more-robust
• pre-svm-gc
• prepare-release
• prim-constructors
• primitive-cleanup
• protocol-overview
• rdb
• reduce-compilation-threshold
• reduce-noise
• release
• release-prep
• remove-kompos-specific-protocol
• remove-method-cats
• remove-while-node
• safepoint
• safepoint-fix
• savina-maintenance
• self-in-locals
• setter-sends
• simplify-launcher
• so-on-race
• som-exp-for-module-not-found
• string-and-file-compilation
• super-instruction-detector
• svm
• svm-gc
• swap-tracing-buffers-for-blocked-threads
• termination
• test-csp-breakpoints
• test-inst-issue
• threading/transactions
• tinyBenchmarks
• travis-fold
• truffle-boundaries-for-svm
• truffle-update
• ts-update
• unify-scope
• unlink-promise-data
• update-ls
• update-publication-list
• update-truffle
• update-truffle-0.25
• update-truffle-wip
• use-unified-graal-repo
• user-friendly-errors
• v0.1.0
• v0.2.0
• v0.4.0
• v0.6.0
• v0.7.0
• various-fixes
• warmup
• while-true-cleanup

Build # 1026

Build Type

push

travis-ci

Committed by smarr

Commit Message

Implement basic Communicating Sequential Processes support

This sketch provides a first library for CSP in SOMns.
Processes are completely isolated and spawned from Process classes.

While the class needs to be a Value, the object does not.

ProcessesTests.som provides a minimal set of tests.

The design is discussed here:
http://stefan-marr.de/2017/01/communicating-sequential-processes-for-newspeak-somns/

Signed-off-by: Stefan Marr <git@stefan-marr.de>

Run Details

3941 of 5021 relevant lines covered (78.49%)

1862.08 hits per line