Update site Sun Jun 5 00:51:18 CST 2016

cs/cs/index.html

@@ -165,7 +165,7 @@ <h4 id="date"> Fri Feb 27, 2015 </h4>
 
 </aside>
 
-<meta itemprop="wordCount" content="2393">
+<meta itemprop="wordCount" content="2610">
 <meta itemprop="datePublished" content="2015-02-27">
 <meta itemprop="url" content="http://firoyang.org/cs/cs/">
 
@@ -613,7 +613,57 @@ <h1 id="os:067ec0f34de866d1b35db70204ef4b7d">os</h1>
 我们基本上把 整个os computer都包含进来了.<br />
 但还需要细节推理.<br />
 比如, fs:<br />
-我们要先有个文件file, 各种类型</p>
+我们要先有个文件file, 各种类型<br />
+mm 和fs都是quantaties的描述, 但根本却别在于fs是有人的参与的, 也就是说操作是要满足人的需求的.<br />
+这里fs包含了各种设备.mm是process和quantaties的关系. 而fs是人与quantaties的关系.<br />
+我们不考虑各种图形界面GUI, 只考虑最基础的linux console那种情况. 当然shell和linux console也要忽略掉.<br />
+从纯粹的使用场景出发, 我们是不关心什么具体的fs实现, 我们只关心具体的用户user如何操作几个or很多的文件.<br />
+最为真实的,实惠的, 基本的用户场景. 同样作为quantaties的mm是用数字标示quantaties的. 而且signifier根植<br />
+于电路版.而fs面对的对象是人, 而有自己的语言符号系统, 而且不能通过全部number记忆东西.<br />
+所以file要有个name, 文件多了, folder就有了, folder和folder之间就类似function之间调用.<br />
+也是体现的order.<br />
+我们发现folder和file这两个就能很好的描述用户使用了. 另外还有一个就是order, 不太被在意的.<br />
+现在fs就成了name的集合了并且那么之间都是线性的关系, 我们不考虑soft link.<br />
+我们来考虑下ln: a: hard link not allowed for directory. Why?<br />
+反证法如果我们允许hard link dir, 在不recursive情况下hard link ok. But 如果recursive怎么办?<br />
+soft link 也可能递归!所以recursive不是问题. 那么什么是<br />
+mkdir -p /tmp/a /tmp/a/b<br />
+如果<br />
+ln /tmp/a /tmp/la<br />
+怎么办, 就是递归.<br />
+ln /tmp/a/ /tmp/a/b/la1<br />
+toch /tmp/a/b/la1<br />
+貌似没理解到点子上.<br />
+现在用户哪里看到的就是多树.<br />
+开始fs.<br />
+有理由把dir和file看成一个东西.<br />
+下面file代表抽象了. file代表open, 就是用户面对的那个. 指向inode对应一个文件 inode连接address space backend.<br />
+那么问题来了, 就上面这个搓比的设计我们如何管理这些inode, file可以process弄个链表(大误, 数组)什么的好办.<br />
+如, struct file __rcu * fd-array[NR_OPEN_DEFAULT]; 这个可以理解. struct fdtable fdtab; 这个就不理解了.<br />
+不去管他. 我们如何组织inode, 比如我们打开是5本电子书, 7个文件, chrome, vim, 总之很多个文件, 那么这些inode怎么办?<br />
+最简单, 列个linked list就行.<br />
+in fs, namei stands for name interpreting,  the pathname lookup mechanisms (namei) by Feb-1997 T. Schoebel-Theuer<br />
+现在关于fs就make sense了.<br />
+关于open /dev, 参考dev<em>mount().</em>. ramfs_mknod vfs_mknode<br />
+ drivers/base/devtmpfs.c &lt;<handle_create>&gt;<br />
+1. 从用户这个层面我们提供了dir 和 file, dir可以包含dir这三个concept涵盖住用户需求.</p>
+
+<p>内核一个file 对应一次open, 先walk link path 之后do_last(walk和last交互着来 in wile()) 先去dcache 找dentry,<br />
+(/dev 的dentry被pin住了, inode也建好了), 其他不在dcache找个empty dentry, 用父inode的iget之类操作<br />
+建个inode同时根据硬盘数据确定operation 类型.<br />
+我们发现:<br />
+2. file/ inode/ dentry是严格从属于fs的.<br />
+3. file -&gt; dentry -&gt; inode 这个顺序<br />
+4. inode决定了你的 fs之内的最高级别operations(如char ops). 进一步的(如tty 靠major minor)<br />
+5. special的inode不同于disk reglar 这种. 他们事先就created and pin dentry in core.<br />
+反观fs, sb和dentry是做骨架同inode是骨架的支撑, 不可缺少.<br />
+file是花拳绣腿. 有什么深刻的? 用户态松散的order和 transfer, quantaties 关系. dentry就是这种反应.<br />
+深刻1, 就是order 包含!<br />
+深刻2, 是什么, abstraction and function of everything(data, process)不同事物的抽象关系, 映射关系.<br />
+明天就是mm, 想对比fs关注与不同事物的组合, mm更纯粹, 也会涉及大quantaties的管理, 和disk之类应该有较大的相似性.<br />
+更能体现出quantaties.</p>
+
+<p>can we open a file in interrupt?</p>
 
 <h1 id="architecture-of-cs:067ec0f34de866d1b35db70204ef4b7d">architecture of cs</h1>
 

