changeset 39:4a4d6e475571

add 07th.txt
author Masataka Kohagura <e085726@ie.u-ryukyu.ac.jp>
date Sat, 08 Feb 2014 03:51:57 +0900
parents 85f3125dd461
children 2b55530913a2
files 2014/February/memo/07th.txt 2014/February/memo/MMAPvsDivideRead.txt 2014/OUTLINE
diffstat 3 files changed, 81 insertions(+), 25 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2014/February/memo/07th.txt	Sat Feb 08 03:51:57 2014 +0900
@@ -0,0 +1,46 @@
+2014/02/07 (Fri)
+    [Today's goal]
+    mmap を Task から 関数に変更
+    微調整
+    様々な測定
+
+    [memo]
+
+    ファーストオーダーロジック
+
+    ゲーテル
+    不完全性定理 vlid 
+    完全性定理 valid であればその論理の証明が存在する
+
+    強制法
+    ↓
+    選択公理
+
+    構成可能な集合(空集合を要素にもつ集合)
+    構成可能な集合以外を含む集合も証明可能 
+    -> 強制法 forcing
+
+    カテゴリ
+    A->B ->C
+
+    A->C 
+
+    ハイオーダーロジックは数式とか記号とかでの証明
+    カテゴリをコンピュータサイエンスに応用できないか?
+    「category theory for computing science」
+
+    唯一まともなのは茂木健一郎「モナド」
+    モナドはリフレクションだけが会ってレイフィケーションはない
+
+    リフレクションはオブジェクトをメタオブイェクトに
+    ex:ユーザランドからカーネルに設定 limt とかなにか
+    レイフィケーションがメタオブジェクトからオブイェクトにする
+    ex:pidをとってくるとか
+
+    OS: カーネルランドがメタオブイェクト、ユーザランドがオブジェクト
+
+    ヨコテさんが作ったのがアイボとかに使われている OS
+
+    証明可能の後ろに「否定」をつけると矛盾が生じる
+
+    DSはリフレクションとレイフィケーション両方あるようにつくる
--- a/2014/February/memo/MMAPvsDivideRead.txt	Fri Feb 07 14:14:22 2014 +0900
+++ b/2014/February/memo/MMAPvsDivideRead.txt	Sat Feb 08 03:51:57 2014 +0900
@@ -13,29 +13,30 @@
 
     bm_search one task size 16k
     [結果]
-          |    -SPE_ANY--    |    ---IO_0---    |
-    CPUNUM|    MMAP     DRead|    MMAP     DRead|
-        1
-        2                     68.971206  95.865063
+          |          -SPE_ANY-|--IO_0---|
+    CPUNUM|    MMAP      DRead|   DRead|
+        2                      95.865063
         3
-        4                     74.588351  104.667434
-        5
-        6                     98.992865   95.331606
-        7
-        8                     69.480705  114.974203
-        9
-       10
-       11
-       12                     82.505081  99.524560
-       13
-       14
-       15
-       16
-       17
-       18
-       19
-       20
-       21
-       22
-       23
-       24                      65.371087 99.040944
+        4                      104.667434
+        8                      114.974203
+       12  111.810354          147.010479
+       24                      99.040944
+
+       12 MMAP 111.810354 63.559829 77.970525
+    IO_0 BRead  79.868357 115.067654 107.77211 96.924706
+ SPE_NUM BRead  102.420338 120.658969 102.126428 118.725368
+
+       11 MMAP 
+    IO_0 BRead 99.384507 116.714300 134.678377 97.970632
+
+        4
+    IO_0 BRead 102.480095 
+
+        filesize 15GB
+        12
+    mmap        160.332098 224.448694
+    IO_0 BRead     276.518567  205.553947
+
+        12   1 Task size 65536
+    mmap       210.000087
+    IO_0 BRead 209.456416
--- a/2014/OUTLINE	Fri Feb 07 14:14:22 2014 +0900
+++ b/2014/OUTLINE	Sat Feb 08 03:51:57 2014 +0900
@@ -1,3 +1,12 @@
+2014/02/07 (Fri)
+    [Today's goal]
+    mmap を Task から 関数に変更
+    微調整
+    様々な測定
+
+    [memo]
+    kono先生のよくわからない話シリーズ
+
 2014/02/06 (Thu)
     [Today's goal]
     divide read と Task 実行の並列化