Debian bỏ phiếu thế nào: General Resolution

Ai quyết định nội dung của Debian

Một Debian General Resolution (GR) là cuộc bỏ phiếu của toàn bộ dự án. Đây là cách Debian giải quyết một vấn đề về chính sách thay vì giao cho một người quyết định. Người bỏ phiếu là các Debian Developer, khoảng một nghìn người. Phiếu được xếp hạng và luôn có một lựa chọn không do ai đề xuất: "Không có lựa chọn nào ở trên". Lựa chọn này có thể vượt qua mọi đề xuất trong phiếu. Khi đó, dự án đã quyết định không đưa ra quyết định.

Đây không phải là chuyện truyền miệng. Debian Constitution quy định ai có quyền quyết định việc gì, một đề xuất được đưa ra bỏ phiếu như thế nào, phiếu được đếm ra sao và quyết định nào cần nhiều hơn đa số đơn giản. Bạn nên đọc tài liệu này trước khi chọn một distribution cho server. Tài liệu cho biết một thay đổi chính sách đến server của bạn bằng cách nào và bạn được thông báo trước bao lâu.

Hiến chương và những vấn đề được giải quyết

Debian phê chuẩn phiên bản 1.0 của hiến chương vào ngày 2 tháng 12 năm 1998. Văn bản đang có hiệu lực là phiên bản 1.9, được phê chuẩn vào ngày 26 tháng 3 năm 2022. Tài liệu liệt kê mọi phiên bản trước đó ở phần đầu, vì cách duy nhất để thay đổi tài liệu là thực hiện cuộc bỏ phiếu được mô tả trong đó.

Có 4 bên đóng vai trò quan trọng ở đây. Các Developer khi hành động cùng nhau nắm quyền quyết định cuối cùng. Debian Project Leader (DPL) được bầu mỗi năm. Technical Committee (TC) phân xử các tranh chấp kỹ thuật giữa các maintainer. Project Secretary tổ chức các cuộc bỏ phiếu và quyết định các vấn đề về thủ tục.

Mục 4.1 liệt kê những việc Developers có thể thực hiện với tư cách một tập thể:

• Bổ nhiệm hoặc bãi nhiệm Project Leader.
• Sửa đổi hiến chương với tỷ lệ đa số 3:1.
• Đưa ra hoặc hủy bỏ bất kỳ quyết định nào được cho phép theo quyền hạn của Project Leader hoặc một Delegate.
• Đưa ra hoặc hủy bỏ bất kỳ quyết định nào được cho phép theo quyền hạn của Technical Committee với tỷ lệ đa số 2:1.
• Ban hành, thay thế và thu hồi các tài liệu hoặc tuyên bố chính sách phi kỹ thuật.

Các tỷ lệ này thể hiện thiết kế của hệ thống. Việc hủy bỏ quyết định của leader chỉ cần đa số đơn giản, vì quyết định của leader được xem là tạm thời. Việc hủy bỏ quyết định của Technical Committee cần tỷ lệ 2:1, vì committee được giao nhiệm vụ phân xử vì một lý do cụ thể. Việc thay đổi hiến chương hoặc một tài liệu nền tảng như Social Contract cần tỷ lệ 3:1. Một quyết định càng khó bị hủy bỏ thì ngưỡng để đưa ra quyết định đó càng cao.

Ai được bỏ phiếu và trưởng dự án thực sự có thể làm gì

Chỉ Debian Developer mới được bỏ phiếu. Đây là các thành viên dự án đã được kết nạp thông qua quy trình New Member của Debian, trong đó có những người không duy trì package nào nhưng thực hiện công việc khác cho dự án. Contributor chưa trải qua quy trình này không có quyền bỏ phiếu, người dùng cũng vậy. Quyền bỏ phiếu thuộc về từng thành viên, nên employer không có ghế và cũng không có một khối phiếu nào.

DPL được bầu vào mỗi mùa xuân bằng cùng cơ chế xếp hạng, với "None of the above" là lựa chọn mặc định, và giữ chức trong một năm. Trong cuộc bầu cử năm 2026, thời gian đề cử kéo dài từ 7 đến 13 March, vận động tranh cử đến 3 April, và bỏ phiếu từ 4 đến 17 April 2026. Sruthi Chandran là ứng viên duy nhất và được bầu: kết quả kiểm phiếu ghi nhận 289 phiếu ưu tiên ứng viên hơn None of the above, và 50 phiếu theo chiều ngược lại. Kết quả được công bố vào 19 April 2026.

