http://blog.linux.org.tw/~jserv/archives/002048.html
探討標題前，先看看一個答問。本月初在 ptt 的 LinuxDev 看板瞥見討論 GPL 授權效力的議題時，TroyLee 問及：
誠如 [ 教堂與市集] 所指出，多數商業化軟體所採用「教堂」般集中且單一開發的模式；而自由軟體則普遍採用「市集」般分散且多元的模式，g++/STL 的例子告訴我們，即使 gcc 4.3 整體採取 GNU GPLv3 授權條款，但個別組成與適用對象，值得我們思量，畢竟擁有二十年歷史的 gcc，早已摻入太多本質各異的元素，類似的情況也發生於 gcc 中 Fortran, Ada, Objective-C 等 runtime 中。
GNU [ bison] 與 gcc 類似，歸屬於編譯系統的範疇，嚴格來說 GNU bison 與 Yacc 一樣，是 "compiler compiler"，也就是建構 compiler 所需的 compiler，對於電腦科學系的學生來說，應該是再熟悉不過了。bison 與 gcc 都算是 FSF 的 Richard Stallman 的心血，至於為何命名如此，端看 "bison" 的英文即可窺知一二：歐陸噸位最大的動物是「歐洲野牛」，其學名就是 Bison bonasus，自然與 gnu (牛羚) 能詼諧地對比。既然 GNU bison 是 "compiler compiler"，用途就是自動生成語法分析器，而其輸出是「分析器的程式碼」，可減少不必要的人工介入。進一步來說，把 LALR 形式的 context-free 語法描述，轉換為可做語法分析的 C 或 C++ 程式。
GNU bison 的應用很廣泛，基本上需要複雜的語法分析的環境，都能見到其蹤跡，不只限定於 compiler，像是應用程式的系統配置模組、網頁瀏覽器的引擎 (如 WebKit)，甚至是作業系統核心，都不乏仰賴 bison。既然是 GNU/FSF 出品的專案，採用 GNU GPL 發行就是理所當然，就 bison 2.3 版來說 (2006-06-05，截至目前為止的最新版本)，授權是 GPLv2。行文至此，或許讀者還是一頭霧水，這樣設計良好的工具，到底有什麼授權疑慮呢？先回到之前 C++/STL 的例子，技術面來看，C++ template 在編譯器的實做上，其實就是依據一定的規則，將 template 本體予以「展開」並轉譯成對應的機械碼，何以 g++/STL 要特別標注例外條款，就是避免採用其 STL 實做的 C++ 應用程式，因為「被迫」接收了 g++ 所「展開」出來、以 GNU GPL 發行的 template 程式碼，導致該應用程式本體「感染」為 GPL 授權的程式，這就違反了 FSF 四大自由的首項：「執行的自由」，開發者使用這些編譯器來編譯非自由軟體並執行的「自由」也該被考慮。
是此，GNU gcc 已在 g++/STL 的 header file 標注例外條款，而這情況也發生於 GNU bison，是的，就是因為 bison 的輸出是「分析器的程式碼」，後者的邏輯與實做，是仰賴原本以 GNU GPL 授權發行的 bison 程式碼。於是乎，若我們讓 bison 輸出的程式碼「整合」到原本的專案，比方說 [ WebKit]，原本預期以 LGPL + BSD 授權來發行這個網頁瀏覽器引擎，但一旦編譯連結後，GPL 的程式碼就如病毒一般，感染整個專案，讓授權條款沒有其他選擇，只能乖乖地採用 GPL，這實在造成很多不必要的困擾。所以，在 GNU bison 2.2 版開始，FSF 加入了一項例外條款，以釐清上述疑慮。以下摘錄 WebKit 編譯過程中 bison 的輸出 ( generated_sources/kjs/grammar.cpp ) 檔案授權宣告：
由 jserv 發表於 July 20, 2008 04:13 AM
探討標題前，先看看一個答問。本月初在 ptt 的 LinuxDev 看板瞥見討論 GPL 授權效力的議題時，TroyLee 問及：
- 「如果我使用到 G++ STL，有必要特別加入 GPL 的宣告嗎？」
// Standard iostream objects -*- C++ -*-
// Copyright (C) 1997, 1998, 1999, 2001, 2002, 2005
// Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
[... 略，談及 GPL 與 FSF 的聯絡資訊 ...]
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
從上，我們可得知：
- GNU GCC 的開發者簽署 Copyright Assignment，將著作權歸屬一致給予 FSF，且 STL 實做的著作權聲明標示從 1997 年到 2005 年
- g++ 的 STL 實做以 GNU GPLv2 with exceptions 模式發行
- GPLv2 的額外例外條款描述了使用 STL 的合理範疇，規範編譯、連結，與執行的行為，避免原本 GPLv2 對此語焉不詳的模糊
誠如 [ 教堂與市集] 所指出，多數商業化軟體所採用「教堂」般集中且單一開發的模式；而自由軟體則普遍採用「市集」般分散且多元的模式，g++/STL 的例子告訴我們，即使 gcc 4.3 整體採取 GNU GPLv3 授權條款，但個別組成與適用對象，值得我們思量，畢竟擁有二十年歷史的 gcc，早已摻入太多本質各異的元素，類似的情況也發生於 gcc 中 Fortran, Ada, Objective-C 等 runtime 中。
GNU [ bison] 與 gcc 類似，歸屬於編譯系統的範疇，嚴格來說 GNU bison 與 Yacc 一樣，是 "compiler compiler"，也就是建構 compiler 所需的 compiler，對於電腦科學系的學生來說，應該是再熟悉不過了。bison 與 gcc 都算是 FSF 的 Richard Stallman 的心血，至於為何命名如此，端看 "bison" 的英文即可窺知一二：歐陸噸位最大的動物是「歐洲野牛」，其學名就是 Bison bonasus，自然與 gnu (牛羚) 能詼諧地對比。既然 GNU bison 是 "compiler compiler"，用途就是自動生成語法分析器，而其輸出是「分析器的程式碼」，可減少不必要的人工介入。進一步來說，把 LALR 形式的 context-free 語法描述，轉換為可做語法分析的 C 或 C++ 程式。
GNU bison 的應用很廣泛，基本上需要複雜的語法分析的環境，都能見到其蹤跡，不只限定於 compiler，像是應用程式的系統配置模組、網頁瀏覽器的引擎 (如 WebKit)，甚至是作業系統核心，都不乏仰賴 bison。既然是 GNU/FSF 出品的專案，採用 GNU GPL 發行就是理所當然，就 bison 2.3 版來說 (2006-06-05，截至目前為止的最新版本)，授權是 GPLv2。行文至此，或許讀者還是一頭霧水，這樣設計良好的工具，到底有什麼授權疑慮呢？先回到之前 C++/STL 的例子，技術面來看，C++ template 在編譯器的實做上，其實就是依據一定的規則，將 template 本體予以「展開」並轉譯成對應的機械碼，何以 g++/STL 要特別標注例外條款，就是避免採用其 STL 實做的 C++ 應用程式，因為「被迫」接收了 g++ 所「展開」出來、以 GNU GPL 發行的 template 程式碼，導致該應用程式本體「感染」為 GPL 授權的程式，這就違反了 FSF 四大自由的首項：「執行的自由」，開發者使用這些編譯器來編譯非自由軟體並執行的「自由」也該被考慮。
是此，GNU gcc 已在 g++/STL 的 header file 標注例外條款，而這情況也發生於 GNU bison，是的，就是因為 bison 的輸出是「分析器的程式碼」，後者的邏輯與實做，是仰賴原本以 GNU GPL 授權發行的 bison 程式碼。於是乎，若我們讓 bison 輸出的程式碼「整合」到原本的專案，比方說 [ WebKit]，原本預期以 LGPL + BSD 授權來發行這個網頁瀏覽器引擎，但一旦編譯連結後，GPL 的程式碼就如病毒一般，感染整個專案，讓授權條款沒有其他選擇，只能乖乖地採用 GPL，這實在造成很多不必要的困擾。所以，在 GNU bison 2.2 版開始，FSF 加入了一項例外條款，以釐清上述疑慮。以下摘錄 WebKit 編譯過程中 bison 的輸出 ( generated_sources/kjs/grammar.cpp ) 檔案授權宣告：
/* Skeleton implementation for Bison's Yacc-like parsers in C Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. (...省略，同樣是 FSF 聯絡資訊) */ /* As a special exception, you may create a larger work that contains part or all of the Bison parser skeleton and distribute that work under terms of your choice, so long as that work isn't itself a parser generator using the skeleton or a modified version thereof as a parser skeleton. Alternatively, if you modify or redistribute the parser skeleton itself, you may (at your option) remove this special exception, which will cause the skeleton and the resulting Bison output files to be licensed under the GNU General Public License without this special exception. This special exception was added by the Free Software Foundation in version 2.2 of Bison. */由上，我們可知：
- GNU bison 輸出的分析器程式碼，就是貨真價實的 GPL'd 程式，所以會隨著編譯環境 (build system) 整合到我們的專案中，這是顯性的 GPL 感染
- FSF 提出的例外條款聲明，只要不修改 GNU bison 輸出的程式碼 (術語為 "Bison parser skeleton")，單純就當作中間輸出碼一般處理，那麼，可依據任何偏好的授權去套用於我們的專案，當然，包含商業化軟體
- 但若修改或重新散佈 Bison parser skeleton 時，FSF 也允許移除前一條的例外條款，使其成為純粹以 GNU GPL 發行的程式碼
由 jserv 發表於 July 20, 2008 04:13 AM
扫一扫
2371
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
