[%] 함수형이 멀티스레드 잘 써먹는거 맞음?

[익명(114.205)]

서버도 그럼 함수형으로 짜여있음?

[다믜(damhiya)]

erlang 쓰는것 같더라. 하스켈도 멀티 스레딩 쉬운건 맞음. 성능은 모르겠음.

[다믜(damhiya)]

물론 함수형 아닌게 더 많겠지

[익명(114.205)]

쉬운거랑 성능이랑은 다른문제구나..

[다믜(damhiya)]

https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/fasta.html
이런거 보면 멀티 스레딩 성능 좋은 듯

[ㅇㄹ(rerereq)]

그건 C코드 고대로 옮긴거자너;

[다믜(damhiya)]

않이 뭘 비교하려는거임; C코드 그대로 옮겨도 C 이상으로 성능 나온 부분에서 놀라면 되냐?

[ㅇㄹ(rerereq)]

함수형 스타일로 짠걸로 비교해야지 않을까? unsafeWritePtr이랑 뮤텍스 lock써서 빠른게 함수형이라서 빨라진건 아니자너

[ㅇㄹ(rerereq)]

나는 저 코드를 함수형이라고 부르기 힘들어 보인다 그래서 함수형 멀티성능이 좋다는 근거로는 안맞는듯 하스켈이 저렇게 제약 벗어나면 C급 성능 낼수있다는 자료로는 ㅇㅈ함

[다믜(damhiya)]

unsafeWrite는 그냥 바운드 체크만 빠진거임. 그리고 MVar는 하스켈 함수형에서 엄청 권장하는 방법인데

[다믜(damhiya)]

뭐 pure하게 하는 방법이 아니긴 하지

[ㅇㄹ(rerereq)]

그래? 그런거면 너말이 맞는듯 ㅈㅅ 저런 코드는 첨봐서 변태짓인줄 알았는데 대중적인거였네

[ㅇㄹ(rerereq)]

대충 M 시리즈에 락걸면 ST 뱉어주는 형식인가

[다믜(damhiya)]

하스켈에서 병렬 프로그래밍 하는 방법이 IO 모나드에서 명시적으로 포크해서 하는 방법이 있고, par랑 pseq로 모나드 없이 병렬 평가 하는 방법이 있는데, 전자로 하면 보통 MVar랑 같이 씀.

[다믜(damhiya)]

MVar는 걍 mutex하고 변수가 합쳐진거임.

[ㅇㄹ(rerereq)]

[아나리쿠(am5am)]

함수형 자체가 대중화가 아닌데 보통 서버나 멀티쓰레드 쓰는 경우에 함수형이 쉽다는 얘기가 많지

[ㅇㄹ(rerereq)]

함수형으로 짜면 immutable하게 많이 짜게되니까 그만큼 쉽지

[츄럴(rhdnfka94)]

C에서 퓨어함수 쓰면 함수형임?