[질문] C thread safe 함수? 코드?
글쓴이: sungjun / 작성시간: 목, 2009/10/01 - 11:07오전
thread safe한 함수는 함수안에서 static변수나 global변수를 사용안하면 괜찮다고 알고 있습니다.
그런데 지금 수정하는 프로그램을 보면 mutex락을 막 쓰더라구요. 하지만 제가 정확하게 알지 못해서
이렇게 쓰는건 아닌듯 한데 확신을 가지지 못해서 이렇게 질문 올립니다.
첫번째 사례
int ts_strlen (char *a)
{
int return_value;
sem_take (&ts_string_sema); //mutex lock
return_value = strlen (a);
sem_give (&ts_string_sema); //mutex unlock
return return_value;
}strlen은 thread_safe한 함수로 알고 있는데 이렇게 만들어서 ts_strlen을 사용하더라구요 이런 함수들이 strcpy, strcat등 많습니다. 그냥 strlen을 사용해도 괜찮지 안나요?
두번째 사례
이건 정말 예매 하더라구요....
s_job *job; job = mo[mailsend_id].job; // mo는 global 변수입니다. sem_take (&job_access_sema[job->job_id]); //mutex lock job->current_thread_num--; sem_give (&job_access_sema[job->job_id]); //mutex unlock
job을 스레드 함수 안에서 선언 했지만 글러벌 변수안에 있는 주소변수(?)로 대체 되니
저렇게 사용하는게 맞을거 같긴한데 문제는 저 job변수가 너무 많은 곳에서 사용 된다는겁니다.
그리고 함수안에도 mutex를 lock해줘야 하는지
s_job *job;
job = mo[mailsend_id].job;
function(job);
void function(s_job *job)
{
sem_take (&job_access_sema[job->job_id]);
....
sem_give (&job_access_sema[job->job_id]);
}코드를 보면 일관성있게 다 해준거 같은데 너무 많이 그냥 막 한듯도 보여서
그냥 다 하다 보니 지금은 잘돌아가는데
제가 수정하면서 저도 저렇게 코드를 짜야하는지 고민이 됩니다...
thread프로그램은 어렵군요;;;
Forums:
첫번째 같은 경우엔
첫번째 같은 경우엔 call by value가 아니기 때문입니다.
인자로 넘겨주는 포인터가 다른 쓰레드에 의해서도 참조되는 포인터값일 경우도 있을 수 있으니까요...
ts_strlen는 strlen가
ts_strlen는 strlen가 문제가 아니라, char *a 가 문제인거 같은데요.
a의 값이 변할 수 있기 때문에 mutex 써주는..
위의 의견에 대한 반론
그렇게 단순하게 말할 수 없는 게, 만약 a의 값이 다른 쓰레드에 의해 변할 수 있는 상황에서 strlen을 불렀다면 그건 부르는 쪽의 잘못이죠. 부르는 쪽에서 명시적으로 "a의 값은 도중에 바뀔 수 있지만 바뀌기 전의 값이나 후의 값 중 하나만 얻을 수 있으면 돼!"라고 결정하고 설계를 했다면 모를까...
다시 말하자면 strlen을 감싸는 mutex는 매우 높은 확률로 (1) 아무 필요가 없거나 (2) 애당초 문제있는 로직을 해결하지 못하고 문제를 잠시 감추는 역할밖에 못한다는 것입니다.
그럼 전역변수의
그럼 전역변수의 strlen을 구할려면
이렇게 해야 하는건가요?
strlen이 thread safe 한 함수 라도 전역변수의 길이를 구하기위해서는 저렇게 해주면 되고
지역 변수라면 그냥 strlen을 사용하면 되는건가요?
코드를 보면 무조건 ts_strlen을 사용을 해놔서..
...
Case 1: 전역변수가 가리키는 스트링이 바뀌지 않는 경우
이 경우 strlen을 부를 때 mutex를 걸 필요가 없습니다.
Case 2: 전역변수가 가리키는 스트링이 도중에 바뀔 수 있는 경우.
이 경우 mutex를 걸건 말건 strlen을 부르는 것 자체가 잘못입니다. 도중에 값이 바뀔 수 있는 문자열의 길이를 얻어서 어떻게 믿고 쓰겠습니까? strlen을 포함해서 문자열을 사용하는 로직 전체 단위로 락을 걸어야죠.
...따라서 어떤 경우에든 strlen 앞뒤로 mutex를 거는 것은 제가 볼 때 상당히 의심스러운 코드입니다. 코드를 짠 사람이 thread safety의 개념을 제대로 이해하지 못하고 있다는 데 오천원.
감사합니다.
막힌 곳이 뚤린 느낌이네요.
thread 프로그램이 처음이고 사수도 없어서 혼자 하는데
ts_로 되어 있는 코드들이 잘 못 되있다고는 느꼈지만 확신이 안들어서 못 건들이고 있었는데
프로그램짜면서 잘못된 코드도 문제지만 쓸데 없는 코드들이 너무 많아서 힘들게 하네요.
댓글 달기