cs/index.xml

@@ -1049,7 +1049,57 @@ fs和mm本质是一回事.<br />
 我们基本上把 整个os computer都包含进来了.<br />
 但还需要细节推理.<br />
 比如, fs:<br />
-我们要先有个文件file, 各种类型</p>
+我们要先有个文件file, 各种类型<br />
+mm 和fs都是quantaties的描述, 但根本却别在于fs是有人的参与的, 也就是说操作是要满足人的需求的.<br />
+这里fs包含了各种设备.mm是process和quantaties的关系. 而fs是人与quantaties的关系.<br />
+我们不考虑各种图形界面GUI, 只考虑最基础的linux console那种情况. 当然shell和linux console也要忽略掉.<br />
+从纯粹的使用场景出发, 我们是不关心什么具体的fs实现, 我们只关心具体的用户user如何操作几个or很多的文件.<br />
+最为真实的,实惠的, 基本的用户场景. 同样作为quantaties的mm是用数字标示quantaties的. 而且signifier根植<br />
+于电路版.而fs面对的对象是人, 而有自己的语言符号系统, 而且不能通过全部number记忆东西.<br />
+所以file要有个name, 文件多了, folder就有了, folder和folder之间就类似function之间调用.<br />
+也是体现的order.<br />
+我们发现folder和file这两个就能很好的描述用户使用了. 另外还有一个就是order, 不太被在意的.<br />
+现在fs就成了name的集合了并且那么之间都是线性的关系, 我们不考虑soft link.<br />
+我们来考虑下ln: a: hard link not allowed for directory. Why?<br />
+反证法如果我们允许hard link dir, 在不recursive情况下hard link ok. But 如果recursive怎么办?<br />
+soft link 也可能递归!所以recursive不是问题. 那么什么是<br />
+mkdir -p /tmp/a /tmp/a/b<br />
+如果<br />
+ln /tmp/a /tmp/la<br />
+怎么办, 就是递归.<br />
+ln /tmp/a/ /tmp/a/b/la1<br />
+toch /tmp/a/b/la1<br />
+貌似没理解到点子上.<br />
+现在用户哪里看到的就是多树.<br />
+开始fs.<br />
+有理由把dir和file看成一个东西.<br />
+下面file代表抽象了. file代表open, 就是用户面对的那个. 指向inode对应一个文件 inode连接address space backend.<br />
+那么问题来了, 就上面这个搓比的设计我们如何管理这些inode, file可以process弄个链表(大误, 数组)什么的好办.<br />
+如, struct file __rcu * fd-array[NR_OPEN_DEFAULT]; 这个可以理解. struct fdtable fdtab; 这个就不理解了.<br />
+不去管他. 我们如何组织inode, 比如我们打开是5本电子书, 7个文件, chrome, vim, 总之很多个文件, 那么这些inode怎么办?<br />
+最简单, 列个linked list就行.<br />
+in fs, namei stands for name interpreting,  the pathname lookup mechanisms (namei) by Feb-1997 T. Schoebel-Theuer<br />
+现在关于fs就make sense了.<br />
+关于open /dev, 参考dev<em>mount().</em>. ramfs_mknod vfs_mknode<br />
+ drivers/base/devtmpfs.c <<handle_create>><br />
+1. 从用户这个层面我们提供了dir 和 file, dir可以包含dir这三个concept涵盖住用户需求.</p>
+
+<p>内核一个file 对应一次open, 先walk link path 之后do_last(walk和last交互着来 in wile()) 先去dcache 找dentry,<br />
+(/dev 的dentry被pin住了, inode也建好了), 其他不在dcache找个empty dentry, 用父inode的iget之类操作<br />
+建个inode同时根据硬盘数据确定operation 类型.<br />
+我们发现:<br />
+2. file/ inode/ dentry是严格从属于fs的.<br />
+3. file -> dentry -> inode 这个顺序<br />
+4. inode决定了你的 fs之内的最高级别operations(如char ops). 进一步的(如tty 靠major minor)<br />
+5. special的inode不同于disk reglar 这种. 他们事先就created and pin dentry in core.<br />
+反观fs, sb和dentry是做骨架同inode是骨架的支撑, 不可缺少.<br />
+file是花拳绣腿. 有什么深刻的? 用户态松散的order和 transfer, quantaties 关系. dentry就是这种反应.<br />
+深刻1, 就是order 包含!<br />
+深刻2, 是什么, abstraction and function of everything(data, process)不同事物的抽象关系, 映射关系.<br />
+明天就是mm, 想对比fs关注与不同事物的组合, mm更纯粹, 也会涉及大quantaties的管理, 和disk之类应该有较大的相似性.<br />
+更能体现出quantaties.</p>
+
+<p>can we open a file in interrupt?</p>
 
 <h1 id="architecture-of-cs:067ec0f34de866d1b35db70204ef4b7d">architecture of cs</h1>
 

