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 bỏ phiếu, và leader thực sự có thể làm gì

Chỉ Debian Developer mới được bỏ phiếu. Đây là những thành viên của dự án đã được công nhận thông qua quy trình New Member của Debian. Quy trình này cũng bao gồm những người 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 trải qua quy trình này không có quyền bỏ phiếu, user 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 theo cùng cơ chế xếp hạng, với tùy chọn mặc định là “None of the above”, và giữ nhiệm kỳ 1 năm. Trong cuộc bầu cử năm 2026, thời gian đề cử kéo dài từ 7 đến 13 tháng 3, vận động tranh cử đến 3 tháng 4, và bỏ phiếu từ 4 đến 17 tháng 4 năm 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 chọn ứng viên thay vì None of the above, và 50 phiếu theo chiều ngược lại. Kết quả được công bố vào 18 tháng 4 năm 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 những vấn đề cần hành động khẩn cấp và những vấn đề không có ai khác chịu trách nhiệm. DPL không thể tự ý đặt ra technical policy, vì section 4.1 cho phép Developer override mọi quyết định mà leader được quyền đưa ra, và việc override đó chỉ cần simple majority.

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, triệu tập cuộc bỏ phiếu, điều hành việc 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 majority nào.

Cách một General Resolution được đề xuất và bảo trợ

Một resolution bắt đầu bằng một email gửi đến public mailing list, 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 resolution.

Debian Constitution quy định một resolution hoặc một lựa chọn trong ballot “đượ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 project, quorum cũng vậy:

2022 non-free firmware 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 là 5. Năm Developer khác phải trả lời trên list để bảo trợ proposal. Ngưỡng này cố ý được đặt thấp, và bảo trợ không có nghĩa là đồng ý: đó là tuyên bố rằng câu hỏi này xứng đáng được đưa ra ballot.

Sau đó bắt đầu thời gian 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 lựa chọn khác vào cùng ballot, kèm theo năm sponsor riêng. Vì quy trình resolution đã được viết lại bằng một cuộc bỏ phiếu vào tháng 1 năm 2022, mọi lựa chọn đều có vị thế ngang nhau và người đề xuất ban đầu không có vị thế đặc biệt hơn những người khác.

Đó là lý do ballot 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 proposal cạnh tranh do những người khác nhau viết trong thời gian thảo luận.

Khi thảo luận kết thúc, Project Secretary công bố ballot và kêu gọi bỏ phiếu, đồng thời phải thực hiện việc này trong vòng 7 ngày. Các kỳ 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 resolution về firmware, và từ 15 đến 28 tháng 8 năm 2026 đối với resolution hiện đang mở.

Vì sao lá phiếu được xếp hạng và tùy chọn mặc định hoạt động như 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 sẽ so sánh từng cặp tùy chọn: với các tùy chọn A và B, hệ thống đếm số lá phiếu xếp A cao hơn B và số lá 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 chiến thắng. Khi các ưu tiên tạo thành một chu kỳ và không có tùy chọn nào như vậy, hiến pháp sẽ loại dần các thất bại yếu nhất cho đến khi một tùy chọn chiến thắng xuất hiện từ Schwartz set. Đây là nhóm các tùy chọn không bị bất kỳ tùy chọn nào bên ngoài nhóm đánh bại.

Việc xếp hạng loại bỏ vấn đề phiếu bị chia nhỏ. Bốn đề xuất có nội dung nhìn chung tương đồng 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 đồng ý.

Mọi lá 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à "None of the above". Trước thay đổi quy trình được biểu quyết vào tháng 1 năm 2022, nó có tên là "Further Discussion"; 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 loại một đề xuất:

• Quorum: mọi tùy chọn khác tùy chọn 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 việc 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 được tùy chọn mặc định theo tỷ lệ bắt buộc sẽ bị loại. Một đề xuất theo tỷ lệ 3:1 phải đánh bại "None of the above" theo tỷ lệ ba trên một.

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

Nếu tùy chọn mặc định thắng hoàn toàn, không có đề xuất nào được thông qua và câu hỏi quay lại mailing list. Đây là một kết quả hợp lệ. Xếp tùy chọn mặc định cao hơn một tùy chọn nghĩa là developer đó nói: "Tôi thà để Debian không đưa ra quan điểm còn hơn đưa ra quan điểm này".

Từ tháng 3 năm 2022, các lá phiếu được giữ bí mật. Resolution khiến lá phiếu được giữ bí mật do Sam Hartman đề xuất và được biểu quyết từ ngày 13 đến ngày 26 tháng 3 năm 2022. Tùy chọn chiến thắng sẽ ẩn danh tính developer đã bỏ từng lá phiếu, nhưng vẫn cho phép cử tri xác nhận rằng lá phiếu của chính họ đã được tính. Trước đó, mọi lá 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.

Đang xem xét: sử dụng LLM trong Debian

Hiện Debian đang xem xét vấn đề sử dụng 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 bằng LLM cho Debian thông qua 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ế có thể, cập nhật Code of Conduct
• Chấp nhận đóng góp bằng AI cho công việc riêng của Debian
• Sử dụng Generative AI có trách nhiệm
• 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 đ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 mở từ ngày 15 August 2026 và kết thúc vào ngày 28 August 2026.

Không có thông tin nào ở đây dự đoán kết quả, và cũng không khẳng định kết quả nào. Khi thời gian bỏ phiếu kết thúc, Secretary sẽ công bố bảng tổng hợp cùng ma trận đối đầu đầy đủ trên trang bỏ phiếu Debian; đây là nguồn duy nhất nên được trích dẫn. 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 được đưa ra 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, và các project khác đ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.