Mercurial > hg > Papers > 2020 > anatofuz-sigos

changeset 42:4c753956a272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 06 May 2020 19:12:47 +0900
parents 7bba4d91db3b
children b0757b4dbbe4
files paper/anatofuz-sigos.md paper/anatofuz-sigos.pdf paper/anatofuz-sigos.tex
diffstat 3 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/paper/anatofuz-sigos.md	Wed May 06 19:00:13 2020 +0900
+++ b/paper/anatofuz-sigos.md	Wed May 06 19:12:47 2020 +0900
@@ -251,7 +251,9 @@
 
 さらに、 `for`ループをCodeGearに分割することを考えるとループ中にループのindexを利用している場合は、 そのindexも次の継続に渡さなければならない。
 このためindexを使用していないCodeGearでも継続の引数としてindexを受け取り、 実際にindexを利用するCodeGearに伝搬させる必要がある。
-これらの問題を解決する為には、 計算の途中途中のDataGearに型を与え、 どの継続でDataGearの意味が変わるかを追求する必要がある。
+これらの問題を解決する為には、 APIを分割したCodeGearそれぞれのDataGearに型を与え、 どの継続でDataGearの意味が変わるかを追求する必要がある。
+APIを分割して作成したCodeGearのDataGearは、 現在各APIに対応した一つの巨大な構造体に隠蔽されている。
+巨大な構造体で管理するのではなく、 構造体で次のCodeGearの状態に影響を与える要素を適宜組み合わせたDataGearを作る必要がある。
 
 
 # CbCを用いた部分的なxv6の書き換え
Binary file paper/anatofuz-sigos.pdf has changed
--- a/paper/anatofuz-sigos.tex	Wed May 06 19:00:13 2020 +0900
+++ b/paper/anatofuz-sigos.tex	Wed May 06 19:12:47 2020 +0900
@@ -357,7 +357,9 @@
 
 さらに、 \texttt{for}ループをCodeGearに分割することを考えるとループ中にループのindexを利用している場合は、 そのindexも次の継続に渡さなければならない。
 このためindexを使用していないCodeGearでも継続の引数としてindexを受け取り、 実際にindexを利用するCodeGearに伝搬させる必要がある。
-これらの問題を解決する為には、 計算の途中途中のDataGearに型を与え、 どの継続でDataGearの意味が変わるかを追求する必要がある。
+これらの問題を解決する為には、 APIを分割したCodeGearそれぞれのDataGearに型を与え、 どの継続でDataGearの意味が変わるかを追求する必要がある。
+APIを分割して作成したCodeGearのDataGearは、 現在各APIに対応した一つの巨大な構造体に隠蔽されている。
+巨大な構造体で管理するのではなく、 構造体で次のCodeGearの状態に影響を与える要素を適宜組み合わせたDataGearを作る必要がある。
 
 
 \section{CbCを用いた部分的なxv6の書き換え}