index.xml

@@ -49,7 +49,8 @@
 
 <p>being(4), abyss(0)<br />
 material(1) change, quality, quantity, relation, inference<br />
-process(2)(5), tansfer, truth, signifier(3), bijection, Causality</p>
+process(2)(5), tansfer, truth, signifier(3), bijection, Causality<br />
+simaotics, time-sharing</p>
 
 <p>以数学进制系统为例.貌似越为简约的计数系统, 只能越复杂,反之操作越为简单,原始.<br />
 或者说除一进制职位的计数系统, 其他都需要更为复杂?<br />
@@ -1278,7 +1279,8 @@ Completeness, consistency, validity, soundness. – Logic<br />
 Falsifiability可证伪性 – Popper<br />
 批判性, 你所学的一切都是暂时性的,任何所学都有改口 驳斥 质疑的余地 –Aaron Swartz,25:20<br />
 对于学习的知识上, 方法要做到知识之间的联系, 转换关系.<br />
-认知的缺陷, imperfect-understand, 彻底可错性. –Firo Soros Popper</p>
+认知的缺陷, imperfect-understand, 彻底可错性. –Firo Soros Popper<br />
+When you can not think any further of somthing, you must be awarenees of lack of causilities.</p>
 
 <h1 id="收集:007041aa20bf44bd43eba68b5f650c57">收集</h1>
 

philosophy/index.xml

@@ -21,7 +21,8 @@
 
 <p>being(4), abyss(0)<br />
 material(1) change, quality, quantity, relation, inference<br />
-process(2)(5), tansfer, truth, signifier(3), bijection, Causality</p>
+process(2)(5), tansfer, truth, signifier(3), bijection, Causality<br />
+simaotics, time-sharing</p>
 
 <p>以数学进制系统为例.貌似越为简约的计数系统, 只能越复杂,反之操作越为简单,原始.<br />
 或者说除一进制职位的计数系统, 其他都需要更为复杂?<br />
@@ -195,7 +196,8 @@ Completeness, consistency, validity, soundness. – Logic<br />
 Falsifiability可证伪性 – Popper<br />
 批判性, 你所学的一切都是暂时性的,任何所学都有改口 驳斥 质疑的余地 –Aaron Swartz,25:20<br />
 对于学习的知识上, 方法要做到知识之间的联系, 转换关系.<br />