Chức vụ này có ít quyền hơn so với tên gọi. DPL bổ nhiệm delegate, đại diện cho dự án, quyết định các vấn đề cần xử lý khẩn cấp và quyết định những vấn đề không ai khác chịu trách nhiệm. DPL không thể tự áp đặt technical policy, vì section 4.1 cho phép các Developer phủ quyết mọi quyết định mà leader được quyền đưa ra, và việc phủ quyết đó chỉ cần đa số đơn giản.

Project Secretary là chức vụ ít được chú ý nhưng giúp các hoạt động còn lại vận hành. Secretary công bố ballot, tổ chức cuộc bỏ phiếu, thực hiện kiểm phiếu và quyết định các vấn đề về thủ tục, chẳng hạn một lựa chọn cụ thể cần loại đa số nào.

Cách một Nghị quyết được đề xuất và bảo trợ

Một nghị quyết bắt đầu bằng một email gửi đến danh sách thư công khai, trên thực tế là debian-vote@lists.debian.org. Bất kỳ ai cũng có thể đọc email này. Chỉ Developer mới được đề xuất nghị quyết.

Điều lệ quy định rằng một nghị quyết hoặc một phương án trong lá phiếu “được đưa ra nếu do bất kỳ Developer nào đề xuất và được ít nhất K Developer khác bảo trợ”. K phụ thuộc vào quy mô của dự án, và quorum cũng vậy:

2022 voting secrecy vote, published quorum 47.9765567751584

  developers on the roll      1023
  Q  = sqrt(1023) / 2       = 15.992
  K  = min(Q, 5)            = 5        sponsors needed to introduce an option
  3Q = quorum               = 47.977   votes an option must draw to survive

Q bằng một nửa căn bậc hai của số Developer hiện tại, còn K là Q hoặc 5, lấy giá trị nhỏ hơn. Debian đã có hơn 100 Developer trong nhiều thập kỷ, nên trên thực tế K bằng 5. Năm Developer khác phải trả lời trên danh sách thư để bảo trợ đề xuất. Ngưỡng này cố ý được đặt thấp, và việc bảo trợ không có nghĩa là đồng ý: đó là xác nhận rằng câu hỏi này xứng đáng được đưa ra bỏ phiếu.

Sau đó bắt đầu giai đoạn thảo luận. Thời gian tối thiểu là 2 tuần và tối đa là 3 tuần. Trong khoảng thời gian này, bất kỳ Developer nào khác cũng có thể thêm một phương án khác vào cùng lá phiếu, kèm 5 người bảo trợ riêng. Vì quy trình nghị quyết đã được sửa đổi bằng một cuộc bỏ phiếu vào tháng 1 năm 2022, mọi phương án đều có vị thế ngang nhau, và người đề xuất ban đầu không có quyền ưu tiên nào so với những người khác.

Vì vậy, một cuộc bỏ phiếu của Debian hiếm khi chỉ là câu hỏi có hoặc không. Một GR thường xuất hiện dưới dạng danh sách các đề xuất cạnh tranh do những người khác nhau viết trong giai đoạn thảo luận.

Khi kết thúc thảo luận, Project Secretary công bố lá phiếu và kêu gọi bỏ phiếu trong vòng 7 ngày. Các giai đoạn bỏ phiếu gần đây kéo dài 2 tuần: từ 18 tháng 9 đến 1 tháng 10 năm 2022 đối với nghị quyết về firmware, và từ 15 đến 28 tháng 8 năm 2026 đối với nghị quyết về LLM, là nghị quyết mới nhất.

Vì sao phiếu được xếp hạng và tùy chọn mặc định hoạt động thế nào

