Workflow api changes

dev/restate/service/protocol.proto

@@ -200,6 +200,60 @@ message GetStateKeysEntryMessage {
   string name = 12;
 }
 
+// Completable: Yes
+// Fallible: No
+// Type: 0x0800 + 8
+message GetPromiseEntryMessage {
+  string key = 1;
+
+  oneof result {
+    bytes value = 14;
+    Failure failure = 15;
+  };
+
+  // Entry name
+  string name = 12;
+}
+
+// Completable: Yes
+// Fallible: No
+// Type: 0x0800 + 9
+message PeekPromiseEntryMessage {
+  string key = 1;
+
+  oneof result {
+    Empty empty = 13;
+    bytes value = 14;
+    Failure failure = 15;
+  };
+
+  // Entry name
+  string name = 12;
+}
+
+// Completable: Yes
+// Fallible: No
+// Type: 0x0800 + A
+message CompletePromiseEntryMessage {
+  string key = 1;
+
+  // The value to use to complete the promise
+  oneof completion {
+    bytes completion_value = 2;
+    Failure completion_failure = 3;
+  };
+
+  oneof result {
+    // Returns empty if value was set successfully
+    Empty empty = 13;
+    // Returns a failure if the promise was already completed
+    Failure failure = 15;
+  }
+
+  // Entry name
+  string name = 12;
+}
+
 // ------ Syscalls ------
 
 // Completable: Yes

endpoint_manifest_schema.json

@@ -31,7 +31,7 @@
           },
           "ty": {
             "title": "ServiceType",
-            "enum": ["VIRTUAL_OBJECT", "SERVICE"]
+            "enum": ["VIRTUAL_OBJECT", "SERVICE", "WORKFLOW"]
           },
           "handlers": {
             "type": "array",
@@ -45,8 +45,8 @@
                 },
                 "ty": {
                   "title": "HandlerType",
-                  "enum": ["EXCLUSIVE", "SHARED"],
-                  "description": "If unspecified, defaults to EXCLUSIVE for Virtual Object. This should be unset for Services."
+                  "enum": ["WORKFLOW", "EXCLUSIVE", "SHARED"],
+                  "description": "If unspecified, defaults to EXCLUSIVE for Virtual Object or WORKFLOW for Workflows. This should be unset for Services."
                 },
                 "input": {
                   "type": "object",

service-invocation-protocol.md

@@ -342,6 +342,9 @@ descriptions in [`protocol.proto`](dev/restate/service/protocol.proto).
 | `ClearStateEntryMessage`        | `0x0801` | No          | No       | Clear the value of a service instance state key.                                                                                                                 |
 | `ClearAllStateEntryMessage`     | `0x0802` | No          | No       | Clear all the values of the service instance state.                                                                                                              |
 | `RunEntryMessage`               | `0x0C05` | No          | No       | Run non-deterministic user provided code and persist the result.                                                                                                 |
+| `GetPromiseEntryMessage`        | `0x0808` | Yes         | No       | Get or wait the value of the given promise. If the value is not present yet, this entry will block waiting for the value.                                        |
+| `PeekPromiseEntryMessage`       | `0x0809` | Yes         | No       | Get the value of the given promise. If the value is not present, this entry completes immediately with empty completion.                                         |
+| `CompletePromiseEntryMessage`   | `0x080A` | Yes         | No       | Complete the given promise. If the promise was completed already, this entry completes with a failure.                                                           |
 
 #### Awakeable identifier