Các loại độ ghép nối (Coupling) trong phần mềm

1. Tổng quan

A. Định nghĩa

Độ ghép nối (Coupling) là thước đo biểu thị mức độ phụ thuộc của một mô-đun vào mô-đun khác; càng thấp thì thiết kế càng tốt. Khái niệm đối lập là độ gắn kết (Cohesion), biểu thị các thành phần bên trong một mô-đun liên quan chặt chẽ đến đâu nhằm hướng tới một mục đích duy nhất, càng cao càng tốt. Đại nguyên tắc của thiết kế mô-đun tốt được tóm gọn là "ghép nối thấp (Low Coupling), gắn kết cao (High Cohesion)".

Độ ghép nối và độ gắn kết là các khái niệm do Larry Constantine và Edward Yourdon — những người xác lập Thiết kế có cấu trúc (Structured Design) vào thập niên 1970 — đề xuất, và sau nửa thế kỷ vẫn là nền tảng của mọi thảo luận thiết kế từ thủ tục, hướng đối tượng đến microservice. Lý do hai thước đo này tồn tại lâu dài là chúng xử lý trực diện bài toán bản chất của phần mềm là "thay đổi (Change)". Phần mềm không phải làm một lần là xong mà liên tục được sửa đổi theo sự thay đổi của yêu cầu, và quan điểm phổ biến là hơn một nửa tổng chi phí phát triển phát sinh ở giai đoạn bảo trì. Khi đó, hai trục quyết định hệ thống chịu đựng thay đổi tốt đến đâu chính là độ ghép nối và độ gắn kết.

Độ ghép nối là thước đo cốt lõi của chất lượng phần mềm vì nó trực tiếp chi phối "hiệu ứng lan truyền (Ripple Effect) khi thay đổi một mô-đun lan sang mô-đun khác". Nếu các mô-đun đan xen chặt chẽ (ghép nối cao), khi sửa một chỗ thì nhiều mô-đun liên kết cùng hỏng, khó dự đoán phạm vi sửa đổi và lỗi hồi quy (Regression) xảy ra thường xuyên. Ví dụ, nếu mô-đun thanh toán nhìn trực tiếp vào cấu trúc biến nội bộ của mô-đun hội viên, thì chỉ một lần tái cấu trúc nhỏ của mô-đun hội viên cũng có thể làm thanh toán ngừng hoạt động. Ngược lại, nếu ghép nối thấp thì mỗi mô-đun độc lập nên dễ sửa, thay thế, tái sử dụng và kiểm thử đơn vị. Độ ghép nối được chia thành nhiều cấp tùy theo mô-đun được kết nối "thông qua cái gì", và càng về sau ghép nối càng yếu, càng đáng mong muốn.

B. Sự cần thiết của quản lý độ ghép nối

Phần mềm càng lớn và được duy trì càng lâu thì thay đổi càng thường xuyên, và nếu ghép nối cao thì ngay cả thay đổi nhỏ cũng gây ra sự cố dây chuyền. Thiết kế giảm ghép nối là nguyên lý căn bản bảo đảm khả năng bảo trì, tái sử dụng, kiểm thử và mở rộng, và điều này gắn trực tiếp với năng suất phát triển và tuổi thọ hệ thống. Nỗ lực giảm ghép nối không phải là đức tính lý thuyết đơn thuần mà là hoạt động kỹ thuật cực kỳ thực dụng nhằm kiểm soát chi phí thay đổi và ngăn chặn lan truyền sự cố.

2. Các loại độ ghép nối (ghép nối mạnh → ghép nối yếu)

Độ ghép nối theo truyền thống được chia thành sáu cấp. Hình dưới đây biểu diễn phổ ghép nối yếu dần từ ghép nối nội dung tệ nhất đến ghép nối dữ liệu đáng mong muốn nhất.

flowchart LR
  A["Ghép nối nội dung (Content)"] --> B["Ghép nối chung (Common)"] --> C["Ghép nối ngoài (External)"] --> D["Ghép nối điều khiển (Control)"] --> E["Ghép nối tem (Stamp)"] --> F["Ghép nối dữ liệu (Data)"]
  style A fill:#fde8e8,stroke:#ed2f2f,stroke-width:2px
  style F fill:#e8f0fe,stroke:#2f6fed,stroke-width:2px