Debian kiểm phiếu bằng phương pháp Condorcet. Mỗi cử tri xếp hạng các tùy chọn theo thứ tự ưu tiên. Sau đó, việc kiểm phiếu so sánh từng cặp tùy chọn: với tùy chọn A và B, hệ thống đếm số phiếu xếp A cao hơn B và số phiếu xếp B cao hơn A. Tùy chọn thắng tất cả các lần so sánh một đối một là tùy chọn thắng cuộc. Khi các ưu tiên tạo thành một vòng lặp và không có tùy chọn nào như vậy, hiến pháp loại dần các thất bại yếu nhất cho đến khi tìm được người thắng từ Schwartz set, tức nhóm các tùy chọn không bị tùy chọn nào bên ngoài nhóm đánh bại.

Xếp hạng loại bỏ vấn đề phiếu bị chia. Bốn đề xuất có nội dung nhìn chung giống nhau không thể triệt tiêu lẫn nhau, vì cử tri thích một đề xuất trong số đó vẫn có thể xếp ba đề xuất còn lại cao hơn các tùy chọn mà họ không thích.

Mọi phiếu General Resolution đều kết thúc bằng tùy chọn mặc định. Hiến pháp quy định tùy chọn này “không có người đề xuất hoặc nhà tài trợ, và không thể được sửa đổi hoặc rút lại”. Hiện nay, tùy chọn này có tên là “Không có tùy chọn nào ở trên”. Trước thay đổi quy trình được bỏ phiếu vào tháng 1 năm 2022, nó có tên là “Thảo luận thêm”, và các trang kết quả cũ vẫn hiển thị tên đó.

Tùy chọn mặc định là mốc tham chiếu cho hai quy tắc có thể tự mình khiến một đề xuất bị loại:

• Quorum: mọi tùy chọn không phải mặc định không nhận được ít nhất 3Q phiếu xếp nó cao hơn tùy chọn mặc định sẽ bị loại khỏi quá trình xem xét. Con số này vào khoảng 48 phiếu trong năm 2022.
• Supermajority: mọi tùy chọn không phải mặc định không đánh bại tùy chọn mặc định theo tỷ lệ bắt buộc sẽ bị loại. Một đề xuất tỷ lệ 3:1 phải đánh bại “Không có tùy chọn nào ở trên” với tỷ lệ ba trên một.

Hãy đọc kỹ quy tắc thứ hai, vì đây là điểm mọi người thường nhớ sai. Supermajority trong Debian được tính so với tùy chọn mặc định. Các đề xuất đối thủ không được đưa vào phép tính này.

Nếu tùy chọn mặc định thắng hoàn toàn, không đề xuất nào được thông qua và vấn đề quay lại mailing list. Đây là một kết quả thực sự. Việc xếp tùy chọn mặc định cao hơn một tùy chọn là cách developer nói rằng “Tôi thà để Debian không đưa ra quyết định gì còn hơn đưa ra quyết định này”.

Từ tháng 3 năm 2022, các phiếu được giữ bí mật. Nghị quyết đó được bỏ phiếu từ ngày 13 đến ngày 26 tháng 3 năm 2022, và cho thấy quy tắc supermajority hoạt động thế nào. Tùy chọn của Sam Hartman về việc ẩn danh tính cử tri bị loại vì chỉ đánh bại tùy chọn mặc định với tỷ lệ 149 trên 94, thấp hơn tỷ lệ 3:1 cần thiết đối với một thay đổi hiến pháp. Tùy chọn thắng cuộc do Judit Foglszinger đề xuất đạt tỷ lệ yêu cầu với 185 trên 61 và trở thành hiến pháp phiên bản 1.9. Tùy chọn này ẩn danh tính developer đã bỏ từng phiếu, nhưng vẫn cho phép cử tri xác nhận phiếu của chính mình đã được đưa vào kết quả kiểm phiếu. Trước đó, mọi phiếu xếp hạng đều được công bố kèm tên người bỏ phiếu.

Những gì một General Resolution thực sự đã thay đổi

Hệ thống init, hai lần. Ngày 11 tháng 2 năm 2014, Technical Committee ra quyết định “hệ thống init mặc định cho các kiến trúc Linux trong jessie phải là systemd”, sau một thế bế tắc được chủ tọa Bdale Garbee phá bằng lá phiếu quyết định. Chính resolution của committee cũng nêu rằng nếu project thông qua một GR về hệ thống init trước khi jessie được phát hành, “quyết định đó sẽ thay thế kết quả của cuộc bỏ phiếu này”. Ian Jackson là người đề xuất GR đó. Cuộc bỏ phiếu diễn ra từ ngày 5 đến ngày 18 tháng 11 năm 2014, và phương án thắng là “Không cần General Resolution”. Project đã dùng lá phiếu để từ chối bác bỏ quyết định của chính committee.