-认知的缺陷, imperfect-understand, 彻底可错性. –Firo Soros Popper</p>
+认知的缺陷, imperfect-understand, 彻底可错性. –Firo Soros Popper<br />
+When you can not think any further of somthing, you must be awarenees of lack of causilities.</p>
 
 <h1 id="收集:007041aa20bf44bd43eba68b5f650c57">收集</h1>
 

philosophy/knowledge/index.html

@@ -160,7 +160,7 @@ <h4 id="date"> Wed Feb 17, 2016 </h4>
 
 </aside>
 
-<meta itemprop="wordCount" content="423">
+<meta itemprop="wordCount" content="425">
 <meta itemprop="datePublished" content="2016-02-17">
 <meta itemprop="url" content="http://firoyang.org/philosophy/knowledge/">
 
@@ -173,7 +173,8 @@ <h1 id="世界本源-the-origin-of-the-world-l-origine-du-monde:534f99acf528297d
 
 <p>being(4), abyss(0)<br />
 material(1) change, quality, quantity, relation, inference<br />
-process(2)(5), tansfer, truth, signifier(3), bijection, Causality</p>
+process(2)(5), tansfer, truth, signifier(3), bijection, Causality<br />
+simaotics, time-sharing</p>
 
 <p>以数学进制系统为例.貌似越为简约的计数系统, 只能越复杂,反之操作越为简单,原始.<br />
 或者说除一进制职位的计数系统, 其他都需要更为复杂?<br />

philosophy/philosophy/index.html

@@ -160,7 +160,7 @@ <h4 id="date"> Sun Sep 13, 2015 </h4>
 
 </aside>
 
-<meta itemprop="wordCount" content="366">
+<meta itemprop="wordCount" content="383">
 <meta itemprop="datePublished" content="2015-09-13">
 <meta itemprop="url" content="http://firoyang.org/philosophy/philosophy/">
 
@@ -223,7 +223,8 @@ <h1 id="原则:007041aa20bf44bd43eba68b5f650c57">原则</h1>
 Falsifiability可证伪性 &ndash; Popper<br />
 批判性, 你所学的一切都是暂时性的,任何所学都有改口 驳斥 质疑的余地 &ndash;Aaron Swartz,25:20<br />
 对于学习的知识上, 方法要做到知识之间的联系, 转换关系.<br />
-认知的缺陷, imperfect-understand, 彻底可错性. &ndash;Firo Soros Popper</p>
+认知的缺陷, imperfect-understand, 彻底可错性. &ndash;Firo Soros Popper<br />
+When you can not think any further of somthing, you must be awarenees of lack of causilities.</p>
 
 <h1 id="收集:007041aa20bf44bd43eba68b5f650c57">收集</h1>
 

tags/cs/index.xml

@@ -1049,7 +1049,57 @@ fs和mm本质是一回事.<br />
 我们基本上把 整个os computer都包含进来了.<br />
 但还需要细节推理.<br />
 比如, fs:<br />
