np/verilog-playground
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Compare commits

base: np:5a23aa8e0f8ee233461cf56094e470b7d3fc35c3
Branches Tags
np:main
...
compare: np:6a9959f98d494752c3c4331df4e329f7ee465e6c
Branches Tags
np:main

4 Commits
5a23aa8e0f ... 6a9959f98d

Author SHA1 Message Date
Nikolay Puzanov
6a9959f98d Add docker related files 2022-12-01 22:05:28 +03:00
Nikolay Puzanov
61a16ad2cd Add charset meta to html page 2022-12-01 22:05:01 +03:00
Nikolay Puzanov
9f4fbe2499 Rename file 2022-12-01 22:04:50 +03:00
Nikolay Puzanov
347dfa0af6 CTRL-C as $finish 2022-12-01 19:33:53 +03:00
9 changed files with 102 additions and 12 deletions
Show Stats Expand all files Collapse all files

36
_web_server/Dockerfile Normal file
View File

@ -0,0 +1,36 @@
# syntax=docker/dockerfile:1
FROM ubuntu:22.10
LABEL description="Verilog playground"
# Prepare OS
RUN apt-get -y update \
&& apt-get -y install iverilog guile-3.0 locales git
RUN sed -i '/en_US.UTF-8/s/^# //g' /etc/locale.gen \
&& locale-gen
# Environment
ENV GIT_SSL_NO_VERIFY=1
ENV GUILE_LOAD_PATH=/server/embddr-scheme-library
ENV LANG=en_US.UTF-8
ENV DONOTUSEFIREJAIL=1
# Copy server files
WORKDIR /server
COPY server/* ./
RUN git clone https://git.embddr.com/np/embddr-scheme-library.git
RUN mkdir play-work /verilog-playground-store
EXPOSE 8080
VOLUME /verilog-playground-store
CMD [ "guile", "-e", "main", \
"./playground-server.scm", \
"--port=8080", \
"--addr=0.0.0.0", \
"--host=https://play.embddr.com", \
"--iverilog-exe=./iverilog", \
"--vvp-exe=./vvp", \
"--max-len=10000", \
"--work-base=play-work", \
"--stor-base=/verilog-playground-store", \
"--log-level=2" ]

3
_web_server/container-create.sh Executable file
View File

@ -0,0 +1,3 @@
#!/usr/bin/env bash
docker build -t playground .

45
_web_server/container-run.sh Executable file
View File

@ -0,0 +1,45 @@
#!/usr/bin/env bash
if [ 0 -eq "$#" ]; then
echo "Usage $0 start/stop/status"
exit -1
fi
action=$1
container=playground
case $action in
"start")
cid=$(docker container ls -q -a -f name=$container)
if [ -z "$cid" ]; then
docker run -d --name $container \
-p 127.0.0.1:8089:8080 \
-v /srv/playground/storage:/verilog-playground-store \
--cpus=1 --memory=16g --memory-swap=16g \
$container
else
docker start $container
fi
;;
"stop")
# Press twice CRTL-C
docker kill -s SIGINT $container
docker kill -s SIGINT $container
;;
"status")
cid=$(docker container ls -q -f name=$container)
if [ -z "$cid" ]; then
echo "Stopped"
else
echo "Started"
fi
;;
"*")
echo "Unknown action $action. Actions start, stop and status are allowed"
;;
esac

9
_web_server/server/firejailed.sh
View File

@ -1,9 +0,0 @@
#!/usr/bin/env bash
exe=$(basename $0)
exec firejail --noprofile --quiet \
--rlimit-cpu=1 \
--rlimit-as=100m \
--rlimit-fsize=1m \
"$exe" "$@"

1
_web_server/server/index.html
View File

@ -1,6 +1,7 @@
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8"/>
<title>Verilog Playground</title>
<style type="text/css" media="screen">
@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono&display=swap');

2
_web_server/server/iverilog
View File

@ -1 +1 @@
./firejailed.sh
run-restricted

2
_web_server/server/playground-server.scm
View File

@ -291,7 +291,7 @@
(values status compile-log)
;; Execute
(let ((cmdline (format "~a ~a" vvp-exe exe-file)))
(let ((cmdline (format "~a -N ~a" vvp-exe exe-file)))
(let-values (((status out)
(system-to-string cmdline)))
(let ((execution-log

14
_web_server/server/run-restricted Executable file
View File

@ -0,0 +1,14 @@
#!/usr/bin/env bash
exe=$(basename $0)
if [ -z "$DONOTUSEFIREJAIL" ]; then
exec firejail \
--quiet --noprofile \
--rlimit-cpu=5 \
--rlimit-as=250m \
--rlimit-fsize=250k \
"$exe" "$@"
else
exec timeout -v -s INT 5 "$exe" "$@"
fi

2
_web_server/server/vvp
View File

@ -1 +1 @@
./firejailed.sh
run-restricted