Ha Anh Nguyen anhnguyen1618
anhnguyen1618
/ Barber semaphore
Created
December 8, 2019 08:55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| barber() { | |
| customer.acquire() | |
| seat.acquire() | |
| freeSeat ++ | |
| seat.release() | |
| cutHair() | |
| barber.release() | |
| } |
anhnguyen1618
/ gist:c55de3b5a26549aaa8c0a48b9aafe12d
Created
December 7, 2019 11:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Semaphore[] forks = {1, 1, 1, 1, 1} | |
| eat(i) { | |
| left= (i + 4) % 5 | |
| right = (i + 1) % 5 | |
| if (i == 5) { | |
| forks[right].acquire() | |
| forks[left].acquire() | |
| eat() | |
| forks[right].release() |
anhnguyen1618
/ Dining Philosopher-monitor
Last active
December 7, 2019 11:33
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Class Monitor { | |
| string[] states; | |
| cond[] q | |
| pickup() { | |
| states[i] = 'Hungry' | |
| while (check(i) == 'Hungry') { | |
| queue[i].wait() | |
| } | |
| } |
anhnguyen1618
/ gist:53272b8b20ea5413bd6091dd8d8d59bf
Created
December 6, 2019 22:44
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| readers-writers : monitor; | |
| begin | |
| readercount : integer; | |
| busy : boolean; | |
| OKtoread, OKtowrite : condition; | |
| procedure startread; | |
| begin | |
| if busy then OKtoread.wait; |
anhnguyen1618
/ gist:64dddffd019fde4b49ab2f439ee90eec
Created
December 6, 2019 14:10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Semaphore Capacity = N | |
| Semaphore hasItem = 0 | |
| Semaphore mutex = 1 | |
| Semaphore mutex_out = 1 | |
| Producer { | |
| while (True) { | |
| item = produce() | |
| Capacity.acquire() | |
anhnguyen1618
/ Dockerfile
Created
December 1, 2019 14:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM alpine:3.10 | |
| WORKDIR /application | |
| ENV ANDROID_HOME=/usr/local/android | |
| ENV JAVA_HOME=/usr/lib/jvm/java-1.8-openjdk | |
| ENV SDK_TOOLS_VERSION=sdk-tools-linux-4333796 | |
| ENV PATH=$PATH:$ANDROID_HOME/tools:$ANDROID_HOME/tools/bin | |
| ENV ANDROID_SDK_VERSION=26 | |
| ENV ANDROID_BUILD_TOOLS_VERSION=26.0.3 |
anhnguyen1618
/ openapi.yaml
Created
December 1, 2019 14:20
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| openapi: "3.0.0" | |
| info: | |
| version: 1.0.0 | |
| title: Task management API | |
| paths: | |
| /task: | |
| post: | |
| summary: Create a task |
anhnguyen1618
/ Dockerfile
Created
December 1, 2019 14:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FROM alpine:3.10 | |
| WORKDIR /usr/app | |
| COPY main.sh . | |
| RUN chmod +x ./main.sh | |
| ENV MCCCOURSE=2019 |
anhnguyen1618
/ gist:17c312271019a7736242df7c31bbf264
Created
November 21, 2019 13:01
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| =>>>>>>>>>>>>> end - time Mon Dec 31 15:20:00 EET 2018 | |
| { locationID: 132, revenue: 2308.6106,passenger: 66, trips: 41,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 138, revenue: 1518.4502,passenger: 68, trips: 45,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 237, revenue: 854.1997,passenger: 118, trips: 75,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 236, revenue: 740.7498,passenger: 100, trips: 62,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 161, revenue: 708.9797,passenger: 94, trips: 55,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 142, revenue: 664.7298,passenger: 91, trips: 58,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 239, revenue: 636.2598,passenger: 111, trips: 66,start: Mon Dec 31 14:20:00 EET 2018, end: Mon Dec 31 15:20:00 EET 2018 } | |
| { locationID: 234, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2019-10-31 20:20:42 : ===================================== | |
| 2019-10-31 20:20:42 : client-1-broker starting with process id: 5431 | |
| 2019-10-31 20:21:02 : {"time_avg": 0, "total_size": 406624, "p_id": "5431", "msg_count": 387, "fails_avg": 0, "idle": false} | |
| 2019-10-31 20:21:22 : {"time_avg": 0, "total_size": 962064, "p_id": "5431", "msg_count": 917, "fails_avg": 0, "idle": false} | |
| 2019-10-31 20:21:42 : {"time_avg": 0, "total_size": 1700904, "p_id": "5431", "msg_count": 1622, "fails_avg": 0, "idle": false} | |
| 2019-10-31 20:21:54 : {"time_avg": 17.9269101023674, "total_size": 2097048, "p_id": "5431", "msg_count": 2001, "fails_avg": 0, "idle": false} | |
| 2019-10-31 20:21:55 : ===================================== | |
| 2019-10-31 20:21:55 : client-1-broker starting with process id: 5518 | |
| 2019-10-31 20:21:55 : ===================================== | |
| 2019-10-31 20:21:55 : client-1-broker starting with process id: 5499 |