CSPコンソーシアム第16回CSP研究会は2015/11/21に開催します。会議のテーマは「CSPモデルをもつ関数型言語及びスクリプト型言語とその応用」です。発表プログラムを添付致します。参加希望の方はご連絡下さい。Conference)が開催されます。メニーコアのコンピューティングの会議です。(2015/04/25)第15回CSP研究会の開催は平成27年6月6日に開催予定です。会議のテーマは組み込みシステムで必要となる「リアルタイム処理とCSPモデル」です。参加希望の方はご連絡下さい。(2015/03/21)第14回CSP研究会の開催は平成26年11月29日に終了致しました。occam/Transputer誕生30周年記念(Part2)に会議のテーマは「xCoreによるメニーコア・コンピューティングと組み込みシステムへの新しい展望」でした。(2014/11/29)産業界の多くははシステム設計をUML/SysMLで設計していますす。抽象度を上げるが故に曖昧性が増し、プログラミング技法は困惑を来しています。蜘蛛の巣のようになったクラス図からプログラミングは大変な労力、時間と経費がかかります。これではマルチコア、メニーコアへの展開は無理です。オブジェクト指向の時代は終焉しました。JEITA主催組み込みワークショップの発表資料はこににあります。プロセス指向はこの問題を解決する事ができます。(2014/11/10)XMOSチップの紹介が日経産業新聞11月7日にされました。XMOSチップは水面下で静かに広がっています。記事の内容をこちらに添付致します。(2014/11/07)東京エレクトロンデバイスはXMOS社の販売代理店の契約を締結しました。関連記事はここにあります。26個のモータを制御する蜘蛛のビデオはここにあります。2014/4/8より森北出版から「XMOSプログラミング入門」の本がが出版されます。ここに案内があります。(2014/03/13)occam/Transputerが誕生して30周年の歳月が経過しました。Transputingの技術は今の時代でも超える事ができません。TonyHoareの息吹で始まった)CPA2014の会議は2014年8/24日-27日にOxford大学で開催されます。詳細はここをご覧になって下さい。何らかのイベントが開催されるでしょう。(2014/03/10)XMOSチップは半導体の信頼性試験の規格であるAEC-Q100に合格しました。ここにプレスリリースがあります。これでXMOS社は次世代の車載制御のマーケットに王手をかけた事になります。CSP研究会」平成26年5月24日(土)の開催予定です。今年はTransputerが誕生して30周年になります。そこで会議のテーマは「今でも役に立つTransputing!!」」です。CSPモデルのSW/HWの強調設計、プログラミング技法などについて議論します。会議への参加に制約はありません。興味をお持ちの方は是非ご参加下さい。(2014/02/28)ソニーはXMOS社のxCore-USBのマルチコアをヘッドフォンのアンプに採用しました。ここにプレスリリースがあります。(2013/10/8)Arteris社は米国のNetwork-on-ChipのIPを供給する会社です。世界の多くの半導体メーカがNoCのIPを購入しています。この事は近いSoCはNoCに変身する事になります。Synchronous)です。これはIEEE1355/SaceWireと同じ構造であり、C言語RTOSだけでは性能が上がりません入出力の並行処理が必要です。(2013/10/5)11月30日から4回にわたり、首都大学東京オープンユニバーシティで「やさしい並列コンピューティング」の講座を開催いたします。関心のある方は是非ご参加下さい。詳細はこちらをご覧下さい。CSP研究会」平成25年11月16日(土)の開催予定です。CSP研究会はオープンな会議です。関心のある方は是非お越し下さい。学生さんも参加できます。会議のテーマは「ヘテロなコンピューティングとCSPモデル」です。プログラムの内容は11月初めに発表いたします。発表資料をここに添付致します。(2013/10/4)2014年度はManycoreは遂にKilocoreへと突入します。Mayは2014年に数千個のManycore(Transputer)を考えているようです。超並列プログラミング技法が必要とされます。並行処理の体系に基づく超並列プログラミング技法の教育はCSP研究会を除き、日本の教育機関で教えるところはありません。(2013/6/22)7月23日にKalrayメニーコア・プロセッサのセミナーが開催されます。ここに案内状を添付致します。講演に関心のある方は、ご参加下さい。(2013/06/21)7月15日から19日まで大津で開催されますMPSoC'13の会議にてManycoreの発表があります。CSPモデルと関連しますMonnierとCoppolaの発表は17日です。CSP研究会」平成25年5月25日(土)の開催予定です。会議のテーマは「Manycoreの本格的到来にむけて」です。マルチコアの時代は終わりました。発表プログラムの内容を添付します。Adaptevaのチップがボード化され、この夏から発売されます。価格は$99です!!もうマルチコアの時代からメニーコアに突入したといえるでしょう。超並列コンピューティングは身近なものになりつつあります。詳しい情報がここにあります。(2013/4/25)5月の初め(5/8-5/10)にビッグサイトでESECの展示会があります。そこでフランスのKALRAY社(http://www.kalray.eu/)がManycore256個のコアのデモをやるようです。詳しくはここをご覧下さい。プログラミング言語Sigma-CはAgentモデルのようです。(2013/04/23)JCSP/occamによる並行処理プログラミング技法のテキストの販売を致します。JCSPはJavaVMの上で動作するJavaのCSPライブラリです。Scala/Clojure/Groovyなどの関数型言語ではJavaVM上で動作しJavaのクラスを呼ぶことができますので同じくJCSPのクラスも呼ぶことができます!!Manycoreに向けたプログラミング技法はチャネルとプロセスを使った並行処理の基本的な構造から、プロセスのハーネスの作り方、ネットワーク・コンピューティングについて勉強する事ができ、Hadoopなどのクラウドコンピューティングへの技術的な関心を深める事ができます。遠方の方、多忙な方にはテキストの販売は魅力的だと思います。(2013/04/23)多くのManycoreのアーキテクチャーは1990年頃のTransputerの構造に類似しています。これは偶然ではなく、必然的にそうなったのです。この事はManycoreに高性能なスケジューラと同期/非同期による通信が必要である事を意味します。ないと、アプリケーションの性能はスケーラブルにはなりません。BarnesはCUDAマシンにoccam-piを移植しました。OpenCLは使われていません。OpenCLはデータの並列化しかできませんが、occam-piは更に高度な並行処理が可能です。デモの内容はYouTubeで見ることができます。ここにありまManycoreプログラミング技法はMulticoreと大きく異なります。Manycoreに向けた並列処理プログラミング技法のセミナー案内を添付します。(2013/4/1)2013年1月25日札幌で開催されました第2回形式手法での発表資料。CSP研究会」平成24年11月24日(土)のです。会議のテーマは「並行処理の統一にむけて」です。来る8/25(土)にGroovyCSPの開催を致します。案内書を添付致します。マルチスレッドによる並行処理の問題はGParsが解決します。GParsはCSPモデルを採用しています。KerridgeのHPにあります。Roscoeの「occamプログラミングの法則」はここにあります。occamの並列処理が正しく動作するのは、代数的法則があるからです。C/C++/Javaのマルチスレッドはこのような特徴はありません。Parallel)のモデルがサポートされています。メッセージ交換の仕組みもサポートされています。McCollらによって開発されました。Turing賞を受賞しました。彼はCSP/occamコミュニティとも深い関係があります。Computingシステムは何とHadoopの1000倍の性能があります。Parallel)はCSPの拡張モデルです。Compurterに比べて如何に高性能であるか実証されました。(2012/02/20)「第9回CSP研究会」は平成24年3月17日(土)に開催しました。今後はCSPモデルに加えて他の形式手法ツールと融合します。証明されたソフトウェアのモデルにUTPがあります。Programming)はCSPモデルのサブセットです。JifengHeは中国でこの分野の指導者です。中国のアカデミーが推進しており、中国が日本よりも先にCSPモデルの教育に拍車をかけるでしょう。指導者が見えない日本、このままでは日本のコンピュータ教育は世界のレベルから取り残されるでしょう。TonyHoareは中国に何度も招待されています。関連する記事はここに書かれています。(2012/02/20)モデル検証からプログラミング技法までの一貫した手法はコンピュータ技術者の質を高める事ができます。ここにCSP教育プログラムの案内を添付致します。少人数でも開催致します。関心のある方はご連絡下さい。(2012/02/20)「第2回PATセミナー応用編の開催案内」平成24年2月12日(日)「NPO法人CSPコンソーシアムはPATによるモデル検証の事例をシンガポール大学との協力でで開発してきました。Dong氏よりモデル検証ツール、PATの国内での技術的なサポートを要請され、NPO法人CSPコンソーシアムはこれを受諾致しました。今後企業セミナー、コンサルティングに積極的に展開して参ります。開催プログラムスウェーデンのHalmstad大学によって、occam-πがManycoreチップに搭載される!!CSP/occamモデルはManycoreで、階層化した超並列プログラミングの安全性と正確さが保障される。