CompilingHaskellToLLVM < Stc < UUCS
Date: 2008-06-26 Time: 11:00 Room: BBL room 471 Speaker: John van Schie Title: Compiling Haskell to LLVM (Thesis defense) Abstract Most modern compilers generate executables by targeting high level languages (C, Java, etc.) or managed virtual environments such as the JVM. In this thesis we explore an alternate approach: generating executables by targeting a typed assembly language. Typed assembly
direct threaded code - imHo
direct threadingã£ã¦ã‚ˆãèžãã‚“ã ã‘ã©ã©ã†ã„ã†ã‚‚ã®ã‹çŸ¥ã‚‰ãªã‹ã£ãŸã®ã§èª¿ã¹ãŸã€‚ Threaded code threaded codeã¯ã€VMã®å®Ÿè£…ã‚’ã™ã‚‹ã¨ãã«å‘½ä»¤ã®ãƒ•ã‚§ãƒƒãƒâ†’オペコードã«ã‚ˆã£ã¦å‡¦ç†ã®åˆ†å²ã¨ã„ã†ã®ã‚’ã€ãƒ—ãƒã‚°ãƒ©ãƒ å´ã«å„オペコードã®å‡¦ç†ã®ã‚¢ãƒ‰ãƒ¬ã‚¹ã‚’埋ã‚込んã§é«˜é€ŸåŒ–ã™ã‚‹æŠ€ã®ã“㨠threaded codeã§å®Ÿè£…ã™ã‚‹ã¨ã‚³ãƒ³ãƒ‘クトã€ã ã‘ã©é…ã„。ã§ã‚‚å°ã•ã„ã‹ã‚‰å ´åˆã«ã‚ˆã£ã¦ã¯ã‚ャッシュミスãŒæ¸›ã£ã¦å分速ã„ã‹ã‚‚。 threaded codeã¯VMã®ãƒã‚¤ãƒˆã‚³ãƒ¼ãƒ‰ã‹ã‚‰å®Ÿéš›ã®é–¢æ•°ã ã‹ã‚µãƒ–ルーãƒãƒ³ã®ã‚¢ãƒ‰ãƒ¬ã‚¹ã‚’直接埋ã‚è¾¼ã¿ã‚’コンパイル時やプãƒã‚°ãƒ©ãƒ ãƒãƒ¼ãƒ‰æ™‚ã«è¡Œã£ã¦ã€å®Ÿè¡Œæ™‚ã¯ç›´æŽ¥ãã®ã‚¢ãƒ‰ãƒ¬ã‚¹ã«é£›ã¶ã‚ˆã†ã«ã—ãŸã‚‚ã® ã—ã‹ã—ãƒã‚¤ãƒˆã‚³ãƒ¼ãƒ‰ã‚ˆã‚Šã¯ä½¿ã†ç©ºé–“ãŒå¤§ãããªã‚‹ direct threaded codeã¯ã€æ¬¡ã®å‘½ä»¤ã¸ã®åˆ†å²ã‚’å…ˆé ã®ä¸€ãƒ¶æ‰€ã§è¡Œã‚ãšã€å„オペコードã®å‡¦ç†ã®æœ€å¾Œã§å…ˆé ã«æˆ»ã‚‹ä»£ã‚ã‚Šã«æ¬¡ã®å‘½
Aæ£è¦å½¢ã¾ã¨ã‚ - Scheme VM を書ã - higepon blog
Aæ£è¦å½¢ã«ã¤ã„ã¦ã¾ã¨ã‚ã¾ã—ãŸã€‚日本語ã®è³‡æ–™ãŒã‚ã¾ã‚Šã«å°‘ãªã„ã®ã§ã¾ã¨ã‚ãŸã®ã§ã™ãŒã€æ£ç›´ç†è§£ã§ãã¦ã„ã‚‹ã‹ä¸å®‰ã§ã™ã€‚é–“é•ã„ã‚’å«ã‚“ã§ã„ã‚‹å¯èƒ½æ€§ãŒã‚る点ã«ã”注æ„ãã ã•ã„。 é–“é•ã„ã®ã”指摘やツッコミ大æ“è¿Žã§ã™ã€‚ ã‚ã¨å¿µã®ãŸã‚書ã„ã¦ãŠãã¾ã™ãŒé¡Œæã¯ã€Schemeã§ã™ãŒã€Aæ£è¦å½¢è‡ªä½“ã¯Lispã‚„Schemeã«ç‰¹åŒ–ã—ãŸè©±ã§ã¯ãªãã€ã‚‚ã£ã¨ä¸€èˆ¬çš„ãªè©±ã§ã™ã€‚ Aæ£è¦å½¢ã®è«–æ–‡ The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (ResearchIndex)ã¨ã„ã†è«–æ–‡ã§è§£èª¬ã•ã‚Œã¦ã„ã¾ã™ã€‚ ã“ã®è«–文をèªã‚“ã§è‡ªåˆ†ãªã‚Šã«ç†è§£ã§ããŸã“ã¨ã‚’ã“ã“ã«æ›¸ã„ã¦ã„ã¾ã™ã€‚ ç†è§£ã®å‰æ Scheme ã® let å¼ãŒåˆ†ã‹ã£ã¦ã„ãªã„ã¨ç†è§£ãŒé›£ã—ã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“。 Aæ£è¦å½¢ã¯ä½•ã®å½¹ã«ãŸã¡ã¾ã™ã‹ï¼Ÿ コンパイラã®ã‚³ãƒ¼ãƒ‰ç”Ÿæˆæ™‚ã®ä¸é–“表ç¾ã¨ã—ã¦ä½¿
ãŠã¾ã‘: Scheme on YARV - ã²ã¨ã‚Šå‹‰å¼·ä¼š
ã“ã‚Œã§ä»Šæ—¥ã®YARV勉強会ã¯ãŠã—ã¾ã„ã§ã™ã€‚ ã£ã¦ã€ã“ã‚Œã§ã¯ã‚„ã‘ã«çŸããªã£ã¦ã—ã¾ã£ãŸã®ã§ã€ãŠã¾ã‘ã¨ã—ã¦ã€ã‚‹ã³ã¾ ã§è§¦ã‚Œã‚‰ã‚Œã¦ã„㟠本当ã¯ã€ä»Šå›žä½•ã‹ç°¡å˜ãªè¨€èªžã®ã‚³ãƒ³ãƒ‘イラを作ã‚ã†ã¨æ€ã£ã¦ã„ãŸã®ã§ã™ãŒã€é–“ã«åˆã„ã¾ã›ã‚“ã§ã—ãŸã€‚誰㋠Scheme ã‚ãŸã‚Šã§æŒ‘戦ã—ã¦ã¿ã¾ã›ã‚“ã‹ã€‚ã‹ãªã‚Šç°¡å˜ã ã¨æ€ã„ã¾ã™ã‚ˆã€‚ ã“れをやã£ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚ yasm.rb 記事ã§ç´¹ä»‹ã•ã‚Œã¦ã„ã‚‹yasmモジュールãŒRubyã®trunkã«è¦‹ã¤ã‹ã‚‰ãªã‹ã£ãŸã®ã§ã€æ—§YARVã®ãƒ¬ãƒã‚¸ãƒˆãƒª http://www.atdot.net/svn/yarv/trunk/lib/yasm.rb ã‹ã‚‰æ‹¾ã£ã¦ãã¦é©å½“ã«ä¿®æ£ã—ã¦ä½¿ã£ã¦ã„ã¾ã™ã€‚変ãˆãŸã®ã¯ã€YARVã®ä»®æƒ³ãƒžã‚·ãƒ³ã‚ªãƒ–ジェクトを表ã™ã‚¯ãƒ©ã‚¹å㨠- module YARVCore + class VM - YARVCore:: + VM:: メソッドåã¨ã—ã¦Symbolを渡ã™ã¨æ€’られるã¿ãŸã„ã
â– - ã²ã¨ã‚Šå‹‰å¼·ä¼š
ã“ã“「ã²ã¨ã‚Šå‹‰å¼·ä¼šã€ã¯ã€ä¼šã¨è¨€ã„ã¤ã¤ã²ã¨ã‚Šã§å‹‰å¼·ã—ãŸè¨˜éŒ²ã‚’残ã—ã¦ã¾ã™ã€‚ 今度㯠The Programming Language Lua ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã¿ã¾ã™ å±¥æ´ (0): å‚考資料ã¾ã¨ã‚ (1): ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã€‚main ã‹ã‚‰ VMメインループã¾ã§ (2): ã‚¹ã‚¿ãƒƒã‚¯æ§‹é€ ã‚„å‘½ä»¤ãƒ•ã‚©ãƒ¼ãƒžãƒƒãƒˆCALL/RETURN (3): 演算å・ジャンプ・ループ・クãƒãƒ¼ã‚¸ãƒ£ (4): コルーãƒãƒ³ãƒ»ç’°å¢ƒ æˆæžœç‰© LuLu : Lua VM on Lua @ LuaForge LUAソースコード勉強会ã¯2008/06/08ã«ç„¡äº‹çµ‚了ã—ã¾ã—ãŸã€‚
講義資料 - PukiWiki
講義資料 †注: ç›´ã—ãŸã¤ã‚‚ã‚Šã§ã¯ã‚ã‚Šã¾ã™ãŒåŽ»å¹´ã‹ã‚‰ã®æ›´æ–°ã®ã—忘れã§ï¼Œpython.logos.ic.i.u-tokyo.ac.jp ã¨ã„ã†ã‚µãƒ¼ãƒåãŒï¼Œã¨ãã©ã marten.logos.ic.i.u-tokyo.ac.jp ã¨ãªã£ã¦ã„ã‚‹ã“ã¨ãŒæœ‰ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“(ã‚‚ã†ãªã„ã¤ã‚‚ã‚Š)．marten ã¯ã™ã¹ã‹ã‚‰ã pythonã¨èªã¿æ›¿ãˆã¦ãã ã•ã„ ã“ã“ã«ã¯ã€è¬›ç¾©ã®ã‚¹ãƒ©ã‚¤ãƒ‰ã‚„é…布資料ãŒã‚¢ãƒƒãƒ—ã•ã‚Œã¾ã™ã€‚ ↑ テストデータ, referenceæƒ…å ±ãªã© †10/30 mini-Python文法 grammar.txt 10/30 å—å¥è§£æžå™¨ãƒ†ã‚¹ãƒˆãƒ‡ãƒ¼ã‚¿ tokenizer_test.tar.gz 11/14 構文木ヘッダsyntree.h.txt 11/14 構文木Cソースã®ä¸€éƒ¨syntree.c.txt 11/14 構文解æžæœ¨ãƒ˜ãƒƒãƒ€parser.h.txt 11/14 構文解æžæœ¨Cソース一部al
ガベージコレクタをビジュアライズ GCViewer - メモリリーク発見ã«ã‚‚ | エンタープライズ | マイコミジャーナル
tagtraum industriesã¯24æ—¥(ドイツ時間)ã€GCViewerã®æœ€æ–°ç‰ˆã¨ãªã‚‹GCViewer 1.25を公開ã—ãŸã€‚GCViewerã¯Java仮想マシンã®ã‚¬ãƒ™ãƒ¼ã‚¸ã‚³ãƒ¬ã‚¯ã‚¿å‹•ä½œæƒ…å ±ã‚’è¦–è¦šåŒ–ã™ã‚‹ãŸã‚ã®ãƒ„ールアプリケーション。J2SE 1.4ã‹ã¾ãŸã¯ãれ以é™ã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§å‹•ä½œã™ã‚‹ã€‚「-verbose:gcã€ã‚„「-Xloggc:fileã€ã‚’指定ã—ã¦ç”Ÿæˆã—ãŸã‚¬ãƒ™ãƒ¼ã‚¸ã‚³ãƒ¬ã‚¯ã‚¿æƒ…å ±ã‚’ã‚¹ãƒ«ãƒ¼ãƒ—ãƒƒãƒˆã€åœæ¢å‹•ä½œã®ç©ã¿é‡ãã€é•·æœŸã«ã‚ãŸã‚‹åœæ¢å‹•ä½œãªã©ã‚’視覚化ã™ã‚‹ã“ã¨ãŒã§ãる。 GCViewer 1.25ã¯GNU LESSER GENERAL PUBLIC LICENSE Version 2.1ã®ã‚‚ã¨ã§å…¬é–‹ã•ã‚Œã¦ã„るオープンソースソフトウェア。GCViewer 1.25ã«ãŠã‘る主ãªå¤‰æ›´ç‚¹ã¯æ¬¡ã®ã¨ãŠã‚Šã€‚ 「-XX:+UseParallelOldGCã€ã‚µãƒãƒ¼ãƒˆã®æ”¹å–„ 「-XX:+CMSIncrementa
Life with Cygwin
æ²–ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ ªå¼ä¼šç¤¾ã¯ã€æ²–é€šä¿¡ã‚·ã‚¹ãƒ†ãƒ æ ªå¼ä¼šç¤¾ãŠã‚ˆã³æ ªå¼ä¼šç¤¾æ²–インフォテックã¨å¹³æˆ22å¹´10月1日をもã£ã¦åˆä½µã„ãŸã—ã¾ã—ãŸã€‚新会社åã¯ã€æ ªå¼ä¼šç¤¾OKIソフトウェアã¨ãªã‚Šã¾ã™ã€‚3社ãŒè¡Œã£ã¦ãŠã‚Šã¾ã™äº‹æ¥ã¯æ–°ä¼šç¤¾ã«ã¦å¾“æ¥é€šã‚Šç¶™ç¶šã„ãŸã—ã¾ã™ã€‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://webdocs.cs.ualberta.ca/~you/courses/325/Mynotes/Fun/SECD-slides.html
javaworld.jp
Virtual Appliance Marketplace | Virtual Appliance Marketplace
{{#tags}}- {{label}}
{{/tags}}