giá trị trở lại của toán tử gán trong mã đồng thời

Question

Với lớp sau đây:

class Foo { 
    public volatile int number; 

    public int method1() { 
    int ret = number = 1; 
    return ret; 
    } 

    public int method2() { 
    int ret = number = 2; 
    return ret; 
    } 
} 

và được nhiều chủ đề kêu gọi method1() và method2() đồng thời trên cùng một Foo Ví dụ, có thể một cuộc gọi đến method1() bao giờ quay trở lại bất cứ điều gì khác hơn 1?

Answer 1

Các JLS 15,26 quy định cụ thể:

Có 12 nhà khai thác chuyển nhượng; tất cả đều liên kết cú pháp đúng (chúng nhóm từ phải sang trái). Như vậy, a = b = c nghĩa là a = (b = c), gán giá trị của c cho b và sau đó gán giá trị của b cho a.

Câu trả lời của Ted Hopp cho thấy javac của Sun không tuân theo hành vi này, có thể là tối ưu hóa.

Do luồng ở đây, hành vi của phương thức 1 sẽ không xác định. Nếu trình biên dịch của Sun làm cho hành vi không đổi thì nó không bị phá vỡ khỏi hành vi không xác định.

Answer 2

Tôi nghĩ câu trả lời phụ thuộc vào trình biên dịch. Ngôn ngữ specifies:

Tại thời gian chạy, kết quả của biểu thức gán là giá trị của biến sau khi bài tập đã diễn ra.

Tôi cho rằng về mặt lý thuyết giá trị có thể thay đổi trước khi chuyển nhượng thứ hai (ngoài cùng bên trái) xảy ra.

Tuy nhiên, với trình biên dịch javac của Sun, method1 sẽ sẽ biến thành:

0: aload_0 
1: iconst_1 
2: dup_x1 
3: putfield  #2; //Field number:I 
6: istore_1 
7: iload_1 
8: ireturn 

này bản sao hằng 1 trên stack và tải nó vào number và sau đó vào ret trước khi trở ret. Trong trường hợp này, sẽ không quan trọng nếu giá trị được lưu trữ trong number được sửa đổi trước khi gán cho ret, vì 1, không được gán number.

Answer 3

Tuyên bố có chứa đọc dễ bay hơi hoặc không chứa đọc dễ bay hơi. Không thể có bất kỳ sự mơ hồ nào ở đây, vì đọc dễ bay hơi là rất quan trọng đối với ngữ nghĩa chương trình.

Nếu javac có thể được tin cậy, chúng tôi có thể kết luận rằng tuyên bố không liên quan đến việc đọc dễ bay hơi của number. Giá trị của biểu thức gán x=y thực sự chỉ là giá trị của y (sau khi chuyển đổi).

Chúng tôi cũng có thể suy ra rằng

System.out.println(number=1); 

không liên quan đến đọc number

String s; 

    (s="hello").length(); 

không liên quan đến đọc s

x_1=x_2=...x_n=v 

không liên quan đến đọc x_n, x_n-1, ...; thay vào đó, giá trị của v được gán trực tiếp cho x_i (sau khi chuyển đổi cần thiết thông qua các loại x_n, ... x_i