새로운 Axum 프로그래밍 언어는 무엇입니까?

나는 마이크로 소프트가 새로운 병렬 프로그래밍 언어를 발표 한 slashdot에 오늘 this 이야기를 읽었습니다.새로운 Axum 프로그래밍 언어는 무엇입니까?

이 새로운 프로그래밍 언어는 무엇입니까? 그것은 병렬 프로그래밍을 말합니다. 그러나 MPI, PVM, OpenMP 및 유사한 병렬 라이브러리/프레임 워크의 대체/대체가 될 것입니까?

의견이 있으십니까?

2009-05-12 Pablo Santa Cruz

허. 전에는 Axum에 대해 들어 본 적이 없습니다. 매우 흥미로운. Microsoft를 선택하십시오! 첫 번째 ASP.NET MVC, F #, 이제 Axum? 사악한! –

누군가가 이것으로 흥미로운 것을 만들었지 만 블로그 포스트에 여기에 대한 링크를 게시하십시오. –

그것은 좋을 것입니다. –

Axum은 안전하고 실행 가능한 동시 프로그래밍을보다 단순하게 만드는 방식으로 구성된 언어입니다. 언어에 의해 모델링 개념은 (C#에서) lock의 사용을 통해 명시 적으로 스레드 동기화, Monitor, ReaderWriterLockSlim 등을 할 필요가 없도록

악숨에서 아이디어의 많은에 있었 주장 할 수

1986 년부터 Erlang programming language - 스웨덴의 Ericsson에서 전화 스위치로 작동하는 연구원이 고안 한 언어로, 동시로드가 높을 때 대량 처리량을 지원하는 것이 언어에 맞게 설계되었습니다. 악숨에서 아이디어의 대부분은 새로운 것이 아니다 동안, 그들은 확실히 .NET과 CLR에 새로운 아이디어의 일부를 포함

기존 .NET 라이브러리된다 (적어도 언어 수준에서.) :

Concurrency and Coordination Runtime (CCR) 얼랑처럼

Retlang

Axum은 라이브러리 사용을 통하지 않고 언어 수준에서 이러한 개념에 대한 지원을 포함한다는 점에서 위에서 언급 한 라이브러리와 다릅니다. Axum 컴파일러는 Axum 언어뿐만 아니라 C# 언어 자체에 대한 실험적 확장도 처리합니다. 즉 isolated 및 readonly 키워드입니다.

언어에 새로운 기능을 추가하는 것은 가볍게 받아 들여질 내용이 아닙니다. Spec#은 MSR (동시성과 관련이 없음)에서 개발 된 또 다른 C# - superset 언어입니다..NET 4.0의 Code Contracts에 대한 지원에서 알 수 있듯이 Microsoft는 새로운 언어 확장이 아닌 새로운 API를 추가하기로 결정했습니다 (CLR의 모든 언어 사용자에게 이점이 있습니다). 그러나 Axum의 경우에는 충분히 풍부하지 않습니다 진정한 동시 프로그래밍을 위해 유형 및 멤버에 필요한 종류의 불변성 제약 조건을 표현하기 위해 C# 3.0 언어로 작성되었습니다.

마지막으로 그냥 좋은 동시성 모델보다 얼랑에 더가 있다는 것을 지적하고 싶습니다. Erlang은 엄격한 함수형 프로그래밍 언어입니다. 핫 스왑 가능 코드를 지원하므로 시스템을 중단하지 않고도 업그레이드 할 수 있습니다 (전화 스위치 또는 기타 24x7 시스템의 바람직한 기능). 나는 1 년 동안 스위치를 가동하고있는 대형 영국 통신 단체의 보고서를 듣고 그 시간에 4 번의 전화를 거는 데 실패했다. Erlang은 원격 예외 처리와 같은 다른 특성을 가지고 있습니다.

출처

2009-09-11 07:05:33

허, 나는 CCR이 Credence를지지한다고 생각했습니다. ;) – harpo