이 코드는 스레드로부터 안전한가요?

Question

몇 가지 속성이있는 클래스가 있습니다. 모든 값 업데이트시 모든 필드를 파일에 저장하는 Store 메서드가 호출됩니다.

private int _Prop1; 
public int Prop1 { 
    get { 
     return _Prop1; 
    } 
    set { 
     _Prop1 = value; 
     Store(); 
    } 
} 

// more similar properties here... 

private XmlSerializer _Ser = new ...; 
private void Store() 
{ 
    lock (_Ser) { 
     using (FileStream fs = new ...) { 
      _Ser.Serialize (fs, this); 
     } 
    } 
} 

이 디자인은 스레드로부터 안전한가요?

(당신이 더 적절한 자막을 생각할 수있는 경우에, BTW, 편집 주시기 바랍니다.)

을 나는 스레드로부터 안전하다고 생각합니다. 속성이 여러 스레드에서 변경되면 값은 임의의 순서로 설정되고 원자 저장소는 임의의 순서로 발생하지만 결국에는 모든 속성이 최신 값을 갖게되고 결국에는 원자 저장소가 발생합니다. 파일이 최신인지 확인하십시오.

명확화 : 속성은 자주 설정하지 않지만 동시에 설정할 수 있습니다. 중요한 것은 대부분 유효한 파일을 만드는 것입니다.

스레드가 등록 정보 값과 관련하여 등록 정보를 변경하는 경우 다른 스레드와 동기화하려면 전체 객체를 잠 가야합니다. 이것은 기본적으로 열거 형에서 List의 잠금과 동일하며이 클래스의 책임이 아닙니다.

Answer 1

전화를 걸 수있는 코드가 충분하지 않습니다. 하지만 확실히 파일에 대한 쓰기 액세스를 직렬화하지 않으면 아무 일도 일어나지 않을 것입니다. 첫 번째 스레드가 여전히 파일을 쓰는 중일 경우 속성을 할당하는 두 번째 스레드가 IOException에 폭탄을 넣을 것입니다.

이와 같은 미세 잠금은 일반적으로 문제가됩니다. 클라이언트 코드가 클래스의 둘 이상의 속성을 변경하는 중일 수 있습니다. 예외가 발생하면 부분 업데이트가 발생하여 유효하지 않은 직렬화 된 상태가 포함 된 파일을 생성하고 읽을 때 문제가 발생할 수 있습니다. BeginUpdate(), EndUpdate() 쌍과 같은 것이 필요합니다.

Answer 2

다른 스레드에서 호출하는 내용에 따라 다릅니다.

동시에 다른 스레드에 속성을 설정하면 직렬화되는 동안 속성이 변경 될 수 있으므로 스레드로부터 안전하지 않습니다.

Answer 3

데이터가 특정 지점에서만 직렬화되도록하려면 일종의 Mutex를 사용하는 것이 좋을 것입니다. 업데이트가 변경되거나 변경 될 때처럼 할 수 있습니다.

다음 링크는 MSDN 웹 사이트에 간단한 예제로 이동합니다

희망이 당신을 위해 그것을 증명해야한다 : 경우

Mutex Example

Answer 4

번호

당신이 속성 theirself을 동기화 할 이 코드는 '잠금'이 _Prop1 값이 아니기 때문에 스레드 안전성이 없지만 _Ser에만 적용됩니다. 실제로 스레드가 속성에 접근 할 때 속성은 다른 스레드에 의해 설정 될 수 있습니다.

심지어 직렬화 프로세스에서 실행중인 다른 스레드 (_Ser이 실행되는 동안 다른 스레드가 Prop1로 설정)에서 변경할 수있는 속성에 대한 _Ser 액세스.

이 코드는 실제로 여러 스레드에서 XmlSerialize _Ser 개체를 사용하지 못하도록합니다. 그것은 ... 당신이 얻을 싶은 경우

---

대답은 당신이 얻을하려는 작업에 기본적으로 달려있다.

Answer 5

Prop1 속성을 여러 스레드에서 호출 할 수있는 경우 _Prop1 필드를 volatile으로 지정하십시오.MSDN에서

private volatile int _Prop1; 

,

휘발성 키워드는 필드가 여러하여 동일한 시간에 실행중인 스레드를 수정 될 수 있음을 나타냅니다. 휘발성이 인 필드는 단일 스레드로 액세스하는 컴파일러 컴파일러의 적용을받지 않습니다. 이렇게하면 의 최신 값이 항상 필드에 표시됩니다.

좋습니다. 다른 사람들이 말했듯이, 클래스가 직렬화되는 동안 _Prop1의 값은 다른 스레드에 의해 변경 될 수 있기 때문에 스레드 안전을 위해 게시 한 코드를 작성하지 않을 것입니다. 하지만 여러 스레드에서 읽고 쓸 수있는 필드가있는 경우 필드를 휘발성으로 표시하면 코드에 최신 값이 표시됩니다.

Answer 6

속성 유형이 원 자성이 아니면 스레드가 안전하지 않습니다.

스레드 A의

간단한 예 및 B.

A: Prop1 = foo 
A: Store() 
A: ... store saves foo.Var1 
B: Prop1 = bar 
A: ... store saves bar.Var2 (instead of foo.Var2) 

데이터의 무결성이 손상 가능성. Int64와 같은 단순한 유형의 경우에도 이론적으로 문제가 발생할 수 있습니다.

다른 lock(_Ser)을 세터 내에 넣으면 도움이됩니다.