Add tests

Author: timvdalen

composer.json

@@ -17,5 +17,11 @@
 	"require": {
 		"predis/predis": "^1.1",
 		"ramsey/uuid": "^3.7"
+	},
+	"require-dev": {
+		"symfony/process": "^4.0"
+	},
+	"scripts": {
+		"test": "php test/index.php"
 	}
 }

composer.lock

@@ -0,0 +1,22 @@
+Tests
+=====
+
+Because `redis-counting-semaphore` is a distributed algorithm, unit tests don't mean everything.
+For the correctness of the algorithm, I refer to the book (https://redislabs.com/ebook/part-2-core-concepts/chapter-6-application-components-in-redis/6-3-counting-semaphores/).
+
+To test the implementation, I've come up with the simulation in this folder.
+
+To run the simulation, make sure you have Docker installed and run:
+
+```
+php index.php
+```
+
+This will:
+
+* Build a docker image from the contains of `container/`
+* Get a redis docker image and start it
+* Start 100 containers based on the docker image in `container/`
+* These containers will all try to obtain the same counting semaphore with a limit of 10, 3 times
+* Check that the amount of containers in their critical section is never great than the limit of 10
+* Finally, after the critical section has been entered 300 times, the script will exit.

test/README.md

@@ -0,0 +1,4 @@
+FROM shippingdocker/php-composer:latest
+COPY . /usr/src/myapp
+WORKDIR /usr/src/myapp
+CMD composer install && php ./index.php

test/container/Dockerfile

@@ -0,0 +1,16 @@
+{
+    "name": "code-orange/redis-counting-semaphore-test",
+    "description": "Container to test code-orange/redis-counting-sempahore",
+    "type": "project",
+    "require": {
+        "code-orange/redis-counting-semaphore": "^0.1.0",
+        "predis/predis": "^1.1"
+    },
+    "license": "proprietary",
+    "authors": [
+        {
+            "name": "Tim van Dalen",
+            "email": "[email protected]"
+        }
+    ]
+}