M

Chắc chắn nhiều bạn đã nghe nói về Midori, đây sẽ là bước tiếp theo của Windows. Một hệ điều hành mới được viết từ đầu, với nhân mới và được viết bằng ngôn ngữ hiện đại. Hiện đại đến mức nó thậm chí còn chưa tồn tại.

Ngôn ngữ có tên mã là M, dựa trên C và được thiết kế chuyên biệt để lập trình hệ điều hành, có khả năng đạt đến mức thấp nhất nhưng không làm mất đi phần tóm tắt hữu ích cần thiết để tạo các chương trình phổ biến hơn, chẳng hạn như ứng dụng người dùng.

Trong một bài viết trên blog của mình, Joe Duffy, một trong những nhà phát triển của Midori, đã chia sẻ những chi tiết rất thú vị về ngôn ngữ tương lai này. Ý tưởng chính của dự án là tạo ra một ngôn ngữ với kiểu an toàn (type-safety) giống như C, nhưng c với hiệu suất rất tốt , chẳng hạn như C++.

Phần lớn nỗ lực về hiệu năng là để tinh chỉnh hai lĩnh vực của C: bộ thu gom rác và hệ thống đánh máy Nhìn thoáng qua, C trình thu gom rác cho một chương trình mỗi X lần, tìm kiếm các đối tượng không còn được sử dụng (ví dụ: trình duyệt của bạn đã lưu một số hình ảnh trong RAM nhưng không còn cần chúng nữa) và giải phóng bộ nhớ của chúng. Đối với các nhà phát triển, đây là một hệ thống giải phóng rất nhiều phức tạp khi quản lý bộ nhớ, nhưng như bạn có thể tưởng tượng, nó chậm hơn. M sẽ thông minh hơn về mặt này, vay mượn một số ý tưởng từ C++ để hiểu rõ hơn về vòng đời của các đối tượng (khi chúng bắt đầu được sử dụng và khi chúng không còn cần thiết nữa) và do đó sẽ hiệu quả hơn khi cấp phát và giải phóng bộ nhớ .mà không cần người thu gom rác phải vào cuộc.

"

Mặt khác, các sửa đổi trong hệ thống gõ tìm cách giải quyết một trong những vấn đề mà hầu hết các ngôn ngữ cũ (đọc là: được thiết kế trước năm 2005) hiện đang mắc phải, đó là parallelism Hiện tại, máy tính không phát triển về chiều cao - tốc độ bộ xử lý - mà về chiều rộng, với nhiều lõi hơn hoạt động song song. Việc tạo các chương trình sử dụng hiệu quả quá trình xử lý song song như vậy không hề dễ dàng và có nhiều chi tiết phức tạp, đặc biệt là khi chia sẻ dữ liệu giữa nhiều quy trình hoặc luồng."

M sẽ mang các khái niệm từ các ngôn ngữ lập trình chức năng, chủ yếu là tính bất biến của đối tượng và xử lý tác dụng phụ của phương thức, điều này sẽ giúp lập trình viên và trình biên dịch tạo nhiều luồng cho dễ dàng hơn tận dụng nhiều lõi của máy tính và do đó cải thiện đáng kể hiệu suất.

Ngoài ra, M cũng sẽ mang đến một hệ thống xử lý lỗi mới: nhanh chóng, dễ sử dụng, hiệu quả, tận dụng các hợp đồng mã để hạn chế hành vi của chương trình đối với các đường dẫn hợp lệ và dễ hiểu để trình biên dịch có thể thực hiện tối ưu hóa.Vì vậy, chúng ta sẽ nói về một ngôn ngữ hỗ trợ tạo ra các chương trình mạnh mẽ và an toàn hơn, một điều rất quan trọng nếu chúng ta muốn sử dụng nó cho một hệ điều hành.

Biệt ngữ kỹ thuật đủ rồi: điều này có nghĩa là gì?

Sau khi đi sâu vào thế giới ngôn ngữ lập trình một chút, tất cả có nghĩa là gì?

Trước hết, Microsoft dường như đang rất coi trọng giai đoạn tiếp theo của Windows. Mary Jo Foley nói rằng Midori đã đi từ chỗ chỉ là một dự án nghiên cứu đến dưới sự bảo trợ của Terry Myerson, trong nhóm Hệ điều hành hợp nhất. M và Midori không chỉ là một thử nghiệm mà còn là con đường phía trước của Microsoft.

Chuẩn bị một Windows khác có hợp lý không? Tất nhiên. Giống như bất kỳ chương trình nào khác, một hệ điều hành có tuổi thọ giới hạn. Thế giới bây giờ rất khác so với khi Windows được thiết kế và cho dù hệ thống có linh hoạt đến đâu, thì rất nhiều thay đổi trong nhiều năm để nó thích ứng với các tình huống mới cuối cùng cũng gây ra hậu quả và việc bắt đầu lại từ đầu sẽ có lợi hơn ( điều mà các nhà khoa học máy tính chúng tôi rất thích).

Tất nhiên, Midori sẽ không tồn tại trong thời gian ngắn hoặc trung hạn. Nhưng khi nó hoàn thành (nếu nó đã từng được hoàn thành, điều này cũng không chắc chắn) thì đó sẽ là một hệ thống song song và tập trung vào đám mây ngay từ đầu, sẽ đưa Microsoft lên vị trí đứng đầu thế giới của hệ điều hành, ít nhất là ở cấp độ kỹ thuật và dung lượng.

Đối với M, nếu như đã hứa, nó là một phần mở rộng cho C mà không có các thay đổi không được hỗ trợ, thì nhiều nhà phát triển có thể dễ dàng chuyển sang nó. Và nếu họ phát hành nó hoàn toàn ra khỏi hộp, điều mà họ cũng đã hứa, thì họ có thể thoát khỏi 'vòng lặp của Microsoft' mà C đang bị mắc kẹt ngay bây giờ, mở rộng nó và do đó đạt được lợi thế rất lớn so với các ngôn ngữ và công ty khác.

Hiện tại, có vẻ như ngôn ngữ sẽ có tương lai và chúng tôi sẽ biết thêm chi tiết trong những tuần tới.Về phần Midori, chúng ta hãy nhớ rằng anh ấy thậm chí còn chưa chính thức, chúng ta sẽ còn mất nhiều thời gian để biết thêm về anh ấy, nhưng kiểu câu chuyện này cho chúng ta biết Microsoft đang đi đến đâu.