Câu hỏi này quay lại vào tháng 12 năm 2019 với tên “Hệ thống init và systemd”, gồm 7 phương án thực chất do 5 developer soạn, trải từ “Tập trung vào systemd” ở một đầu đến “Bắt buộc hỗ trợ nhiều hệ thống init” ở đầu kia. Cuộc bỏ phiếu diễn ra từ ngày 7 đến ngày 27 tháng 12 năm 2019, với tổng cộng 425 phiếu được ghi nhận. Phương án thắng là “Dùng systemd nhưng hỗ trợ nghiên cứu các lựa chọn thay thế”.

Firmware non-free và installer bạn tải xuống. Năm 2022, project bỏ phiếu về việc installer chính thức có nên kèm firmware non-free cho card mạng và phần cứng khác hay không. Có 6 đề xuất được đưa ra bỏ phiếu. Cuộc bỏ phiếu diễn ra từ ngày 18 tháng 9 đến ngày 1 tháng 10 năm 2022, và phương án thắng là “Thay đổi SC cho firmware non-free trong installer, một installer”. Vì phương án này sửa đổi Social Contract, nó phải vượt qua phương án mặc định với tỷ lệ 3:1, và đã đạt được tỷ lệ đó.

Cuộc bỏ phiếu này là ví dụ rõ nhất về việc một lá phiếu có thể tác động đến máy của bạn. Debian 12 “bookworm”, được phát hành ngày 10 tháng 6 năm 2023, chuyển phần lớn package firmware từ non-free sang component non-free-firmware mới, và installer bật component này khi phần cứng cần. Trước cuộc bỏ phiếu, nếu máy dùng card mạng cần firmware thì bạn phải biết cách tải image không chính thức. Bài đăng trên mailing list, lá phiếu và ISO bạn tải xuống là một chuỗi sự kiện liên kết với nhau.

Cố ý không nói gì. Tháng 4 năm 2021, project bỏ phiếu về việc có ra tuyên bố công khai liên quan đến việc Richard Stallman tái gia nhập board của Free Software Foundation hay không. Có 8 phương án được đưa ra bỏ phiếu. Phương án thắng là “Debian sẽ không ra tuyên bố công khai về vấn đề này”. Một resolution có thể xác lập rằng project không có lập trường tập thể; đây là một quyết định mà phòng truyền thông của công ty hiếm khi có quyền đưa ra.

Một nghị quyết gần đây: việc sử dụng LLM trong Debian

Lần gần nhất, quy trình này được áp dụng cho các mô hình ngôn ngữ lớn (LLM). Cuộc thảo luận về nghị quyết “Sử dụng LLM trong Debian” diễn ra trên debian-vote từ ngày 23 July đến 13 August 2026 và tạo ra tám đề xuất, mỗi đề xuất do một developer khác nhau đưa ra:

• Không đóng góp cho Debian bằng LLM theo Social Contract
• Cho phép đóng góp có AI hỗ trợ với các điều kiện
• Từ chối LLM trong phạm vi thực tế cho phép, cập nhật Code of Conduct
• Chấp nhận đóng góp bằng AI cho công việc đặc thù của Debian
• Sử dụng Generative AI có trách nhiệm
• Cách tiếp cận thận trọng với Generative AI
• Debian do con người tạo ra
• Tránh sử dụng LLM: hủy hoại khí hậu là điều không thể chấp nhận

Đề xuất đầu tiên hoạt động bằng cách sửa đổi Social Contract, nên cần đạt đa số 3:1 so với lựa chọn mặc định. Bảy đề xuất còn lại chỉ cần đa số đơn giản. Việc bỏ phiếu diễn ra từ ngày 15 đến 28 August 2026, với 1045 developer trong danh sách và quorum khoảng 48.5 phiếu; cả tám lựa chọn đều đạt quorum.