Ghép nối nội dung (Content Coupling) là ghép nối mạnh và tệ nhất, khi một mô-đun tham chiếu hoặc sửa đổi trực tiếp mã hay dữ liệu nội bộ của mô-đun khác, hoặc rẽ nhánh vào bên trong mô-đun mà không qua điểm vào (giao diện) chính thức. Điều này phá vỡ hoàn toàn ranh giới mô-đun, chỉ cần thay đổi một chút bên trong mô-đun đích là mô-đun tham chiếu hỏng ngay. Vì vi phạm trực diện tính đóng gói nên phải tránh trong mọi tình huống. Ví dụ điển hình là mã trong đó mô-đun A thao tác trực tiếp địa chỉ biến cục bộ của mô-đun B.

Ghép nối chung (Common Coupling) là khi nhiều mô-đun tương tác bằng cách dùng chung biến toàn cục (Global Data). Khi thay đổi cấu trúc của một biến toàn cục thì phải sửa đồng thời mọi mô-đun dùng nó, và khó truy vết mô-đun nào đã đổi giá trị lúc nào nên việc gỡ lỗi cực kỳ khó khăn. Đây là vấn đề thường được gọi là "cái bẫy của trạng thái toàn cục (Global State)", quy mô càng lớn càng trở thành nguyên nhân của tác dụng phụ (Side Effect).

Ghép nối ngoài (External Coupling) phát sinh khi nhiều mô-đun dùng chung định dạng dữ liệu, giao thức truyền thông, giao diện thiết bị được định nghĩa từ bên ngoài. Ví dụ, nếu nhiều mô-đun cùng bị ràng buộc vào một định dạng tệp hay đặc tả API bên ngoài cụ thể, thì khi định dạng đó thay đổi, các mô-đun liên quan bị ảnh hưởng đồng thời. Vì là phụ thuộc vào đặc tả bên ngoài nên có mặt không tránh khỏi, nhưng nên cách ly bằng tầng adapter để thu hẹp phạm vi ảnh hưởng.

Ghép nối điều khiển (Control Coupling) là khi một mô-đun truyền tín hiệu điều khiển (cờ, công tắc) cho mô-đun khác để chi phối luồng hoạt động nội bộ của mô-đun nhận. Ví dụ, trong process(data, mode) nếu hàm được gọi rẽ nhánh sang logic hoàn toàn khác tùy giá trị mode, thì bên gọi phải biết logic nội bộ của bên được gọi nên ghép nối mạnh lên. Điều này thường xuất hiện cùng với các mô-đun có độ gắn kết thấp (gắn kết logic).

Ghép nối tem (Stamp Coupling) là khi các mô-đun truyền toàn bộ cấu trúc dữ liệu (bản ghi, đối tượng) nhưng thực tế chỉ dùng một số trường. Vì cả các trường không cần thiết cũng bị phơi bày trên giao diện truyền, khi cấu trúc dữ liệu thay đổi thì ngay cả mô-đun không dùng trường đó cũng có thể bị ảnh hưởng. Đây là cấp tương đối tốt, mạnh hơn ghép nối dữ liệu nhưng yếu hơn ghép nối điều khiển.

Ghép nối dữ liệu (Data Coupling) là ghép nối đáng mong muốn nhất, khi các mô-đun chỉ trao đổi dữ liệu thật sự cần thiết (tham số nguyên thủy) qua đối số. Giao diện tối thiểu và rõ ràng nên không cần biết bên trong của nhau, và khi thay đổi một bên thì ảnh hưởng tới bên kia chỉ giới hạn trong đặc tả đối số. Đây là điểm mục tiêu mà thiết kế phải hướng tới.

3. Quan hệ và tương tác với độ gắn kết

