Mercurial > hg > Members > innparusu > slides

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_08_02/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,41 @@
+title: Gears OS
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# 今週
+- 研究関連は進んでないです
+- プロ1の最終レポートの勉強会をしました
+
+# プロ1
+- 前期はずっと Python
+    - C は プロ2 でやるそうです
+- 関数
+- 基本構文
+    - if
+    - for
+    - while
+- スコープ
+- doctest をつかったユニットテスト
+- docstring を使ったコメント、document
+
+# プロ1
+- KISS原則とDRY 原則
+- 再帰
+- File I/O
+- Tuples, List, Dictionaries, String
+- Functions Objects
+    - higher order function
+- IDE(PyCharm)
+    - JetBrains 製なので UI はほぼ intelliJ
+- PyCharm を使った Debug
+- 例外
+- Assertion
+- Version Control
+
+# 最終レポート勉強会
+- 巡回セールスマン問題を力技で解く
+    - 全ての順路の列挙して最小を探す
+- 楽しく13時間
+- 最初は15名くらいいたけど、 最終的には2~3名程度に
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_08_23/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,19 @@
+title: Gears OS
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# 研究目的
+- 当研究室では  処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
+- Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う
+- 現在のGears OS は 依存関係がある並列処理を行うことが出来ない。 今研究ではGears OS の依存関係の解決を目標とする
+
+# いろいろ
+- 楽しいの夏休みだった
+- PD が終わった
+- ワークショップどうしよう
+
+# ワークショップ
+- M1 主催で研究計画書かしてよろしく！
+- M1 が思ったより少ないので M2 もよろしく!
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_09_13/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,50 @@
+title: Gears OS
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# 研究目的
+- 当研究室では  処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
+- Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う
+- 現在のGears OS は 依存関係がある並列処理を行うことが出来ない。 今研究ではGears OS の依存関係の解決を目標とする
+
+# 夏休みイベント
+- ワークショップどうしよう
+
+# ワークショップ
+- M1 主催で研究計画書かしてよろしく！
+- M1 が思ったより少ないので M2 もよろしく!
+
+# Dependency は?
+- 絶賛デバッグ中
+- ``context->next`` を結構多用してるので直す
+- 実行する CS
+
+``` c
+__code add(struct Context* context, struct Integer* input1, struct Integer* input2, struct Integer* output) {
+    output->value = input1->value + input2->value;
+    printf("%d + %d = %d\n", input1->value, input2->value, output->value);
+    goto meta(context, context->next);
+}
+
+__code add_stub(struct Context* context) {
+    goto add(context,
+            (struct Integer*)((struct Task*)(context->data[Element]->element.data))->iargs[0],
+            (struct Integer*)((struct Task*)(context->data[Element]->element.data))->iargs[1],
+            (struct Integer*)((struct Task*)(context->data[Element]->element.data))->oargs[0]);
+}
+
+// こう書きたい?
+// input と output の区別を付けたい
+//
+
+__code add(struct Integer* input1, struct Integer* input2) {
+    output->value = input1->value + input2->value;
+    printf("%d + %d = %d\n", input1->value, input2->value, output->value);
+    goto next
+}
+```
+
+# 来週
+- 東京にいます
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_09_30/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,8 @@
+title: B4 ワークショップ!
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# とりあえず目に付いた点
+- 計画概要が研究概要になってる人が多い
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_10_04/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,102 @@
+title: Gears OS
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# 研究目的
+- 当研究室では  処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
+- Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う
+
+# 今週やってたこと
+- red black Tree の stack_push, pop の取り除き
+- コーディングルールを確認
+
+# rbTree
+- staskに積まれるnodeを ``traverse->nodeStack`` に格納する
+- nodeStack は element なので  next をもつ
+
+```
+struct Traverse {
+    enum Code next;
+    enum Code rotateNext;
+    struct Node* current; // reading node of original tree
+    struct Node* newNode; // writing node of new tree
+    struct Element* nodeStack;
+    int result;
+} traverse;
+```
+
+# rbTree
+```
+__code replaceNode(struct Context* context, struct Traverse* traverse, struct Node* oldNode, struct Node* newNode, struct Element* element) {
+    *newNode = *oldNode;
+    element->next = traverse->nodeStack;
+    element->data = (union Data* )newNode;
+    traverse->nodeStack = element;
+    // goto replaceNode1(struct Traverse* traverse, struct Node* node, struct Node* oldNode, struct Node* newNode, +struct Node* newnewNode, int result)
+    goto meta(context, Replace1);
+}
+
+__code replaceNode_stub(struct Context* context) {
+    struct Allocate* allocate = &context->data[Allocate]->allocate;
+    allocate->size = sizeof(struct Element);
+    allocator(context);
+    struct Element* element = &context->data[context->dataNum]->element;
+    goto replaceNode(context,
+                  &context->data[Traverse]->traverse,
+                  context->data[Traverse]->traverse.current,
+                  context->data[Traverse]->traverse.newNode,
+                  element);
+}
+```
+
+```
+__code replaceNode(struct Context* context, struct Traverse* traverse, struct Node* oldNode, struct Node* newNode, int result) {
+    *newNode = *oldNode;
+    stack_push(context->node_stack, &newNode);
+    if (result == EQ) {
+        newNode->value = context->data[Node]->node.value;
+        // go to stack clear
+        stack_pop(context->code_stack, &context->next);
+        goto meta(context, context->next);
+    } else if (result == GT) {
+        traverse->current = oldNode->right;
+        newNode->right = context->heap; // allocator(context,struct Node)
+    } else {
+        traverse->current = oldNode->left;
+        newNode->left = context->heap;
+    }
+
+    allocator(context);
+
+    if (traverse->current) {
+        compare(context, traverse, traverse->current->key, context->data[Node]->node.key);
+        goto meta(context, Replace);
+    }
+    goto meta(context, Insert);
+}
+
+__code replaceNode_stub(struct Context* context) {
+    goto replaceNode(context,
+                     &context->data[Traverse]->traverse,
+                     context->data[Traverse]->traverse.current,
+                     &context->data[context->dataNum]->node, // new Node
+                     context->data[Traverse]->traverse.result);
+
+}
+```
+
+
+# いろいろ
+- 引数
+    - ``__code code1(struct Node* +node)`` みたいに新しく allocate するものは+ を付ける
+- stack と queue の api が欲しい
+    - Stack interface & Queue interface を用意してそこに operatorの csの番号を持たせる(popとかpushに)
+    - データ構造の生成時に interface の cs の番号を送ることで データ構造が持つ型によって実行する CS を変える
+    - とりあえず保留にしとこう
+- allocate
+    - allocate はやっぱり CS であるべきだよね
+    - allocate で作ったものをどう参照するか
+- DS
+    - enum DataType を union Data の要素につける
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_10_18/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,21 @@
+title: プロ4
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+# 今週
+- 研究関連はしてない
+- プログラミング4
+- jenkins の設定(昨日)
+
+# プロ4
+- チームが多かった(8ぐらいいた)
+- 1人チーム? が3つほど
+- Twitter がほとんどで Facebook, Line が一チームずつ
+- db のrelationまでやってるチームが 1,2つ
+- Wordpress に書き込み権限がなかったので, とりあえず slack で報告してもらうことに(まだ来てない)
+
+# プロ4
+- とりあえず今週はやるかどうかわからないので, 2週を目処に web サービスとスマホアプリの連携 と 自分たちがやりたいことを mindmap にまとめてくると言う課題を出しました
+- １人チームで環境構築さえできてない人もいたので, 強制的にチームを決めて方が良いかもしれない
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2016/2016_10_25/slide.md	Tue Oct 25 19:50:03 2016 +0900
@@ -0,0 +1,122 @@
+title: Gears OS
+author: Tatsuki IHA
+profile:
+lang: Japanese
+code-engine: coderay
+
+## 研究目的
+- 当研究室では  処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
+- Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う
+- 現在の Gears では Stack や Queue の operatation の API が存在しなため, 記述が困難になっている. そのため, この研究では Gears OS における API の記述方法を設計し, 実装する
+
+## 今週
+- rb_tree をとりあえず error はとりました
+    - 動いてない
+- Jenkins の update をしました 2.17 -> 2.26
+    - yum で jenkins を入れてたので yum update jenkins で update できました
+
+## StackInterface
+- ``struct Stack`` は 実際の Stack の実装(StackSelf)と push, pop, isEmpty を設定
+
+``` c
+struct Stack {
+    union StackSelf* stack;
+    union Data* data;
+    enum Code push;
+    enum Code pop;
+    enum Code isEmpty;
+    enum Code next;
+} stack;
+union StackSelf {
+    struct SingleLinkedStack {
+        struct Stack i;
+        struct Element* top;
+    } singleLinekedStack;
+    struct ArrayStack {
+        int size;
+        int limit;
+        struct Element* array;
+    } arrayStack;
+};
+```
+
+## push continuation
+- push を継続する際は ``stack->data`` を入れて ``stack->push`` を呼び出す
+
+``` c
+__code put(struct Context* context, struct Stack* nodeStack,  struct Tree* tree, struct Node* node, struct Traverse* traverse, struct Node* root, struct Node* newNode) {
+    ....
+        traverse->current = root;
+        // traverse->result = traverse->compare(traverse->current, node);
+        traverse->result = compare(traverse->current, node);
+        *traverse->newNode = *traverse->current;
+        nodeStack->data = (union Data*)newNode; // set push data
+        nodeStack->next = Replace1;
+        goto meta(context, nodeStack->push);
+        // goto traverse->nodeStack->push(newNode, replaceNode1, traverse, node);
+}
+```
+
+## compare function
+- compare は コメントに沿って node 2つを取って, return する形にしました
+
+``` c
+void compare(struct Context* context, struct Traverse* traverse, int key1, int key2) {
+    if (key1 == key2) {
+        traverse->result = EQ;
+    } else if (key1 < key2) {
+        traverse->result = GT;
+    } else {
+        traverse->result = LT;
+    }
+}
+```
+
+``` c
+enum Relational compare(struct Node* node1, struct Node* node2) {
+    int key1 = node1->key;
+    int key2 = node2->key;
+    if (key1 == key2) {
+        return EQ;
+    } else if (key1 < key2) {
+        return GT;
+    } else {
+        return LT;
+    }
+}
+```
+
+## pop operation
+- まだ例の部分を書いてない
+- `stack->data` に pop した値を入れる感じになりそう
+
+``` c
+__code popSingleLinkedStack(struct Context* context, struct SingleLinkedStack* stack, union Data* data, enum Code next) {
+    data = stack->top->data;
+    stack->top = stack->top->next;
+    goto meta(context, next);
+}
+
+__code popSingleLinkedStack_stub(struct Context* context) {
+    goto popSingleLinkedStack(context,
+                               &context->data[Stack]->stack.stack,
+                               context->data[Stack]->stack.data,
+                               context->data[Stack]->stack.next);
+}
+```
+
+## わかってない
+- Stack 等の初期化をどこでやるか？
+- 今のところ initContext に書いている
+- でも create~~stack はあるから多分これを呼ぶ
+
+``` c
+__code createSingleLinkedStack(struct Context* context, enum Code next) {
+    struct SingleLinkedStack* stack = allocate(context, SignleLinkedStack);
+    stack->top = NULL;
+    stack->i.push = PushSingleLinkedStack;
+    stack->i.pop = PopsingleLinkedStack;
+    stack->i.isEmpty = _;
+    goto meta(context, next);
+}
+```