Kết quả cho thấy cả hai quy tắc ở phần trước đều được áp dụng. Lựa chọn sửa đổi Social Contract bị loại vì có 144 phiếu xếp nó cao hơn “Không có lựa chọn nào ở trên” và 257 phiếu xếp thấp hơn, tạo ra tỷ lệ 0.560 trong khi cần 3. “Từ chối LLM trong phạm vi thực tế cho phép, cập nhật Code of Conduct” bị loại vì thua trực tiếp lựa chọn mặc định với tỷ số 176-230. Người thắng là “Sử dụng Generative AI có trách nhiệm”. Lựa chọn này thắng lựa chọn mặc định với tỷ số 281-126 và thắng đối đầu với mọi lựa chọn khác. Tính đến ngày 12 October 2026, chỉ mục các cuộc bỏ phiếu năm 2026 của Debian ghi nghị quyết này là đã hoàn tất, và không có General Resolution nào khác đang mở.

Secretary công bố bảng kiểm phiếu cùng ma trận đối đầu đầy đủ tại các trang bỏ phiếu của Debian. Đây là nguồn duy nhất nên trích dẫn khi cần xác định nội dung của văn bản đã thắng. Một đề xuất trước đó, “Diễn giải DFSG về các mô hình Trí tuệ Nhân tạo (AI)”, đã được rút trong năm 2025 trước khi đạt đến giai đoạn bỏ phiếu. Việc rút đề xuất cũng là một phần của quy trình: DFSG là Debian Free Software Guidelines, và người đưa ra đề xuất có thể rút đề xuất nếu đề xuất chưa sẵn sàng. Tranh luận rộng hơn không chỉ diễn ra trong Debian; các dự án khác cũng đang xây dựng chính sách riêng về đóng góp có AI hỗ trợ theo những cách rất khác nhau.

Điều này có ý nghĩa gì khi bạn chọn một bản phân phối server

Hãy so sánh thẳng hai cách ra quyết định này.

Trong Debian, thay đổi chính sách phải được công khai dưới dạng tài liệu trước khi trở thành chính sách. Bạn có thể đọc đề xuất ngay trong ngày được đăng, theo dõi các phương án cạnh tranh xuất hiện, biết rõ tên những người bảo trợ, biết sớm nhất khi nào cuộc bỏ phiếu có thể diễn ra và đọc kết quả kiểm phiếu sau đó. Đổi lại là tốc độ. Mỗi cuộc bỏ phiếu này đều cần nhiều tuần thảo luận, còn vấn đề init system mất 5 năm và 2 nghị quyết mới đạt được câu trả lời ổn định.

Trong Ubuntu, định hướng được quyết định bên trong một công ty. Trang quản trị của Ubuntu mô tả Community Council và Technical Board. Trang này cũng nêu rằng người bảo trợ dự án, Mark Shuttleworth, lập danh sách rút gọn ứng viên cho cả hai cơ quan và có quyền quyết định khi số phiếu ngang nhau ở mỗi cơ quan, với chức danh self-appointed benevolent dictator for life. Kết quả là nhanh. Ngày 14 tháng 2 năm 2014, 3 ngày sau khi ủy ban của Debian chọn systemd, Shuttleworth thông báo Ubuntu sẽ loại bỏ Upstart, init system do Canonical viết và phát hành từ năm 2006, để chuyển sang systemd theo Debian. Debian đạt cùng kết quả thông qua một cuộc bỏ phiếu của ủy ban, một General Resolution vào năm 2014 và một General Resolution khác vào năm 2019.

Không mô hình nào tốt hơn một cách tuyệt đối, và chúng thất bại theo những cách khác nhau. Bỏ phiếu chậm, và một nhóm quyết tâm có thể đưa cùng một câu hỏi trở lại lá phiếu cho đến khi cử tri đổi ý. Quyết định của công ty nhanh, nhưng có thể bị đảo ngược trong một cuộc họp chiến lược mà bạn không tham dự. Điều bạn đang chọn là nguồn cung cấp thông báo: một mailing list công khai mà bạn có thể subscribe, hoặc một thông báo phát hành mà bạn đọc ngay trong ngày.