Độ ghép nối phải được đánh giá cùng cặp với độ gắn kết. Thiết kế tốt là cấu trúc mà bên trong mô-đun gắn chặt quanh một trách nhiệm (gắn kết cao), còn giữa các mô-đun chỉ kết nối tối thiểu (ghép nối thấp). Điểm thú vị là hai chỉ số kéo nhau. Mô-đun có độ gắn kết cao chỉ làm "một việc" nên những gì trao đổi với bên ngoài trở nên rõ ràng và ghép nối tự nhiên thấp đi; ngược lại, mô-đun gắn kết thấp trộn lẫn nhiều việc sẽ đan xen với nhiều nơi và ghép nối tăng lên.

flowchart TB
  subgraph GOOD["Thiết kế đáng mong muốn"]
    direction TB
    M1["Mô-đun A<br/>(trách nhiệm đơn, gắn kết cao)"] -- "Đối số tối thiểu (ghép nối dữ liệu)" --> M2["Mô-đun B<br/>(trách nhiệm đơn, gắn kết cao)"]
  end
  subgraph BAD["Thiết kế tồi"]
    direction TB
    N1["Mô-đun C<br/>(trộn lẫn nhiều trách nhiệm)"] -- "Dùng chung biến toàn cục" --> G[("Trạng thái toàn cục")]
    N2["Mô-đun D"] -- "Tham chiếu trực tiếp bên trong" --> N1
    G --> N2
  end
  style M1 fill:#e8f0fe,stroke:#2f6fed
  style M2 fill:#e8f0fe,stroke:#2f6fed
  style N1 fill:#fde8e8,stroke:#ed2f2f

Độ gắn kết cũng được chia thành bảy cấp từ thấp đến cao, cao nhất là gắn kết chức năng (Functional Cohesion) chỉ thực hiện một chức năng. Mỗi cấp được phân biệt theo "lý do gì" khiến các phần tử trong mô-đun được gom lại.

Lý do xem đồng thời 6 cấp ghép nối và 7 cấp gắn kết là chỉ tốt một bên thì không thành mô-đun tốt. Nếu chỉ lo ghép nối dữ liệu mà bỏ mặc độ gắn kết, giao diện gọn gàng nhưng bên trong mô-đun rối rắm; nếu chỉ lo độ gắn kết mà lạm dụng biến toàn cục, mô-đun chắc chắn nhưng toàn hệ thống đan xen. Thú vị là mô-đun "gắn kết logic" thường chọn hành vi bằng cờ nên hay kèm theo "ghép nối điều khiển", cho thấy rõ mối tương quan gắn kết thấp kéo theo ghép nối cao.

4. Tình huống và hàm ý thực tiễn

Cụ thể, hãy lấy "xử lý đơn hàng" và "quản lý tồn kho" của một cửa hàng trực tuyến làm ví dụ. Trong thiết kế tồi, mô-đun đặt hàng trực tiếp đọc và giảm biến tồn kho toàn cục mà mô-đun tồn kho dùng (ghép nối chung, nội dung). Khi đó, nếu đổi cách quản lý tồn kho từ "trừ thời gian thực" sang "đặt trước rồi xác nhận" thì phải sửa cả mã của mô-đun đặt hàng, và cộng thêm vấn đề đồng thời thì sự cố lan rộng. Trong thiết kế tốt, mô-đun đặt hàng chỉ truyền đối số rõ ràng reserveStock(productId, quantity) cho mô-đun tồn kho (ghép nối dữ liệu), còn cách xử lý nội bộ do mô-đun tồn kho tự quyết định. Khi đó, dù logic tồn kho thay đổi thế nào, chỉ cần giữ giao diện thì mô-đun đặt hàng không bị ảnh hưởng.

Khác biệt này quan trọng trong thực tế vì nó gắn trực tiếp với thành bại của "cách ly thay đổi". Nếu ghép nối thấp, phạm vi ảnh hưởng của thay đổi và sự cố bị giam trong ranh giới mô-đun, phạm vi kiểm thử hồi quy giảm và rủi ro triển khai thấp. Thực tế, một trong những động cơ tách hệ thống lớn thành microservice cũng là giới hạn ghép nối giữa các dịch vụ bằng API để mỗi dịch vụ được triển khai, mở rộng và cách ly sự cố độc lập. Ngược lại, trong mã nguyên khối ghép nối cao, sửa đổi của một đội thường làm hỏng chức năng của đội khác và việc triển khai trở thành nút thắt.

