tag:blogger.com,1999:blog-203445982024-11-01T20:41:29.024+09:00Young risk taker.l'essentiel est invisible pour les yeuxrakutohttp://www.blogger.com/profile/06950561283547428118[email protected]Blogger239125tag:blogger.com,1999:blog-20344598.post-18721812782506543552009-07-22T18:36:00.002+09:002009-07-22T18:40:21.455+09:00[Tips] ターミナルからシリアルポート接続Z-Termっていまいち使い勝手がよくない。<br />Mac環境下では、Z-Termを利用してシリアル接続していたが、通常のターミナルからscreenコマンドにボーレート引数を渡せばシリアル接続できる事を知りこれは便利。<br /><br /><pre><br />% screen /dev/tty.XXXXXXX 115200<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-6810998619419652982009-04-07T01:22:00.006+09:002009-04-07T11:04:04.694+09:00第二種電気工事士の受験今日は、第二種電気工事士の締切日でした。<br />試験日がWWDCの日程とダブルブッキングしている事もしらず、申し込みを完了させている人もいましたが、受験料を振込み無事申し込み完了。第二種電気工事士を取得して、キャリアパスを変更しようと考え中。<br /><br />そう、<a href="http://www.mrzigbee.me/">Mr.ZigBee</a>なるブログを始めました。<br />ZigBeeメン目指します。<br /><br />Posted by<a href="http://www.mrzigbee.me/"> ZigBee Man</a>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-34087553146888407262009-03-16T22:03:00.002+09:002009-03-16T22:10:12.188+09:00[Scala] オブジェクトの初期化のシンタックスシュガーScalaでは、オブジェクトの作成〜オブジェクトのメソッド呼び出しによる初期化のための、シンタックスシュガーが用意されている。コンストラクタでオブジェクトを作成して、その後オブジェクトのメソッドを呼び出してオブジェクトを初期化する事はよく例を一つ紹介。<br /><br />Jettyのハンドラーの初期化をシンタックスシュガーでコーディングした例。ブロック内のスコープは、オブジェクト内でのスコープと同じになるので、メソッドを呼ぶ事ができる。<br /><br /><pre class="scala"><br />before:<br />val handler = new ResourceHandler<br />handler.setResourceBase("/webapp")<br /><br />after:<br />val handler = new ResourceHandler { setResourceBase("/webapp) }<br /></pre><br /><br />ほんの少し気持いい。rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-2138512789209397172009-03-11T15:17:00.009+09:002009-03-12T12:06:15.571+09:00[Scala Tips] Java型からScalaのラッパー型への明示的変換を仲介してくれるライブラリScalaでは、Javaの型の多くをラップしたクラスにて再定義している。<br /><br />byte型 -> scala.Byte<br />short型 -> scala.Short<br />int型 -> scala.Int<br />など。<br /><br />そのため、ScalaからJavaのライブラリを利用していると、ライブラリのAPIの返り値がJavaの型で、Scalaのラッパークラスではないので変換が必要な事がよくある。例えば、java.util.List型は、ScalaのSeq[A]を継承していないので、enumerableではない。<br /><br />このため、Scalaの標準ライブラリ中にいくつかの明示的な変換規則を定義してある。例えば、java.util.List[T]からList型への変換などは、scala.collection.jcl.Conversion.convertListを読みこむだけで、後はScalaの言語仕様の明示的な型変換機構により自動的に変換してくれる。<br /><br /><pre class="scala"><br />var primNumberList = new java.util.ArrayList[Int](3)<br />primNumberList.add(1)<br />primNumberList.add(3)<br />primNumberList.add(5)<br /><br />// ScalaのSeq[A]を実装していないのでイテレーターとして扱えない<br />primNumberList.foreach { println(_) } // ERROR: エラー<br /><br />// implicit conversionの読みこみ<br />import scala.collection.jcl.Conversions.convertList<br />primNumberList.foreach { println(_) }<br />1<br />3<br />5<br /></pre><br /><br />java.util.ListからList型への変換以外にも、java.util.MapからMap, java.util.SetからSetなど、多数の明示的変換が定義されているので、必要に応じて読みこむと使用できる。<br /><pre class="scala"><br />package scala.collection.jcl<br /><br />object Conversions {<br /> implicit def convertSet[T](set : java.util.Set[T]) = Set(set)<br /> implicit def convertList[T](set : java.util.List[T]) = Buffer(set)<br /> implicit def convertSortedSet[T](set : java.util.SortedSet[T]) = SortedSet(set)<br /> implicit def convertMap[T,E](set : java.util.Map[T,E]) = Map(set)<br /> implicit def convertSortedMap[T,E](set : java.util.SortedMap[T,E]) = SortedMap(set)<br /> <br /> implicit def unconvertSet[T](set : SetWrapper[T]) = set.underlying<br /> implicit def unconvertCollection[T](set : CollectionWrapper[T]) = set.underlying<br /> implicit def unconvertList[T](set : BufferWrapper[T]) = set.underlying<br /> implicit def unconvertSortedSet[T](set : SortedSetWrapper[T]) = set.underlying<br /> implicit def unconvertMap[T,E](set : MapWrapper[T,E]) = set.underlying<br /> implicit def unconvertSortedMap[T,E](set : SortedMapWrapper[T,E]) = set.underlying<br /> <br />} <br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-66158591199499819172009-03-05T23:06:00.005+09:002009-03-08T20:10:23.621+09:00[Scala] タプルやシンボル式へ対応したDreadLocks 0.2の公開<a href="http://dreadlocks.scalalites.org/">DreadLocks</a> 0.2を公開しました。今回のアップデートでは、テンプレート中のScala構文中でのタプルとシンボルへの対応とScalaInterpreterの実装をリファクタリングし事が主な変更点です。現在、対応している構文は、if-elseif-elseでの条件分岐、算術式の計算、変数へのメソッドの呼び出し、iterableなSeqやmapに対するループ等です。<br /><br />Jarファイルは、<a href="http://github.com/rakuto/dreadlocks/downloads">dreadlocks-0.2.1.jar</a>からダウンロード。<br /><br />以下のような、タプルの要素への参照を含むforeachのループが書けます。<br /><span style="font-weight:bold;">dreadlocks.txt<br /></span><pre class="scala"><br />Hamburger Cafe:<br /><?sc cafes.foreach { cafe => ?><br /> * ${cafe._1} in ${cafe._2}<br /><?sc } ?><br /></pre><br /><span style="font-weight:bold;">Test.scala</span><br /><pre class="scala"><br />val tmpl = examplTmplateFile("foreach2.shtml")<br />val source = Source.fromFile(tmpl).getLines.mkString<br />val template = Template(source)<br />val context = Context("cafes" -> List(("Authentic", "Akasaka, Tokyo"), ("FELLOWS", "Komazawa, Tokyo")))<br />val output = template.render(context)<br />Console.println(output)<br />// Hamburger Cafe:<br />// * Authentic in Akasaka, Tokyo<br />// * FELLOWS in Komazawa, Tokyo<br />//<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-17265644687430884132009-03-04T21:48:00.007+09:002009-03-05T13:18:11.018+09:00[Scala] Sala用ベンチマーク測定ライブラリBenchmarkSuite<a href="http://scalalites.org/">BenchmarkSuite</a> - Scalaのベンチマークライブラリ<br />ページ中段BenchmarkSuiteより<a href="http://github.com/rakuto/benchmark-suite/tree/master">GitHub</a>へリンクしています。<br /><br />Jarファイルは、<a href="http://cloud.github.com/downloads/rakuto/benchmark-suite/BenchmarkSuite-1.0.jar">BenchmarkSuite-1.0.jar</a>から。<br /><br />知ってるんだから。Scalaに標準のベンチマークライブラリscala.testing.Benchmark...が、測定したい対象の度にBenchmarkクラスを継承して実装しないといけないなど、APIがかなり硬派! LLでなまった体には正直キツイです。そこで、コードブロックを対象にベンチマークを測定するライブラリが、BenchmarkSuiteです。現在の所、実行時間のみ計測できるとてもシンプルなライブラリです。<br /><br />使い方は、次の通りです。Benchmark.runに引数を一つ持つブロックを渡し、ブロック引数に対して、reportメソッドを呼ぶだけです。ラベルや実行回数を指定できます。<br /><br /><pre><br /> import org.scalalites.benchmark.Benchmark<br /><br /> Benchmark.run("Benchmark of ack:") { b =><br /> def ack(x: Int, y: Int): Int = x match {<br /> case 0 => y + 1<br /> case _ => y match { case 0 => ack(x - 1, 1); case _ => ack(x - 1, ack(x, y - 1))}<br /> }<br /> // run over the test named "ack(3, 2) x 50" 50 times<br /> b.report("ack(3, 4) x 10", 10) { ack(3, 4) }<br /><br /> // If you don't pass second argument run benchmark once.<br /> b.report("ack(3, 2)") { ack(3, 2) }<br /> }<br /> <br /> // Output<br /> // Benchmark of ack:<br /> // ack(3, 4) x 10 : 4.730000 sec (avg. 0.473000 sec)<br /> // ack(3, 2) x 1 : 0.029000 sec<br /></pre><br /><br /><a href="http://raku.to/?p=9">[Scala] Released Scala’s BenchmarkSuite Library</a>(for English users)rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-29675720903500892302009-03-03T23:39:00.004+09:002009-03-04T22:04:03.679+09:00[Scala] ScalaベースのテンプレートエンジンDreadLocks 0.1をリリース<span style="font-weight:bold;"><a href="http://dreadlocks.scalalites.org/">DreadLocks</a> - Scalaベースのテンプレートエンジン</span><br /><br />Scalaのテンプレートエンジンを探していたけど見つからなかったので、<a href="http://dreadlocks.scalalites.org/">DreadLocks</a>テンプレートエンジンを実装しました。現在は、基本的なScalaの構文のみサポートしています。完全なScalaプログラムのサポートと高速化が次のリリースの目標としています(foreachやif文は実装済み)。ソースコードは、GitHub <a href="http://github.com/rakuto/dreadlocks/tree/master">dreadlocks/trunk</a>で、今後のマイルストーンとロードマップは、<a href="http://twitter.com/scalalites">Twitter</a>や<a href="http://">Google Groups</a>で確認できるので、よければどうぞ。<br /><br />簡単なサンプルコードは、以下の通り。<br /><br /><pre class="code">hamburgers.txt:<br /> Delicious hamburger restraunts in Japan:<br /> <?sc restraunts.foreach { restraunt => ?><br /> * ${restraunt}<br /> <?sc } ?><br /><br /> Side menus:<br /> <?sc if(haveSideMenu) { ?><br /> * ${sideMenus("potato")}<br /> * ${sideMenus("coleslaw")}<br /> <?sc } ?><br /><br />Hamburgers.scala<br /> import org.scalalites.dreadlocks._<br /> // You can specify instance of java.io.File, scala.io.Source or String to constructor of Template class.<br /> val source = Source.fromFile("template_variable.shtml")<br /> val template = Template(source)<br /> val context = Context("restraunts" -> List("Baker Bounce", "Great Burger", "FELLOWS"),<br /> "haveSideMenu" -> true,<br /> "sideMenus" -> HashMap("potato" -> "French fries", "coleslaw" -> "Coleslaw"))<br /><br /> val output = template.render(context)<br /> // Console.println(output)<br /> // Delicious hamburger restraunts in Japan:<br /> // * Baker Bounce<br /> // * Great Burger<br /> // * FELLOWS<br /> //<br /> // Side menus:<br /> // * French fries<br /> // * Coleslaw<br /></pre><br /><br />高速化と完全なScala構文のサポートを引き続き目指します。<br /><br /><a href="http://raku.to/?p=3">Released DreadLocks-0.1 template engine for Scala programmers</a> (in english)rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-40958971113783613102009-02-14T21:13:00.006+09:002009-02-14T21:49:36.809+09:00[Scala] ヒアドキュメントと正規表現scalaの言語仕様に用意されているヒアドキュメントを使用すれば、エスケープシーケンスをエスケープする必要が無いため正規表現が簡単に書ける。<br /><br />before<br /><pre class="scala"><br />var bwh = "90.60.88"<br />val pat = new Regex("\\d+")<br />pat.findAllIn(bwg) foreach println<br /></pre><br /><br />なお、Stringクラスの"r"メソッドでStringクラスのインスタンスから正規表現のパターンオブジェクトを構築できる。<br /><br />after<br /><pre class="scala"><br />"""\d+""".r.findAllIn("90.60.58") foreach println<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-18182452278739183262008-12-03T21:36:00.003+09:002008-12-04T11:42:26.525+09:00[C++] Library for serialization of boost::subgraphOops, long time no post.<br /><br />Boost has powerful Graph library named BGL(Boost Graph Library), and serialization libraries, however the library for serialization of boost::subgraph doesn't exist, so i implement simple library to do that.<br /><br /><a href="http://github.com/rakuto/boost_subgraph_serialize/tree/master">boost_subgraph_serialize </a>was commited on Github, so you can check out them with git.<br /><pre><br />% git clone git://github.com/rakuto/boost_subgraph_serialize.git<br /></pre><br /><br /><a href="http://github.com/rakuto/boost_subgraph_serialize/tree/master/subgraph_serialize_test.cpp">subgraph_serialize_test.cpp</a><br />Demo that serialize boost::subgraph.<br /><pre class="cpp"><br /><span class="synComment">/**</span><br /><span class="synComment"> * Serialization of boost::subgraph</span><br /><span class="synComment"> *</span><br /><span class="synComment"> * Created by Rakuto Furutani <xri://rakuto/> ([email protected])</span><br /><span class="synComment"> *</span><br /><span class="synComment"> * output:</span><br /><span class="synComment"> * original:</span><br /><span class="synComment"> * 0 <--> 1 2 </span><br /><span class="synComment"> * 1 <--> 0 4 </span><br /><span class="synComment"> * 2 <--> 0 </span><br /><span class="synComment"> * 3 <--> </span><br /><span class="synComment"> * 4 <--> 5 5 1 </span><br /><span class="synComment"> * 5 <--> 4 4 </span><br /><span class="synComment"> * children num: 1</span><br /><span class="synComment"> *</span><br /><span class="synComment"> * from file:</span><br /><span class="synComment"> * 0 <--> 1 2 </span><br /><span class="synComment"> * 1 <--> 0 4 </span><br /><span class="synComment"> * 2 <--> 0 </span><br /><span class="synComment"> * 3 <--> </span><br /><span class="synComment"> * 4 <--> 5 5 1 </span><br /><span class="synComment"> * 5 <--> 4 4 </span><br /><span class="synComment"> * children num: 1</span><br /><span class="synComment"> */</span><br /><span class="synPreProc">#include </span><span class="synConstant"><fstream></span><br /><span class="synPreProc">#include </span><span class="synConstant"><string></span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/graph/subgraph.hpp></span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/graph/graph_utility.hpp></span><br /><span class="synComment">// arhivers</span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/archive/binary_iarchive.hpp></span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/archive/binary_oarchive.hpp></span><br /><br /><span class="synPreProc">#include </span><span class="synConstant">"subgraph_serialize.h"</span>
<br /><span class="synStatement">using</span> <span class="synType">namespace</span> boost;<br /><br /><span class="synType">typedef</span> property<vertex_name_t, <span class="synType">char</span>> VertexProperty;<br /><span class="synType">typedef</span> property<edge_index_t, <span class="synType">uint32_t</span>, <br /> property<edge_weight_t, <span class="synType">uint32_t</span>> > EdgeProperty;<br /><span class="synType">typedef</span> subgraph<adjacency_list<listS, vecS, undirectedS, VertexProperty, EdgeProperty> > Graph;<br /><br /><span class="synType">static</span> <span class="synType">const</span> <span class="synType">char</span>* DAT_FILE_NAME = <span class="synConstant">"subgraph.dat"</span>;<br /><br /><span class="synType">int</span> main()<br />{<br /> <span class="synType">enum</span> {A, B, C, D, E, F, N};<br /> <span class="synType">const</span> <span class="synType">char</span>* node_names = <span class="synConstant">"ABCDEF"</span>;<br /> <br /> <span class="synComment">// create root graph</span><br /> Graph root(N);<br /> property_map<Graph, vertex_name_t>::type vertex_names = get(vertex_name_t(), root);<br /> <span class="synStatement">for</span>(<span class="synType">uint32_t</span> i = <span class="synConstant">0</span>; i < N; ++i) vertex_names[i] = node_names[i]; <br /> add_edge(A, B, EdgeProperty(<span class="synConstant">1</span>), root);<br /> add_edge(A, C, EdgeProperty(<span class="synConstant">2</span>), root);<br /> add_edge(E, F, EdgeProperty(<span class="synConstant">3</span>), root);<br /> <br /> <span class="synComment">// create sub graph</span><br /> <span class="synType">enum</span> {B1, E1, F1}; <span class="synComment">// refering to vertices in sub_g1</span><br /> Graph& sub_g1 = root.create_subgraph();<br /> add_vertex(B, sub_g1);<br /> add_vertex(E, sub_g1);<br /> add_vertex(F, sub_g1); <br /> add_edge(E1, F1, sub_g1);<br /> add_edge(B1, E1, sub_g1);<br /> <br /> std::cout << <span class="synConstant">"original:"</span> << std::endl;<br /> print_graph(root);<br /> std::cout << <span class="synConstant">"children num: "</span> << root.num_children() << std::endl;<br /> <br /> <span class="synComment">// serialize and save graph</span><br /> std::ofstream ofs(DAT_FILE_NAME, std::ios::out | std::ios::binary);<br /> <span class="synStatement">if</span>(!ofs.is_open()) {<br /> std::cerr << <span class="synConstant">"Can't open "</span> << DAT_FILE_NAME << <span class="synConstant">" file."</span> << std::endl;<br /> <span class="synStatement">return</span> <span class="synConstant">EXIT_FAILURE</span>;<br /> }<br /> archive::binary_oarchive oa(ofs);<br /> oa << root;<br /> ofs.close();<br /> <br /> <span class="synComment">// Try to restore saved graph</span><br /> Graph g;<br /> std::ifstream ifs(DAT_FILE_NAME, std::ios::in | std::ios::binary);<br /> <span class="synStatement">if</span>(!ifs.is_open()) {<br /> std::cerr << <span class="synConstant">"Can't open "</span> << DAT_FILE_NAME << <span class="synConstant">" file."</span> << std::endl;<br /> <span class="synStatement">return</span> <span class="synConstant">EXIT_FAILURE</span>; <br /> }<br /> archive::binary_iarchive ia(ifs);<br /> ia >> g;<br /> <br /> std::cout << <span class="synConstant">"</span><span class="synSpecial">\n</span><span class="synConstant">from file:"</span> << std::endl;<br /> print_graph(g); <br /> std::cout << <span class="synConstant">"children num: "</span> << g.num_children() << std::endl;<br /> <br /> <span class="synStatement">return</span> <span class="synConstant">EXIT_SUCCESS</span>;<br />}<br /></pre><br /><br /><a href="http://github.com/rakuto/boost_subgraph_serialize/tree/master/subgraph_serialize.h">subgraph_serialize.h</a><br />Implementation of serialazation of boost::subgraph.<br /><pre class="cpp"><br /><span class="synComment">/**</span><br /><span class="synComment"> * Serialization of boost::subgraph</span><br /><span class="synComment"> *</span><br /><span class="synComment"> * Created by Rakuto Furutani <xri://rakuto/> ([email protected])</span><br /><span class="synComment"> */</span><br /><span class="synPreProc">#ifndef SUBGRAPH_SELIALIZE_H</span><br /><span class="synPreProc">#define SUBGRAPH_SELIALIZE_H</span><br /><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/graph/adj_list_serialize.hpp></span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/graph/adjacency_list.hpp></span><br /><span class="synPreProc">#include </span><span class="synConstant"><boost/graph/subgraph.hpp></span><br /><br /><span class="synType">namespace</span> boost {<br /><span class="synType">namespace</span> serialization {<br /><br /><span class="synType">template</span><<span class="synType">class</span> Archive, <span class="synType">class</span> Graph><br /><span class="synType">inline</span> <span class="synType">void</span> save(Archive& ar, <br /> <span class="synType">const</span> subgraph<Graph> graph, <br /> <span class="synType">const</span> <span class="synType">unsigned</span> <span class="synType">int</span> <span class="synComment">/* file_version*/</span>) <br />{<br /> <span class="synType">typedef</span> <span class="synType">typename</span> subgraph<Graph>::vertex_descriptor Vertex;<br /> <span class="synType">typedef</span> <span class="synType">typename</span> subgraph<Graph>::const_children_iterator ChildrenIter;<br /><br /> <span class="synComment">// serialize global verticies and edges</span><br /> <span class="synType">size_t</span> num_children = graph.num_children();<br /> <span class="synType">bool</span> root = graph.is_root();<br /> ar << BOOST_SERIALIZATION_NVP(root);<br /> ar << BOOST_SERIALIZATION_NVP(num_children);<br /> ar << BOOST_SERIALIZATION_NVP(graph.m_graph);<br /> ChildrenIter ci, ci_end;<br /> tie(ci, ci_end) = graph.children();<br /> <span class="synStatement">for</span>(; ci != ci_end; ++ci) {<br /> ar << *ci;<br /> }<br />}<br /> <br /><span class="synType">template</span><<span class="synType">class</span> Archive, <span class="synType">class</span> Graph><br /><span class="synType">inline</span> <span class="synType">void</span> load(<br /> Archive& ar,<br /> subgraph<Graph>& graph,<br /> <span class="synType">const</span> <span class="synType">unsigned</span> <span class="synType">int</span> <span class="synComment">/* file_version */</span>)<br />{<br /> <span class="synType">typedef</span> <span class="synType">typename</span> subgraph<Graph>::vertex_descriptor Vertex;<br /> <span class="synType">typedef</span> <span class="synType">typename</span> Graph::vertex_iterator VertexIter;<br /> Graph g;<br /> <span class="synType">bool</span> root;<br /> <span class="synType">size_t</span> num_children;<br /> ar >> BOOST_SERIALIZATION_NVP(root);<br /> ar >> BOOST_SERIALIZATION_NVP(num_children);<br /> ar >> BOOST_SERIALIZATION_NVP(g);<br /><br /> <span class="synStatement">if</span>(root) {<br /> graph.m_graph = g;<br /> } <span class="synStatement">else</span> {<br /> VertexIter vi, vi_end;<br /> tie(vi, vi_end) = vertices(g);<br /> graph.create_subgraph(vi, vi_end);<br /> }<br /> <span class="synStatement">for</span>(<span class="synType">size_t</span> i = <span class="synConstant">0</span>; i < num_children; ++i) {<br /> ar >> BOOST_SERIALIZATION_NVP(graph);<br /> }<br />}<br /><br /><span class="synType">template</span><<span class="synType">class</span> Archive, <span class="synType">class</span> Graph><br /><span class="synType">inline</span> <span class="synType">void</span> serialize(<br /> Archive& ar,<br /> boost::subgraph<Graph>& graph,<br /> <span class="synType">const</span> <span class="synType">unsigned</span> <span class="synType">int</span> file_version) <br />{<br /> boost::serialization::split_free(ar, graph, file_version);<br />}<br /> <br />} <span class="synComment">// namespace serialization</span><br />} <span class="synComment">// namespace boost</span><br /><br /><span class="synPreProc">#endif</span><br /><br /></pre><br /><br />Theses codes aren't tested enough, if you find bugs please email me([email protected]).rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-77559419545900189232008-10-13T17:55:00.003+09:002008-10-13T18:15:45.724+09:00SFX VM 命令コード作成とバイトコードのプリティプリントのメモRevision 37555時点で、106の命令コードが実装されていて、103の命令コードについてドキュメントがコメント形式で与えられている。<br /><br /><span style="font-weight:bold;">命令コードドキュメントの生成</span><br /><pre>% cd /path/to/WebKit/JavaScriptCore<br />% perl docs/make-bytecode-docs.pl VM/Machine.cpp docs/bytecode.html</pre><br /><br /><span style="font-weight:bold;">バイトコードプリティプリント</span><br />DEBUGモードでビルドした時のみ、バイトコードを表示するための-dオプションが有効です。<br /><br />date_test.js<br /><pre><br />var d = new Date();<br />print(d.getFullYear(), 1 + d.getMonth(), d.getDate());<br /></pre><br /><br /><pre><br />% ./JavaScriptCore/build/Debug/jsc -d date_test.js<br />18 instructions; 388 bytes at 0x905b50; 1 parameter(s); 18 callee register(s)<br /><br />[ 0] enter<br />[ 1] mov r-14, r0<br />[ 4] mov r2, r0<br />[ 7] resolve_global r3, [object global], Date(@id0)<br />[ 13] get_by_id r4, r3, prototype(@id1)<br />[ 21] construct r-14, r3, r4, 5, 1, 14<br />[ 28] construct_verify r-14, r5<br />[ 31] resolve_func r2, r3, print(@id2)<br />[ 35] get_by_id r6, r-14, getFullYear(@id3)<br />[ 43] call r5, r6, r-14, 7, 1, 16<br />[ 50] mov r7, r1<br />[ 53] get_by_id r8, r-14, getMonth(@id4)<br />[ 61] call r9, r8, r-14, 9, 1, 18<br />[ 68] add r6, r7, r9<br />[ 73] get_by_id r8, r-14, getDate(@id5)<br />[ 81] call r7, r8, r-14, 9, 1, 18<br />[ 88] call r2, r3, r2, 4, 4, 16<br />[ 95] end r2<br /><br />Identifiers:<br /> id0 = Date<br /> id1 = prototype<br /> id2 = print<br /> id3 = getFullYear<br /> id4 = getMonth<br /> id5 = getDate<br /><br />Constants:<br /> r0 = undefined<br /> r1 = 1<br /><br />StructureIDs:<br /> [ 7] resolve_global: 0x0<br /> [ 13] get_by_id: 0x0<br /> [ 35] get_by_id: 0x0<br /> [ 53] get_by_id: 0x0<br /> [ 73] get_by_id: 0x0<br /><br />2008 10 13<br />End: undefined<br />LEAK: 135 StructureID<br />% <br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-36678232786497361062008-10-09T22:40:00.006+09:002008-10-12T17:55:45.166+09:005倍速いSquirrelFish Extremeの正規表現エンジンWREC「recursive callを得意とするV8が、recursive callに比重をおいた、V8 Benchmark Suiteで速い!速い!と語られるのはフェアではない」<br /><br />今回、正規表現のみに焦点を当ててJavaScriptエンジンを比較してみた。<br /><br /><span style="font-weight: bold;">環境</span><br /><ul><li>SpiderMonkey - 1.7.0 2007-10-03</li><li>SFX - Revision: 37445</li><li>v8 - Revision: 389</li></ul><br />SFX(SquirrerlFish Extreme)に新しく搭載されたWREC("the WebKit Regular Expression Compiler")、Safari 3に搭載されているJavaScript Coreに比べて、なんと5倍も速い。正規表現の実行が占める実行時間が、Webアプリケーション全体の実行時間の3%ほどだとすれば、WRECは、2.4%ほどの高速化に貢献している。<br /><br />V8, SFX, SpiderMonkey, Safari 3で<a href="http://www2.webkit.org/perf/sunspider-0.9/regexp-dna.html">regexp-dna.html</a>をベースに作成したベンチマークスクリプトでベンチマークを計測した。スループット(1分間の実行回数)を算出しているので、グラフが大きい方が高性能。(5回測定した結果の中央値を利用)<br /><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi40HdHRxuFrEpAvBkM1RQ1xNS94HhJt-xfANXIGja_tuOgJ0pM8mSjsFmR_a0K2EI_r5iTdvYGDX9Pcg1X6h7bXsiV7YmDwzNUO5EcuNKwWj4eOqtYUK2iz_4hB_u8zbQbGXsz/s1600-h/%E3%83%94%E3%82%AF%E3%83%81%E3%83%A3+1.png"><img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi40HdHRxuFrEpAvBkM1RQ1xNS94HhJt-xfANXIGja_tuOgJ0pM8mSjsFmR_a0K2EI_r5iTdvYGDX9Pcg1X6h7bXsiV7YmDwzNUO5EcuNKwWj4eOqtYUK2iz_4hB_u8zbQbGXsz/s400/%E3%83%94%E3%82%AF%E3%83%81%E3%83%A3+1.png" alt="" id="BLOGGER_PHOTO_ID_5255376072284180786" border="0" /></a><br /><br />SFXが、Safari 3の6.44倍も速いという結果がでた!!公式に発表されている結果では、5倍だからそれよりも速い!が、String.prototype.replaceメソッドの実装に差があるため、この結果はフェアではない。regex-dna.jsを修正し、実行した結果は次の通り。<br /><br />実行結果<br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhQzyBz1pavtJtqH-j328WA6XzcKsuTfjitTz-ISkJ8EP-6ESjGWp4VipiMJ68Khh1HyC7CG3NQ8vnZTjvNB6FkBI2Ed-5AcamSVBgIs_4qJtk6k9hVhsrv2b6fL0997gbVpfwy/s1600-h/%E3%83%94%E3%82%AF%E3%83%81%E3%83%A3+2.png"><img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhQzyBz1pavtJtqH-j328WA6XzcKsuTfjitTz-ISkJ8EP-6ESjGWp4VipiMJ68Khh1HyC7CG3NQ8vnZTjvNB6FkBI2Ed-5AcamSVBgIs_4qJtk6k9hVhsrv2b6fL0997gbVpfwy/s400/%E3%83%94%E3%82%AF%E3%83%81%E3%83%A3+2.png" alt="" id="BLOGGER_PHOTO_ID_5255379401551263266" border="0" /></a><br /><br />公式の発表に近い、Safari 3の5.19倍速いという結果がでたので、概ね正しそうだ。<br /><br />regexp-dna.jsの修正内容は、次のとおり。<br /><pre class="diff"><br /><span class="synSpecial">< dnaInput = dnaInput.replace(k, subs[k], "g")</span><br /><span class="synSpecial">---</span><br /><span class="synIdentifier">> dnaInput = dnaInput.replace(new RegExp(k, 'g'), subs[k]);</span><br /></pre><br /><br /><span style="font-weight:bold;">String.prototype.replaceの実装の差</span><br />ECMAScript262によるString.prototype.replace(searchValue, replaceValue)の定義では、第三引数は受付けないが、MozillaのSpiderMonkeyでは、第一引数に文字列が渡された場合に、第三引数に正規表現フラグを指定できるように拡張している。<br /><br />もうひとつ。SpiderMonkey(js), SFX(jsc), v8(v8-shell)でString.prototype.replace関数の比較をすると、SFXの実装だけ明らかに他の2つとは異なることがわかる。<br /><br /><pre><br />% js<br />js> 'aaaaa'.replace('a', '_$&_', 'g') # SpiderMonkeyでは、gフラグが有効<br />_a__a__a__a__a_<br /><br />% v8-shell<br />V8 version 0.2.5<br />> 'aaaaa'.replace('a', '_$&_', 'g') # v8では、gフラグは無効<br />_a_aaaa<br /><br />% jsc<br />> 'aaaaa'.replace('a', '_$&_', 'g') # SFXでも、gフラグは無効<br />_$&_aaaa<br />>'aaaaa'.replace(/a/, '_$&_', 'g')<br />_a_aaaa<br /></pre><br /><br />WRECでは、第一引数が通常の文字列の場合は、通常の文字列置換が行われ、第二引数の置換テキスト($&)が展開されない。SFX中では、"WebKit/JavaScriptCore/kjs/StringPrototype.cpp"にString.prototype.replaceの実装があるが、文字列を探索して、マッチした以前の部分、置換する文字列、マッチした後の文字列を連結して返している。<br /><br />WebKit/JavaScriptCore/kjs/StringPrototype.cpp<br /><pre class="cpp"><br />JSValue* stringProtoFuncReplace(ExecState* exec, JSObject*, JSValue* thisValue, <span class="synType">const</span> ArgList& args)<br />{<br /> <span class="synComment">// 引数の処理</span><br /> <span class="synStatement">if</span> (pattern->isObject(&RegExpObject::info)) {<br /> <span class="synComment">// 第一引数がRegExpオブジェクトのケースの処理</span><br /> }<br /> <span class="synComment">// 第一引数が文字列の場合</span><br /> <span class="synComment">// First arg is a string</span><br /> UString patternString = pattern->toString(exec);<br /> <span class="synType">int</span> matchPos = source.find(patternString);<br /> <span class="synType">int</span> matchLen = patternString.size();<br /> <span class="synComment">// Do the replacement</span><br /> <span class="synStatement">if</span> (matchPos == -<span class="synConstant">1</span>)<br /> <span class="synStatement">return</span> sourceVal;<br /><br /> <span class="synStatement">if</span> (callType != CallTypeNone) {<br /> ArgList args;<br /> args.append(jsSubstring(exec, source, matchPos, matchLen));<br /> args.append(jsNumber(exec, matchPos));<br /> args.append(sourceVal);<br /><br /> replacementString = call(exec, replacement, callType, callData, exec->globalThisValue(), args)->toString(exec);<br /> }<br /><br /> <span class="synStatement">return</span> jsString(exec, source.substr(<span class="synConstant">0</span>, matchPos) + replacementString + source.substr(matchPos + matchLen));<br />}<br /></pre><br /><br />String.prototype.replaceの第一引数が文字列の場合に、単純な文字列置換をおこないパフォーマンスを向上する最適化は、SpiderMonkeyでもとりこまれる予定だ。(See <a href="https://bugzilla.mozilla.org/show_bug.cgi?id=432525">Bug 432525</a>)<br /><br /><span style="font-weight:bold;">WRECでは、グルーピングは未実装</span><br />シンプル!軽量!速い!と3拍子そろったWRECだけど、グルーピングの機能は実装しておらず、グルーピング付きのパターンが指定された時は、PCREに処理を任せることになるため、実行速度が低下する。<br /><br /><pre class="cpp"><br /><span class="synType">bool</span> WRECParser::parseParentheses(JmpSrcVector&)<br />{<br /> <span class="synComment">// </span><span class="synTodo">FIXME</span><span class="synComment">: We don't currently backtrack correctly within parentheses in cases such as</span><br /> <span class="synComment">// "c".match(/(.*)c/) so we fall back to PCRE for any regexp containing parentheses.</span><br /><br /> m_err = TempError_unsupportedParentheses;<br /> <span class="synStatement">return</span> <span class="synConstant">false</span>;<br />}<br /></pre><br /><br />regepx-dna.htmlのベンチマークでグルーピングありとなしを比べると実行速度の差が明らかになる。実行時間が変更前の140%になったSpiderMonkeyに比べて、SFXは、680%もの増加となった。<br /><br />変更前<br /><pre><br />> dnaInput = dnaInput.replace(/g*t/g, subs[k]);<br /></pre><br /><br /><pre><br />% jsc regexp-dna.js<br />285 (msec)<br /><br />% js regepx-dna.js<br />1789 (msec)<br /></pre><br /><br />変更後 (SFXでは、680%の速度低下)<br /><pre><br />> dnaInput = dnaInput.replace(/(g*)t/g, subs[k]);<br /></pre><br /><pre><br />% jsc regexp-dna.js<br />1942 (msec)<br /><br />% js regexp-dna.js<br />2501 (msec)<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-82837894675601590332008-09-11T12:57:00.007+09:002008-09-11T18:25:30.360+09:00Pythonでデコ•メソッドキャッシュ (memcached)おっPythonハカーを多数抱える、煩悩駆動開発で有名な<a href="http://glucose.jp/">glucose.jp</a>のお手伝いをする機会があり、4年ぶりにPythonを書いた。2.3以来だったので、2.5を眺めているとデコレーターと呼ばれる機能が導入されていた。<br /><br />デコレーターとクロージャーを組み合わせれば、メソッドの挙動を自由にカスタマイズすることができる。この機能を使用して、関数の結果をmemcachedでキャッシュする機能を付与するデコレーターを作ってみた。<br /><br /><br />あらかじめ、CACHE変数をmemcachedクライアントで初期化しておく必要がある。<br /><br /><span style="font-weight: bold;">挙動</span><br />ソースは、少々ややこしいけど、実行の仕組みは単純。<br /><br />Step 1:<br />@cached構文実行時に、ack関数に対して、cached関数が実行され、ack関数がdecorated_funcを呼び出した結果でack関数が置換される。(返り値は、callableなオブジェクトでないといけない。)<br /><br />Step 2:<br />decorated_func関数の呼び出し時の引数は、元のack関数。decorated_func関数の内部では、func_with_cacheが定義されており、ack関数に渡した引数を渡して実行される。この関数が、関数呼び出しの結果のキャッシュをチェックする本体となる。<br /><br /><pre class="python" style="height: 650px"><br /><span class="synComment"># Decorate methods with capability for caching result</span><br /><span class="synComment"># </span><br /><span class="synComment"># @author Rakuto Furutani <http://raku.to/></span><br /><span class="synComment"># @version 0.1.0</span><br /><span class="synComment">#</span><br /><span class="synPreProc">import</span> cPickle<br /><span class="synPreProc">import</span> memcache<br /><span class="synPreProc">import</span> time<br /><span class="synPreProc">import</span> md5<br /><br />__all__ = ['<span class="synConstant">cached</span>', '<span class="synConstant">init</span>']<br /><br /><span class="synComment"># </span><span class="synTodo">TODO</span><span class="synComment">: CACHE variable and function for initialize move to scope in Devkit.cache.*</span><br /><span class="synComment"># You must define global variable named 'CACHE' with instance of memcache client.</span><br />CACHE = None<br /><br /><span class="synStatement">def</span> <span class="synIdentifier">init</span>(cache_client):<br /> """<span class="synConstant"> We should initialize this library with this method</span><br /><span class="synConstant"> examples:</span><br /><span class="synConstant"> CACHE = memcache.Client(['127.0.0.1:11211'], debug=0) </span><br /><span class="synConstant"> methods_cache.init(CACHE)</span><br /><span class="synConstant"> </span>"""<br /> <span class="synStatement">global</span> CACHE<br /> CACHE = cache_client<br /><br /><span class="synStatement">def</span> <span class="synIdentifier">cached</span>(d_args):<br /> """<span class="synConstant"> Decorate method with caching capability for caching</span><br /><span class="synConstant"> All result call the function are cached with cache key generated by function name and parameters.</span><br /><br /><span class="synConstant"> examples:</span><br /><span class="synConstant"> @cached({'ttl': 3600})</span><br /><span class="synConstant"> def havy_complex_func(args):</span><br /><span class="synConstant"> # do something</span><br /><br /><span class="synConstant"> # Return whether result call real function or cached result</span><br /><span class="synConstant"> havy_complex_func()</span><br /><br /><span class="synConstant"> # You can specify cache key name explicitly</span><br /><span class="synConstant"> @cached({'ttl': 3600, 'key': 'foo_bar'})</span><br /><span class="synConstant"> def foo_bar():</span><br /><span class="synConstant"> # doo something</span><br /><br /><span class="synConstant"> # You can also decorate one without ttl parameter</span><br /><span class="synConstant"> @cached</span><br /><span class="synConstant"> def havy_complex_func(args):</span><br /><span class="synConstant"> # do something</span><br /><span class="synConstant"> </span>"""<br /> <span class="synStatement">def</span> <span class="synIdentifier">cache_key</span>(func, args):<br /> """<span class="synConstant">Generate unique cache key with funcion name and arguments</span>"""<br /> <span class="synStatement">return</span> "<span class="synConstant">%s_%s</span>" % (func.__name__, md5.new(str(args)).hexdigest())<br /><br /> <span class="synStatement">def</span> <span class="synIdentifier">call_and_cache</span>(func, args, key):<br /> ret = func(*args)<br /> data = {'<span class="synConstant">ttl</span>': (time.time() + d_args['<span class="synConstant">ttl</span>'] <span class="synStatement">if</span> '<span class="synConstant">ttl</span>' <span class="synStatement">in</span> d_args <span class="synStatement">else</span> None), '<span class="synConstant">d</span>': ret}<br /> CACHE.set(key, cPickle.dumps(data))<br /> <span class="synStatement">return</span> ret<br /><br /> <span class="synStatement">def</span> <span class="synIdentifier">decorated_func</span>(func):<br /> <span class="synStatement">def</span> <span class="synIdentifier">func_with_cache</span>(*args):<br /> key = d_args['<span class="synConstant">key</span>'] <span class="synStatement">if</span> ('<span class="synConstant">key</span>' <span class="synStatement">in</span> d_args) <span class="synStatement">else</span> cache_key(func, args)<br /> cached_val = CACHE.get(key)<br /> <span class="synStatement">if</span> cached_val <span class="synStatement">is</span> <span class="synStatement">not</span> None:<br /> cached_val = cPickle.loads(cached_val)<br /> <span class="synStatement">if</span> (cached_val['<span class="synConstant">ttl</span>'] <span class="synStatement">is</span> <span class="synStatement">not</span> None) <span class="synStatement">and</span> (cached_val['<span class="synConstant">ttl</span>'] >= time.time()):<br /> <span class="synStatement">return</span> cached_val['<span class="synConstant">d</span>']<br /> <span class="synStatement">return</span> call_and_cache(func, args, key)<br /> <span class="synStatement">return</span> func_with_cache<br /> <span class="synStatement">return</span> decorated_func<br /><br /><span class="synStatement">if</span> __name__ == '<span class="synConstant">__main__</span>':<br /> <span class="synPreProc">import</span> sys<br /> <span class="synPreProc">import</span> time<br /><br /> sys.setrecursionlimit(10000)<br /><br /> <span class="synComment"># Define memcache client</span><br /> CACHE = memcache.Client(['<span class="synConstant">127.0.0.1:11211</span>'], debug=0)<br /><br /> <span class="synStatement">def</span> <span class="synIdentifier">_internal_ack</span>(m, n):<br /> <span class="synStatement">if</span> m == 0:<br /> result = n + 1<br /> <span class="synStatement">elif</span> n == 0:<br /> result = ack(m - 1, 1)<br /> <span class="synStatement">else</span>:<br /> result = ack(m - 1, ack(m, n -1))<br /> <span class="synStatement">return</span> result<br /><br /> <span class="synStatement">def</span> <span class="synIdentifier">ack</span>(m, n):<br /> <span class="synStatement">return</span> _internal_ack(m, n)<br /><br /> <span class="synPreProc">@</span><span class="synIdentifier">cached</span>({'<span class="synConstant">ttl</span>': 3600})<br /> <span class="synStatement">def</span> <span class="synIdentifier">ack_with_cache</span>(m, n):<br /> <span class="synStatement">return</span> _internal_ack(m, n)<br /><br /> t = time.time()<br /> ret = ack(3, 4)<br /> <span class="synStatement">print</span>("<span class="synConstant">ack(3, 4) returned %d - %s sec</span>" % (ret, str(time.time() - t)))<br /><br /> ack_with_cache(3, 4) <span class="synComment"># cached once</span><br /> t = time.time()<br /> ret = ack_with_cache(3, 4)<br /> <span class="synStatement">print</span>("<span class="synConstant">ack(3, 4) returned %d with cached - %s sec</span>" % (ret, str(time.time() - t)))<br /><br /></pre><br /><span style="font-weight: bold;">実行結果</span><br /><pre><br />ack(3, 4) returned 125 - 0.00920796394348 sec<br />ack(3, 4) returned 125 with cached - 0.000248908996582 sec<br /></pre><br /><br /><span style="font-weight: bold;">まとめ</span><br />来月から、[email protected]によるおっPython連載がオライリーで始まるらしい。代表取締役としての世間体と、煩悩の狭間で、どこまで書いていいのか悩んでいるようだ。結論をそれに帰着するという路線と合わせて、”ゆるかわPython”なるコンセプトを提案し、20代後半女性Pythonianを増やす革命者になるという路線も考えているようだ。<br /><br />記事の影響により、glucose発の女性Pythonハカー誕生なるか。rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-44185336477126477832008-08-29T10:21:00.001+09:002008-08-29T10:38:45.030+09:00iPhoneのセキュリティ向上のために設定しておくべき事<a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhtLe4Dxw0f-fizoSMHAoCqFCGfAkLwDtek_2VHFOrV-79joAo7zwxAmDuXq5XMr_FP5tx1O5VKIKbR0-i3j2R1hyphenhyphenYaeV8pWSFdKKMDvxM-6GvPu3oxiUOIQ0T-kOklRaXrEv7w/s1600-h/passcode.jpg"><img style="margin: 0pt 10px 10px 0pt; float: left; cursor: pointer;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhtLe4Dxw0f-fizoSMHAoCqFCGfAkLwDtek_2VHFOrV-79joAo7zwxAmDuXq5XMr_FP5tx1O5VKIKbR0-i3j2R1hyphenhyphenYaeV8pWSFdKKMDvxM-6GvPu3oxiUOIQ0T-kOklRaXrEv7w/s400/passcode.jpg" alt="" id="BLOGGER_PHOTO_ID_5239747800328151890" border="0" /></a><br />脆弱性。<br /><br />将来において改善されそうなiPhoneの仕様 or バグの一つが話題になっている。パスコードロックがかかっている画面から緊急電話をクリックした画面でホームボタンをダブルクリックすると「よく使う項目」にアクセスできてしまう。(表示された画面のキャンセルボタンも機能しないし、おそらくバグ)<br /><br />脆弱性回避のために、<br />設定 -> 一般 -> ホームボタンで、「よく使う項目にチェックされているフィールドを、「ホーム」にしておく。<br /><br />P.S.<br />パスコードロックの画面では、スクリーンショット機能は起動できないが、緊急電話をかけるための画面では、スクリーンショット機能が利用できた。(ただし、実際は、壁紙しか映らなかった。)<br /><br /><span style="font-weight: bold;">関連記事</span><br /><ul><li><a href="http://venturebeat.com/2008/08/27/the-iphone-202-security-flaw-and-its-temporary-fix/%20">The iPhone 2.0.2 security flaw — and its temporary fix</a></li><li><a href="http://cultofmac.com/major-security-hole-in-iphone-firmware/2626">Major Security Hole in iPhone Firmware — And How To Fix It</a></li></ul>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-26857639317961496062008-08-26T10:40:00.006+09:002008-08-26T12:32:59.077+09:00ワイヤレス共振エネルギー・リンク(WREL)と物体プログラミング「机に座り、起動時間が3分程かかる窓のアイコンを眺めつつ、ただ待つ。モデムのスイッチを入れて、PPP接続アシスタントを立ち上げ、青いeのアイコンをクリックする。さぁ、インターネットを始めるぞ!」13年程前か。そんな時代が、随分と懐かしく感じる。<br /><br />iPhoneの登場が、私達のオフラインでいる時間を無情にも奪う。Firmware 2.0.2でも、電波状況は(まだ)悪いけど、場所を選ばすにSafariが立ち上がり、Google Readerを読めるのはとても魅力的だ。オンラインでいる時間が増えるから、ライフストリーミング系のアプリケーションが盛り上がるわけだ。パーベイシブコンピューティング、インターネットは場所を選ばず利用できるようになりつつある。原丈人氏の言葉で言えば、PUC(パーベイシブユビキタスコミュニケーション)だろうか。GPS, WiFiをiPhone上で使っていて、電池の減りがいつも気になる。iPhoneは、バッテリーの交換が出来ないのに。<br /><br />瀧内氏と飲んでいる時にも、よく盛り上がる話題の一つが、ワイヤレス給電だ。<br />WiFi同様に、電力が場所を選ばずに利用できる時代、町中に"パワースポット"が普及するのはいつ頃だろうか?といった内容の話をする。人体に影響を与えず、利用料に応じて課金される従量制。そんな電力スポットの登場が待ち遠しい。<br /><br />インテル・デベロッパー・フォーラム(IDF)Fall 2008で、MITで研究されているWREL(Resonant Energy Link)のデモが公開された。<br /><br />via <a href="http://www.intel.co.jp/jp/intel/pr/press2008/080822.htm">2050 年までに人間と機械はより一層近づくと講演</a><br /><blockquote>ノートブック PC を持って空港や部屋に入るだけで、バッテリーが消耗するどころか充電されるとしたら…。MIT の物理学者の理論をもとに、インテルではワイヤレス共振エネルギー・リンク(Wireless Resonant Energy Link:WREL)の研究を行っています。ラトナーは、電源プラグも電線も使わずに、60 ワットの電球を点灯してみせました。60 ワットは、標準的なノートブック PC の消費電力を上回る電力です。<br /><br />WREL の素晴らしい点は、電力をワイヤレスで安全かつ効率的に供給できることです。この技術は強結合共振器を使用します。訓練された歌手が声でガラスを割ることができるのとよく似た原理です。これはガラスの固有振動数で音響エネルギーが吸収されることと同じ様に、受信側の共振器の固有振動数と共振することで、エネルギーは効率よく吸収されます。このテクノロジーをノートブック PC などに搭載すれば、送信側の共振器から数十センチの距離に近づけることでバッテリーを充電することが可能になります。</blockquote><br /><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEglYYuGORW1MGV58o06W2janiqUu7UIv0-5v28ZWrjuZVUAABkVrwRqkwV5jRUGiA_MVmSRBfdCTYUVZRfDbzmuwnIsLA2sjBZUNELuRBmLcant_NmY7ZFj5W2tppbBWTEUuZOJ/s1600-h/DSC_0382.JPG"><img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer;" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEglYYuGORW1MGV58o06W2janiqUu7UIv0-5v28ZWrjuZVUAABkVrwRqkwV5jRUGiA_MVmSRBfdCTYUVZRfDbzmuwnIsLA2sjBZUNELuRBmLcant_NmY7ZFj5W2tppbBWTEUuZOJ/s400/DSC_0382.JPG" alt="" id="BLOGGER_PHOTO_ID_5238640822675528706" border="0" /></a><br /><br />WRELは、MITの物理学者<a href="http://web.mit.edu/physics/facultyandstaff/faculty/marin_soljacic.html">Marin Soljacic</a>氏らの研究をベースにしている。関連記事は次の通り。<br /><ul><li><a href="http://web.mit.edu/newsoffice/2007/wireless-0607.html%20">Goodby Wires</a></li></ul><br /><br />このプレスリリースには、<a href="http://d.hatena.ne.jp/keyword/%A5%DB%A5%A4%A5%DD%A5%A4%A5%AB%A5%D7%A5%BB%A5%EB?kid=160674">ポイポイカプセル</a>を思い起こさせるような一節がある。「物体もプログラム可能に:形を変えるコンピューター」と題して、次のように記載されている。<br /><br /><blockquote>インテルではまた、何百万個もの「catom」と呼ばれる微小なマイクロロボットによって、自在に形状を変えることができる素材の研究を進めています。この素材をコンピューティング機器の筐体やディスプレイ、キーボードの製造に使うことにより、ユーザー固有の形状にすることができます。例えばノートブック PC ならば、ポケットに入れるときは小さくなり、携帯電話として使用するときは受話器の形になり、インターネットを閲覧したり映画を見るときは、大きく薄くなってキーボードも現れる、といったことが可能になります。</blockquote><br />インテル面白いなぁ...rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-684509271262116192008-08-08T16:48:00.001+09:002008-08-08T17:11:36.912+09:00robots.txt 2.0の書き方海の向こうで話題になっていた時は、その圧倒的な力に感心する程度であったが、実際に日本でもGoogle Street Viewが、リアルクローラーを走らせているとなるとプライバシーが気になる。公共の道路で撮影された映像には、著作権は存在しなく、まずい画像については、モザイクやユーザからの投稿で対応していくとの事だが、土地所有者や人にもrobot.txtを書く権利を与えてくれてもいいだろう。<br /><br /><a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://www.guiabuscadores.com/blog/imagenes/googlevan.jpg"><img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer; width: 400px;" src="http://www.guiabuscadores.com/blog/imagenes/googlevan.jpg" alt="" border="0" /></a><br /><div style="text-align: center;">via <a href="http://www.guiabuscadores.com/2007/117/#10658%20">Robots.txt 2.0</a><br /></div><br />「ベッドルームの撮影はお断り」との事だ。<br />クローラーがVanでなくて、小型偵察機や昆虫のような大きさまで小さくなった時には、どうなるのだろうか。拡張現実社会の到来にむけて、実世界におけるrobots.txtの書き方を真剣に考えるべき時である。<br /><br />撮影された画像に著作権が無いとすれば、Google Street View上に広告を配信することは可能なんだろうか?ネタ画像を探そうと、みんながどこを探しまわっているかは、だいたい想像がつく。何よりGoogleには、Google Street View上での膨大なユーザのアクティビティログが残っている。ユーザが良く訪れる場所に広告を出して、「一部、拡張現実です」と明記している事はいけないのだろうか?<br /><br /><a href="http://www.amazon.co.jp/gp/product/4104596035?ie=UTF8&tag=drecomblog08-22&linkCode=as2&camp=247&creative=1211&creativeASIN=4104596035">ザッツ監視社会</a>はどのような世界なのか?<br />覗いてみたい方は、大統領暗殺の濡れ衣を着せられた一人の男の物語、ゴールデンスランバーを一読してみると良い。街中に設置されたセキュリティポットは、犯罪をおかさない善良な市民にとってはいいかもしれない。しかし、この男は、"見えない力"によりオズワルドに仕立てられた男なのだ。<br /><br /><iframe src="http://rcm-jp.amazon.co.jp/e/cm?t=drecomblog08-22&o=9&p=8&l=as1&asins=4104596035&fc1=000000&IS2=1&lt1=_blank&m=amazon&lc1=0000FF&bc1=000000&bg1=FFFFFF&f=ifr" style="width: 120px; height: 240px;" marginwidth="0" marginheight="0" frameborder="0" scrolling="no"></iframe><br /><br />Google.govなんてくそくらえ。rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-41852851168254785722008-07-18T18:25:00.005+09:002008-07-19T12:12:10.378+09:00OpenID動向 - Trusted Data Exchangeがユーザ属性ポータビリティの切り札になるか?第三回 Liberty Alliance 技術セミナーで<a href="http://www.sakimura.org/modules/xhld0/">=nat</a>さんの基調講演を公聴してきて、OpenID関連の動向を仕入れたのでメモ。<br /><br />OPとRP間で属性情報を交換するための拡張として、SREGやAXがあるが、AXも今ひとつ普及するに至っていない。(myopenid.comとVeriSignだけ?)また、プライバシポリシーや利用規約の問題もあり、日本企業では、ユーザ属性をサードパーティに公開出来ない事も多い。<br /><br />基本的に、AXとSREGの違いは、<br /><ul><li>交換可能な属性をコミュニティベースで提案&決定する</li><li>属性を識別するために、プリミティブな値でなく、ネームスペースURIを使う</li><li>OPに要求する属性の個数が指定可能</li><li>RPがOPに対して属性の保存をする事が可能。(ただし、使われているプロバイダは知らない。)</li></ul><br /><br />が挙げられるが、根本的な問題は、OpenIDのユーザ属性として、クレジットカード番号や電話番号などプライバシー性の高い情報を使う事など、気が狂っていると思われている事だ。AXへの本格的な以降が進まないのは、結局OpenIDで扱うユーザ属性は、ニックネームやメールアドレスのみで、SREGで十分に事が足りているからではないだろうか。<br /><br />さて、単純なユーザ属性の交換と、OP側でのユーザの許可の仕組みしか提供していないAXに代わる仕様として、<span style="font-weight: bold;"><a href="http://iiw.idcommons.net/index.php/Trusted_Data_Exchange">Trusted Data Exchange</a></span>が=natさん、=masakiさん (NRI)から提出されている。<br /><br />TXのコンセプトには次のような物が含まれる。<br /><ul><li>契約ベースの属性提供</li><li>XML Encryption/XML Signatureによる暗号化•書名</li><li>非同期な属性提供 (非否認性を持った契約ベース)</li><li>RPの信憑性を判断するReputation Platform (現状のホワイトリストに代わる)</li></ul>仕様は既に、<a href="http://wiki.openid.net/Trusted_Data_Exchange">提案済み</a>で、仕様が取り込まれる方向で話が進んでいる様子。OpenIDによるログインフォームは、会員登録の敷居を下げる。結果的に、サービスを利用する敷居が下がり、クレジットカートや住所などの個人情報が信頼できないRPに渡る可能性が高くなる。ユーザ属性ポータビリティには、Reputation Platformの構築は、急務であると言える。<br /><br />年内に取り込まれるだろうか?<br /><br />もう一つの最新動向は、PAPEの仕様拡張。PAPEと言えば、OpenIDの認証強度を明示するためのOpenID拡張だが、採用するセキュリティモデルを明示的に指定するための仕様を提案しているとの事。現状のPAPEでは、NISTの定めるセキュリティモデルを指定できるだけであるが、日本のFISCの基準を採用する際には、次のように指定できるとの事だ。<br /><br /><pre><br />openid.pape.auth_level.fisc:2<br />openid.pape.auth_level.ns.fisc: http://www.fisc.or.jp/ex/authlevel<br /></pre><br /><br />See also: <a href="http://www.machu.jp/diary/20080718.html#p01">まちゅダイアリー - SAML と OpenID と CardSpace</a>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-72906086784083391462008-07-15T10:28:00.001+09:002008-07-15T10:49:34.287+09:00[Rails] Gears on Rails helps developers to write fully offline functionnal web applicationsGoogle anounced about <a href="http://code.google.com/p/gearsonrails/">Gears on Rails</a>, see <a href="http://google-code-updates.blogspot.com/2008/07/take-your-rails-application-offline.html">Take your Rails application offline with the Gears on Rails project</a>. We can listen to <a href="http://google-developer-podcast.googlecode.com/files/gearsonrails-googledeveloperpodcast.mp3">audio interview</a>. This is Rails plugin to manipulate offline data from RoR.We can install GoR as Rails plugin is as follows:<br /><pre><br />% sudo gem install json_pure<br />% rails gor_demo && cd gor_demo<br />% ruby script /plugin install http://gearsonrails.googlecode.com/svn/trunk/acts_as_local<br /></pre><br /><br />It need to add acts_as_local method in your controller in order to use it.<br /><pre><br /> acts_as_local <span class="synIdentifier">:except</span> => [<span class="synIdentifier">:hello</span>]<br /> <br /> <span class="synPreProc">def </span><span class="synIdentifier">create_local</span><br /> <span class="synSpecial">'</span><br /><span class="synConstant"> post = Post.build(params("post"));</span><br /><span class="synConstant"> Post.create_local(post);</span><br /><span class="synConstant"> window.location.reload( false );</span><br /><span class="synConstant"> </span><span class="synSpecial">'</span><br /> <span class="synPreProc">end</span><br /></pre><br /><br />Sorry, I never use <a href="http://code.google.com/p/gearsonrails/">GoR</a> yet, but It seems interesting, so i may use it. See <a href="http://code.google.com/p/gearsonrails/">Gears on Rails</a> in order to see how to write view and controller for more details.rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-70331367247787535122008-07-14T22:08:00.002+09:002008-07-16T10:03:53.008+09:00[Erlang tips] Sometimes to call mnesia:wait_for_tables is requiredHmm..,<br />I spent three hours for a Mnesia's strange error message, so write tips about error I'm confused. The tables on Mnesia often need a time to prepare their tables, and if tables aren't available, then we'll see storange error message.<br /><br />% db_test.erl<br /><pre class="erlang"><br />write_db_test() <span class="synStatement">-></span><br />start(), <span class="synComment">% Start the server, mnesia and create required tables.</span><br />?assertMatch({ok, <span class="synSpecial">_</span>}, <span class="synIdentifier">mnesia</span><span class="synSpecial">:</span><span class="synIdentifier">transaction</span>(<span class="synStatement">fun</span>() <span class="synStatement">-></span> #person{<span class="synSpecial">name</span><span class="synStatement">=</span><span class="synConstant">"rakuto"</span>}))<span class="synSpecial">.</span><br /></pre><br />You may see the error is as follows:<br /><pre><br />{badmatch,{aborted,{no_exists,ready_queue}}}<br /></pre><br /><br />It seems it need to call mnesia:wait_for_tables.<br /><br />% db_test.erl<br /><pre class="erlang"><br />write_db_test() <span class="synStatement">-></span><br />start(), <span class="synComment">% Start the server, mnesia and create required tables.</span><br /><span class="synIdentifier">mnesia</span><span class="synSpecial">:</span><span class="synIdentifier">wait</span><span class="synSpecial">_</span><span class="synIdentifier">for</span><span class="synSpecial">_</span><span class="synIdentifier">tables</span>([person], 3000),<br />?assertMatch({ok, <span class="synSpecial">_</span>}, <span class="synIdentifier">mnesia</span><span class="synSpecial">:</span><span class="synIdentifier">transaction</span>(<span class="synStatement">fun</span>() <span class="synStatement">-></span> #person{<span class="synSpecial">name</span><span class="synStatement">=</span><span class="synConstant">"rakuto"</span>}))<span class="synSpecial">.</span><br /></pre><br />I think that error message "{no_exists, table_name}" is not human friendly.rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-56337722605942379192008-07-04T18:55:00.002+09:002008-07-04T20:45:07.448+09:00[Erlang] How to package an application with erlware(faxien and sinan commands)We usually need to package system and repositories in order to create a big application. <a href="http://www.erlware.org/">Erlware</a> is a repository for Erlang programs and it provides softaware to create a package and release it to the world. There are pretty cool, it is just thing I want to. This entry introduces that how to create an application as package and install to system.<br /><br />I create a HAVAL bindings for Erlang in order to learn how to create linked-in driver.<br />See <a href="http://rakuto.blogspot.com/2008/06/tutorial-for-how-to-create-erlang.html">Tutorial for how to create Erlang linked-in driver.</a><br /><br />In this entry, I introduce how to create an application provides API for HAVAL bindings for Erlang. We need to install <a href="http://code.google.com/p/faxien/">Faxien</a> and <a href="http://code.google.com/p/sinan/">Sinan</a> previously.<br /><br /><span style="font-weight: bold;font-size:130%;" >0. Dicied a names of application and start to development a pakcage.</span><br />Create required directories for the application.<br /><pre>% mkdir haval && cd haval && mkdir -p cmds doc bin lib<br />% ls .<br />bin/ cmds/ doc/ lib/ releases/<br />%<br /></pre>Create directories for HAVAL bindings.<br /><pre>% mkdir -p lib/haval && cd lib/hava && mkdir src ebin include priv/lib<br /></pre>Configuration file named "_build.cfg" for this application.<br /><pre>% cat > _build.cfg<br />project : {<br />name : haval<br />vsn : "1.0.0"<br />},<br /><br />repositories : ["http://repo.erlware.org/pub", "http://repo.martinjlogan.com/pub"]<br /></pre><span style="font-weight: bold;font-size:130%;" >1. Create an application</span><br />Create a HAVAL bindings for Erlang in this entry. This includes following source codes:<br /><ul><li><a href="http://github.com/rakuto/erlang_haval/tree/master/lib/haval/src/haval.erl">haval.erl</a> - Source provides API for HAVAL bindings</li><li><a href="http://github.com/rakuto/erlang_haval/tree/master/lib/haval/src/haval_server.erl">haval_server.erl </a>- Server to handle the shared library of HAVAL linked-in driver.</li><li><a href="http://github.com/rakuto/erlang_haval/tree/master/lib/haval/src/haval_sup.erl">haval_sup.erl</a> - Supervisor</li><li><a href="http://github.com/rakuto/erlang_haval/tree/master/lib/haval/src/haval_app.erl">haval_app.erl</a> - An application</li></ul>HAVAL bindings is provides as linked-in driver, these source are in lib/haval/c_src directory.<br /><ul><li>Makefile</li><li>config.h</li><li>haval.c</li><li>haval.h</li><li>haval_drv.o</li></ul><span style="font-weight: bold;font-size:130%;" >2. Build the shared library</span><br />HAVAL bindings requires shared library named "erl_drv.so", we may think want to integrate building task for linked-in driver to the package manager(Faxien). But unfortunately I don't know that, so I need to research for handling shared library.<br /><br />All sources are <a href="http://github.com/rakuto/erlang_haval/tree/master">here</a>.<br /><br />Do make task manually here.<br /><pre>% cd lib/haval/c_src<br />% make # Copy haval_drv.so haval/priv/lib<br /></pre><span style="font-size:130%;"><span style="font-weight: bold;">3. Build the application.</span></span><br />It 'sinan' command is used for building the application. We need to run background server with 'sinserv' command before compile them.<br /><pre>% sinserv # Placed in "/usr/local/erlware/release_packages/sinan-0.10.0.12/bin/sinserv" in my enviroment<br /></pre>Build the application with 'sinan' command. We can see help when '+help' command is passed.<br /><pre>% sinan +help<br />sinan [args] [task]<br />local args (+) and server args. local args may be any of the following<br /> +url : The url to connect to and control<br /> +help : This help message<br /><br />Server args are much more complex. There are always sane defaults so<br />you shouldn't need them, but you may. To get information about server<br />args read the sinan documentation.<br />%<br />% sinan # Default task is build<br />starting run<br />[check_depends] start<br />[check_depends] stop<br />[build] start<br />[build] Building ~/haval-1.0.0/lib/haval/src/haval_server.erl<br />[build] Building ~/haval-1.0.0/lib/haval/src/haval_sup.erl<br />[build] Building ~/haval-1.0.0/lib/haval/src/haval_app.erl<br />[build] Building ~/haval-1.0.0/lib/haval/src/haval.erl<br />[build] stop<br />run complete<br />% ls _build/development/apps/haval-1.0.0 # Generated following sources<br />c_src/ ebin/ include/ priv/ src/<br />%<br /></pre>Create a package for release. This package is generated underneath "_build/development/apps/" directory.<br /><pre>% sinan release<br />starting run<br />[check_depends] start<br />[check_depends] stop<br />[build] start<br />[build] stop<br />[release] start<br />[release] stop<br />run complete<br />%<br /></pre><span style="font-size:130%;"><span style="font-weight: bold;">4. Install the application locally.</span></span><br />Some of tasks are required in order to install the application. At first, we need to prepare the directory for released package, copy "_build/development/release" to "releases/haval-1.0.0/" and copy "_build/development/haval-1.0.0" to "releases/haval-1.0.0".<br /><pre>% mkdir releases/haval-1.0.0/ && mkdir lib<br />% cp -r _build/development/release releases/haval-1.0.0/<br />% cp -r _build/development/apps/haval-1.0.0 releases/haval-1.0.0/lib<br /></pre><br />Install the application locally, there will be deployed on "/usr/local/erlware/release_packages/haval-1.0.0/". We can use 'faxien' command in order to handle the packages (local and remote). Please execute "faxien help commands" for more details.<br /><pre><br />% faxien install-release releases/haval-1.0.0<br />ok<br />% ls /usr/local/erlware/release_packages/haval-1.0.0/<br />LICENCE README lib/ release/<br /></pre>Run and test.<br /><pre>% erl<br />Erlang (BEAM) emulator version 5.6.2 [source] [smp:2] [async-threads:0] [kernel-poll:false]<br /><br />Eshell V5.6.2 (abort with ^G)<br />1> haval:start().<br />ok<br />2> haval:haval_string("test").<br />"593C9AED973BB51A3C852FB4E051D7C26686B9468B4E405350CB6805DC1B99E6"<br />3> haval:haval_file("_build.cfg").<br />"5A114E356FBB0CCCED8C7574B7A71780C8F33D3A9B37B8642126B78429B2988F"<br />4><br /></pre><span style="font-size:130%;"><span style="font-weight: bold;">5. Test the application</span></span><br />We can use <a href="https://support.process-one.net/doc/display/CONTRIBS/EUnit">EUnit</a> for testing the application, and do test with following command:<br /><pre>% sinan test<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-43736722786454812962008-07-01T11:33:00.002+09:002008-07-01T12:59:20.217+09:00Manipulate Erlang binary term format in C/C++ with ei libraryErlang includes <a href="http://www.erlang.org/doc/man/ei.html">ei</a> library for handling Erlang binary term format. This entry introduces how to use this library.<br /><br /><span style="font-weight: bold;">1. Pass the one string to C driver from Erlang.</span><br />It's pretty simple case, and pass one string argument to C driver from Erlang. It should be passed port_control/3 or erlang:port_control/3 after <span style="font-weight:bold;">all arguments should be encoded as binary</span>. The "index" variable are used for pointing position in the buffer.<br /><br />% echo.erl<br /><pre class="erlang"><br /><span class="synType">-define</span>(DRV_ECHO, <span class="synConstant">1</span>)<span class="synSpecial">.</span><br /><br />echo(Str) <span class="synStatement">-></span><br /> control(?DRV_ECHO, Str)<span class="synSpecial">.</span><br /><br />control(Cmd, Data) <span class="synStatement">-></span><br /> [{port, Port}| <span class="synSpecial">_</span>] <span class="synStatement">=</span> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">lookup</span>(echo_table, port),<br /> Bin <span class="synStatement">=</span> <span class="synIdentifier">term_to_binary</span>(Data), <span class="synComment">% XXX: All arguments will be encoded as binary term format.</span><br /> Res <span class="synStatement">=</span> port_control(Port, Cmd, Bin),<br /> <span class="synIdentifier">binary_to_term</span>(Res)<span class="synSpecial">.</span><br /></pre><br />% echo_drv.c<br /><pre class="c"><br /><span class="synPreProc">#define DRV_ECHO </span><span class="synConstant">1</span><br /><br /><span class="synType">static</span> <span class="synType">int</span> control(ErlDrvData drv_data, <span class="synType">unsigned</span> <span class="synType">int</span> command, <span class="synType">char</span> *buf,<br /> <span class="synType">int</span> len, <span class="synType">char</span> **buf, <span class="synType">int</span> rlen) {<br /> <span class="synType">int</span> index, type, size, arity ,ver;<br /> <span class="synType">char</span> *arg1;<br /><br /> <span class="synStatement">switch</span>(command) {<br /> <span class="synStatement">case</span> DRV_ECHO:<br /> <span class="synComment">// It must call ei_decode_version at the beginning when argument is Erlang binary term format.</span><br /><br /> <span class="synComment">// All ei_xxx functions return 0 if it will be success, else return -1</span><br /> ei_decode_version(buf, &index, &ver); <span class="synComment">// Value of 'index' will become 1.</span><br /><br /> <span class="synComment">// Get size of string in order to allocate buffer for argument</span><br /> ei_get_type(buf, &index, &type, &size); <span class="synComment">// value of 'type' equal ERL_STRING_EXT</span><br /><br /> <span class="synComment">// Allocate memory for buffer</span><br /> arg1 = <span class="synStatement">new</span> <span class="synType">char</span>[size + <span class="synConstant">1</span>]; <span class="synComment">// Extra bite is required for NULL string.</span><br /> <span class="synComment">/* do something */</span> <br /> }<br />}<br /><br /></pre><br /><span style="font-weight: bold;">Type of Erlang term</span><br />It can obtain type of Erlang term with result of ei_get_type function. All value of types are defined in ei.h.<br /><pre class="c"><br /><span class="synPreProc">#define ERL_SMALL_INTEGER_EXT </span><span class="synConstant">'a'</span><br /><span class="synPreProc">#define ERL_INTEGER_EXT </span><span class="synConstant">'b'</span><br /><span class="synPreProc">#define ERL_FLOAT_EXT </span><span class="synConstant">'c'</span><br /><span class="synPreProc">#define ERL_ATOM_EXT </span><span class="synConstant">'d'</span><br /><span class="synPreProc">#define ERL_REFERENCE_EXT </span><span class="synConstant">'e'</span><br /><span class="synPreProc">#define ERL_NEW_REFERENCE_EXT </span><span class="synConstant">'r'</span><br /><span class="synPreProc">#define ERL_PORT_EXT </span><span class="synConstant">'f'</span><br /><span class="synPreProc">#define ERL_PID_EXT </span><span class="synConstant">'g'</span><br /><span class="synPreProc">#define ERL_SMALL_TUPLE_EXT </span><span class="synConstant">'h'</span><br /><span class="synPreProc">#define ERL_LARGE_TUPLE_EXT </span><span class="synConstant">'i'</span><br /><span class="synPreProc">#define ERL_NIL_EXT </span><span class="synConstant">'j'</span><br /><span class="synPreProc">#define ERL_STRING_EXT </span><span class="synConstant">'k'</span><br /><span class="synPreProc">#define ERL_LIST_EXT </span><span class="synConstant">'l'</span><br /><span class="synPreProc">#define ERL_BINARY_EXT </span><span class="synConstant">'m'</span><br /><span class="synPreProc">#define ERL_SMALL_BIG_EXT </span><span class="synConstant">'n'</span><br /><span class="synPreProc">#define ERL_LARGE_BIG_EXT </span><span class="synConstant">'o'</span><br /><span class="synPreProc">#define ERL_NEW_FUN_EXT </span><span class="synConstant">'p'</span><br /><span class="synPreProc">#define ERL_FUN_EXT </span><span class="synConstant">'u'</span><br /><br /><span class="synPreProc">#define ERL_NEW_CACHE </span><span class="synConstant">'N'</span><span class="synPreProc"> </span><span class="synComment">/* c nodes don't know these two */</span><br /><span class="synPreProc">#define ERL_CACHED_ATOM </span><span class="synConstant">'C'</span><br /></pre><br /><br /><span style="font-weight:bold;">2. Pass the List</span><br />It should call ei_decode_list_header function when parse the list term. It must be called when parse the list term.<br /><br />% echo_list.erl<br /><pre class="erlang"><br /><span class="synType">-define</span>(DRV_ECHO_LIST, <span class="synConstant">1</span>)<span class="synSpecial">.</span><br /><br />echo(List) <span class="synStatement">when</span> is_list(List) <span class="synStatement">-></span><br /> control(?DRV_ECHO_LIST, List)<span class="synSpecial">.</span><br /><br />control(Cmd, Data) <span class="synStatement">-></span><br /> [{port, Port}| <span class="synSpecial">_</span>] <span class="synStatement">=</span> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">lookup</span>(echo_list_table, port),<br /> Bin <span class="synStatement">=</span> <span class="synIdentifier">term_to_binary</span>(Data), <span class="synComment">% XXX: All arguments will be encoded as binary term format.</span><br /> Res <span class="synStatement">=</span> port_control(Port, Cmd, Str),<br /> <span class="synIdentifier">binary_to_term</span>(Res)<span class="synSpecial">.</span><br /></pre><br /><br />% echo_drv.c<br /><pre class="c"><br /><span class="synPreProc">#define DRV_ECHO </span><span class="synConstant">1</span><br /><br /><span class="synType">static</span> <span class="synType">int</span> control(ErlDrvData drv_data, <span class="synType">unsigned</span> <span class="synType">int</span> command, <span class="synType">char</span> *buf,<br /> <span class="synType">int</span> len, <span class="synType">char</span> **buf, <span class="synType">int</span> rlen) {<br /> <span class="synType">int</span> index, type, size, arity ,ver;<br /> <span class="synType">char</span> *arg1;<br /><br /> <span class="synStatement">switch</span>(command) {<br /> <span class="synStatement">case</span> DRV_ECHO_LIST:<br /> <span class="synComment">// It must call ei_decode_version at the beginning when argument is Erlang binary term format.</span><br /><br /> <span class="synComment">// All ei_xxx functions return 0 if it will be success, else return -1</span><br /> ei_decode_version(buf, &index, &ver); <span class="synComment">// Value of 'index' will become 1.</span><br /><br /> <span class="synComment">// Get size of string in order to allocate buffer for argument</span><br /> ei_get_type(buf, &index, &type, &size);<br /><br /> <span class="synComment">// Check the type</span><br /> <span class="synStatement">if</span>(type == ERL_LIST_EXT) {<br /> <span class="synComment">// It must be called at the begginning when hanle the list term.</span><br /> ei_decode_list_header(buf, &index, &arity);<br /> <br /> printf(<span class="synConstant">"number of elements: </span><span class="synSpecial">%d\n</span><span class="synConstant">"</span>, arity);<br /> <br /> <span class="synComment">// Check the type of first element in the list </span><br /> ei_get_type(buf, &index, &type, &size);<br /> <br /> swithc(type) {<br /> <span class="synStatement">case</span> ERL_SMALL_INTEGER_EXT:<br /> <span class="synStatement">case</span> ERL_INTEGER_EXT:<br /> <span class="synComment">// do something</span><br /> <span class="synStatement">break</span>;<br /> <span class="synStatement">case</span> ERL_STRING_EXT:<br /> <span class="synComment">// do something</span><br /> <span class="synStatement">break</span>;<br /> }<br /> }<br /> }<br />}<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-73777194726789987452008-06-30T02:08:00.004+09:002008-06-30T10:38:00.498+09:00Tutorial for how to create Erlang linked-in driver.Erlang provides mechanism to communicate between Erlang and other programs written by C/C++ or other. This entry introduce how to create simple linked-in driver. Create shared library and Erlang interface to use Erlang's linked-in driver.<br /><br /><span style="font-weight: bold;font-size:130%;" >Goal: To create HAVAL bindings for Erlang.</span><br /><a href="http:///">HAVAL</a> is fast cryptographic hash algorithm is invented by Yuliang Zheng, Josef Pieprzyk, and Jennifer Seberry in 1992. This library is pretty simple, so this is good choice for this tutorial.<br /><br /><span style="font-weight: bold;font-size:130%;" >Step 0: Files</span><br /><pre><br />config.h (Generated by configure script in HAVAL package)<br />haval.h<br />haval.c<br />haval.erl<br />haval_drv.cc<br />Makefile<br /></pre><br /><br />haval.c and haval.h are included <a href="http://labs.calyptix.com/haval-1.1.tar.gz">haval-1.1.tar.gz</a> (C source code).<br /><br />You can checkout these sample sources with Git. see <a href="http://github.com/rakuto/erlang_haval/tree/master">haval_erlang</a>.<br /><pre><br />% git clone git://github.com/rakuto/erlang_haval.git erlang_haval<br /></pre><br /><br /><span style="font-weight: bold;font-size:130%;" >Step 1: Create Erlang's interface</span><br />Erlang provides port mechanism in order to communicate between Erlang and other loaded shared object. See also <a href="http://www.kazmier.com/computer/port-howto/">Writing an Erlang Port using OTP Principles</a><br /><br /><pre class="erlang" style="height: 600px;"><br /><span class="synType">-module</span>(haval)<span class="synSpecial">.</span><br /><span class="synType">-author</span>(<span class="synType">'Rakuto Furutani <xri://=rakuto>'</span>)<span class="synSpecial">.</span><br /><br /><span class="synType">-define</span>(DRV_INFO, <span class="synConstant">1</span>)<span class="synSpecial">.</span><br /><span class="synType">-define</span>(DRV_HAVAL_STRING, <span class="synConstant">2</span>)<span class="synSpecial">.</span><br /><span class="synType">-define</span>(DRV_HAVAL_FILE, <span class="synConstant">3</span>)<span class="synSpecial">.</span><br /><br /><span class="synType">-export</span>([start<span class="synStatement">/</span><span class="synConstant">0</span>, stop<span class="synStatement">/</span><span class="synConstant">0</span>])<span class="synSpecial">.</span><br /><span class="synType">-export</span>([info<span class="synStatement">/</span><span class="synConstant">0</span>, haval_string<span class="synStatement">/</span><span class="synConstant">1</span>, haval_file<span class="synStatement">/</span><span class="synConstant">1</span>])<span class="synSpecial">.</span><br /><span class="synType">-ifdef</span>(debug)<span class="synSpecial">.</span><br /><span class="synType">-export</span>([test<span class="synStatement">/</span><span class="synConstant">0</span>, test<span class="synStatement">/</span><span class="synConstant">1</span>])<span class="synSpecial">.</span><br /><span class="synType">-endif</span><span class="synSpecial">.</span><br /><br /><span class="synComment">%%</span><br /><span class="synComment">%% Public interface</span><br /><span class="synComment">%%</span><br />start() <span class="synStatement">-></span><br /> start(<span class="synConstant">"haval_drv"</span>),<br /> ok<span class="synSpecial">.</span><br /><br />start(SharedLib) <span class="synStatement">-></span><br /> <span class="synStatement">case</span> <span class="synIdentifier">erl</span><span class="synSpecial">_</span><span class="synIdentifier">ddll</span><span class="synSpecial">:</span><span class="synIdentifier">load</span><span class="synSpecial">_</span><span class="synIdentifier">driver</span>(<span class="synConstant">"."</span>, SharedLib) <span class="synStatement">of</span><br /> ok <span class="synStatement">-></span> ok;<br /> {error, already_loaded} <span class="synStatement">-></span> ok;<br /> <span class="synSpecial">_</span> <span class="synStatement">-></span> <span class="synStatement">exit</span>({error, could_not_load_driver})<br /> <span class="synStatement">end</span>,<br /> register_lib(SharedLib)<span class="synSpecial">.</span><br /><br />stop() <span class="synStatement">-></span><br /> [{port, Port}| <span class="synSpecial">_</span>] <span class="synStatement">=</span> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">lookup</span>(haval_table, port),<br /> Port <span class="synStatement">!</span> {close, <span class="synIdentifier">self</span>()},<br /> ok<span class="synSpecial">.</span><br /><br /><span class="synComment">%% TODO: Implement this function return the information for module</span><br />info() <span class="synStatement">-></span> ok<span class="synSpecial">.</span><br /><br /><span class="synComment">%% Caluculate a value of HAVAL from string</span><br />haval_string(Str) <span class="synStatement">-></span><br /><span class="synIdentifier">binary_to_term</span>(control(?DRV_HAVAL_STRING, Str))<span class="synSpecial">.</span><br /><br /><span class="synComment">%% Caluculate a value of HAVAL from file</span><br />haval_file(FileName) <span class="synStatement">-></span><br /> <span class="synIdentifier">binary_to_term</span>(control(?DRV_HAVAL_FILE, FileName))<span class="synSpecial">.</span><br /><br /><span class="synType">-ifdef</span>(debug)<span class="synSpecial">.</span><br />test() <span class="synStatement">-></span><br /> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">start</span>(),<br /> Str <span class="synStatement">=</span> <span class="synConstant">"I love Erlang."</span>,<br /> FileName <span class="synStatement">=</span> <span class="synConstant">"haval.erl"</span>,<br /> Hash1 <span class="synStatement">=</span> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">haval</span><span class="synSpecial">_</span><span class="synIdentifier">string</span>(Str),<br /> Hash2 <span class="synStatement">=</span> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">haval</span><span class="synSpecial">_</span><span class="synIdentifier">file</span>(FileName),<br /> <span class="synIdentifier">io</span><span class="synSpecial">:</span><span class="synIdentifier">format</span>(<span class="synConstant">"HAVAL(</span><span class="synSpecial">~p</span><span class="synConstant">) = </span><span class="synSpecial">~p</span><span class="synConstant"> </span><span class="synSpecial">~n</span><span class="synConstant">"</span>, [Str, Hash1]),<br /> <span class="synIdentifier">io</span><span class="synSpecial">:</span><span class="synIdentifier">format</span>(<span class="synConstant">"HAVAL(</span><span class="synSpecial">~p</span><span class="synConstant">) = </span><span class="synSpecial">~p</span><span class="synConstant"> </span><span class="synSpecial">~n</span><span class="synConstant">"</span>, [FileName, Hash2]),<br /> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">stop</span>(),<br /> <span class="synIdentifier">halt</span>()<span class="synSpecial">.</span><br /><br />test([Str|<span class="synSpecial">_</span>]) <span class="synStatement">-></span><br /> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">start</span>(),<br /> Hash <span class="synStatement">=</span> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">haval</span><span class="synSpecial">_</span><span class="synIdentifier">string</span>(Str),<br /> <span class="synIdentifier">io</span><span class="synSpecial">:</span><span class="synIdentifier">format</span>(<span class="synConstant">"HAVAL(</span><span class="synSpecial">~p</span><span class="synConstant">) = </span><span class="synSpecial">~p</span><span class="synConstant"> </span><span class="synSpecial">~n</span><span class="synConstant">"</span>, [Str, Hash]),<br /> <span class="synIdentifier">haval</span><span class="synSpecial">:</span><span class="synIdentifier">stop</span>(),<br /> <span class="synIdentifier">halt</span>()<span class="synSpecial">.</span><br /><span class="synType">-endif</span><span class="synSpecial">.</span><br /><br /><span class="synComment">%%</span><br /><span class="synComment">%% Internal functions</span><br /><span class="synComment">%%</span><br />register_lib(SharedLib) <span class="synStatement">-></span><br /> Port <span class="synStatement">=</span> <span class="synIdentifier">open_port</span>({<span class="synIdentifier">spawn</span>, SharedLib}, []),<br /> Tab <span class="synStatement">=</span> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">new</span>(haval_table, [set, protected, named_table]),<br /> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">insert</span>(Tab, {port, Port})<span class="synSpecial">.</span><br /><br />control(Cmd, Data) <span class="synStatement">-></span><br /> [{port, Port}| <span class="synSpecial">_</span>] <span class="synStatement">=</span> <span class="synIdentifier">ets</span><span class="synSpecial">:</span><span class="synIdentifier">lookup</span>(haval_table, port),<br /> <span class="synIdentifier">erlang</span><span class="synSpecial">:</span><span class="synIdentifier">port</span><span class="synSpecial">_</span><span class="synIdentifier">control</span>(Port, Cmd, Data)<span class="synSpecial">.</span><br /><br /></pre><br /><br /><span style="font-weight: bold;font-size:130%;" >Step 2: Create C/C++ shared library</span><br />Shared library writted by C++ is loaded by Erlang interface when call erl_ddll::load_driver/2. This driver uses <a href="http://www.erlang.org/doc/man/ei.html">ei</a> library in order to manipulate Erlang binary term. <br /><br /><pre class="c"><br /><span class="synComment">/**</span><br /><span class="synComment"> * HAVAL (cryptographic hash function) bindings for Erlang</span><br /><span class="synComment"> *</span><br /><span class="synComment"> * @author Rakuto Furutani <xri://=rakuto></span><br /><span class="synComment"> * @date 2008/06/28</span><br /><span class="synComment"> */</span><br /><span class="synPreProc">#include </span><span class="synConstant"><stdio.h></span><br /><span class="synPreProc">#include </span><span class="synConstant"><string.h></span><br /><span class="synPreProc">#include </span><span class="synConstant"><stdarg.h></span><br /><span class="synPreProc">#include </span><span class="synConstant"><new></span><br /><span class="synPreProc">#include </span><span class="synConstant">"ei.h"</span><br /><span class="synPreProc">#include </span><span class="synConstant">"erl_driver.h"</span><br /><span class="synPreProc">#include </span><span class="synConstant">"erl_interface.h"</span><br /><span class="synType">extern</span> <span class="synConstant">"C"</span> {<br /><span class="synComment">// Define constant for haval.h</span><br /><span class="synPreProc">#define PASS </span><span class="synConstant">3</span><br /><span class="synPreProc">#define NUMBER_OF_BLOCKS </span><span class="synConstant">5000</span><br /><span class="synPreProc">#define FPTLEN </span><span class="synConstant">256</span><br /><span class="synPreProc">#ifndef LITTLE_ENDIAN</span><br /><span class="synPreProc">#define LITTLE_ENDIAN </span><span class="synConstant">1</span><br /><span class="synPreProc">#endif</span><br /><br /><span class="synPreProc">#include </span><span class="synConstant">"haval.h"</span><br />}<br /><br /><span class="synComment">// Functions are provided by this driver</span><br /><span class="synPreProc">#define DRV_INFO </span><span class="synConstant">1</span><br /><span class="synPreProc">#define DRV_HAVAL_STRING </span><span class="synConstant">2</span><span class="synPreProc"> </span><br /><span class="synPreProc">#define DRV_HAVAL_FILE </span><span class="synConstant">3</span><span class="synPreProc"> </span><br /><br /><span class="synComment">/* Driver Interface Declarations */</span><br /><span class="synType">static</span> ErlDrvData start_haval_driver(ErlDrvPort port, <span class="synType">char</span> *command);<br /><span class="synType">static</span> <span class="synType">void</span> stop_haval_driver(ErlDrvData drv_data);<br /><span class="synType">static</span> <span class="synType">int</span> control(ErlDrvData drv_data, <span class="synType">unsigned</span> <span class="synType">int</span> command, <span class="synType">char</span> *buf,<br /> <span class="synType">int</span> len, <span class="synType">char</span> **rbuf, <span class="synType">int</span> rlen);<br /><span class="synType">static</span> <span class="synType">void</span> haval_to_hex(<span class="synType">unsigned</span> <span class="synType">char</span>*, <span class="synType">char</span>*);<br /><span class="synType">static</span> ErlDrvBinary* ei_x_to_new_binary(<span class="synType">const</span> ei_x_buff*);<br /><br /><span class="synComment">/* Driver Entry */</span><br /><span class="synType">static</span> ErlDrvEntry haval_driver_entry = {<br /> <span class="synConstant">NULL</span>,<br /> start_haval_driver,<br /> stop_haval_driver,<br /> <span class="synConstant">NULL</span>,<br /> <span class="synConstant">NULL</span>,<br /> <span class="synConstant">NULL</span>,<br /> <span class="synConstant">"haval_drv"</span>,<br /> <span class="synConstant">NULL</span>,<br /> <span class="synConstant">NULL</span>,<br /> control,<br /> <span class="synConstant">NULL</span>,<br /> <span class="synConstant">NULL</span><br />};<br /><br /><span class="synType">typedef</span> <span class="synType">struct</span> _drv_data {<br /> ErlDrvPort port;<br />} drv_data_t;<br /><br /><span class="synComment">/* DRIVER INTERFACE */</span><br /><br /><span class="synType">static</span> ErlDrvData start_haval_driver(ErlDrvPort port, <span class="synType">char</span> *command)<br />{<br /> drv_data_t *data;<br /><br /> data = (drv_data_t*) driver_alloc(<span class="synStatement">sizeof</span>(drv_data_t));<br /> data->port = port;<br /> set_port_control_flags(port, PORT_CONTROL_FLAG_BINARY);<br /> <span class="synStatement">return</span> (ErlDrvData) data;<br />}<br /><br /><span class="synType">static</span> <span class="synType">void</span> stop_haval_driver(ErlDrvData drv_data)<br />{<br /> driver_free((<span class="synType">char</span>*) drv_data);<br />}<br /><br /><span class="synType">static</span> <span class="synType">int</span> control(ErlDrvData drv_data, <span class="synType">unsigned</span> <span class="synType">int</span> command, <span class="synType">char</span> *buf, <span class="synType">int</span> len, <span class="synType">char</span> **rbuf, <span class="synType">int</span> rlen)<br />{<br /> <span class="synType">int</span> ret = -<span class="synConstant">1</span>;<br /> <span class="synType">char</span> hex[(FPTLEN >> <span class="synConstant">3</span>) << <span class="synConstant">1</span>];<br /> <span class="synType">unsigned</span> <span class="synType">char</span> fingerprint[FPTLEN >> <span class="synConstant">3</span>];<br /> <span class="synType">char</span> *arg1;<br /> ei_x_buff x_buff;<br /><br /> <span class="synStatement">try</span> {<br /> <span class="synComment">// argument</span><br /> arg1 = <span class="synStatement">new</span> <span class="synType">char</span>[len + <span class="synConstant">1</span>];<br /> strncpy(arg1, buf, len);<br /> strcat(arg1, <span class="synConstant">"�0"</span>);<br /><br /> ei_x_new_with_version(&x_buff);<br /> <span class="synStatement">switch</span>(command) {<br /> <span class="synStatement">case</span> DRV_INFO:<br /> ei_x_encode_string(&x_buff, <span class="synConstant">"info"</span>);<br /> ret = <span class="synStatement">sizeof</span>(<span class="synConstant">"info"</span>) * <span class="synStatement">sizeof</span>(<span class="synType">char</span>);<br /> <span class="synStatement">break</span>;<br /> <span class="synStatement">case</span> DRV_HAVAL_STRING:<br /> haval_string(arg1, fingerprint);<br /> haval_to_hex(&fingerprint[<span class="synConstant">0</span>], &hex[<span class="synConstant">0</span>]);<br /> ret = <span class="synStatement">sizeof</span>(hex);<br /> ei_x_encode_string(&x_buff, hex);<br /> <span class="synStatement">break</span>;<br /> <span class="synStatement">case</span> DRV_HAVAL_FILE:<br /> <span class="synStatement">if</span>(!haval_file(arg1, fingerprint)) {<br /> haval_to_hex(&fingerprint[<span class="synConstant">0</span>], &hex[<span class="synConstant">0</span>]);<br /> ret = <span class="synStatement">sizeof</span>(hex);<br /> ei_x_encode_string(&x_buff, hex);<br /> } <span class="synStatement">else</span> {<br /> erl_err_sys(<span class="synConstant">"haval_file"</span>);<br /> }<br /> <span class="synStatement">break</span>;<br /> }<br /> <span class="synStatement">if</span>(ret > <span class="synConstant">0</span>) *rbuf = <span class="synStatement">reinterpret_cast</span><<span class="synType">char</span>*>(ei_x_to_new_binary(&x_buff));<br /> ei_x_free(&x_buff);<br /> } <span class="synStatement">catch</span>(std::bad_alloc) {<br /> erl_err_sys(<span class="synConstant">"can not allocate memory"</span>);<br /> }<br /><br /> <span class="synStatement">return</span> ret;<br />}<br /><br /><span class="synType">static</span> <span class="synType">void</span> haval_to_hex(<span class="synType">unsigned</span> <span class="synType">char</span> *fingerprint, <span class="synType">char</span> *hex)<br />{<br /> <span class="synStatement">for</span>(<span class="synType">int</span> i=<span class="synConstant">0</span>; i < FPTLEN >> <span class="synConstant">3</span>; ++i) {<br /> sprintf(&hex[i << <span class="synConstant">1</span>], <span class="synConstant">"</span><span class="synSpecial">%02X</span><span class="synConstant">"</span>, fingerprint[i]);<br /> }<br />}<br /><br /><span class="synComment">// Init the driver</span><br /><span class="synType">extern</span> <span class="synConstant">"C"</span> DRIVER_INIT(haval_drv)<br />{<br /> <span class="synStatement">return</span> &haval_driver_entry;<br />}<br /><br /><span class="synComment">// Utilities</span><br /><span class="synType">static</span> ErlDrvBinary* ei_x_to_new_binary(<span class="synType">const</span> ei_x_buff *x_buff)<br />{<br /> ErlDrvBinary *bin = driver_alloc_binary(x_buff->index);<br /> <span class="synStatement">if</span>(bin != <span class="synConstant">NULL</span>) {<br /> memcpy(bin->orig_bytes, x_buff->buff, x_buff->index);<br /> }<br /> <span class="synStatement">return</span> bin;<br />}<br /></pre><br /><br /><span style="font-weight: bold;font-size:130%;" >Step 3: Compile all sources</span><br />Create Makefile for build.<br />FYI: If you want to build linked-in driveron Mac OS, see <a href="http://rakuto.blogspot.com/2008/06/compile-erlang-linked-in-driver-on-mac_28.html">Compile Erlang linked-in driver on Mac OSX (Darwin)</a><br /><br /><pre class="make"><br /><span class="synStatement">.PHONY:</span> clean<br /><span class="synStatement">.SUFFIXES:</span> .o .c .cc .erl .beam<br /><br /><span class="synIdentifier">OS</span>= <span class="synIdentifier">${shell uname}</span><br /><span class="synIdentifier">CC</span>=gcc<br /><span class="synIdentifier">CXX</span>=g++<br /><span class="synIdentifier">CXXFLAGS</span>=-Wall -g<br /><br /><span class="synComment"># Erlang</span><br /><span class="synIdentifier">ERL_INCLUDE </span>= -I/usr/local/lib/erlang/usr/include<br /><span class="synIdentifier">ERL_LIBS </span>= -L/usr/local/lib/erlang/usr/lib <span class="synSpecial">\</span><br /><span class="synSpecial"> </span>-lerts<br /><span class="synIdentifier">EI_INCLUDE </span>= -I/usr/local/lib/erlang/lib/erl_interface-3.5.6/include<br /><span class="synIdentifier">EI_LIBS </span>= -L/usr/local/lib/erlang/lib/erl_interface-3.5.6/lib <span class="synSpecial">\</span><br /><span class="synSpecial"> </span>-lei <span class="synSpecial">\</span><br /><span class="synSpecial"> </span>-lerl_interface<br /><br /><span class="synIdentifier">TARGET_LIB </span>= haval_drv.so<br /><span class="synPreProc">ifeq</span> (<span class="synIdentifier">$(OS)</span>, Darwin)<br /><span class="synIdentifier"> EXTRA_OPTIONS </span>= -fno-common -bundle -undefined suppress -flat_namespace<br /><span class="synPreProc">endif</span><br /><span class="synIdentifier">ALL:</span> <span class="synIdentifier">$(TARGET_LIB)</span> haval.beam<br /><br /><span class="synIdentifier">.erl.beam:</span><br /><span class="synError"> erlc -W -Ddebug $<</span><br /><br /><span class="synIdentifier">.c.o:</span><br /><span class="synError"> $(CC) $(CFLAGS) -c $<</span><br /><br /><span class="synIdentifier">.cc.o:</span><br /><span class="synError"> $(CXX) $(CXXFLAGS) $(ERL_INCLUDE) $(EI_INCLUDE) -c $<</span><br /><br /><span class="synIdentifier">haval_drv.so:</span> haval.o haval_drv.o<br /> <span class="synIdentifier">$(CXX)</span> -o <span class="synIdentifier">$@</span> <span class="synIdentifier">$^</span> <span class="synIdentifier">$(ERL_LIBS)</span> <span class="synIdentifier">$(EI_LIBS)</span> <span class="synIdentifier">$(EXTRA_OPTIONS)</span> -fpic -O2<br /><br /><span class="synIdentifier">clean:</span><br /><span class="synError"> rm -f *.beam *.o *.so</span><br /><br /></pre><br /><span style="font-size:130%;"><br /></span><span style="font-weight: bold;font-size:130%;" >Step 4: Run and test</span><br /><pre><br />% erl -noshell -run haval test<br />HAVAL("I love Erlang.") = "3AECEDF5133ED147C704A25C2CCA9A994FBB984FBCB22C1A523F31963E418498"<br />HAVAL("haval.erl") = "E006098555DFF788E73C7A263615DF60CC82396B1BCE7AEB5FB7050C376F2B03"<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-15669462555427465212008-06-28T17:31:00.001+09:002008-06-28T22:08:52.448+09:00Compile Erlang linked-in driver on Mac OSX (Darwin)In order to compile the Erlang linked-in driver on Darwin, we must specify some options when it will be linked. If you don't specify these options, you might see errors is as follows:<br /><br /><pre>% gcc -o my_drv.dymlib my_drv.c -dynamiclib -fpic<br /><br />/usr/bin/ld: Undefined symbols:<br />_driver_alloc<br />_driver_free<br />_driver_output<br /></pre><br />That's invalid, so it must specify some options below in order to create the shared object.<br /><pre><br />% gcc -o my_drv.so my_drv.c -bundle -flat_namespace -udefined suppress<br /></pre><br /><br />see README in source code of Erlang/OTP for more details.rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-34422145967696592012008-06-27T14:51:00.001+09:002008-06-27T18:57:52.247+09:00Asynchronous driver in Erlang using driver_asyncErlang provides some mechanism is to communicate other language, this can be used for to reuse module, speed things up (Erlang is ten times as slow as slow than C), to access OS resource and so on. The below mechanism are provided.<br /><br /><span style="font-weight: bold;"><a href="http://www.erlang.org/doc/apps/erl_interface/ei_users_guide.html#1">Pipe Drivers</a></span><br />The "pipe drivers" enables bi-directional communication. The external process can be implemented in C or any language, and it can use <a href="http://www.erlang.org/doc/apps/erl_interface/ref_man_erl_interface_frame.html">erl_interface</a> and <a href="http://www.erlang.org/doc/man/ei.html">ei</a> library in order to manipulate data of Erlang as ETERM.<br /><br />Benefit:<br /><ul><li>Frexible, it can use some types data.</li><li>Any language</li></ul><br />Demerit:<br /><ul><li>Communication overhead</li></ul><br /><span style="font-weight: bold;"><a href="http://www.erlang.org/doc/apps/erts/part_frame.html">Linked-in Drivers</a></span><br />A driver in Erlang is a library written in C/C++, that is linked to the Erlang emulator and called from erlang. A driver can be dynamically loaded, as a shared library (known as a DLL on windows), or statically loaded, linked with the emulator when it is compiled and linked.<br /><br />Benefit:<br />* Faster than "Pipe Drivers"<br /><br />Demerit:<br />* Not frexible, to pass the complex data between C/C++ and Erlang is difficult. (see also <a href="http://www.erlang.org/doc/man/ei.html">ei</a>)<br /><br /><br /><span style="font-weight: bold;">Asynchonous Linked-in Driver</span><br />The "Linked-in Drivers" is faster than "Pipe Drivers", but it can not scale with a lot of process, since it run synchronously. So If you'd like to take advantage of platforms with multiple CPUs, then you must run some Erlang virtual machine since it run on single thread.<br /><br />It sounds like great!, but we should care the some problems, multi-thread problem and so on.<br /><br />Resources:<br /><ul><li><a href="http://www.erlang.org/doc/apps/erts/driver.html#6.5">6.5 Sample asynchronous driver</a></li><li><a href="http://www.erlang.org/doc/apps/erts/driver.html#6.6">6.6 An asynchronous driver using driver_async</a></li></ul><br />Next, I'll write an entry about how to create asynchronous driver.rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-54290896418508965672008-06-18T20:23:00.000+09:002008-06-18T21:34:49.580+09:00[EC2] mount /dev/sdc device since /dev/sdb is not availableAWS team announced about persistent storage, see below the link.<br /><br />http://www.allthingsdistributed.com/2008/04/persistent_storage_for_amazon.html<br /><br />That's looks like pretty cool, but it's closed beta now, so we should use S3 or EC2 ephemeral storage (aka. Instance Storage). The 160GB storage is available on m1.large AMI, and some below devices are available.<br /><blockquote>/dev/sda1 Formatted and mounted as root (/) on all instance types<br />/dev/sda2 Formatted and mounted as /mnt on small instances<br />/dev/sda3 Formatted and mounted as /swap on small instances<br />/dev/sdb Formatted and mounted as /mnt on large and extra large instances<br />/dev/sdc Available on large and extra large instances; not mounted<br />/dev/sdd Available on extra large instances; not mounted<br />/dev/sde Available on extra large instances; not mounted </blockquote><br /><br />ATTENTION: The /dev/sdb isn't mounted to /mnt on m1.large AMI, see below a link for more details.<br />But the /dev/sdb device looks like that isn't mounted to /mnt. <br /><br /><pre><br />% df -h<br />Filesystem Size Used Avail Use% Mounted on<br />/dev/sda1 9.9G 8.6G 801M 92% /<br />tmpfs 3.8G 0 3.8G 0% /lib/init/rw<br />udev 10M 10M 0 100% /dev<br />tmpfs 3.8G 4.0K 3.8G 1% /dev/shm<br />%<br /></pre><br /><br />/dev/sdb is recognized in /etc/fstab, but it isn't mounted.<br /><pre><br /># Default /etc/fstab<br /># Supplied by: ec2-ami-tools-1.3-20041<br />/dev/sda1 / ext3 defaults 1 1<br />/dev/sdb /mnt ext3 defaults 0 0<br />none /dev/pts devpts gid=5,mode=620 0 0<br />none /proc proc defaults 0 0<br />none /sys sysfs defaults 0 0<br /></pre><br /><br /><pre><br />% sudo mount /mnt<br />mount: /dev/sdb is not a valid block device <br /></pre><br /><br />So we should initialize device to use as file system.<br />At first, optimize virtual devices before use them in production.<br /><pre><br />dd if=/dev/zero of=/dev/sdb bs=1M <br />dd if=/dev/zero of=/dev/sdc bs=1M <br />dd if=/dev/zero of=/dev/sdd bs=1M (m1.xlarge only) <br />dd if=/dev/zero of=/dev/sde bs=1M (m1.xlarge only) <br /></pre><br /><br />Create a file system and mount it, and mounted /dev/sdc device is available now.<br /><pre><br />mkfs -t ext3 /dev/sdc<br />mount -t ext3 /dev/sdc /www<br /></pre><br /><br /><pre><br />Filesystem Size Used Avail Use% Mounted on<br />/dev/sda1 9.9G 8.2G 1.2G 88% /<br />tmpfs 3.8G 0 3.8G 0% /lib/init/rw<br />udev 10M 10M 0 100% /dev<br />tmpfs 3.8G 4.0K 3.8G 1% /dev/shm<br />/dev/sdc 414G 6.7G 386G 2% /www<br /></pre>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]tag:blogger.com,1999:blog-20344598.post-68462158846275781902008-06-17T13:06:00.005+09:002008-06-17T14:05:58.671+09:00グラデーションブックスで本を探そう。amazonのおすすめ本ばかり読んでいたら世界が広がらない。<a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://gradationbooks.com/"><img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer; width: 200px;" src="http://farm1.static.flickr.com/34/101350718_9de00d200c.jpg?v=0" alt="" border="0" /></a><br /><div style="text-align: center;">Photo via <a href="http://www.flickr.com/photos/proserpina_/101350718/">Flickr</a><br /></div><br /><a href="http://gradationbooks.com/">グラデーションブックス</a><br /><br />amazonの本ランキングや、楽天ブックスの本ランキングは、読者に新しい発見や本をブラウズする楽しみをもたらしているだろうか?実は、深いつながりがある、経済学の本と、最近話題のKYについて書いた本を一緒にリコメンドするだろうか?<a href="http://ja.wikipedia.org/wiki/%E5%B3%B6%E5%B6%BC%E7%94%9F%E7%89%A9%E5%AD%A6">島嶼http://www.blogger.com/img/gl.link.gif生物学</a>と企業の経営について、二つの本を結びつける事ができるだろうか?<br /><br />先日、クローズアップ現代「<a href="http://www.nhk.or.jp/gendai/kiroku2008/0806-1.html#wed">ランキンhttp://www.blogger.com/img/gl.link.gifグ依存が止まらない</a>」で、出版業界が抱える問題にスポットを当てた特集が放送された。とても素晴らしいまとめ記事が<a href="http://d.hatena.ne.jp/beniya/20080604#10445">2008-06-04 今日の「クローズアップ現代」</a>にある。<br /><blockquote>出版ニュース社の清田代表は、「ランキングで売れているからそれでいいというわけではない。出版の世界は奥が深いし、多様なものがあって、いろんな面白い本がある。むしろ、売れない本、売りにくい本こそ、いい本があって、埋もれてしまっている状況だ」</blockquote><br /><br />そのような状況の中、本を扱うサイト「<a href="http://gradationbooks.com/">グラデーションブックス</a>」がオープンした。サイトの運営元である、澁川直子氏の言葉を引用する。<br /><br /><blockquote>「従来の目的型検索やリコメンデーションサービスでは出会うことができな<br />かった、思いもよらない本を見つけ出せる喜びを提供できればと思います。」</blockquote><br /><br />amazonのリコメンドでは、思いもよらなかった発見が無い。極端な言い方をしてしまえば、amazonのオススメ本ばかり読んでいては、世界観が広がらない。だからこそ、人は、本屋に足を運び、本を買う。本好きの知人から、面白い本について教えてもらう。憧れている人が読んでいる本を、自分も読む。<br /><br />上記に引用したブログ中にも書かれている通り、ランキングを見て本を購入する読者は、年に本を数冊しか読まないユーザである。たくさんの本を読んでいる人は、複数のジャンルを超えて、面白い本を発見し、つながりを見つけ出す英知を持っている。年間数冊しか読まない読者も、年間200冊読む読者と同じように、面白い本に出会えるサイトが、グラデーションブックスであるような気がしている。<br /><br />技術本やビジネス本などの実用書しか読まなかった私も、このサービスをきっかけに小説やミステリーを読み出してみた。そんな、きっかけを与えてくれた面白い本を集めてくれている本棚をいくつかリンク。<br /><br /><a href="http://gradationbooks.com/booklovers/3">chibinaoさん</a><br /><a href="http://gradationbooks.com/booklovers/10">Junさん</a><br /><a href="http://gradationbooks.com/booklovers/8">yukoさん</a><br /><a href="http://gradationbooks.com/booklovers/12">Saitoさん</a>rakutohttp://www.blogger.com/profile/06950561283547428118[email protected]