OS/omicronにおける仕様書からプログラムの自動生成
スポンサーリンク
概要
- 論文の詳細を見る
プログラム開発において、文書化が重要な作業であるのは言うまでもない。文書とプログラムとは、仕様の修正・プログラムのデバックにつれ対応が取れなくなる場合がある。研究室でも、プログラムが先に進み文書が後から付いて行く形になり、保守に支障が出るようになる。この問題に対しては、文書からプログラムを自動生成すれば、文書とプログラムの不一致の問題は解決できる。当研究室では、日本語情報処理を考慮し全2バイトコードを採用したOS/o(omicron)を開発している。OS/o上で稼働する日本語化されたCコンパイラCATも開発している。本稿では、これらの環境で開発を進めている日本語で記述されたモジュール仕様書からC言語プログラムへの自動生成システムについて述べる。
- 1989-03-15
著者
関連論文
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(計算機システム)
- 1L-5 小型組込み機器を対象とした分散システムの構築法とその言語処理系の試作(組込みとネットワーク,学生セッション,アーキテクチャ)
- 5K-7 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作(マルチスレッドと省電力,学生セッション,アーキテクチャ)
- 1K-7 プログラミング言語Perlによるオペレーティングシステム構成法の研究(仮想化と言語処理系,学生セッション,アーキテクチャ)
- メモリ周りに制約を有するMPUにおけるプリフェッチ機能付メモリモジュールの意義(メモリシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- メモリ周りに制約を有するMPUにおけるプリフェッチ機能付メモリモジュールの意義(メモリシステム, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 瞬時電源遮断機構を用いたマルチコアSoC向け省電力ソフトウェア実行環境 (コンカレント工学)
- 「情報B」の教科書比較 : 「手順的な自動処理」の観点から
- 6K-5 汎用ホモジニアスマルチコアにおける異種OSの連携機構(プロセッサと可視化,学生セッション,アーキテクチャ)
- MINIX3のCell B.E.への移植とSPEの管理方式の検討(セッション4:マルチコア向けシステムソフトウェア)
- 80386用OS/omicron開発のための言語C処理系の実行環境の設計
- XMLを用いた遠隔機器制御支援システム(組み込み機器とネットワークシステム)
- 重点領域研究「沖縄の歴史情報研究」の課題と研究成果
- 6K-6 マルチコアプロセッサにおけるスクラッチパッドメモリを用いたメモリ管理システムの試作(プロセッサと可視化,学生セッション,アーキテクチャ)
- 省電力MIPSプロセッサにおけるOSの試作とシミュレーションによる電力評価(セッション7:資源管理)
- 性能予測モデルの学習と実行時性能最適化機構を有する省電力化スケジューラ(省電力方式)
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力)
- 多様な資源を事前予約で同時確保するためのグリッドコアロケーションシステムフレームワークGridARS(グリッド)
- JavaVMによるx86ユーザーモードエミュレーション機構の実装と評価(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- Gridの概念を用いた情報教育 : 思考力と言う観点から(学校での「自分で考えさせる教育」をみんなで考えよう)
- スーパースカラプロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力,集積回路とアーキテクチャの協創〜どう繋ぐ?どう使う?マルチコア〜)
- スーパースカラプロセッサにおける細粒度動的スリープ制御の実装と評価(集積回路とアーキテクチャの協創 : どう繋ぐ?どう使う?マルチコア)
- マイクロカーネル方式によるCell/B.E.向けOS構成法の提案とMINIX3による実現(カーネル)
- L4マイクロカーネルにおける省電力スケジューラの開発(セッション7:資源管理)
- 5N-9 マイクロカーネルを対象とした省電力スケジューラの開発(組み込みシステム,学生セッション,アーキテクチャ)
- コモディティOSとメモリマップによるクラスタシステムの実装
- DIMMnet-2 NICのTCP/IPプロトコルスタック用ネットワークドライバの実装と評価
- DIMMnet-2用Windowsドライバの実装と評価
- DIMMnet-2における通信ライブラリMPI-2の実現(通信と同期,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- DIMMnet-2における通信ライブラリMPI-2の実現(通信と同期, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- DIMMスロット搭載型ネットワークインタフェースDIMMnetにおけるスレッドライブラリ(クラスタと通信, 分散処理, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- DIMMスロット搭載型ネットワークインタフェースDIMMnetにおけるスレッドライブラリ
- 電子メールを用いた文書作成支援システムの設計と実現
- DAVfsとAufsを用いた組込みLinuxによるシンクライアントシステムの試作(シンクライアントとネットワーク)
- PerlOSの試作と評価(OS-4 : ミドルウェア)
- SMTプロセッサにおけるスレッドスケジューラの開発(マルチスレッド)
- SMTプロセッサにおける再構成可能キャッシュモデルとFPGAによる実装
- FPGAを用いたSMTプロセッサの実現と再構成可能キャッシュメモリの検討(設計手法と高性能化, リコンフィギャラブルシステム, 一般)
- SMTプロセッサにおける同期方式の検討(プロセッサ技術(1), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- SMTプロセッサにおける同期方式の検討
- SMTプロセッサにおける細粒度最適化手法の検討(ARC-3 : プロセッサアーキテクチャIII)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- SMTプロセッサにおける物理レジスタバンクの動的割当て
- SMTプロセッサにおけるスレッドスケジューラの開発(スレッド・プロセス)
- マルチスレッドアーキテクチャ向けOS「Future」におけるプロセス管理
- マルチスレッドアーキテクチャにおけるスレッドライブラリの実装と評価(プロセッサアーキテクチャ)
- SMTプロセッサにおけるアウトオブオーダ実行に必要なリソースの共有方式の評価(ARC-1:プロセッサ)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- スレッド管理機構を用いたオンチップマルチスレッドのためのキャッシュメモリシステム
- 6K-3 Cell/B.E.へのMINIX3の移植とヘテロジニアスマルチコアプロセッサ上でのプロセス管理方式の実現(プロセッサと可視化,学生セッション,アーキテクチャ)
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価
- 5N-8 DAVfsを用いた組込みLinuxによるシンクライアントシステムの試作(組み込みシステム,学生セッション,アーキテクチャ)
- 統計情報に基づく省電力 Linux スケジューラ(OS-1 : 実行基盤)
- 革新的電源制御による超低消費電力高性能システムLSIの構想(集積回路とアーキテクチャの協創-プロセッサ,メモリ,システムLSI及び一般-)
- 革新的電源制御による超低消費電力高性能システムLSIの構想(低消費電力化技術(2),集積回路とアーキテクチャの協創-プロセッサ,メモリ,システムLSI及び一般-)
- 「コンピュータを使わない情報教育」の学習法とそのデジタルコンテンツに関する研究
- マルチスレッドアーキテクチャOChiMuS PE向けシステムソフトウェアにおけるスレッド固有メモリの管理方式(システムプログラム)
- 理工系の日本語文章を対象とした字面の特徴の分析
- コア温度情報を用いたOSによる細粒度パワーゲーティング制御方式の設計
- 省電力・高速化を目的としたSSDを用いたディスクキャッシュシステムのブロックデバイスドライバによる実装
- Plan9とECMAScriptを用いた分散組込みシステムのプログラミングシステム
- OSデバッグ支援のためのハイパOS「忍」第2版の設計と実現
- OSデバッグ環境を使用したOMICRON V3のデバッグ
- OSデバッグ環境構築のためのハイパOSの実現
- Hyper-OSによるOSのデバッグ環境の研究
- OS/omicron第2版におけるタスク管理
- XMLを用いた遠隔機器制御支援システムとDBMSやICカードの連携(情報家電と組込みシステム)
- 省電力MIPSプロセッサGeyserのFPGA版評価ボードへのLinuxの移植
- 細粒度パワーゲーティングを制御するOSの資源管理方式
- 省電力MIPSプロセッサGeyserのFPGA版評価ボードへのLinuxの移植
- 細粒度パワーゲーティングを制御するOSの資源管理方式
- SSDをディスクキャッシュとして利用するLinuxブロックデバイスドライバ
- SSDをディスクキャッシュとして利用するLinuxブロックデバイスドライバ
- RubyによるOS構成法の提案とその実行基盤の試作
- RubyによるOS構成法の提案とその実行基盤の試作
- OS/omicronにおけるオンライン文書管理システム
- EDFスケジューリングにおけるDVFSを用いたCPU省電力化手法
- 細粒度パワーゲーティングを適用した汎用マイクロプロセッサGeyser-1
- 細粒度パワーゲーティングを適用した汎用マイクロプロセッサGeyser-1
- 省電力MIPSプロセッサを実現するFPGAにおけるOSの開発と評価
- 複数の浮動小数点表現法を処理するシステム環境の設計と実現
- 並列処理用OSカーネル"OMICRON V3"の開発とハイパOSによる共有メモリ型マルチプロセッサへの実装
- オペレーティングシステムにおけるオブジェクト管理の一方式
- OS/omicronにおける新しいデバイスの追加に対するOSの機能拡張の一方式
- OS/omicron第3版ファイルシステムの設計と実現
- 1つの実行形式で複数の浮動小数点表現を扱えるコードを生成する言語CコンパイラCAT/N
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力)
- OS/omicron上の日本語エディタ
- 高校の文化祭におけるCSアンプラグド企画実施の報告と課題
- オンラインストレージを用いた分散仮想ディスクの開発(分散ファイル・システム)
- L4マイクロカーネルにおける省電力スケジューラの開発
- マイクロプロセッサ内の演算器に対する適応型パワーゲーティング
- マイクロプロセッサ内の演算器に対する適応型パワーゲーティング
- 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作
- 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作
- プログラミング教育を目的とした言語Cパーザとインタプリタの開発
- OS/omicronにおける言語Cインクリメンタルパーザの基本設計
- OS/omicronにおけるプログラミング言語のCAIの基本設計
- HTTP-FUSE-KNOPPIX-BOXによるモバイルシンクライアントシステムの実現(ソフトウェア,ユビキタス時代の情報基盤技術論文)
- HTTP-FUSE-cloopによるP2Pモバイルシンクライアントシステム(分散ファイル・システム)
- HTTP-FUSE-KNOPPIX-BOXのキャッシュ導入による高速化と評価(最適化と評価)
- ネットワークカメラを用いた監視システムの拡張(分散システム構築運用技術,ユーザ指向の分散システム/インターネットの運用・管理)