Các luồng phương thức tĩnh không đồng bộ có an toàn không nếu chúng không sửa đổi các biến lớp tĩnh?

Tôi đã tự hỏi nếu bạn có một phương thức tĩnh không được đồng bộ hóa, nhưng không sửa đổi bất kỳ biến tĩnh nào thì nó có an toàn cho luồng không? Điều gì về nếu phương thức tạo các biến cục bộ bên trong nó? Ví dụ, mã sau đây có an toàn không?

public static String[] makeStringArray( String a, String b ){
    return new String[]{ a, b };
}

Vì vậy, nếu tôi có hai luồng gọi phương thức ths liên tục và đồng thời, một với chó (nói "tuyệt vời" và "chó bull") và hai với mèo (nói "Ba Tư" và "siamese") tôi sẽ không bao giờ có được mèo và chó trong cùng một mảng? Hay những con mèo và con chó sẽ không bao giờ ở trong cùng một lời mời của phương pháp cùng một lúc?

Phương pháp này là 100% luồng an toàn, nó sẽ thậm chí nếu không static. Vấn đề với an toàn luồng phát sinh khi bạn cần chia sẻ dữ liệu giữa các luồng - bạn phải quan tâm đến tính nguyên tử, khả năng hiển thị, v.v.

Phương thức này chỉ hoạt động trên các tham số, nằm trên stack và tham chiếu đến các đối tượng bất biến trên heap. Stack vốn là cục bộ của luồng , vì vậy không bao giờ chia sẻ dữ liệu.

Các đối tượng không thay đổi ( Stringtrong trường hợp này) cũng an toàn cho luồng vì một khi được tạo, chúng không thể thay đổi và tất cả các luồng đều nhìn thấy cùng một giá trị. Mặt khác, nếu phương thức được chấp nhận (có thể thay đổi), Datebạn có thể đã gặp sự cố. Hai luồng có thể đồng thời sửa đổi cùng một đối tượng, gây ra các điều kiện chủng tộc và các vấn đề về tầm nhìn.

Một phương thức chỉ có thể không an toàn cho luồng khi nó thay đổi một số trạng thái chia sẻ. Cho dù đó là tĩnh hay không là không liên quan.

Các chức năng là hoàn toàn chủ đề an toàn.

Nếu bạn nghĩ về nó ... giả sử điều gì sẽ xảy ra nếu điều này khác đi. Mọi hàm thông thường sẽ có các vấn đề luồng nếu không được đồng bộ hóa, vì vậy tất cả các hàm API trong JDK sẽ phải được đồng bộ hóa, bởi vì chúng có thể được gọi bởi nhiều luồng. Và vì hầu hết thời gian ứng dụng đang sử dụng một số API, các ứng dụng đa luồng sẽ thực sự là không thể.

Điều này quá vô lý để nghĩ về nó, vì vậy chỉ dành cho bạn: Phương pháp không phải là chủ đề an toàn nếu có một lý do rõ ràng tại sao có thể có vấn đề. Cố gắng luôn nghĩ về điều gì sẽ xảy ra nếu có nhiều luồng trong chức năng của tôi và điều gì xảy ra nếu bạn có trình gỡ lỗi từng bước và sẽ tiến lên một bước khác trước ... sau đó là luồng thứ hai ... có thể là lần thứ hai ... sẽ có vấn đề? Nếu bạn tìm thấy một, nó không phải là chủ đề an toàn.

Cũng xin lưu ý rằng, hầu hết các lớp Bộ sưu tập Java 1.5 không phải là các luồng an toàn, ngoại trừ các lớp được nêu, như ConcảnHashMap.

Và nếu bạn thực sự muốn đi sâu vào vấn đề này, hãy xem xét kỹ từ khóa dễ bay hơi và TẤT CẢ các tác dụng phụ của nó. Hãy xem lớp Semaphore () và Lock () và bạn bè của họ trong java.util.Conc hiện. Đọc tất cả các tài liệu API xung quanh các lớp. Đó là giá trị để tìm hiểu và đáp ứng, quá.

Xin lỗi vì câu trả lời quá công phu này.

Sử dụng statictừ khóa với các phương thức tĩnh được đồng bộ hóa để sửa đổi dữ liệu tĩnh được chia sẻ giữa các luồng. Với statictừ khóa, tất cả các luồng được tạo sẽ tranh giành một phiên bản duy nhất của phương thức.

Sử dụng volatiletừ khóa cùng với các phương thức cá thể được đồng bộ hóa sẽ đảm bảo rằng mỗi luồng có bản sao riêng của dữ liệu được chia sẻ và không đọc / ghi sẽ bị rò rỉ giữa các luồng.

Các đối tượng chuỗi không thay đổi là một lý do khác cho kịch bản an toàn luồng ở trên. Thay vào đó, nếu các đối tượng có thể thay đổi được sử dụng (giả sử makeMutableArray ..) thì chắc chắn an toàn luồng sẽ bị phá vỡ.