laclefblog - programming/index.html

Sun, 16 Nov 2008

Pure

The Pure Programming Language -> pure-lang - Google Code

Q - Equational Programming Language の後継として、HaskellやMLに影響を受けまくった文法、レキシカルクロージャ、置き換えモデルによる評価等を特徴とする関数型言語。

流行?のLLVMを用いている。お陰でCライブラリとの連携が容易らしい。

プログラミング言語名でGoogle検索し難いのが難点。

[ category: /programming |permalink ]

Haskellで作成した関数をPythonから使う

漸くHaskellに慣れてきたが、Pythonの方が使い勝手が良いと感じることに変わりはない。

互いの良さを取り、上手く使い分けるために、HaskellとPythonのFII(Foreign Function Interface)を用いる。

Haskell/GHCでForeign.Cを用いてC共有ライブラリを作成し、Pythonからctypesで使用する。

まず、Haskellで関数を格納したモジュールを書く(hstopy.hs)。

module Htop where
import CString

fact :: Int -> Int
fact n = if n == 1 then 1 else (n * fact (n - 1))

factorial :: Int -> IO Int
factorial n = return (fact n)

mystring :: IO CString
mystring = newCString "hello haskell world!"

foreign export ccall factorial :: Int -> IO Int
foreign export ccall mystring :: IO CString

FFIの性質上、色々をIOモナドで包む必要がある。

次に、ランタイム初期化と脱初期化のためのエントリィポイント用コードを書く(必要最小限、hstopy_init.c)。

static void __attribute__ ((constructor)) mylib_init(void)
{
    hs_init(0, 0);
}

GHCでコンパイルする。

$ ghc -c hstopy.hs -fglasgow-exts
$ ls
hstopy.hi  hstopy.hs  hstopy.o  hstopy_init.c  hstopy_stub.c  hstopy_stub.h  hstopy_stub.o

GHCで共有ライブラリを作成する。

$ ghc -package unix -optl "-shared" -o libhstopy.so hstopy_init.c hstopy.o hstopy_stub.o
  # -package unix は今回は不要?
$ ls
hstopy.hi  hstopy.hs  hstopy.o  hstopy_init.c  hstopy_init.o  hstopy_stub.c  hstopy_stub.h  hstopy_stub.o  libhstopy.so

ctypesで共有ライブラリの関数を用いるために、関数ラッパを書く(hstopy.py)。

#!/usr/bin/python

import ctypes
_lib = ctypes.CDLL( './libhstopy.so')

_lib.factorial.argtypes = [ctypes.c_int]
_lib.factorial.restype = ctypes.c_int

_lib.mystring.argtypes = []
_lib.mystring.restype = ctypes.c_char_p

factorial = _lib.factorial
mystring = _lib.mystring

Pythonから使用する。

$ python
Python 2.5.2 (r252:60911, Oct  5 2008, 19:24:49)
[GCC 4.3.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import hstopy
>>> hstopy.mystring()
'hello haskell world!'
>>> hstopy.factorial(4)
24
>>> hstopy.factorial(5)
120

Foreign.Cでもctypesでもポインタも扱えるので、もう少し手の込んだことも出来る(はず)。

[ category: /programming/python |permalink ]

Sat, 23 Aug 2008

Pythonでビデオデバイスにアクセス

ブログ他参考文献が割と豊富な [1] [2] VideoCapture - A Win32 Python Extension for Accessing Video Devices (e.g. a USB WebCam, a TV-Card, ...) はWindows専用ライブラリなので、Linuxでは使えない(これさえ使えれば簡単なのに)。

[1]	`gumuz’ devlog » Blog Archive » Python webcam fun - motion detection`: http://web.archive.org/web/20070520024828/http://gumuz.looze.net/wordpress/index.php/archives/2005/06/06/python-webcam-fun-motion-detection/

[2]	`code and martial arts: motion capture in python`: http://janto.blogspot.com/2006/01/motion-capture-in-python.html

Search results for python VideoCapture linux - MarkMail で調べると、やはり気にしていた人は居たみたい。

で、メーリングリストで示された代替案としては、以下のものがある。

Project: libfg - Video4Linux Framegrabber Library | antonym.org

libfgは Video4Linux のAPIを操作するためのライブラリ。Video4Linux2には未対応の様だ。

ならば GStreamer: open source multimedia framework [3] を使えば出来るかとも考えたが、いまいち情報が足りない。

[3]	`GStreamer - Wikipedia`: http://ja.wikipedia.org/wiki/GStreamer

WebCamSpy - Python Webcam server

WebCamSpyはWebカメラを操作するためのライブラリ。wxPython、pyParallel、pySerialを外部ライブラリとして必要とする(面倒臭い)。

Open Source Computer Vision Library [4]

[4]	`OpenCV - Wikipedia`: http://ja.wikipedia.org/wiki/OpenCV

通称、OpenCV。画像処理等に使われる、Intel製ライブラリ。Ubuntuのパッケージにpython-opencvってのがある。参考文献が多いし、これだな。

[ category: /programming/python |permalink ]

Sun, 03 Aug 2008

DRM_I830_CMDBUFFER: -22

まず、ノートPCでデュアルスクリーン(VGAコネクタを接続してデュアルディスプレィ)環境を構築する。

$ xrandr --output VGA --left-of LVDS

次に、pygletで、OpenGLコンテキストの異なる(コンテキストを共有しない)ウィンドウを2つ生成し、それぞれのスクリーンに表示するプログラムを作成し、実行する。

#!/usr/bin/python
# -*- coding: utf-8 -*-

import pyglet

class TestWindow(pyglet.window.Window, object):
    def __init__(self, screen, **kwargs):
        template = pyglet.gl.Config(double_buffer=True, depth_size=24, stencil_size=8)
        config = screen.get_best_config(template)
        context = config.create_context(None)
        pyglet.window.Window.__init__(self, fullscreen=True, context=context, **kwargs)
        # pyglet.window.Window.__init__(self, fullscreen=True, **kwargs)

platform = pyglet.window.get_platform()
display = platform.get_default_display()
screens = display.get_screens()
# screen = display.get_default_screen()

window1 = TestWindow(screen=screens[0])
window2 = TestWindow(screen=screens[1])
label1 = pyglet.text.Label('Hello 1', font_name='vlgothic', font_size=55,
                      x=500, y=500, anchor_x='center', anchor_y='center',
                      color=(255, 255, 255, 255))
label2 = pyglet.text.Label('Hello 2', font_name='vlgothic', font_size=55,
                      x=500, y=500, anchor_x='center', anchor_y='center',
                      color=(255, 0, 0, 255))

@window1.event
def on_draw():
    window1.clear()
    label1.draw()

@window2.event
def on_draw():
    window2.clear()
    label2.draw()

pyglet.app.run()

このプログラムをコンソールから実行すると、ノートPC側画面には真っ黒なウィンドウが表示されるが、文字が表示されない。プログラムを終了すると、コンソールに以下の1行メッセージが残されている。

DRM_I830_CMDBUFFER: -22

dmesgを参照すると、関連していると思われるメッセージが残っている。

$ dmesg | tail -n 2
[ 5856.052388] [drm:i915_emit_box] *ERROR* Bad box 1024,0..1024,768
[ 5856.052397] [drm:i915_cmdbuffer] *ERROR* i915_dispatch_cmdbuffer failed

また、glxgearsをノートPC側画面で表示しようとすると、同じメッセージが出て、glxgearsが強制終了する。

Google様で検索すると、Ubuntuのlaunchpadに同メッセージのバグレポートがあった。