Browse Source

Add cached_query test for Ur/Web (#3839)

* Ur/Web needs Ubuntu package 'mlton'

* All Ur/Web infrastructure now pulled from Ubuntu

* Remove unused Ur/Web library

* Load other Ur/Web standard-library modules

* Try removing more explicit apt dependencies of urweb

* Switch Ur/Web to Ubuntu 18.04

* Add cached_query_url test for Ur/Web

* A pesky stray comma

* Correct database in Ur/Web benchmark_config
Adam Chlipala 7 năm trước cách đây
mục cha
commit
3b5d88fd6c

+ 1 - 0
frameworks/Ur/urweb/.gitignore

@@ -0,0 +1 @@
+*~

+ 30 - 0
frameworks/Ur/urweb/benchmark_config.json

@@ -39,6 +39,36 @@
       "webserver": "None",
       "os": "Linux",
       "database_os": "Linux"
+    },
+    "cache": {
+      "setup_file": "setup-postgresql",
+      "cached_query_url": "/queries/",
+      "port": 8080,
+      "approach": "Realistic",
+      "classification": "Fullstack",
+      "database": "Postgres",
+      "framework": "urweb",
+      "language": "Ur",
+      "orm": "Micro",
+      "platform": "Ur/Web",
+      "webserver": "None",
+      "os": "Linux",
+      "database_os": "Linux"
+    },
+    "mysql-cache": {
+      "setup_file": "setup-mysql",
+      "cached_query_url": "/queries/",
+      "port": 8080,
+      "approach": "Realistic",
+      "classification": "Fullstack",
+      "database": "MySQL",
+      "framework": "urweb",
+      "language": "Ur",
+      "orm": "Micro",
+      "platform": "Ur/Web",
+      "webserver": "None",
+      "os": "Linux",
+      "database_os": "Linux"
     }
   }]
 }

+ 10 - 0
frameworks/Ur/urweb/urweb-cache.dockerfile

@@ -0,0 +1,10 @@
+FROM ubuntu:18.04
+
+ADD ./ /urweb
+WORKDIR /urweb
+
+RUN apt update -yqq && apt install -yqq urweb
+
+RUN urweb -sqlcache -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=tfb-database" bench
+
+CMD ./bench.exe -q -k -t $((2 * $(nproc)))

+ 10 - 0
frameworks/Ur/urweb/urweb-mysql-cache.dockerfile

@@ -0,0 +1,10 @@
+FROM ubuntu:18.04
+
+ADD ./ /urweb
+WORKDIR /urweb
+
+RUN apt update -yqq && apt install -yqq urweb
+
+RUN urweb -sqlcache -dbms mysql -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=tfb-database" bench
+
+CMD ./bench.exe -q -k -t $((2 * $(nproc)))