提供: miniwiki

← GLSL

あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:

---

このページのソースの閲覧やコピーができます。

{{Infobox Software | 名称 = GLSL | ロゴ = | スクリーンショット = | 説明文 = OpenGLシェーディング言語 | author = <!--[[シリコングラフィックス]]-->OpenGL ARB | developer = [[クロノス・グループ]] | 初版 = | 最新版 = 4.6 | 最新版発表日 = {{release date and age|2017|7|31}} | 最新評価版 = | 最新評価版発表日 = | プログラミング言語 = | 対応OS = | エンジン = | 対応プラットフォーム = [[クロスプラットフォーム]]| | サイズ = | 対応言語 = | サポート状況 = | 種別 = [[シェーディング言語]] | ライセンス = | 公式サイト = http://www.opengl.org/ }} '''GLSL''' ([[OpenGL]] Shading Language) は'''GLslang'''としても知られ、[[C言語]]をベースとした高レベル[[シェーディング言語]]である。これは[[アセンブリ言語]]やハードウェアに依存した言語を使わないで、[[アプリケーションソフトウェア]]開発者が[[グラフィックスパイプライン]]を直接制御できるようにOpenGL ARB (Architecture Review Board) <ref>[https://www.opengl.org/archives/about/arb/ About the OpenGL Architecture Review Board Working Group]</ref>で策定された。 == 背景 == Direct3D 7までの時代、すなわち1990年代までのリアルタイム3Dコンピューターグラフィックスは、OpenGLや[[Direct3D]]といった[[API]]を通して、[[グラフィックスカード]]上のチップ（[[GPU]]）にあらかじめ用意された固定のレンダリングパイプライン上で、固定機能のシェーダー（頂点トランスフォームや陰影計算を専門に担当するユニット）を組み合わせることで実現されていた。Direct3D 8が登場した2000年以降は、[[グラフィックスカード]]の進化・性能向上に伴い、新機能はハードウェア実装による固定機能ではなく、アプリケーション開発者がソフトウェアプログラム（[[プログラマブルシェーダー]]）によって頂点レベル・フラグメントレベル（ピクセルレベル）での制御・カスタマイズを行ない、レンダリングパイプライン内での柔軟性や表現力を増すことができる形で追加されることが多くなっている。 元々、このプログラマブルシェーディング機能は複雑で直感的でない[[アセンブリ言語]]で書かれたシェーダーを使わないと実現できなかった。OpenGL ARBは、[[OpenGL]]をグラフィックス産業の歴史の中で[[オープンスタンダード]]なものにしていく中で、グラフィックス処理を行うプログラミングをより直感的・効率的にできる方法として、OpenGL Shading Languageを作り出した。 OpenGL Shading Languageは2003年に発表されたOpenGL 1.5の拡張機能として導入された<ref>[https://www.opengl.org/registry/doc/glspec15.pdf "The OpenGL(R) Graphics System: A Specification (Version 1.5)", p.294]</ref>が、OpenGL ARBはOpenGL 2.0にGLSLを含めることを正式に決定した。OpenGL 2.0は[[1992年]]に発表されたOpenGL 1.0から数えて初のメジャーバージョンアップである。 初期のOpenGLプログラマブルシェーダーは、頂点単位のトランスフォームや陰影計算を行なう'''バーテックスシェーダー''' (vertex shader) と、フラグメント（ピクセル）単位の陰影計算を行なう'''フラグメントシェーダー''' (fragment shader) のみが利用可能であった。その後、プリミティブの増減や変更などを実行できる'''ジオメトリシェーダー''' (geometry shader) がOpenGL 3.2/GLSL 1.5にて標準化された。またOpenGL 4.0で固定機能シェーダーであるテッセレーションステージが追加されるに伴い、'''テッセレーション・コントロールシェーダー''' (tessellation control shader) と、'''テッセレーション・エバリュエーションシェーダー''' (tessellation evaluation shader)、これら2つのプログラマブルなシェーダーがGLSLの仕様に追加された。フラグメントシェーダーもサンプルレベルでの制御が可能となった。 なお、OpenGLと同様の3DグラフィックスAPIである[[DirectX]]（[[Direct3D]]）およびそのシェーディング言語である[[HLSL]]にはバージョン11以降、GPUにおける汎用的なコンピューティング（[[GPGPU]]）を可能とするDirectX Compute Shader（[[DirectCompute]]）が追加されているが、OpenGLおよびGLSLのバージョン4.0時点ではこれに相当するシェーダーは含まれていなかった。しかし、バージョン4.3においてOpenGL'''コンピュートシェーダー''' (compute shader) として同等機能が導入されることになった。なお、コンピュートシェーダーの導入以前からOpenGLの管轄を行なっているクロノスが同様にオープン仕様として策定している、GPUを汎用コンピューティングに用いることのできるAPIとして[[OpenCL]]が存在するが、こちらはCPUやGPU等あらゆる計算資源を計算に用いることのできる異種計算資源混在（ヘテロジニアス）環境向けのAPIであり、グラフィックスパイプラインとの連携を主目的としたコンピュートシェーダーとは得意分野が若干異なる。 GLSLを使うメリットとして、 * レンダリングアルゴリズムの柔軟なカスタマイズや再利用性が増すことで、従来のハードウェア固定機能にとらわれない、柔軟でユニークかつ高品質なリアルタイム3DCGシーンの構築が可能となる。 * [[Macintosh]]や[[Microsoft Windows|Windows]]、[[Linux]]を含む複数の[[オペレーティングシステム|OS]]間での互換性を確保できる。 * アセンブリ言語を用いるよりもコードの再利用性やメンテナンス性が増す。 * OpenGL Shading Languageをサポートするどんなハードウェアベンダーのグラフィックスカード上でも動作するシェーダーを書くことができる能力を持つ。 * それぞれのハードウェアベンダーは[[デバイスドライバ]]内にGLSL[[コンパイラ]]を含めることができるので、そのグラフィックスカードのアーキテクチャに最適化されたコードを生成することができる。 などが挙げられる。 従来の固定機能シェーダーに対するデメリットとしては、 * シェーダーのコンパイルおよびアタッチなど、レンダリングのための準備作業が増える。 * OpenGL APIの他に、GLSLの学習コストがかかる。 * GPU特性やハードウェア仕様を把握してGLSLコードを記述する必要があり、CPUと比較してチューニングが難しい。 などが挙げられる。 なお、GLSLの派生規格として、組み込み環境向けの[[OpenGL ES]]用のシェーダー言語「GLSL ES」が存在する。これはESSLと呼ばれることもある<ref>[https://www.lunarg.com/shader-compiler-technologies/ Shader Compiler Technologies - OpenGL, ESSL, GLSL Shaders]</ref>。 [[Webブラウザ]]向けのOpenGL ES派生規格として[[WebGL]]が存在するが、WebGLでもGLSLが使用される。 クロノスが策定しているローレベルグラフィックスAPIである[[Vulkan (API)|Vulkan]]は、シェーダープログラムの中間表現SPIR-Vを入力として受け付けるが、SPIR-Vを出力するオフラインシェーダーコンパイラ'''glslangValidator'''において最初にサポートされた上位レベルシェーディング言語はGLSLである。のちにSPIR-VはOpenGL 4.6にも導入された。 == 詳細 == === データ型 === OpenGL Shading Language 1.50の仕様では64の基本データ型を定義している。いくつかはC言語内で使われていたものとまったく同じものであるが、一方他のものはグラフィックス処理に特化している。 例えば以下のような型が定義されている<ref>[https://www.opengl.org/wiki/Data_Type_%28GLSL%29 Data Type (GLSL) - OpenGL.org]</ref>。 * <code>void</code> 値を返さない関数に用いる * <code>bool</code> 条件型。値はtrueかfalseのどちらかを返す * <code>int</code> 符号付32bit整数 * <code>float</code> 単精度浮動小数点数 * <code>vec2</code> 2要素を持つ単精度浮動小数点数[[ベクトル]] * <code>vec3</code> 3要素を持つ単精度浮動小数点数ベクトル * <code>vec4</code> 4要素を持つ単精度浮動小数点数ベクトル * <code>bvec2</code> 2要素を持つ論理型ベクトル * <code>bvec3</code> 3要素を持つ論理型ベクトル * <code>bvec4</code> 4要素を持つ論理型ベクトル * <code>ivec2</code> 2要素を持つ符号付32bit整数ベクトル * <code>ivec3</code> 3要素を持つ符号付32bit整数ベクトル * <code>ivec4</code> 4要素を持つ符号付32bit整数ベクトル * <code>mat2</code> 2x2要素を持つ単精度浮動小数点数[[行列]] * <code>mat3</code> 3x3要素を持つ単精度浮動小数点数行列 * <code>mat4</code> 4x4要素を持つ単精度浮動小数点数行列 * <code>sampler1D</code> 1次元のテクスチャにアクセスするためのハンドル * <code>sampler2D</code> 2次元のテクスチャにアクセスするためのハンドル * <code>sampler3D</code> 3次元のテクスチャにアクセスするためのハンドル * <code>samplerCube</code> キューブマップテクスチャにアクセスするためのハンドル * <code>sampler1DShadow</code> 1次元のデプステクスチャにアクセスするためのハンドル * <code>sampler2DShadow</code> 2次元のデプステクスチャにアクセスするためのハンドル なお、符号なし32bit整数のサポートはOpenGL 3.0 (GLSL 1.3) で標準化され、また科学計算などの分野で必要とされることの多い[[倍精度浮動小数点数]]のサポートはOpenGL 4.0 (GLSL 4.0) で標準化されている。 === 演算子 === OpenGL Shanding LanguageはホストプログラムにC言語がよく使われていることを背景にして、それによく似た多くの演算子、加えてベクトル演算に特化した特殊な演算子（Tupleを返すSwizzle演算など）も提供している。このことにより、シェーダー開発者はシェーダーを柔軟にかつ効率よく書くことができる。GLSLは[[ポインタ (プログラミング)|ポインタ]]を除くCや[[C++]]での演算子を含んでいる。 === 関数と制御構造 === C言語に似ているということは、もちろんGLSLは、<code>[[If文|if]]、else if/else、[[For文|for]]、do-while、[[Break文|break]]、[[Continue文|continue]]</code>などの繰り返しや分岐といった制御文をサポートしている。 ユーザ定義関数もサポートしており、ビルトイン関数と同様広く使われている。このことにより、グラフィックスカードメーカーは、ハードウェアレベルでそれらの組み込み関数を任意で最適化することができる。これらの関数の多くは<code>exp()</code>や<code>abs()</code>のようなC言語の標準ライブラリで見られるものとよく似ているが、一方で<code>[[smoothstep]]()</code>や<code>texture2D()</code>のようなグラフィックス[[プログラミング (コンピュータ)|プログラミング]]に特化しているようなものもある。 === 変数 === GLSLコード内における変数の宣言・使用方法は、C言語でのそれに似ている。 変数の修飾子は4つある（以下バーテックスシェーダー、ジオメトリシェーダー、フラグメントシェーダーをそれぞれVS, GS, FSと示す）。 * <code>const</code> 変化しない。 * <code>uniform</code> 全てのシェーダーで使用可能なグローバルな読み出し専用変数。 * <code>in</code> 入力変数。VSではOpenGLから渡される頂点情報セットを表す（旧<code>attribute</code>）。GSではVSによって計算された頂点情報セット、FSではVSまたはGSによって計算された頂点情報が補間された値を表す（旧<code>varying</code>）。 * <code>out</code> 出力変数。 VSではGSまたはFSへ（旧<code>varying</code>）、GSではFSへ渡す頂点情報セットを表す。FSでは最終的にピクセル単位で出力する色情報を表す。 * <code>inout</code> 入出力変数。 === コンパイルと実行 === GLSLシェーダープログラムは単体の[[アプリケーションソフトウェア|アプリケーション]]ではない。シェーダーの実行にはOpenGL APIを利用するホストアプリケーションが必要である。ホストアプリケーションを記述する言語には、OpenGL APIをサポートする第一級言語である[[C言語]]および[[C++]]、あるいはWebGLをサポートする[[JavaScript]]などがよく利用される。<!-- ホスト言語の話はGLSLとは論点がずれるため、OpenGLバインディングなどに関してこれ以上本記事内で深くは言及しない。 --> GLSLシェーダー自身は単純にOpenGL APIのエントリポイント（API[[サブルーチン|関数]]）経由で、ハードウェアベンダーの[[デバイスドライバー]]に対してソースコード文字列が渡されるだけである。シェーダープログラムのソースコードはホストプログラム上の文字列リテラルとして記述されたり、アプリケーション実行時に外部テキストファイルなどから読み込まれたりしたものがメモリ上の文字列データとして実体化されるが、オフラインの事前コンパイル方式ではなく、あくまでドライバーにはソースコード文字列の形式で送られ、ドライバーが実行時にシェーダーのソースコードをコンパイルして「シェーダープログラムオブジェクト」を生成する。なお、OpenGL 4.1で標準化されたGL_ARB_get_program_binaryにより、コンパイル済みバイナリのシリアライズ・逆シリアライズがサポートされるようになったが、バイナリがベンダー間で互換性のある中間形式であるかどうかは保証されない。OpenGL 4.6では中間表現SPIR-Vがサポートされるようになり、オフラインコンパイルが可能になったことから、OpenGLでプログラマブルシェーダーを利用するために必ずしもGLSLを利用する必要はなくなった。なお、[[Direct3D]]のシェーディング言語である[[HLSL]]はリリース当初から、コンパイル結果はベンダー非依存の[[バイトコード]]となり、またコンパイル済みバイナリの読み込みもサポートしていた。 === 単純なGLSLバーテックスシェーダーの例 === これは固定機能パイプラインと同様に入力頂点を変換する。 <source lang="glsl"> void main(void) { gl_Position = ftransform(); } </source> <code>ftransform()</code>はGLSL 1.40とGLSL ES 1.0からはサポートされない。代わりに、プログラマは新しいOpenGL 3.1標準に従いモデルビュー行列と投影行列を明示的に指定する必要がある。 <source lang="glsl"> #version 140 uniform mat4 projectionMatrix; uniform mat4 modelviewMatrix; in vec3 position; void main(void) { gl_Position = projectionMatrix * modelviewMatrix * vec4(position, 1.0); } </source> === 単純なGLSLジオメトリシェーダーの例 === <source lang="glsl"> layout(triangles) in; layout(triangle_strip, max_vertices = 3) out; in Input { vec4 Position; } VSout[3]; void main(void) { for(int i = 0; i < 3; i++) { gl_Position = VSout[i].Position; EmitVertex(); } EndPrimitive(); } </source> === 単純なGLSLフラグメントシェーダーの例 === <source lang="glsl"> void main(void) { gl_FragColor = vec4(1.0, 0.0, 0.0, 1.0); // Red. } </source> === バージョン === GLSLはOpenGL仕様とともにバージョンアップされている。OpenGL 3.2までは、対応するGLSLのバージョン番号はOpenGL本体のバージョン番号と無関係にナンバリングされていたが、OpenGL 3.3以降は同一の番号が割り当てられるようになった。 {| class="wikitable" |- ! OpenGLバージョン !! GLSLバージョン !! #versionディレクティブ |- | 1.5 | 1.0 | |- | 2.0 | 1.1 | #version 110 |- | 2.1 | 1.2 | #version 120 |- | 3.0 | 1.3 | #version 130 |- | 3.1 | 1.4 | #version 140 |- | 3.2 | 1.5 | #version 150 |- | 3.3 | 3.3 | #version 330 |- | 4.0 | 4.0 | #version 400 |- | 4.1 | 4.1 | #version 410 |- | 4.2 | 4.2 | #version 420 |- | 4.3 | 4.3 | #version 430 |- | 4.4 | 4.4 | #version 440 |- | 4.5 | 4.5 | #version 450 |- | 4.6 | 4.6 | #version 460 |- |} === ツール === GLSLシェーダーは単独で動作するプログラムではなく、シェーダープログラムをGPU上で走らせるためには、まずC/C++などで書かれたホストアプリケーションに入力する必要がある。具体的にはOpenGL APIを使ってシェーダープログラムをコンパイル・リンクしたのち、OpenGLレンダリングコンテキストにプログラムオブジェクトをバインドしてからプリミティブのレンダリングを実行する必要があるが、それらの一連の処理を簡略化するためにいくつかのGLSL開発者・デザイナー用ツール（[[オーサリング]]ツール）が存在する。 * [http://developer.amd.com/ARCHIVE/GPU/RENDERMONKEY/Pages/default.aspx RenderMonkey] - [[ATI]]によって開発。[[DirectX]]シェーダーと同様にGLSLシェーダーを作成、コンパイル、デバッグできるインタフェースを提供している。[[Microsoft Windows]]上でのみ実行できる。 * GLSLEditorSample - [[macOS]]上でのみ実行できるCocoaアプリケーション。シェーダーの作成とコンパイルはできるがデバッガ機能は組み込まれていない。 * [http://lumina.sourceforge.net/ Lumina] - 新しいGLSL開発ツール。プラットフォーム独立でインタフェースに[[Qt]]を使っている。 * [http://www.blender.org/ Blender] - GPLライセンスのモデリングおよびアニメーション作成パッケージで、バージョン2.4.1で内蔵しているゲームエンジンがGLSLをサポートするようになった。 * [[Mozilla Firefox]] - 開発者向けツールとして、[[WebGL]]用のバーテックスシェーダー・フラグメントシェーダーを参照・編集できる"シェーダーエディター"が実装されている<ref>[https://developer.mozilla.org/ja/docs/Tools/Shader_Editor シェーダーエディター - 開発ツール | MDN]</ref>。 == 関連項目 == * [[OpenGL]] * [[OpenGL ES]] * [[Vulkan (API)]] * [[WebGL]] * [[HLSL]] * [[Cg (プログラミング言語)]] * [[シェーディング言語]] * [[Core Image]] == 脚注 == {{脚注ヘルプ}} {{reflist}} {{3Dレンダリング}} [[Category:グラフィックライブラリ]] [[Category:プログラミング言語]] [[Category:GPGPU]] [[Category:OpenGL]]

GLSL に戻る。