diff options
93 files changed, 1830 insertions, 216 deletions
diff --git a/2020/12/08/二零二零年十二月八日/index.html b/2020/12/08/二零二零年十二月八日/index.html index 691b0c36..710c295d 100644 --- a/2020/12/08/二零二零年十二月八日/index.html +++ b/2020/12/08/二零二零年十二月八日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2020/12/09/二零二零年十二月九日/index.html b/2020/12/09/二零二零年十二月九日/index.html index 32313148..fc80487c 100644 --- a/2020/12/09/二零二零年十二月九日/index.html +++ b/2020/12/09/二零二零年十二月九日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2020/12/26/二零二零年十二月二十六日/index.html b/2020/12/26/二零二零年十二月二十六日/index.html index 324c404f..8a85bf40 100644 --- a/2020/12/26/二零二零年十二月二十六日/index.html +++ b/2020/12/26/二零二零年十二月二十六日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2021/02/14/二零二一年二月十四日/index.html b/2021/02/14/二零二一年二月十四日/index.html index 4c52dda9..b87ff6b7 100644 --- a/2021/02/14/二零二一年二月十四日/index.html +++ b/2021/02/14/二零二一年二月十四日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2021/02/16/二零二一年二月十六日/index.html b/2021/02/16/二零二一年二月十六日/index.html index 15198819..8825dd20 100644 --- a/2021/02/16/二零二一年二月十六日/index.html +++ b/2021/02/16/二零二一年二月十六日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2021/03/15/二零二一年三月十五日/index.html b/2021/03/15/二零二一年三月十五日/index.html index c5ba58c1..be0b71cc 100644 --- a/2021/03/15/二零二一年三月十五日/index.html +++ b/2021/03/15/二零二一年三月十五日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2021/03/27/二零二一年三月二十七日/index.html b/2021/03/27/二零二一年三月二十七日/index.html index d49a8acb..5e21c117 100644 --- a/2021/03/27/二零二一年三月二十七日/index.html +++ b/2021/03/27/二零二一年三月二十七日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/01/01/二零二二年一月一日/index.html b/2022/01/01/二零二二年一月一日/index.html index 61082c5e..a9aacb45 100644 --- a/2022/01/01/二零二二年一月一日/index.html +++ b/2022/01/01/二零二二年一月一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/03/14/二零二二年三月十四日/index.html b/2022/03/14/二零二二年三月十四日/index.html index c0dc2e7d..d64fc4e9 100644 --- a/2022/03/14/二零二二年三月十四日/index.html +++ b/2022/03/14/二零二二年三月十四日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/08/21/二零二二年八月二十一日/index.html b/2022/08/21/二零二二年八月二十一日/index.html index f5203235..829af214 100644 --- a/2022/08/21/二零二二年八月二十一日/index.html +++ b/2022/08/21/二零二二年八月二十一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/09/22/二零二二年九月二十二日/index.html b/2022/09/22/二零二二年九月二十二日/index.html index 97ae0af7..5ace04c0 100644 --- a/2022/09/22/二零二二年九月二十二日/index.html +++ b/2022/09/22/二零二二年九月二十二日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/10/01/二零二二年十月一日/index.html b/2022/10/01/二零二二年十月一日/index.html index bb5bf0c2..6aded3bc 100644 --- a/2022/10/01/二零二二年十月一日/index.html +++ b/2022/10/01/二零二二年十月一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/11/03/二零二二年十一月月三日/index.html b/2022/11/03/二零二二年十一月月三日/index.html index 690d710a..ba930d6d 100644 --- a/2022/11/03/二零二二年十一月月三日/index.html +++ b/2022/11/03/二零二二年十一月月三日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2022/12/31/二零二二年十二月三十一日/index.html b/2022/12/31/二零二二年十二月三十一日/index.html index 2e53d414..a515656c 100644 --- a/2022/12/31/二零二二年十二月三十一日/index.html +++ b/2022/12/31/二零二二年十二月三十一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/01/21/二零二三年一月二十一日/index.html b/2023/01/21/二零二三年一月二十一日/index.html index ae3c7cb4..bcd7dee2 100644 --- a/2023/01/21/二零二三年一月二十一日/index.html +++ b/2023/01/21/二零二三年一月二十一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/01/二零二三年二月一日/index.html b/2023/02/01/二零二三年二月一日/index.html index 8e91c915..4564bae7 100644 --- a/2023/02/01/二零二三年二月一日/index.html +++ b/2023/02/01/二零二三年二月一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/02/二零二三年二月二日/index.html b/2023/02/02/二零二三年二月二日/index.html index ca4df64f..09f1ce62 100644 --- a/2023/02/02/二零二三年二月二日/index.html +++ b/2023/02/02/二零二三年二月二日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/22/二零二三年二月二十二日/index.html b/2023/02/22/二零二三年二月二十二日/index.html index 4932e0c9..1864c428 100644 --- a/2023/02/22/二零二三年二月二十二日/index.html +++ b/2023/02/22/二零二三年二月二十二日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/24/二零二三年二月二十四日/index.html b/2023/02/24/二零二三年二月二十四日/index.html index 81caa352..e1eef85b 100644 --- a/2023/02/24/二零二三年二月二十四日/index.html +++ b/2023/02/24/二零二三年二月二十四日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/25/二零二三年二月二十五日/index.html b/2023/02/25/二零二三年二月二十五日/index.html index ce9bcf0a..c50917e1 100644 --- a/2023/02/25/二零二三年二月二十五日/index.html +++ b/2023/02/25/二零二三年二月二十五日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/02/26/二零二三年二月二十六日/index.html b/2023/02/26/二零二三年二月二十六日/index.html index 13091d6f..eea73c91 100644 --- a/2023/02/26/二零二三年二月二十六日/index.html +++ b/2023/02/26/二零二三年二月二十六日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/01/气胸/index.html b/2023/03/01/气胸/index.html index cc1ac040..643b8f15 100644 --- a/2023/03/01/气胸/index.html +++ b/2023/03/01/气胸/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/01/纯牛奶可以加点啥/index.html b/2023/03/01/纯牛奶可以加点啥/index.html index 0c475e5e..84fd6d72 100644 --- a/2023/03/01/纯牛奶可以加点啥/index.html +++ b/2023/03/01/纯牛奶可以加点啥/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/04/金匮要略/index.html b/2023/03/04/金匮要略/index.html index 5d1bafe2..ab8a60bb 100644 --- a/2023/03/04/金匮要略/index.html +++ b/2023/03/04/金匮要略/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/05/奥司他韦/index.html b/2023/03/05/奥司他韦/index.html index 37f576ca..b214cdcf 100644 --- a/2023/03/05/奥司他韦/index.html +++ b/2023/03/05/奥司他韦/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/13/替米沙坦/index.html b/2023/03/13/替米沙坦/index.html index 94b694f2..074962b5 100644 --- a/2023/03/13/替米沙坦/index.html +++ b/2023/03/13/替米沙坦/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/14/呋塞米/index.html b/2023/03/14/呋塞米/index.html index 4245c03e..62c872cc 100644 --- a/2023/03/14/呋塞米/index.html +++ b/2023/03/14/呋塞米/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/03/14/螺内酯片/index.html b/2023/03/14/螺内酯片/index.html index 408dafc7..50f38186 100644 --- a/2023/03/14/螺内酯片/index.html +++ b/2023/03/14/螺内酯片/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/04/22/二零二三年四月二十二日/index.html b/2023/04/22/二零二三年四月二十二日/index.html index 4cd13970..ab07e58f 100644 --- a/2023/04/22/二零二三年四月二十二日/index.html +++ b/2023/04/22/二零二三年四月二十二日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/04/25/二零二三年四月二十五日/index.html b/2023/04/25/二零二三年四月二十五日/index.html index 91fa7d19..fa1a33c6 100644 --- a/2023/04/25/二零二三年四月二十五日/index.html +++ b/2023/04/25/二零二三年四月二十五日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/10/二零二三年六月十日/index.html b/2023/06/10/二零二三年六月十日/index.html index 2269255f..2e43f7ac 100644 --- a/2023/06/10/二零二三年六月十日/index.html +++ b/2023/06/10/二零二三年六月十日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/17/发热及超高热危象/index.html b/2023/06/17/发热及超高热危象/index.html index 1ed440bc..fe027b55 100644 --- a/2023/06/17/发热及超高热危象/index.html +++ b/2023/06/17/发热及超高热危象/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/22/灯笼草/index.html b/2023/06/22/灯笼草/index.html index b12b9d81..e3fcff80 100644 --- a/2023/06/22/灯笼草/index.html +++ b/2023/06/22/灯笼草/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html index 4a0c24f6..02e595d8 100644 --- a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html +++ b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html index 34cb5855..fd681ee6 100644 --- a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html +++ b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/06/29/二〇二三年六月二十九日/index.html b/2023/06/29/二〇二三年六月二十九日/index.html index cb4e1d37..f26a2851 100644 --- a/2023/06/29/二〇二三年六月二十九日/index.html +++ b/2023/06/29/二〇二三年六月二十九日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/07/26/二〇二三年七月二十六日/index.html b/2023/07/26/二〇二三年七月二十六日/index.html index a536422f..c81bafc3 100644 --- a/2023/07/26/二〇二三年七月二十六日/index.html +++ b/2023/07/26/二〇二三年七月二十六日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/07/30/二零二三年七月三十日/index.html b/2023/07/30/二零二三年七月三十日/index.html index eafcb7c1..50724b48 100644 --- a/2023/07/30/二零二三年七月三十日/index.html +++ b/2023/07/30/二零二三年七月三十日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/01/二〇二三年八月一日/index.html b/2023/08/01/二〇二三年八月一日/index.html index e16c8fe0..5d3734d1 100644 --- a/2023/08/01/二〇二三年八月一日/index.html +++ b/2023/08/01/二〇二三年八月一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html index ba1f8fef..ac39ecea 100644 --- a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html +++ b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/15/poll-error-attribute-in-OCaml/index.html b/2023/08/15/poll-error-attribute-in-OCaml/index.html index 9d8a05ee..58111a05 100644 --- a/2023/08/15/poll-error-attribute-in-OCaml/index.html +++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html index d4199358..f540f2cc 100644 --- a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html +++ b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/21/二零二三年八月二十一日/index.html b/2023/08/21/二零二三年八月二十一日/index.html index 1cdd59d8..79f5f2df 100644 --- a/2023/08/21/二零二三年八月二十一日/index.html +++ b/2023/08/21/二零二三年八月二十一日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/08/27/二零二三年八月二十七日/index.html b/2023/08/27/二零二三年八月二十七日/index.html index 076f2e0e..96de994e 100644 --- a/2023/08/27/二零二三年八月二十七日/index.html +++ b/2023/08/27/二零二三年八月二十七日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/2023/09/13/二零二三年九月十三日/index.html b/2023/09/13/二零二三年九月十三日/index.html index 72edb782..949a02fb 100644 --- a/2023/09/13/二零二三年九月十三日/index.html +++ b/2023/09/13/二零二三年九月十三日/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -160,6 +172,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/">Prev</a> + </div> + </div> <div class="next-item"> diff --git a/2023/09/28/A-Brief-History-of-Just-In-Time/index.html b/2023/09/28/A-Brief-History-of-Just-In-Time/index.html new file mode 100644 index 00000000..957a72cc --- /dev/null +++ b/2023/09/28/A-Brief-History-of-Just-In-Time/index.html @@ -0,0 +1,256 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> +<meta name="viewport" + content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0"> +<meta http-equiv="X-UA-Compatible" content="ie=edge"> + + <meta name="author" content="韩暮秋"> + + + <meta name="subtitle" content="暮秋小屋"> + + + <meta name="description" content="这里是暮秋小屋，思念和灵感的寄存处"> + + + <meta name="keywords" content="韩暮秋,MuqiuHan"> + + + + +<title>A Brief History of Just-In-Time | 暮秋小屋</title> + + + + + +<style> + @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap'); +</style> + + + + <!-- stylesheets list from _config.yml --> + + <link rel="stylesheet" href="/css/style.css"> + + + + + + <!-- scripts list from _config.yml --> + + <script src="/js/frame.js"></script> + + + + + + <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> + <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> + + + + + + + + <!-- hexo injector head_end start --> +<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css"> + +<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css"> +<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head> + <body> + <div class="mask-border"> + </div> + + <div class="wrapper"> + + <div class="header"> + <div class="flex-container"> + <div class="header-inner"> + <div class="site-brand-container"> + <a href="/"> + + 暮秋小屋 + + </a> + </div> + <div id="menu-btn" class="menu-btn" onclick="toggleMenu()"> + Menu + </div> + <nav class="site-nav"> + <ul class="menu-list"> + + + <li class="menu-item"> + <a href="/">主页</a> + </li> + + + + <li class="menu-item"> + <a href="/categories/gallery/">日记本</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> + </li> + + + + <li class="menu-item"> + <a href="/about">关于</a> + </li> + + + + </ul> + </nav> + </div> + </div> +</div> + + + <div class="main"> + <div class="flex-container"> + <article id="post"> + + + <div class="post-head"> + <div class="post-info"> + <div class="tag-list"> + + + <span class="post-tag"> + <a href="/tags/Technique/"> + Technique + </a> + </span> + + <span class="post-tag"> + <a href="/tags/Compilation/"> + Compilation + </a> + </span> + + + </div> + <div class="post-title"> + + + A Brief History of Just-In-Time + + + </div> + <span class="post-date"> + Sep 28, 2023 + </span> + </div> + <div class="post-img"> + + <div class="h-line-primary"></div> + + </div> +</div> + <div class="post-content"> + <p>Software systems have been using “just-in-time” compilation (JIT) techniques since the<br>1960s. Broadly, JIT compilation includes any translation performed dynamically, after a<br>program has started execution. We examine the motivation behind JIT compilation and<br>constraints imposed on JIT compilation systems, and present a classification scheme for<br>such systems. This classification emerges as we survey forty years of JIT work, from<br>1960–2000.</p> +<ul> +<li><a href="/papers/A%20Brief%20History%20of%20Just-In-Time.pdf">论文链接</a></li> +</ul> +<p>主要介绍了JIT的历史和发展过程， 从上世纪六十年代开始， 一直到现在的第四代JIT系统， 大概有三点：</p> +<ul> +<li>介绍了JIT每一代出现的动机和约束条件</li> +<li>介绍了对各种JIT技术的分类方式<blockquote> +<ol> +<li>Invocation</li> +<li>Executability</li> +<li>Concurrency</li> +</ol> +</blockquote> +</li> +<li>介绍了各个时期JIT技术的实现方式和优缺点</li> +</ul> +<p>除此之外还介绍了JIT的工具包以及它们在三个不同的方面的支持程度, 分别是</p> +<ul> +<li>Binary code generation.</li> +<li>Cache coherence.</li> +<li>Execution.</li> +</ul> +<p>总体来说，这篇论文算是一个概览，可以当成一个JIT相关论文的查询目录了，它把这过程中的所有研究全部以时间线的方式梳理起来，最后总结分类。</p> + +</div> + +<script> + window.onload = detectors(); +</script> + <div class="post-footer"> + <div class="h-line-primary"></div> + <nav class="post-nav"> + <div class="prev-item"> + + </div> + <div class="next-item"> + + <div class="icon arrow-right"></div> + <div class="post-link"> + <a href="/2023/09/13/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%B8%89%E6%97%A5/">Next</a> + </div> + + </div> + </nav> +</div> + + + <div class="post-comment"> + + + + + + + +</div> + + +</article> + </div> + </div> + + <div class="footer"> + <div class="flex-container"> + <div class="footer-text"> + + + | + + + 希望路过的人可以添点柴火让这里暖和点 + + </div> + </div> +</div> + + </div> + + + + + </body> +</html> @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2020/12/index.html b/archives/2020/12/index.html index 51400fc4..3926c99d 100644 --- a/archives/2020/12/index.html +++ b/archives/2020/12/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2020/index.html b/archives/2020/index.html index ccaa3149..803f0123 100644 --- a/archives/2020/index.html +++ b/archives/2020/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2021/02/index.html b/archives/2021/02/index.html index ca86e17f..7d12f328 100644 --- a/archives/2021/02/index.html +++ b/archives/2021/02/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2021/03/index.html b/archives/2021/03/index.html index f6e0a35b..fc2ed03e 100644 --- a/archives/2021/03/index.html +++ b/archives/2021/03/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2021/index.html b/archives/2021/index.html index fd84f1d9..811af1cd 100644 --- a/archives/2021/index.html +++ b/archives/2021/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/01/index.html b/archives/2022/01/index.html index d9183afc..d9c0278b 100644 --- a/archives/2022/01/index.html +++ b/archives/2022/01/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/03/index.html b/archives/2022/03/index.html index 67b3d133..a13ad94a 100644 --- a/archives/2022/03/index.html +++ b/archives/2022/03/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/08/index.html b/archives/2022/08/index.html index af264733..44704638 100644 --- a/archives/2022/08/index.html +++ b/archives/2022/08/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/09/index.html b/archives/2022/09/index.html index 41c4ba03..2fb4491e 100644 --- a/archives/2022/09/index.html +++ b/archives/2022/09/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/10/index.html b/archives/2022/10/index.html index f273a1d7..c150f128 100644 --- a/archives/2022/10/index.html +++ b/archives/2022/10/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/11/index.html b/archives/2022/11/index.html index 895375e5..f96c9031 100644 --- a/archives/2022/11/index.html +++ b/archives/2022/11/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/12/index.html b/archives/2022/12/index.html index b8bb53d4..db77ea4b 100644 --- a/archives/2022/12/index.html +++ b/archives/2022/12/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2022/index.html b/archives/2022/index.html index dda5016b..03e8f1db 100644 --- a/archives/2022/index.html +++ b/archives/2022/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/01/index.html b/archives/2023/01/index.html index 4be825cd..8dab3434 100644 --- a/archives/2023/01/index.html +++ b/archives/2023/01/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/02/index.html b/archives/2023/02/index.html index c0313ecb..99431ee2 100644 --- a/archives/2023/02/index.html +++ b/archives/2023/02/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/03/index.html b/archives/2023/03/index.html index 780ec501..82f905ac 100644 --- a/archives/2023/03/index.html +++ b/archives/2023/03/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/04/index.html b/archives/2023/04/index.html index 5957a80f..2b7b4457 100644 --- a/archives/2023/04/index.html +++ b/archives/2023/04/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/06/index.html b/archives/2023/06/index.html index 5efb68d2..bd4af486 100644 --- a/archives/2023/06/index.html +++ b/archives/2023/06/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/07/index.html b/archives/2023/07/index.html index 36176baa..18d67ed0 100644 --- a/archives/2023/07/index.html +++ b/archives/2023/07/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/08/index.html b/archives/2023/08/index.html index 6eb22668..abeb3e17 100644 --- a/archives/2023/08/index.html +++ b/archives/2023/08/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/archives/2023/09/index.html b/archives/2023/09/index.html index 1f49f66f..147ebbe0 100644 --- a/archives/2023/09/index.html +++ b/archives/2023/09/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/"> + + A Brief History of Just-In-Time + + </a> + </div> + + <span class="post-date">Sep 28, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/09/13/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%B8%89%E6%97%A5/"> 二零二三年九月十三日 diff --git a/archives/2023/index.html b/archives/2023/index.html index 76bf074c..44957636 100644 --- a/archives/2023/index.html +++ b/archives/2023/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/"> + + A Brief History of Just-In-Time + + </a> + </div> + + <span class="post-date">Sep 28, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/09/13/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%B8%89%E6%97%A5/"> 二零二三年九月十三日 @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"> - - 二〇二三年六月二十九日 - - </a> - </div> - - <span class="post-date">Jun 29, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/2023/page/2/index.html b/archives/2023/page/2/index.html index 7198746b..715f6609 100644 --- a/archives/2023/page/2/index.html +++ b/archives/2023/page/2/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"> + + 二〇二三年六月二十九日 + + </a> + </div> + + <span class="post-date">Jun 29, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/06/28/%E9%9A%90%E8%97%8F%E4%B8%80%E4%BA%9BOCaml-Effect%E7%9A%84%E6%9C%BA%E5%88%B6%EF%BC%8C%E8%AE%A9%E5%85%B6%E8%AF%AD%E6%B3%95%E5%9C%A8%E7%B2%BE%E7%A5%9E%E4%B8%8A%E6%9B%B4%E6%8E%A5%E8%BF%91delimcc/"> 隐藏一些OCaml Effect的机制，让其语法在精神上更接近delimcc @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/"> - - 替米沙坦 - - </a> - </div> - - <span class="post-date">Mar 13, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/2023/page/3/index.html b/archives/2023/page/3/index.html index f3ca3ed2..3df664c4 100644 --- a/archives/2023/page/3/index.html +++ b/archives/2023/page/3/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/"> + + 替米沙坦 + + </a> + </div> + + <span class="post-date">Mar 13, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/"> 奥司他韦 @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/02/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%B8%80%E6%97%A5/"> - - 二零二三年二月一日 - - </a> - </div> - - <span class="post-date">Feb 1, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/2023/page/4/index.html b/archives/2023/page/4/index.html index 16c21571..dc045e89 100644 --- a/archives/2023/page/4/index.html +++ b/archives/2023/page/4/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/02/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%B8%80%E6%97%A5/"> + + 二零二三年二月一日 + + </a> + </div> + + <span class="post-date">Feb 1, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/01/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"> 二零二三年一月二十一日 diff --git a/archives/index.html b/archives/index.html index 18577593..cbfa7e12 100644 --- a/archives/index.html +++ b/archives/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/"> + + A Brief History of Just-In-Time + + </a> + </div> + + <span class="post-date">Sep 28, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/09/13/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B9%9D%E6%9C%88%E5%8D%81%E4%B8%89%E6%97%A5/"> 二零二三年九月十三日 @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"> - - 二〇二三年六月二十九日 - - </a> - </div> - - <span class="post-date">Jun 29, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/2/index.html b/archives/page/2/index.html index 57da1325..26fe6345 100644 --- a/archives/page/2/index.html +++ b/archives/page/2/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/06/29/%E4%BA%8C%E3%80%87%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AD%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B9%9D%E6%97%A5/"> + + 二〇二三年六月二十九日 + + </a> + </div> + + <span class="post-date">Jun 29, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/06/28/%E9%9A%90%E8%97%8F%E4%B8%80%E4%BA%9BOCaml-Effect%E7%9A%84%E6%9C%BA%E5%88%B6%EF%BC%8C%E8%AE%A9%E5%85%B6%E8%AF%AD%E6%B3%95%E5%9C%A8%E7%B2%BE%E7%A5%9E%E4%B8%8A%E6%9B%B4%E6%8E%A5%E8%BF%91delimcc/"> 隐藏一些OCaml Effect的机制，让其语法在精神上更接近delimcc @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/"> - - 替米沙坦 - - </a> - </div> - - <span class="post-date">Mar 13, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/3/index.html b/archives/page/3/index.html index 3d5c3633..ec0dc6da 100644 --- a/archives/page/3/index.html +++ b/archives/page/3/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/03/13/%E6%9B%BF%E7%B1%B3%E6%B2%99%E5%9D%A6/"> + + 替米沙坦 + + </a> + </div> + + <span class="post-date">Mar 13, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/"> 奥司他韦 @@ -285,24 +315,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2023/02/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%B8%80%E6%97%A5/"> - - 二零二三年二月一日 - - </a> - </div> - - <span class="post-date">Feb 1, 2023</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/4/index.html b/archives/page/4/index.html index d8f00dc7..8a8eddca 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/02/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%B8%80%E6%97%A5/"> + + 二零二三年二月一日 + + </a> + </div> + + <span class="post-date">Feb 1, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/01/21/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%B8%80%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%80%E6%97%A5/"> 二零二三年一月二十一日 @@ -289,24 +319,6 @@ </div> - - - - - - <div class="post-list-item"> - <div class="post-title"> - <a href="/2021/03/15/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%94%E6%97%A5/"> - - 二零二一年三月十五日 - - </a> - </div> - - <span class="post-date">Mar 15, 2021</span> - </div> - - <div id="paginator"> <div class=paginator> diff --git a/archives/page/5/index.html b/archives/page/5/index.html index 69d15a94..231667a3 100644 --- a/archives/page/5/index.html +++ b/archives/page/5/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -130,6 +142,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2021/03/15/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%B8%89%E6%9C%88%E5%8D%81%E4%BA%94%E6%97%A5/"> + + 二零二一年三月十五日 + + </a> + </div> + + <span class="post-date">Mar 15, 2021</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2021/02/16/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%80%E5%B9%B4%E4%BA%8C%E6%9C%88%E5%8D%81%E5%85%AD%E6%97%A5/"> 二零二一年二月十六日 diff --git a/categories/gallery/index.html b/categories/gallery/index.html index f569a015..d9321f0f 100644 --- a/categories/gallery/index.html +++ b/categories/gallery/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/categories/gallery/page/2/index.html b/categories/gallery/page/2/index.html index b0cc8408..6f14e3c2 100644 --- a/categories/gallery/page/2/index.html +++ b/categories/gallery/page/2/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/categories/gallery/page/3/index.html b/categories/gallery/page/3/index.html index a7d033da..0445fad4 100644 --- a/categories/gallery/page/3/index.html +++ b/categories/gallery/page/3/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/categories/gallery/page/4/index.html b/categories/gallery/page/4/index.html index 4255fbfa..8d03dd80 100644 --- a/categories/gallery/page/4/index.html +++ b/categories/gallery/page/4/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/page/2/index.html b/page/2/index.html index fe36cf99..ecedf13e 100644 --- a/page/2/index.html +++ b/page/2/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/page/3/index.html b/page/3/index.html index fe36cf99..ecedf13e 100644 --- a/page/3/index.html +++ b/page/3/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/page/4/index.html b/page/4/index.html index fe36cf99..ecedf13e 100644 --- a/page/4/index.html +++ b/page/4/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/page/5/index.html b/page/5/index.html index fe36cf99..ecedf13e 100644 --- a/page/5/index.html +++ b/page/5/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/papers/A Brief History of Just-In-Time.pdf b/papers/A Brief History of Just-In-Time.pdf Binary files differnew file mode 100644 index 00000000..d5fee90c --- /dev/null +++ b/papers/A Brief History of Just-In-Time.pdf diff --git a/tag/index.html b/tag/index.html index 4c115a10..b16402cf 100644 --- a/tag/index.html +++ b/tag/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -132,6 +144,12 @@ </span> <span class="post-tag"> + <a href="/tags/Compilation/"> + Compilation + </a> + </span> + + <span class="post-tag"> <a href="/tags/OCaml/"> OCaml </a> diff --git a/tags/Compilation/index.html b/tags/Compilation/index.html new file mode 100644 index 00000000..38cac95b --- /dev/null +++ b/tags/Compilation/index.html @@ -0,0 +1,195 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="UTF-8"> +<meta name="viewport" + content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0"> +<meta http-equiv="X-UA-Compatible" content="ie=edge"> + + <meta name="author" content="韩暮秋"> + + + <meta name="subtitle" content="暮秋小屋"> + + + <meta name="description" content="这里是暮秋小屋，思念和灵感的寄存处"> + + + <meta name="keywords" content="韩暮秋,MuqiuHan"> + + + + +<title>Tag: Compilation | 暮秋小屋</title> + + + + + +<style> + @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap'); +</style> + + + + <!-- stylesheets list from _config.yml --> + + <link rel="stylesheet" href="/css/style.css"> + + + + + + <!-- scripts list from _config.yml --> + + <script src="/js/frame.js"></script> + + + + + + <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> + <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> + + + + + + + + <!-- hexo injector head_end start --> +<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css"> + +<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css"> +<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head> + <body> + <div class="mask-border"> + </div> + + <div class="wrapper"> + + <div class="header"> + <div class="flex-container"> + <div class="header-inner"> + <div class="site-brand-container"> + <a href="/"> + + 暮秋小屋 + + </a> + </div> + <div id="menu-btn" class="menu-btn" onclick="toggleMenu()"> + Menu + </div> + <nav class="site-nav"> + <ul class="menu-list"> + + + <li class="menu-item"> + <a href="/">主页</a> + </li> + + + + <li class="menu-item"> + <a href="/categories/gallery/">日记本</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> + </li> + + + + <li class="menu-item"> + <a href="/about">关于</a> + </li> + + + + </ul> + </nav> + </div> + </div> +</div> + + + <div class="main"> + <div class="flex-container"> + <div id="tag"> + + + <p class="tag-title"> + / <a href="/tag/">tags</a> + / <a href="">Compilation</a> / + </p> + <div class="post-list"> + + + + + + + <div class="year-title">2023</div> + + + <div class="post-list-item"> + <div class="post-title"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/"> + + A Brief History of Just-In-Time + + </a> + </div> + + <span class="post-date">Sep 28, 2023</span> + </div> + + + <div id="paginator"> + + </div> +</div> + + + + +</div> + </div> + </div> + + <div class="footer"> + <div class="flex-container"> + <div class="footer-text"> + + + | + + + 希望路过的人可以添点柴火让这里暖和点 + + </div> + </div> +</div> + + </div> + + + + + </body> +</html> diff --git a/tags/Life/index.html b/tags/Life/index.html index 5d1b869d..c8fe0d3b 100644 --- a/tags/Life/index.html +++ b/tags/Life/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item menu-item-active"> + <a href="/tags/Life/">生活</a> </li> diff --git a/tags/Medicine/index.html b/tags/Medicine/index.html index 9467b107..7ba20a46 100644 --- a/tags/Medicine/index.html +++ b/tags/Medicine/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item menu-item-active"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html index 3aa279a5..acea7885 100644 --- a/tags/OCaml/index.html +++ b/tags/OCaml/index.html @@ -98,7 +98,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> diff --git a/tags/Technique/index.html b/tags/Technique/index.html index 438c520e..9bf97a98 100644 --- a/tags/Technique/index.html +++ b/tags/Technique/index.html @@ -98,7 +98,19 @@ <li class="menu-item menu-item-active"> - <a href="/tags/Technique/">技术</a> + <a href="/tags/Technique/">计算机科学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -137,6 +149,24 @@ <div class="post-list-item"> <div class="post-title"> + <a href="/2023/09/28/A-Brief-History-of-Just-In-Time/"> + + A Brief History of Just-In-Time + + </a> + </div> + + <span class="post-date">Sep 28, 2023</span> + </div> + + + + + + + + <div class="post-list-item"> + <div class="post-title"> <a href="/2023/08/15/tick-thread%E5%9C%A8Multicore-OCaml%E4%B8%AD%E7%9A%84%E4%BD%9C%E7%94%A8/"> tick thread在Multicore OCaml中的作用 |