https://github.com/stiffstream/so5-dining-philosophers
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
https://github.com/stiffstream/so5-dining-philosophers
communicating-sequential-processes concurrency cplusplus cplusplus-14 sobjectizer
Last synced: 7 months ago
JSON representation
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
- Host: GitHub
- URL: https://github.com/stiffstream/so5-dining-philosophers
- Owner: Stiffstream
- Created: 2020-01-26T06:33:48.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-01-12T12:58:33.000Z (over 4 years ago)
- Last Synced: 2024-12-28T11:28:17.834Z (over 1 year ago)
- Topics: communicating-sequential-processes, concurrency, cplusplus, cplusplus-14, sobjectizer
- Language: C++
- Homepage:
- Size: 53.7 KB
- Stars: 1
- Watchers: 5
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This repository contains several implementations of solutions for ["Dining Philosophers" problem](https://en.wikipedia.org/wiki/Dining_philosophers_problem). These solutions are built by using Actor and CSP models on top of [SObjectizer](https://stiffstream.com/en/products/sobjectizer.html) framework.
# How To Obtain And Try?
## Prerequisites
Since Jan 2020 a compiler with support of C++17 is required. A C++14 version can be found under the [tag 20190129](https://github.com/Stiffstream/so5-dining-philosophers/tree/20190129).
## How To Obtain?
This repository contains only source codes of the examples. SObjectizer's source code is not included into the repository.
There are two ways to get the examples and all necessary dependencies.
### Download The Full Archive
There is a [Releases section](https://github.com/Stiffstream/so5-dining-philosophers/releases). It contains archives with all source codes (it means that an archive contains sources of the examples and sources
of all necessary subprojects). The simpliest way is to download a corresponding archive, unpack it, go into
`so5-dining-philosophers/dev`, then compile and run.
### Use MxxRu::externals
It this case you need to have Ruby + MxxRu + various utilities which every Linux/FreeBSD/macOS-developer usually have (like git, tar, unzip and stuff like that). Then:
1. Install Ruby, RubyGems and Rake (usually RubyGems is installed with Ruby but sometimes you have to install it separatelly).
2. Install MxxRu: `gem install Mxx_ru`
3. Do git clone: `git clone https://github.com/Stiffstream/so5-dining-philosophers`
4. Go into appropriate folder: `cd so5-dining-philosophers`
5. Run command `mxxruexternals`
6. Wait while add dependencies will be downloaded.
Then go to `dev` subfolder, compile and run.
## How To Try?
### Building With CMake
A well known chain of actions:
~~~~~
cd so5-dining-philosophers/dev
mkdir cmake_build
cd cmake_build
cmake -DCMAKE_INSTALL_PREFIX=target -DCMAKE_BUILD_TYPE=release ..
cmake --build . --config Release
cmake --build . --config Release --target test
~~~~~
Note that on Windows the last command can looks like:
~~~~~
cmake --build . --config Release --target run_tests
~~~~~
### Building With MxxRu
The following chain of actions is necessary for building with MxxRu:
~~~~~
cd so5-dining-philosophers/dev
ruby build.rb
~~~~~