Blog Archives

20160607

동시성 프로그램의 이해 – 실제 프로그램과 model checking language 사이에는 차이가 있다. 변환하는 과정에서 오류가 있다면? Model-based testing에서 실제 프로그램을 model checking language로 얼마나 정확하게 변환하느냐는 중요한 문제이다. – Spin에서 statements를 atomic으로 묶으면 interleaving 없이 실행하게 된다. atomic block 중에

Tagged with: , , , , , , , , , , , , , ,
Posted in 1) Memo

20160512

1. 동시성 프로그램의 이해 2. Access Pattern based Detection 1) Read – Write – Read 패턴: 같은 값을 읽어야 하는데, 중간에 write 연산이 끼어듦으로 인해 달라짐. 2) Write – Write – Read 패턴: 쓴 값을 읽어야 하는데, 다른 값을 읽게

Tagged with: , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Posted in 1) Memo

20160510

동시성 프로그램의 이해 – Atomicity violation은 한 쓰레드의 atomic operation (p-r) 사이에 다른 쓰레드의 연산(q)이 끼어드는 것. 프로그래머의 의도대로라면 p-r-q 또는 q-p-r이 되어야 하는데, p-q-r이 되는 것. – 위 코드에는 data race가 없지만, atomicity bug가 있다. Vector의 constructor 초기화 과정에서

Tagged with: , , , , , , , , , , , , , , , , , , , , , , ,
Posted in 1) Memo
Recent Posts
누적 방문자 수
  • 126,513 hits