http://www.tatta.org/dokuwiki/ 2012-05-21T09:28:29+09:00 http://www.tatta.org/dokuwiki/ http://www.tatta.org/dokuwiki/lib/images/favicon.ico text/html 2009-04-14T10:16:20+09:00 http://www.tatta.org/dokuwiki/doku.php?id=%E3%83%88%E3%83%83%E3%83%97%E3%83%9A%E3%83%BC%E3%82%B8&rev=1239671780&do=diff 自作のソフトウェア，技術メモ，その他いろいろ * TaTTaブログ Software * Preccs: Concurrent Programming Language for Network * Preccs開発サイト * Preccs in Source Forge * Preccs in Trac * conf4cpp: Configuration File Library for C++ * Pined: A Proxy Server Through Firewall text/html 2010-05-27T10:51:11+09:00 http://www.tatta.org/dokuwiki/doku.php?id=%E6%8A%80%E8%A1%93%E6%83%85%E5%A0%B1&rev=1274925071&do=diff 呼び出し規約，アセンブリ言語関連 * <http://sci10.org/on_gcc_asm.html> * <http://ray.sakura.ne.jp/asm/9.html> * <http://caspar.hazymoon.jp/OpenBSD/annex/gas.html> * <http://caspar.hazymoon.jp/OpenBSD/annex/gcc_inline_asm.html> * <http://d.hatena.ne.jp/kikairoya/20100220/1266668559> * <http://www.unixwiz.net/techtips/win32-callconv-asm.html> * <http://www.oklab.org/program/assembler/gas.html> * <http://www.mztn.org/lxasm/asm00.html> * <http://www.ibm.com/developerworks/jp/linux/library/l-ia/>… text/html 2009-02-19T22:41:12+09:00 http://www.tatta.org/dokuwiki/doku.php?id=%E6%A0%B8%E8%A8%80%E8%AA%9E%E4%BB%95%E6%A7%98&rev=1235050872&do=diff Preccs言語は核言語に変換される． 構文定義 文Sの定義は以下の通り． S ::= skip | return E | x := E | S ; S | if E then S else S end | local x1 = E; ... in S end | callcc c in S end | jump c | spawn S | E (E,...) // プロセス呼び出し text/html 2009-02-17T11:31:15+09:00 http://www.tatta.org/dokuwiki/doku.php?id=%E6%A4%9C%E8%A8%8E%E3%83%A1%E3%83%A2&rev=1234837875&do=diff メモリ管理方式 Preccsでは，オブジェクトは以下の3つの領域のいずれかに格納される． * スタック領域 ローカルな変数はスタック領域に格納される * プロセスヒープ領域 プロセスローカルな変数はスタック領域に格納される text/html 2009-07-02T11:25:56+09:00 http://www.tatta.org/dokuwiki/doku.php?id=%E8%A8%AD%E8%A8%88%E7%9B%AE%E6%A8%99&rev=1246501556&do=diff * C言語との相互運用性を高める * できる限り効率的な生成コードを出力する 方針 (1) サポートするスタイル * 関数型言語のスタイル * クロージャ，一級関数，一級継続 * パタンマッチ text/html 2009-01-17T21:10:49+09:00 http://www.tatta.org/dokuwiki/doku.php?id=c%E3%81%AE%E3%83%9E%E3%82%AF%E3%83%AD%E3%82%92%E7%94%A8%E3%81%84%E3%81%9F%E4%BE%8B%E5%A4%96%E5%87%A6%E7%90%86%E3%81%AE%E5%AE%9F%E7%8F%BE&rev=1232194249&do=diff JavaやC++などのようなプログラミング言語では，try〜catchのような例外処理機構が提供されていますが，残念ながらC言語ではそのような構文はありません．そのかわりに，プログラマは局所的な(すなわち，関数内部におけるネストしたfor文などからの)脱出にはgotoを使ったり，また，深い関数呼出しからの脱出には，setjmp/longjmpを使ったりします．ここでは，Cのマクロ機能を駆使して，Javaのようなtry〜catch〜finally機構を実現する方法を紹介します．… text/html 2009-03-11T21:53:56+09:00 http://www.tatta.org/dokuwiki/doku.php?id=c_.net_%E3%81%AF%E3%81%BE%E3%82%8A%E9%81%93&rev=1236776036&do=diff 引数付きのWaitForExitは，非同期イベント処理が完了していなくてもtrueを返して，抜けるときがあるので要注意． <http://msdn.microsoft.com/ja-jp/library/ty0d8k56.aspx> 確実に非同期イベント処理の完了を待つためには，その後でさらに引数なしのWaitForExitを呼ぶ必要がある． text/html 2009-04-13T16:04:16+09:00 http://www.tatta.org/dokuwiki/doku.php?id=fib%E9%96%A2%E6%95%B0%E3%82%92cps%E5%A4%89%E6%8F%9B_closure%E5%A4%89%E6%8F%9B%E3%81%97%E3%81%A6%E3%81%BF%E3%82%8B&rev=1239606256&do=diff C言語のソースレベルでfib関数をCPS変換⇒Closure変換（手作業で）してみる． オリジナルのfib関数 もともとのfib関数の定義は，以下． int fib(int n) { if (n <= 1) return 1; return fib(n-1)+fib(n-2); } text/html 2009-04-14T10:21:09+09:00 http://www.tatta.org/dokuwiki/doku.php?id=meadow%E3%83%A1%E3%83%A2&rev=1239672069&do=diff Ctrl-x RET fでエンコードをutf-8にしても，保存するときに強制的にJISにされてしまうような場合，UTF-8に必要なパッケージが不足している可能性がある． 以下のパッケージと設定が必要． * mule-ucs text/html 2010-05-19T09:57:14+09:00 http://www.tatta.org/dokuwiki/doku.php?id=preccs%E9%96%8B%E7%99%BA%E3%82%B5%E3%82%A4%E3%83%88&rev=1274230634&do=diff * 設計目標 * 核言語仕様 * 検討メモ * 技術情報 text/html 2009-01-17T21:03:14+09:00 http://www.tatta.org/dokuwiki/doku.php?id=start&rev=1232193794&do=diff 自作のソフトウェア，技術メモ，その他いろいろ Software * Preccs: Concurrent Programming Language for Network * conf4cpp: Configuration File Library for C++ --- <http://sourceforge.jp/projects/conf4cpp/> * Pined: A Proxy Server Through Firewall --- <http://tatta.org/software/pined/welcome.html> text/html 2009-01-17T21:27:25+09:00 http://www.tatta.org/dokuwiki/doku.php?id=tatta%E3%83%96%E3%83%AD%E3%82%B0&rev=1232195245&do=diff