Ví dụ thứ hai, hãy xét trường hợp "thông tin phiên người dùng" mà nhiều màn hình cùng tham chiếu được đặt thành đối tượng toàn cục và mỗi mô-đun trực tiếp đọc ghi. Ban đầu có vẻ tiện lợi (ghép nối chung), nhưng ngay khi chuyển cách đăng nhập từ dựa trên phiên sang dựa trên token, phải tìm và sửa tất cả hàng chục mô-đun từng chạm vào đối tượng toàn cục đó. Khó truy vết mô-đun nào đổi giá trị phiên lúc nào, nên có khi chỉ việc xác định nguyên nhân của lỗi xác thực phát sinh gián đoạn đã mất vài ngày. Nếu bọc nó thành một mô-đun riêng có giao diện tra cứu/cập nhật phiên để chuyển sang ghép nối dữ liệu, ảnh hưởng của việc đổi cách xác thực sẽ bị giam trong đúng một mô-đun đó.

Thứ ba, độ ghép nối còn gắn trực tiếp với khả năng kiểm thử (Testability). Nếu một mô-đun phụ thuộc chặt vào hiện thực nội bộ hay trạng thái toàn cục của mô-đun khác, rất khó tách riêng mô-đun đó để kiểm thử đơn vị, vì phải chuẩn bị toàn bộ đối tượng phụ thuộc cho việc kiểm thử. Ngược lại, mô-đun được thiết kế theo ghép nối dữ liệu qua giao diện có thể dễ dàng thay bằng đối tượng giả (Mock/Stub) mô phỏng giao diện đó và kiểm thử độc lập. Tức là ghép nối thấp còn là điều kiện tiên quyết của kiểm thử tự động và tích hợp liên tục (CI).

Rốt cuộc, độ ghép nối không phải vấn đề của một dòng mã, mà là đặc tính cấu trúc quy định cả cách làm việc của tổ chức phát triển và nhịp độ triển khai. Ghép nối mạnh làm tăng "những thứ phải thay đổi cùng nhau", khiến đơn vị thay đổi phình to; ghép nối yếu cục bộ hóa thay đổi, cho phép nhiều người làm việc song song một cách an toàn.

5. Chuyên sâu: Mở rộng sang kiến trúc hiện đại và xu hướng mới nhất

Độ ghép nối và độ gắn kết là khái niệm của thời kỳ lập trình thủ tục, nhưng nguyên lý của chúng được kế thừa và mở rộng nguyên vẹn vào tư tưởng thiết kế hiện đại. Trong các nguyên tắc SOLID của hướng đối tượng, nguyên tắc trách nhiệm đơn (SRP) là chỉ dẫn cụ thể về độ gắn kết, còn nguyên tắc đảo ngược phụ thuộc (DIP) và nguyên tắc phân tách giao diện (ISP) là chỉ dẫn cụ thể để giảm ghép nối. Tiêm phụ thuộc (Dependency Injection) là kỹ thuật tiêu biểu làm lỏng ghép nối bằng cách để lớp phụ thuộc vào trừu tượng (giao diện) thay vì lớp cụ thể.

Các nỗ lực định lượng hóa độ ghép nối cũng tiếp diễn. Tiêu biểu là CBO (Coupling Between Objects) trong bộ chỉ số hướng đối tượng (CK Metrics), đo độ ghép nối bằng cách đếm số lớp khác mà một lớp ghép nối với; các nghiên cứu thực chứng báo cáo xu hướng giá trị này càng lớn thì ảnh hưởng thay đổi và mật độ lỗi càng cao. Những chỉ số như vậy được dùng làm căn cứ để xác định thứ tự ưu tiên tái cấu trúc hoặc theo dõi kiến trúc ngày càng rối rắm đến đâu theo thời gian.

