1 files changed, 65 insertions, 0 deletions

diff --git a/include/litmus/dgl.h b/include/litmus/dgl.h
new file mode 100644
index 000000000000..acd58f80b58b
--- /dev/null
+++ b/include/litmus/dgl.h
@@ -0,0 +1,65 @@
+#ifndef __DGL_H_
+#define __DGL_H_
+
+#include <litmus/color.h>
+#include <linux/list.h>
+
+/*
+ * A request for @replica amount of a single resource.
+ */
+struct dgl_req {
+        unsigned short          replicas;
+        struct list_head        list;
+        struct dgl_group_req    *greq;
+};
+
+/*
+ * Simultaneous @requests for multiple resources.
+ */
+struct dgl_group_req {
+        int                     cpu;
+        unsigned long           *requested;
+        unsigned long           *waiting;
+
+        struct dgl_req          *requests;
+
+        unsigned long long      ts;
+};
+
+/*
+ * A single resource.
+ */
+struct dgl_resource {
+        unsigned long           free_replicas;
+        struct list_head        waiting;
+};
+
+/*
+ * A group of resources.
+ */
+struct dgl {
+        struct dgl_resource     *resources;
+        struct dgl_group_req*   *acquired;
+
+        char                    requests;
+        char                    running;
+        unsigned long long      ts;
+
+        unsigned long           num_resources;
+        unsigned long           num_replicas;
+};
+
+void dgl_init(struct dgl *dgl, unsigned long num_resources,
+              unsigned long num_replicas);
+void dgl_free(struct dgl *dgl);
+
+void dgl_group_req_init(struct dgl *dgl, struct dgl_group_req *greq);
+void dgl_group_req_free(struct dgl_group_req *greq);
+
+void set_req(struct dgl *dgl, struct dgl_group_req *greq,
+             int resource, int replicas);
+
+void add_group_req(struct dgl *dgl, struct dgl_group_req *greq, int cpu);
+void remove_group_req(struct dgl *dgl, struct dgl_group_req *greq);
+
+#endif