Trong công việc hằng ngày, bạn sẽ cảm nhận sự khác biệt qua chính sách phát hành hơn là qua các lá phiếu. Vì vậy, nội dung tiếp theo cần đọc là các suite stable, testing và unstable của Debian trên server. Nếu đang cân nhắc hai họ bản phân phối này cho một máy mới, vấn đề quản trị chỉ là một trong nhiều yếu tố. Câu chuyện Debian và Ubuntu tách thành hai nhánh trình bày các phần còn lại, còn chọn operating system cho VPS đặt lựa chọn này cạnh các ứng viên khác. Mô hình này đã có từ lâu, và cách các họ bản phân phối phân nhánh cho thấy governance, chứ không phải code, thường là thứ tạo ra fork.

Cách tự đọc một cuộc bỏ phiếu

Bạn không cần là Developer để làm theo nội dung này. Mọi thông tin nằm ở 4 nơi:

• Chỉ mục bỏ phiếu tại https://www.debian.org/vote/ liệt kê mọi nghị quyết theo năm, bao gồm cả các nghị quyết đã rút.
• Mỗi trang bỏ phiếu liệt kê các đề xuất, tên những người bảo trợ, ngày thảo luận và bỏ phiếu, cùng số đa số mà mỗi lựa chọn cần có.
• Mỗi trang kết quả hiển thị ma trận so sánh từng cặp và phần tính toán. Các dòng về quorum có dạng như Option 1 Reached quorum: 307 > 47.6943392867539.
• Các archive debian-vote và debian-devel-announce chứa phần tranh luận dẫn đến các lựa chọn.

Bản thân hiến pháp nằm tại https://www.debian.org/devel/constitution.. Appendix A là phần mô tả quy trình bỏ phiếu. Đây là phần bạn nên đọc nếu một kết quả trông có vẻ bất ngờ.

FAQ

Ai có thể bỏ phiếu trong một General Resolution của Debian?

Debian Developers, tức các thành viên dự án đã được kết nạp qua quy trình New Member của Debian. Nhóm này có khoảng một nghìn người, bao gồm cả những thành viên không maintain package nào nhưng thực hiện các công việc khác cho dự án. Contributor chưa gia nhập, package maintainer không có membership và user không được nhận ballot. Quyền bỏ phiếu thuộc về từng thành viên, vì vậy employer không có ghế riêng và cũng không có một nhóm phiếu riêng.

Điều gì xảy ra nếu "None of the above" thắng một General Resolution?

Không proposal nào được thông qua và câu hỏi quay lại mailing list. Tùy chọn mặc định này xuất hiện trên mọi ballot, không thể bị rút lại, đồng thời làm mốc cho 2 quy tắc khác: một option không đạt đủ số phiếu quorum và được xếp trên tùy chọn mặc định sẽ bị loại, còn một option không đánh bại được tùy chọn mặc định theo tỷ lệ yêu cầu cũng bị loại. Vì vậy, proposal cần đa số 3:1 phải đánh bại "None of the above" với tỷ lệ 3:1; các proposal đối thủ không được tính trong phép so sánh này.

General Resolution có thể bác bỏ quyết định của Technical Committee hoặc Project Leader không?

Có, và constitution quy định mức tỷ lệ khác nhau cho từng trường hợp. Muốn bác bỏ quyết định mà Project Leader hoặc Delegate được ủy quyền đưa ra thì cần đa số đơn giản. Muốn bác bỏ quyết định của Technical Committee thì cần tỷ lệ 2:1. Sửa constitution hoặc một foundation document như Social Contract thì cần tỷ lệ 3:1. Vào tháng 11 năm 2014, dự án tổ chức một resolution về việc có bác bỏ quyết định của committee liên quan đến init system hay không, và đã chọn không bác bỏ vì option "General Resolution is not required" thắng ballot.

Một General Resolution mất bao lâu từ lúc đề xuất đến khi có kết quả?

Khoảng một tháng nếu không có gì bất thường. Giai đoạn thảo luận kéo dài ít nhất 2 tuần và nhiều nhất 3 tuần. Sau đó, Project Secretary công bố ballot và mở cuộc bỏ phiếu trong vòng 7 ngày kể từ khi giai đoạn thảo luận kết thúc. Các kỳ bỏ phiếu gần đây kéo dài 2 tuần. Resolution năm 2026 về việc sử dụng LLM cho thấy tiến trình điển hình: thảo luận từ ngày 23 tháng 7 đến ngày 13 tháng 8 năm 2026, sau đó bỏ phiếu từ ngày 15 đến ngày 28 tháng 8 năm 2026.