「システムプログラミング言語」の版間の差分
編集の要約なし |
m Bot作業依頼: Apple関連記事の改名に伴うリンク修正依頼 (iOS (Apple)) - log |
||
117行目: | 117行目: | ||
|2014 |
|2014 |
||
|[[C言語|C]]、[[Objective-C]]、[[Rust (プログラミング言語)|Rust]] |
|[[C言語|C]]、[[Objective-C]]、[[Rust (プログラミング言語)|Rust]] |
||
|[[macOS]]、[[IOS ( |
|[[macOS]]、[[IOS (Apple)|iOS]]向けアプリ開発{{Efn|Swift uses [[Automatic Reference Counting|automatic reference counting]]}} |
||
|} |
|} |
||
2021年5月21日 (金) 01:41時点における版
システムプログラミング言語とは、システムプログラミングでよく使用されるプログラミング言語のことである。このような言語は、システムソフトウェアを書くために設計されており、アプリケーションソフトウェアを書く場合とは異なる設計アプローチが求められる。
システムソフトウェアとは、コンピューターのハードウェアの操作・制御のために設計されたコンピューターのソフトウェアであり、アプリケーションソフトウェアを実行するためのプラットフォームを提供する。システムソフトウェアのカテゴリーとしては、オペレーティングシステム、ユーティリティソフトウェア、デバイスドライバ、コンパイラ、リンカなどがある。
機能
アプリケーション向けの言語とは違い、システムプログラミング言語は、典型的には、物理的なハードウェアへのより直接的なアクセス手段を提供する。BCPLは、この意味での典型的なシステムプログラミング言語だった。システムプログラミング言語はしばしばビルトインの入出力(input/output; I/O)機能を欠いていた。かつては、システムソフトウェアが独自の基本的な入出力メカニズムを開発したり、基本的なモニタ入出力やスクリーン管理機能の上に作られることが普通だったためである。PL/I、C、Pascalなどの言語が広く普及するにつれ、システムプログラミング向け言語とアプリケーションプログラミング向けの言語の境界はぼやけていった。
歴史
コンピュータの黎明期のシステムソフトウェアは、他のプログラミング言語が存在しなかったため、アセンブリ言語で書かれていた。同時に、効率的なオブジェクトコードの存在、コンパイル時間の短縮、デバックのしやすさなどの理由もあった。FORTRANなどのアプリケーション向け言語もシステムプログラミングのために使用されることがあったが、アセンブリ言語として書き出すために追加のルーチンが必要だった[1]。
中レベル言語
中レベル言語は「高レベル言語のような多くの構文と機能を持つが、言語内で(アセンブリ言語と同様に)機械の機能への直接アクセスも提供するもの」である。最初期の中レベル言語は1960年頃にBurroughsメインフレームで使用されたESPOLである。次に現れたのがNiklaus WirthのPL360であった(もともとBurroughsシステム上でクロスコンパイラとして実装されたものである)。PL360は、ALGOL 60の一般的な文法を持っていたが、各ステートメントはCPUレジスタやメモリを直接操作するものだった。その他には、MOL-360やPL/Sがある。
一例として、よくあるPL360のR9 := R8 and R7 shll 8 or R6
というステートメントを挙げる。このステートメントの意味は、「レジスタ8とレジスタ7をandし、その結果を8ビット左シフトした後、レジスタ6の中身とorし、さらにその結果をレジスタ9に格納せよ」という意味になる[2]。
高レベル言語
PL360は、構文レベルではアセンブリ言語と同等であったが、より高いレベルの構文を持つプログラミング言語でも、システムプログラミングに適した特定の拡張を行えるものもあった。その種の言語の初期の一例としては、LRLTRANがある[3]。この言語は、Fortranに、文字とビットの操作、ポインタ、アドレスの直接指定によるジャンプテーブルの機能を追加したものである。
その後、C言語のようなプログラミング言語が開発されると、システムソフトウェアを書くのに十分な機能のセットが開発され、適切なハードウェア上で効率よく実行できるオブジェクトプログラムを生成できるコンパイラが作られるようになった。一般に、こうした言語では、効率よく実装できない少数の機能を直接は書かず、ハードウェアの特定の機能にアクセスする必要があるマシン依存の機能を使用するために、インラインのアセンブリコードが埋め込まれる。C言語のasm文などは、この目的でよく使用される。同様の言語が数多く開発されてきたが[4]、現在まで生き残っているのはC言語とC++である。
System Programming Language(SPL)という名前のHP 3000コンピュータシリーズ上のプログラミング言語もあった。この言語は、オペレーティング・システムHP Multi-Programming Executiveや、その他のシステム・ソフトウェアのパーツを作るために使われていた。
主なプログラミング言語
言語 | 設計者 | 誕生年 | 影響を受けた言語 | 用途 |
---|---|---|---|---|
ESPOL | Burroughs Corporation | 1961 | Algol 60 | MCP |
PL/I | IBM, SHARE | 1964 | Algol, FORTRAN, some COBOL | Multics |
PL360 | Niklaus Wirth | 1968 | Algol 60 | Algol W |
C | Dennis Ritchie | 1969 | BCPL | Most operating system kernels, including Windows NT and most Unix-like systems |
PL/S | IBM | 196x | PL/I | OS/360 |
BLISS | Carnegie Mellon University | 1970 | Algol-PL/I[5] | VMS (portions) |
PL/8 | IBM | 197x | PL/I | AIX |
PL-6 | Honeywell, Inc. | 197x | PL/I | CP-6 |
SYMPL | CDC | 197x | JOVIAL | NOS subsystems, most compilers, FSE editor |
C++ | Bjarne Stroustrup | 1979 | C, Simula | See C++ Applications[6] |
Ada | Jean Ichbiah, S. Tucker Taft | 1983 | Algol 68, Pascal, C++, Java, Eiffel | Embedded systems, OS kernels, compilers, games, simulations, CubeSat, air traffic control, and avionics |
D | Digital Mars | 2001 | C++ | Multiple domains |
Nim | Andreas Rumpf | 2008 | Ada, Modula-3, Lisp, C++, Object Pascal, Python, Oberon | OS kernels, compilers, games |
Rust | Mozilla Research[7] | 2010 | C++, Haskell, Erlang, Ruby | Servo layout engine, Redox OS |
Swift | Apple | 2014 | C、Objective-C、Rust | macOS、iOS向けアプリ開発[注釈 1] |
関連項目
注釈
- ^ Swift uses automatic reference counting
参考文献
- ^ Sammet, Jean (October 1971). “Brief Survey of Languages Used for Systems Implementation”. SCM SIGPLAN Notices 6 (9): 1–19. doi:10.1145/942596.807055 .
- ^ Wirth, Niklaus. PL360, A Programming Language for the 360 Computers. Journal of the ACM, 15(1): 37-74.
- ^ Mendicino, Sam F., Robert A. Hughes, Jeanne T. Martin, Frank H. McMahon, John E. Ranelletti, and Richard G. Zwakenberg. The LRLTRAN Compiler. C. ACM 11(11): 747-755.
- ^ Poel, W. L. van der, and Maarssen, L. A. Machine oriented higher level languages: proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27–31, 1973. International Federation for Information Processing, 1974.
- ^ Wulf, W.A.; Russell, D.B.; Haberman, A.N. (December 1971). “BLISS: A Language for Systems Programming”. Communications of the ACM 14 (12): 780–790 January 11, 2014閲覧。.
- ^ “C++ Applications”. 2018年10月2日閲覧。
- ^ “Mozilla Research”. 2020年6月2日閲覧。
外部リンク
- Corbató, Fernando (1969-05-06). “PL/I as a Tool for System Programming”. Datamation: 68–76 2012年1月23日閲覧。.
- System Programming Languages
この記事は2008年11月1日以前にFree On-line Dictionary of Computingから取得した項目の資料を元に、GFDL バージョン1.3以降の「RELICENSING」(再ライセンス) 条件に基づいて組み込まれている。