Examples

Author: grussorusso

docs/writing-functions.md

@@ -51,35 +51,8 @@ installation path added to the `PATH` environment variable.
 
 ### Examples
 
-**Wasm file smaller than 2MB**: assuming we have a `hello.wasm` file inside the
-`/home/user/code/` directory
+See `examples/wasi`.
 
-A function can be created using this command:
-
-	serverledge-cli create -f func-name \
-		--runtime wasi \
-		--src /home/user/code/hello.wasm \
-		--custom_image hello
-
-**Python** (using the official build): assuming the `.tar` is hosted on
-`localhost:8000/python.tar` and inside the `.tar` file there is a `func.py`
-
-At the time of writing, the official build is provided by the maintainer of the
-WASI platform in Python at the following [link](https://github.com/brettcannon/cpython-wasi-build/releases/tag/v3.13.0)
-
-Serverledge assumes the structure of the `python.tar` file to be the following:
-
-- `func.py`: the main source file; the name must be specified in the `handler` argument of the function creation
-- `python.wasm` (obtained through the link above)
-- `lib/` (obtained through the link above)
-
-A function can be created using this command:
-
-	serverledge-cli create -f func-name \
-		--runtime wasi \
-		--src http://localhost:8000/python.tar \
-		--custom_image python \
-		--handler func.py
 
 ## Custom function runtimes
 

examples/wasi/Makefile

@@ -0,0 +1,13 @@
+WASI-CC=$${HOME}/wasi-sdk/bin/clang
+WASI-LD=$${HOME}/wasi-sdk/bin/wasm-ld
+
+CFLAGS=--sysroot=$${HOME}/wasi-sdk/share/wasi-sysroot
+
+all: 
+	$(WASI-CC) $(CFLAGS) fibonacci.c -o fibonacci.wasm
+
+clean:
+	@rm -rf fibonacci.wasm
+
+
+.PHONY: all clean

examples/wasi/README.md

@@ -0,0 +1,21 @@
+## C 
+
+Download WASI SDK [here](https://github.com/WebAssembly/wasi-sdk/releases).
+At the time of writing the latest release is WASI SDK 25
+
+Update the location of the downloaded SDK in `Makefile`.
+
+The example `fibonacci.c` is compiled to `fibonacci.wasm`:
+
+    make
+
+The function can be created using this command:
+
+	serverledge-cli create -f fib-wasi \
+		--runtime wasi \
+		--src fibonacci.wasm \
+		--custom_image fibonacci
+
+## Python
+
+See the `python` directory.

examples/wasi/fibonacci.c

@@ -0,0 +1,16 @@
+#include <stdint.h>
+#include <stdio.h>
+
+uint32_t fib(uint32_t n) {
+  if (n <= 1)
+    return n;
+  return fib(n - 1) + fib(n - 2);
+}
+
+int main(int argc, char **argv) {
+  uint32_t n = 30;
+
+  uint32_t result = fib(n);
+  printf("%u\n", result);
+  return 0;
+}

examples/wasi/python/README.md

@@ -0,0 +1,20 @@
+
+**Python** (using the official build): assuming the `.tar` is hosted on
+`localhost:8000/python.tar` and inside the `.tar` file there is a `sieve.py`
+
+At the time of writing, the official build is provided by the maintainer of the
+WASI platform in Python at the following [link](https://github.com/brettcannon/cpython-wasi-build/releases/tag/v3.13.0)
+
+Serverledge assumes the structure of the `python.tar` file to be the following:
+
+- `sieve.py`: the main source file; the name must be specified in the `handler` argument of the function creation
+- `python.wasm` (obtained through the link above)
+- `lib/` (obtained through the link above)
+
+A function can be created using this command:
+
+	serverledge-cli create -f func-name \
+		--runtime wasi \
+		--src http://localhost:8000/python.tar \
+		--custom_image python \
+		--handler sieve.py

examples/wasi/python/sieve.py

@@ -0,0 +1,36 @@
+import sys
+import json
+
+
+def sieve(limit: int) -> list[int]:
+    sieve: list[bool] = [False] * (limit + 1)
+    primes: list[int] = list()
+    for i in range(2, limit + 1):
+        if not sieve[i]:
+            primes.append(i)
+            for j in range(i << 1, limit + 1, i):
+                sieve[j] = True
+    return primes
+
+
+if __name__ == "__main__":
+    limit = 100000
+    if len(sys.argv) > 1:
+        params = json.loads(sys.argv[1])
+        if "limit" in params:
+            limit = int(params["limit"])
+    primes = sieve(limit)
+
+    print(primes)
+
+
+def handler(params, context):
+    limit = 100000
+    if len(sys.argv) > 1:
+        params = json.loads(sys.argv[1])
+        if "limit" in params:
+            limit = int(params["limit"])
+    primes = sieve(limit)
+
+    print(primes)
+    return primes