Trong kiến trúc microservice (MSA), độ ghép nối trở thành nguyên tắc số một của thiết kế ranh giới dịch vụ. Chia ranh giới dịch vụ theo ngữ cảnh giới hạn (Bounded Context) của thiết kế hướng miền (DDD), và giữa các dịch vụ chỉ giao tiếp bằng API và sự kiện được định nghĩa tốt để giảm ghép nối. Đặc biệt, kiến trúc hướng sự kiện (EDA) hướng tới ghép nối lỏng (Loose Coupling) dựa trên hàng đợi thông điệp và sự kiện thay vì lời gọi đồng bộ, giúp các dịch vụ không phụ thuộc trực tiếp vào sự tồn tại hay tính sẵn sàng của nhau, ngăn lan truyền sự cố. Tuy nhiên, nếu chia dịch vụ quá nhỏ thì các lời gọi mạng đan xen tạo thành "khối nguyên khối phân tán (Distributed Monolith)" và ghép nối lại có thể tăng lên, nên thiết kế ranh giới từ góc độ ghép nối là quan trọng hơn cả. Gần đây, các công cụ đo ghép nối kiến trúc như vậy bằng phân tích tĩnh và đồ thị phụ thuộc, tự động phát hiện phụ thuộc vòng hay fan-in/fan-out quá mức cũng được sử dụng rộng rãi.

6. Những điểm cần lưu ý và hàm ý (góc độ Kỹ sư chuyên nghiệp)

1. Hướng tới ghép nối dữ liệu và loại bỏ ghép nối mạnh. Giữa các mô-đun chỉ trao đổi dữ liệu thật cần thiết qua tham số để giữ giao diện tối thiểu và rõ ràng. Dùng chung biến toàn cục (ghép nối chung) hay tham chiếu trực tiếp bên trong (ghép nối nội dung) dẫn đến nợ thiết kế, nên phải lọc bỏ ở giai đoạn rà soát mã và phân tích tĩnh.

2. Gắn với che giấu thông tin, đóng gói và thiết kế giao diện. Khi che giấu hiện thực nội bộ của mô-đun và chỉ giao tiếp qua giao diện công khai, ghép nối tự nhiên giảm. Thiết kế giao diện — quyết định "công khai cái gì và che giấu cái gì" — là phương tiện cốt lõi của quản lý độ ghép nối.

3. Độ ghép nối và độ gắn kết là điểm cân bằng của sự đánh đổi cần được quản lý cùng nhau. Chỉ tối ưu một bên thì không thành mô-đun tốt. Gắn kết cao dẫn tới ghép nối thấp, nên phân rã mô-đun tuân thủ trách nhiệm đơn là chiến lược hiệu quả nhất cải thiện đồng thời cả hai chỉ số.

4. Mở rộng áp dụng lên cấp kiến trúc. MSA, kiến trúc phân tầng, kiến trúc hướng sự kiện, tiêm phụ thuộc và thiết lập ranh giới của DDD đều là sự mở rộng của nguyên lý giảm ghép nối. Ghép nối thấp trở thành nền tảng kiến trúc cho phép triển khai độc lập, mở rộng, cách ly sự cố và phát triển song song.

5. Cảnh giác tác dụng ngược của phân rã quá mức. Nếu vì muốn giảm ghép nối mà chia mô-đun, dịch vụ quá nhỏ, lời gọi qua lại tăng lên và có thể trở thành khối nguyên khối phân tán với độ phức tạp và ghép nối lại tăng. Độ ghép nối không phải "cứ giảm là được" mà là phán đoán thiết kế cần tìm điểm tối ưu trong sự cân bằng với độ gắn kết và độ phức tạp vận hành.

Tài liệu tham khảo

• Stevens, Myers, Constantine, "Structured Design", IBM Systems Journal, 1974 — https://ieeexplore.ieee.org/document/5388187
• Martin, R. C., "Clean Architecture / SOLID Principles" — https://blog.cleancoder.com/
• Wikipedia, "Coupling (computer programming)" — https://en.wikipedia.org/wiki/Coupling_(computer_programming)

Tóm tắt một câu: Độ ghép nối là mức độ phụ thuộc giữa các mô-đun, yếu dần theo thứ tự nội dung > chung > ngoài > điều khiển > tem > dữ liệu (ghép nối dữ liệu là tốt nhất); nguyên lý thiết kế "ghép nối thấp, gắn kết cao" cách ly sự lan truyền của thay đổi, giúp bảo trì, tái sử dụng và kiểm thử dễ dàng, và được mở rộng nguyên vẹn sang kiến trúc hiện đại như SOLID, DI, MSA.