コンビネータでVM実装:old
編集中。 尚、内容の正しさは全く保証できません。 「○○は△△です」と言い切りの形で書いてあっても、鵜呑みにしない方が安全です。 概要目的ルール予習復習基礎コンビネータの準備ユーティリティマクロの用意他のコンビネータ条件分岐自然数その一(失敗)演算その一(失敗)自然数その二(チャーチ数)演算その二ToDo参考リンク 概要 http://hw001.gate01.com/eggplant/tcf/unlambda/ 「全てのオブジェクトは関数である」という理念の極北とも言うべきunlambda。 そのunlambdaの基本となるS, Kコンビネータだけを用いて、論理的に正しく動作するVMを実装します。 尚、速度や実行コスト等は度外視します。 unlambdaには「難読化」というポリシーも含まれている為、VMの実装にはunlambdaそのものではなく、S式を利用します。具体的にはscheme。
インタプリタ型言語を高速化する computed goto : DSAS開発者の部屋
先日Python 3.1a1 がリリースされました。 Python 3.0 は Python 2.6 に比べてパフォーマンスが悪かったのですが、Python3.1はPython2.6よりも速くなるかもしれません。 Python3.1のパフォーマンス向上は、主に次の2点が影響しています。 ioモジュールがC言語で書き直された computed goto の採用 (--with-computed-gotos というconfigureオプションで有効) computed goto という名前を聞き慣れなかったのですが、調べてみると Ruby 1.9 の VM (YARV) や、 Perl6 の VM として開発されとうとうリリースされた Parrot にも採用されている手法でした。今回は簡単に computed goto の紹介をしてみます。 とりあえず label as value C言語の規
YARV: Yet Another Ruby VM
What's new? What's this? DownloadLatest revision 0.4.1 Old tarballs HEAD License How to install?Requirement Build and Install run benchmarksrun all benchmarks run a specific benchmark YARV Benchmark for each options Documentation and ReferenceWiki Bug Tracking System (BTS) Common in English in Japanese ContactMailing ListEnglish (yarv-dev-en) Japanese (yarv-dev) YARV commit mail IRC Channel Mail a
カーネル／VM探検隊 面白い - higepon blog
第一回 カーネル／VM探検隊まとめ面白い。Linux KVM のコードを追いかけてみようとか勉強になった。
toyVMで遊ぶ (mitsunari@cybozu labs)
SEA & FSIJ 合同フォーラムでビット演算による最適化の妙味とJITアセンブラの中でデモに使ったVMを紹介します． JITの紹介のために前日に2時間ででっちあげたVMなので本当に小さい(200行程度)ですが，エッセンスは楽しめるかなと思います． ソースはXbyak.zipです．この中のxbyak/sample/toyvm.cppが今回作ったVMです(Win, Linuxと多分Intel Macでも動きます)． このサンプルはフィボナッチ数列を計算して表示するだけのものです． ここではどのように作ったかの説明をします．一つ前のエントリの資料も参考にしてください． 話の流れ toyVMのスペック，命令セットと命令フォーマットを決める toyVMのアセンブラを作る toyVMの実行部分を作る toyVM用のフィボナッチ数列プログラムを作って実行する toyVMのマシン語をx86に変換するリ
最近読んだ VM の本 - steps to phantasien(2008-12-14)
少し前に "Virtual Machines: Versatile Platforms for Systems and Processes" という VM の教科書を読んだ. 今年は VM について知ったかぶりをする必要に迫られることが多く, 反省して付け焼刃をした次第. 言語処理系の VM の話を期待していたら XEN や VMWare 方面の VM の話が主で, 意表は突かれたものの面白かった. 速度を保ちながら仮想化という抽象を守るために コンパイラと OS の間の子が次々に曲芸を披露する健気さには心を打たれる. VM を使ってあげようという気になる一冊. 折良く Google から Native Client (NaCl) なんていう VM 技術の応用が公開されたことだし, これを肴に教科書の宣伝をするというのが今日の趣旨です. NaCl 自体の詳しい話は whitepaper や
ハイパーインターネット型言語 まなめ 2000 を公開しました - Diary Blog of Dary
プログラム言語処理系を作成しました。Windows 上で動作します。ソースも公開しています。C 言語のみで作っています。 ダウンロードページ スクリーンショットです。 このソフトウェアを紹介します。 まなめ 2000 って？ 正式名称は「ハイパーインターネット型言語 まなめ 2000」（以下まなめ 2000） 皆さんはこんな事を思ったは無いでしょうか？ 「プログラミングをしてみたい…けど、普通のプログラム言語って難しい(>_<)」 「インターネット上でよく見かけるフレーズ*1はすぐに使うんだぜ」 そんなあなたに贈るプログラム言語、それが「まなめ 2000」です！ プログラムの 1 例を紹介 たとえば、「要は、勇気がないんでしょ？ 」や「死ねばいいのに」は、はてな村ではもうおなじみですよね。そんなフレーズを使ってプログラミングが出来るのです。 たとえば、以下は正式なまなめ 2000 用のプロ
The LLVM Compiler Infrastructure Project
Useful Links Forums LLVM Discourse Mailing Lists: Commits List Discord (Real-time Chat): Discord IRC Channel: irc.oftc.net #llvm Calendar: LLVM Community Calendar Dev. Resources: doxygen Sources (GitHub) Code Review Blog Bug tracker Buildbot Green Dragon LNT Scan-build llvm-cov Compile-time tracker Release Emails 20.1.1: Mar 2025 20.1.0: Mar 2025 19.1.7: Jan 2025 19.1.6: Dec 2024 19.1.5: Dec 2024
Threaded Code
[Belorussian translation by Bohdan Zograf] What is threaded code? What is it good for? What are the differences between the various threading techniques? How do I implement threaded code portably? How fast are various threading techniques? What is Threaded Code Good for? Threaded code is a technique for implementing virtual machine interpreters. There are various ways to implement interpreters: So
Strongtalk: A High-Performance Open Source Smalltalk With An Optional Type System
Latest: Strongtalk has gone fully Open Source! The virtual-machine source code is now available, as of September, 2006. Previously, the VM was available only as an unsupported binary, preventing serious use of Strongtalk. Now, the sky is the limit! What Is Strongtalk? Strongtalk is a major re-thinking of the Smalltalk-80 programming language and system. While retaining the basic Smalltalk syntax a
ABC machine instructions
This documentation is based on the knowledge obtainded through implementing CleanJ system. This is not an official document and there are no warranty of the correctness. ABC machine is made of three stack memories (argument stack, basic-value stack and control stack) and one heap memory. argument stack (A-Stack) a stack of pointers to a thunk. basic-value stack (B-Stack) a stack of basic values. B
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Javaバイトコード入門
Javaでコンパイラの基礎を理解する
訓練と練習は用法が違うんだなぁ。 - バカが征く