-我们要先有个文件file, 各种类型</p>
+我们要先有个文件file, 各种类型<br />
+mm 和fs都是quantaties的描述, 但根本却别在于fs是有人的参与的, 也就是说操作是要满足人的需求的.<br />
+这里fs包含了各种设备.mm是process和quantaties的关系. 而fs是人与quantaties的关系.<br />
+我们不考虑各种图形界面GUI, 只考虑最基础的linux console那种情况. 当然shell和linux console也要忽略掉.<br />
+从纯粹的使用场景出发, 我们是不关心什么具体的fs实现, 我们只关心具体的用户user如何操作几个or很多的文件.<br />
+最为真实的,实惠的, 基本的用户场景. 同样作为quantaties的mm是用数字标示quantaties的. 而且signifier根植<br />
+于电路版.而fs面对的对象是人, 而有自己的语言符号系统, 而且不能通过全部number记忆东西.<br />
+所以file要有个name, 文件多了, folder就有了, folder和folder之间就类似function之间调用.<br />
+也是体现的order.<br />
+我们发现folder和file这两个就能很好的描述用户使用了. 另外还有一个就是order, 不太被在意的.<br />
+现在fs就成了name的集合了并且那么之间都是线性的关系, 我们不考虑soft link.<br />
+我们来考虑下ln: a: hard link not allowed for directory. Why?<br />
+反证法如果我们允许hard link dir, 在不recursive情况下hard link ok. But 如果recursive怎么办?<br />
+soft link 也可能递归!所以recursive不是问题. 那么什么是<br />
+mkdir -p /tmp/a /tmp/a/b<br />
+如果<br />
+ln /tmp/a /tmp/la<br />
+怎么办, 就是递归.<br />
+ln /tmp/a/ /tmp/a/b/la1<br />
+toch /tmp/a/b/la1<br />
+貌似没理解到点子上.<br />
+现在用户哪里看到的就是多树.<br />
+开始fs.<br />
+有理由把dir和file看成一个东西.<br />
+下面file代表抽象了. file代表open, 就是用户面对的那个. 指向inode对应一个文件 inode连接address space backend.<br />
+那么问题来了, 就上面这个搓比的设计我们如何管理这些inode, file可以process弄个链表(大误, 数组)什么的好办.<br />
+如, struct file __rcu * fd-array[NR_OPEN_DEFAULT]; 这个可以理解. struct fdtable fdtab; 这个就不理解了.<br />
+不去管他. 我们如何组织inode, 比如我们打开是5本电子书, 7个文件, chrome, vim, 总之很多个文件, 那么这些inode怎么办?<br />
+最简单, 列个linked list就行.<br />
+in fs, namei stands for name interpreting,  the pathname lookup mechanisms (namei) by Feb-1997 T. Schoebel-Theuer<br />
+现在关于fs就make sense了.<br />
+关于open /dev, 参考dev<em>mount().</em>. ramfs_mknod vfs_mknode<br />
+ drivers/base/devtmpfs.c <<handle_create>><br />
+1. 从用户这个层面我们提供了dir 和 file, dir可以包含dir这三个concept涵盖住用户需求.</p>
+
+<p>内核一个file 对应一次open, 先walk link path 之后do_last(walk和last交互着来 in wile()) 先去dcache 找dentry,<br />
+(/dev 的dentry被pin住了, inode也建好了), 其他不在dcache找个empty dentry, 用父inode的iget之类操作<br />
+建个inode同时根据硬盘数据确定operation 类型.<br />
+我们发现:<br />
+2. file/ inode/ dentry是严格从属于fs的.<br />
+3. file -> dentry -> inode 这个顺序<br />
+4. inode决定了你的 fs之内的最高级别operations(如char ops). 进一步的(如tty 靠major minor)<br />
+5. special的inode不同于disk reglar 这种. 他们事先就created and pin dentry in core.<br />
+反观fs, sb和dentry是做骨架同inode是骨架的支撑, 不可缺少.<br />
+file是花拳绣腿. 有什么深刻的? 用户态松散的order和 transfer, quantaties 关系. dentry就是这种反应.<br />
+深刻1, 就是order 包含!<br />
+深刻2, 是什么, abstraction and function of everything(data, process)不同事物的抽象关系, 映射关系.<br />
+明天就是mm, 想对比fs关注与不同事物的组合, mm更纯粹, 也会涉及大quantaties的管理, 和disk之类应该有较大的相似性.<br />
+更能体现出quantaties.</p>
+
+<p>can we open a file in interrupt?</p>
 
 <h1 id="architecture-of-cs:067ec0f34de866d1b35db70204ef4b7d">architecture of cs</h1>
 

tags/index.html

@@ -147,14 +147,14 @@ <h2><a href="tags/net"> net </a> 6 </h2>
 
     <h2><a href="tags/firo"> firo </a> 3 </h2> 
 
-    <h2><a href="tags/book"> book </a> 1 </h2> 
-
-    <h2><a href="tags/lyubishchev"> lyubishchev </a> 1 </h2> 
-
     <h2><a href="tags/animation"> animation </a> 1 </h2> 
 
     <h2><a href="tags/philosophy"> philosophy </a> 1 </h2> 
 
+    <h2><a href="tags/book"> book </a> 1 </h2> 
+
+    <h2><a href="tags/lyubishchev"> lyubishchev </a> 1 </h2> 
+
   </div>
 </section>