Common Lisp並列プログラミング

Question

Common Lispでパーティクルフィルタリングアルゴリズムを並列に実装したいと思います。 Particleフィルタリングとサンプリングを並列化することができます。私は4コアマシンでこれを実行したいと思います。私の質問は、CLでの並列プログラミングが実現可能かどうかです。可能であれば、CLで並列計算を開始するためのチュートリアルがあります。

Answer 1

間違いなく実行可能です！

Bordeaux Threads projectは、多くの実装でスレッドプリミティブを提供します。私はSBCLの実装特有のプリミティブの代わりにそれを使用することを提案します（特にSBCL上にいない場合は！）。

スレッドプリミティブは、btによって提供されますが、非常にプリミティブです。私は、先物を使って並行処理機能を提供するためにbtに基づいて構築されたEager Future2を使用して楽しんだ。遅れて、熱心に（即座に）、または推測的に計算される先物を作成することができます。投機的先物は、サイズをカスタマイズできるスレッドプールによって計算されます。

EF2を使用してCL機能の並列バージョンを提供するためにa little projectを開始しましたが、これまでのところ3つの機能しかないため、誰にもあまり役に立ちません。私はもちろん、他のコーダーがハックしてプルリクエストを提出することを歓迎しています。

多くの他の図書館listed on Clikiが私自身を試していません。

チュートリアルまではわかりませんが、提供される並行処理機能は他の言語でも見つかっています。アルゴリズムや方法は一般的に言語固有ではありません。

書籍を読むことに興味がある場合は、Concurrent C Programming Languageをお勧めします。著者らは、C言語に基づいた新しいプログラミング言語を言語機能としての並行性について記述しています。もちろん、CLの性質上、新しいコンパイラを作成することなくこれらの機能を実装することは可能です。私の意見では、この本は優れた並行性のコンセプトを提示し、同時プログラムを書く際に遭遇するかもしれない問題の多くに取り組んでいます。

Answer 2

SBCLには、いくつかのマルチスレッドがサポートされています。それは低レベルであり、私の知る限り、並列アルゴリズムは含まれていません。これは、ラムダ関数を実行するスレッドを作成し、スレッドが終了した（後で結合する）場合、後でテストするという確実性を持っています。私はそのスピードアップ（各ページまたは別のスレッドのページのセット）で私のブログのページを生成するためにそのサポートを使用しました。あなたがここにコードを見ることができます：eampleについては

https://github.com/dsevilla/functional-mind-blog/blob/master/blog/process.lisp

を、ページごとにスレッドを生成するようなものだった：

#+sbcl 
(defun generate-post-pages() 
    (map nil 
     #'(lambda (post) 
      (make-thread (lambda() (page-generation-function post)))) 
     *posts*)) 

あなたがすることもできjoin-thread、そしてミューテックスを持っている、などあなたは読むことができますここの文書はSBCL Threadingです。しかし、低レベルです。あなたは並行性のためにClojureの素晴らしい機能を逃してしまうでしょう...

Answer 3

異なるLispsのマルチスレッドプリミティブへの単一のPOSIXスレッドスタイルのインターフェイスを探している場合は、ボルドースレッドをチェックしてください。

信頼できる無料のLisp実装を探していたら、CCLから始めてSBCLを試してみましょう。ほとんどのテストではCCLを使用し、それ以外ではSBCLとLispWorksを使用します。

Sedachの先物ライブラリは、より高いレベルのインターフェイスを提供する必要があります。 SBCLのcontribディレクトリには、さまざまなユーザーからの貢献もあります。

ボルドーのスレッドやセダクの先物ライブラリのどちらも使用しておらず、それらの両方の独自のバージョンを書いた人からのものです。私はあなたに私の実装を送ることができますが、これら2つのパッケージも良いとされており、おそらく良い出発点です。

Answer 4

LispWorks 6には、並行プログラミングのための素敵なプリミティブが付属しています。それは私の知識誰にも負けない通常のCommon Lispの実装のが同時ガベージコレクタを持っているものの

注意。非常に単純な、しかし - 私もPCALL（http://marijnhaverbeke.nl/pcall/）をお勧めしますLispWorks 6およびマルチプロセッシング

• The MP Package
• Multiprocessing