연구
프로그래밍 언어 및 도구 연구소
Memory Fairness
약한 메모리 설정에서 무한 실행을 어떻게 제한해야 할까요?이 설정에서 동시 프로그램은 언제 종료될까요?우리 프로젝트가 답하고자 하는 것이 바로 이러한 질문들입니다.
순차 일관성 하에서 가장 단순한 공유 메모리 동시 프로그램의 경우에도 종료와 같은 활성 속성에는 일반적으로 스케줄러에 대한 일부 공정성 가정이 필요합니다.약한 메모리 모델에서는 스레드 공정성의 표준 개념이 불충분하며 추가적인 공정성 속성인 메모리 공정성이 필요합니다.이 프로젝트에서는 SC, x86-TSO, RA 및 StrongCOH와 같은 운영 및 선언적 메모리 모델 설정에서 메모리 공정성에 대한 정의를 제안하고 저수준 동기화를 사용하는 동시 프로그램의 모델 검사 및 종료 검사에 대한 사용법을 조사합니다.