rust

Những cái thuộc về ngôn ngữ, 10 năm là ít, 30 năm chưa phải là nhiều, thời gian để cho một ngôn ngữ trưởng thành, trở nên chính chắn, cẩn trọng từng câu, từng lời, bảo đảm mọi điều nói ra phải có nghĩa chính xác. Nhiều người bảo, chỉ là một tập cú pháp – syntax thôi mà, nói sao không được!? Không phải vậy, đã từng có vô số cú pháp “nhảm” bị đào thải sau vài năm, đơn cử như là C#, C# đã từng có vô số cú pháp nhảm, nhảm đến mức thiểu năng, ngu xuẩn! Và cũng đã có một số cú pháp kiểu “chữa lành – chảnh lừa” như async – await vẫn tiếp tục lừa người thêm độ chục năm, cho đến khi người ta nhận ra chẳng có lợi ích gì ngoài những câu chữ oang oang, trơn tuột! Và cũng đã có những ngôn ngữ đã dùng trên hai mươi năm nhưng rồi cuối cùng thì người ta quyết định: thôi, tốt hơn là… bỏ, không đi tiếp nữa, ví dụ như Obj-C, Flash, thậm chí có thể cả Java! Nhưng chừng đó năm cũng đủ cho người ta mường tượng ra được một ngôn ngữ “tốt” tương lai nó sẽ trông như thế nào!

Đầu tiên là nó phải giống ngôn ngữ C, điều này… đơn giản như chân lý vậy, cứ phải giống C thì mới tốt! Thứ hai, ngôn ngữ phải strong-type, có kiểu rõ ràng và kiểm tra kiểu khi biên dịch, không đợi đến khi chạy. Thứ ba, dù gọi tên gì: reference, optional, thì cũng phải làm cho người ta hiểu rằng đây là con trỏ – pointer, ở điểm này thì C thẳng thắn đến mức trần trụi! Thứ tư là quản lý bộ nhớ bằng reference counting và lần nữa, phải làm từ lúc biên dịch (compile time), đừng đợi đến đến lúc run-time, quên garbage collector và những thứ khác đi! Thứ năm là làm sao để lập trình concurrent, thread, process dễ hiểu hơn! Và cuối cùng, rất quan trọng, dù thời đại đã đi tới mức zettabyte, nhưng một ngôn ngữ vẫn phải thật sự hiệu quả, hiểu theo nghĩa phải đếm từng bits khi cần. Xét những tiêu chí đó thì có lẽ Rust sẽ là ngôn ngữ phổ thông kế tiếp, dần thay thế C++! Đã nói rồi, phải cải tiến trước mới dùng, đừng dùng xong mới cải tiến, gọi là ++C có phải đã tốt rồi không!? :D

Đương nhiên, đây là ngôn ngữ phổ thông (general purpose) ở mức thấp (low level), những lĩnh vực đặc thù vẫn sẽ có những ngôn ngữ riêng! Nhưng với một ngôn ngữ phổ thông cấp thấp, ưu tiên hàng đầu là performance, những thứ khác vẫn chỉ là phụ. Rust thậm chí còn chưa phải là một ngôn ngữ OOP – hướng đối tượng đúng nghĩa, theo nghĩa thường hiểu trong C++ hay Java. Nói cho đúng hơn là mô hình OOP của Rust được thiết kế ưu tiên cho performance, chứ không phải cho sự tiện lợi của người viết code! Thậm chí ta còn có thể đặt câu hỏi rằng, có thực sự cần OOP hay không, ví dụ như glibc chỉ dùng “struct” của C để biểu diễn “class” đó thôi! Nhưng qua đó cho thấy rằng, đã rất nhiều thế hệ khác nhau của C++ rồi, mà vẫn không giải quyết được bài toán vtable – gọi hàm hướng đối tượng làm sao cho hiệu quả. Nên Rust đành phải đổi một cách tiếp cận khác, mang tính chất lai lai, một nửa là OOP và nửa còn lại vẫn là functional theo kiểu ngôn ngữ C truyền thống!

Quá trình hình thành một ngôn ngữ thực chất phản ánh muôn mặt của cái cộng đồng làm ra và sử dụng nó. Đầu tiên là từ góc độ tương đối hàn lâm, ngôn ngữ phải thể hiện được tính đúng đắn và hiệu quả tính toán! Cái yếu tố “hiệu quả – performance” này là yếu tố quyết định, đôi khi nó phủ quyết (veto) tất cả những yếu tố khác. Tiếp nữa mới đến chuyện cú pháp rõ ràng, tiện lợi, thân thiện với lập trình viên. Kế đến nữa mới là chuyện tổ chức, lớp lang, các hệ thống thư viện phụ trợ để dễ dàng phát triển phần mềm! Phần lớn lập trình viên chỉ tranh luận phía trên bề mặt, cú pháp như thế này, lớp lang như thế kia, họ không hiểu rằng yếu tố tiên quyết của một ngôn ngữ là vấn đề hiệu suất (performance). Những ngôn ngữ bỏ lơ vấn đề này… đều có kết cục thê thảm!!! Ví dụ như Objective-C, người ta bỏ vì nó đã trở thành một con quái vật, phức tạp đến mức vô lý, hay như một số code React – TypeScript, mới viết có cái app Hello – World là đã chiếm mất hơn 3GB đĩa cứng.

parade

Thông lệ hàng năm, 9 tháng Năm là ngày Gấu Nga trình diễn, khoe cơ bắp! Xem mãi các cuộc diễu binh cũng chán, mời các bạn xem trích đoạn bộ phim Người thợ hớt tóc ở Siberia, đoạn Sa-hoàng Alexander-3 dự lễ tốt nghiệp của các sĩ quan. Phim dựng lại theo đúng lịch sử, Alexander-3 là người to lớn, vạm vỡ với sức mạnh phi thường, cầm nguyên bộ bài Tây 54 quân, ông ta xé nó thành 2 mảnh. Hay đang ăn với chiếc đĩa bạc, ông ta dùng tay cuộn tròn cái đĩa lại như người ta cuộn bánh tráng vậy! Cái trò dùng tay cuộn đĩa kim loại này, đã có nhiều đời Sa-hoàng biểu diễn trên các bàn tiệc ngoại giao như một cách… hù đối phương!

Phim có đoạn Sa-hoàng Alexander-3 trò chuyện với hoàng hậu Maria Feodorovna bằng tiếng Anh: – Em còn phải lặp đi lặp lại bao nhiêu lần nữa, tại sao anh không bao giờ nghe em, Michael còn quá nhỏ, nó rất dễ bị kích động bởi các cuộc diễu binh cũng như các trò chơi quân sự. Alexander 3 trả lời rất hóm hỉnh, cũng bằng tiếng Anh: – Nếu tôi mà nghe theo em á, thì đến tận giờ chúng ta còn chưa có con được đâu! Haiza, xem phim để thấy rằng, đây đúng là một dân tộc kiêu hãnh và mạnh bạo, một nền văn hóa đầy màu sắc, một loại âm nhạc sinh động, tuôn chảy, phức tạp! Luôn tràn đầy sức sống, luôn tiến về phía trước!

space-time

U50 rồi, “hơn nửa đời hư” (chữ “hư – ” này không phải là “hư hỏng” như thường hiểu trong tiếng Việt nhé, gì chứ lão Vương kia là khá rành chữ Hán đấy). U50 rồi, không thể tránh khỏi có những giai đoạn giấc ngủ xáo trộn. Dù vẫn ngủ rất đủ, và rất sâu, y như thanh niên 20, nhưng thỉnh thoảng vẫn bị kiểu jet-lag rất khó chịu! Nhiều đêm trằn trọc, đưa tay chạm nhẹ cái đồng hồ đặt trên tủ đầu giường, nó có cái “máy chiếu” tí hon, phóng ảnh lên trần nhà để thông báo giờ hiện tại. Thời gian cứ thế trôi đi, một lúc lại chạm nhẹ xem giờ lần nữa, trằn trọc không ngủ nên suy nghĩ linh tinh…

Đêm nghe tiếng mưa rơi, đếm mấy triệu hạt rồi… Có một không gian nào đo chiều dài nỗi nhớ…, đương nhiên đây sẽ là không-thời-gian Minkowski (Minkowski spacetime) rồi, không thể là không gian Euclide hình học cổ điển được, bởi vì chỉ có trong không gian Minkowski thì khoảng cách giữa 2 sự kiện (events) là độc lập (không phụ thuộc) vào hệ quy chiếu quán tính (inertial frame of reference) dùng để quan sát, đo lường hai sự kiện đó. Nhưng, những điều này cần phải được đặt vào trong một phép biến đổi Lorentz (Lorentz transformation) thì mới có thể hình dung được!

nhiệt

Đến lúc này có thể khẳng định chắc chắn máy có thể chạy heavy – duty rất tốt, đã chạy 24 tiếng liên tục, lúc nào cũng 100% công suất, chương trình xử lý dữ liệu tạo ra 72 processes, dùng đến hơn 40GB RAM, mà nhiệt độ 2 con CPU ổn định ở mức 60~62°C, nhiệt độ dầu ổn định ở mức 41~42°C, còn nhiệt độ GPU và SSD còn thấp hơn nữa, chỉ loanh quanh 37~38°C! Tuy vậy nhìn lại, vẫn có chút tiếc nuối, vẫn có chút không hoàn hảo, vì vẫn có thể làm tốt hơn, vẫn có những giải pháp tản nhiệt tốt hơn nữa! Haiza, nhiệt, nhiệt độ, chính là vấn nạn của cả loài người!

Cứ mỗi năm mỗi nóng hơn thế này, năm nào cũng thiết lập kỷ lục mới! Cái quá trình không đảo ngược được, con người và xã hội đã bị đẩy vô guồng, bị gài vô một cái thế cứ phải hơn, hơn nữa! Ai cũng muốn có những cái máy chạy nhanh hơn nữa, kết quả là cái quả cầu màu xanh xanh kia nó sẽ cứ nóng đỏ dần lên thôi. Đây là chuyện mà không bất kỳ một loại khoa học, kỹ thuật nào, không bất kỳ một hệ tư tưởng nào có thể giải quyết được, càng không nói đến cái đám cứ xoen xoét green & clean kia! Có lẽ phải nghĩ đến chuyện đào hầm tránh nóng là vừa!

chiều tây bắc

Nhớ năm đó chạy xe máy qua đèo Pha Đin – Sơn La – Điện Biên… con đường đèo mới vừa làm xong, tráng nhựa rộng rãi, phẳng phiu, chạy song song với con đường cũ! Xe thì mạnh và đường thì tốt, chạy cái vèo, mới có chút xíu đã qua hết con đèo. Giật mình vì kiểu “Trư Bát Giới ăn nhân sâm”, còn chưa kịp thưởng thức cái gì, chưa thấy được cảnh nào đẹp thì đã hết mịa nó con đèo. Bèn quay ngược xe lại, rẽ vào con đường cũ, đi chậm, thong thả, dừng xe, leo lên các ngọn đồi chụp ảnh, cứ như thế chạy qua đèo cả thảy 3 lần! Các đèo lớn ở miền Bắc thì mình đi hết cả rồi, nên Pha Đin cũng không phải là ấn tượng lắm, nhưng không phải vì thế mà nó không lớn!

Khi nhỏ ở Sơn Trà, Đà Nẵng, chỉ là mấy cục đá cao mấy chục mét, nhưng leo cũng trầy vi tróc vẩy chứ không đùa. Mà không leo mấy chục mét, thì làm sao hiểu được độ cao vài trăm mét, không leo vài trăm mét, thì làm sao hiểu được con số ngàn!? Giờ công nghệ hiện đại rồi, cơ giới hóa lớn, xe ủi, xe xúc, nên đường làm ra cứ gọi là rộng rãi, thông thoáng! Đám trẻ chạy xe hơi qua dừng lại dè bỉu: tưởng thế nào, chỉ có thế thôi à!? Nhưng sẽ là chuyện khác nếu như không có đường làm sẵn, cứ bắt gùi 30kg, vạch cây, bám đá mà đi, thì sẽ tự hiểu, tự ngộ ra được núi cao bao nhiêu ngay thôi! Tranh: Nhớ một chiều Tây Bắc – sơn mài – Phan Kế An – 1955.

nông trại

Tốt nghiệp xong, về làm việc tại trung tâm máy tính, ĐH Khoa học tự nhiên, rồi trung tâm máy tính ĐH Quốc gia tp. HCM. Cái trung tâm mới xây, đúng là thiên đường cho những ai đam mê, chuỗi (cluster) 64 máy con hàng xịn, cộng với những con server hàng khủng, và nhiều loại thiết bị mà tôi còn chưa nhìn thấy bao giờ, tất cả được đặt trong phòng riêng, cùng với nhiều cục lưu điện – UPS to hơn cái tủ lạnh 200 lít. Nếu cúp điện thì những cục UPS này vẫn đủ khả năng giữ cho toàn hệ thống chạy suốt hơn nửa ngày, và khi lượng điện trong UPS xuống dưới một mức nào đó, thì do đã được lập trình sẵn, hệ thống sẽ tự khởi động cái máy phát điện đặt ở phòng kế bên, cấp điện cho toàn hệ thống, tất cả chạy hoàn toàn tự động!

Và đồng thời, hệ thống sẽ gởi tin nhắn về tình trạng hiện tại của các máy móc đến quản trị viên, thường là đang đi uống cafe ở đâu đó để còn biết chạy về xử lý nếu cần! Vâng, giai đoạn khá là ngu ngơ, nhiệt huyết và lý tưởng, từ chối những “lời mời gọi tình yêu” của một số “devushki – em gái”, về đó nghiên cứu grid – computing, mà bây giờ người ta hay gọi bằng cái tên computing – farm – nông trại tính toán! Vâng, đi vòng quanh, vòng quanh cái nông trang tập thể, năng lực tính toán thì có thừa, chỉ thiếu… bài toán cho nó giải quyết mà thôi! Hơn 25 năm sau, chuyện “nông trang tính toán” bây giờ thật quá dễ dàng, và cũng không thiếu bài toán cho nó giải quyết… Ekh, yedem my, yedem, Yedem, a krugom kolkhozy…

nhạc lộc thư viện

Từ thời Hán cho đến qua thời Tống, Nguyên, Minh, suốt khoảng 1500 năm, nơi có nhiều đầu sách nhất thế giới chính là… Trung Quốc! Từ các thư viện hoàng gia cho đến các thư viện tư nhân như Nhạc Lộc, họ có khoảng 6 ngàn đầu sách (tựa sách), nhiều hơn bất kỳ nơi đâu, dù là Baghdad, Varanasi hay Rome, thì cũng không có nhiều sách bằng! Viết bằng thứ chữ giun dế siêu phức tạp như thế, bao quát đủ mọi lĩnh vực, từ Sơn hải kinh, Thủy kinh chú, Cửu chương toán thuật, Hải đảo toán kinh, Võ bị chí, etc.. bao quát đủ mọi mặt kiến thức, trên thiên văn, dưới địa lý, từ tư duy trừu tượng cho đến các vấn đề xã hội… công phu, trình độ quả thực đáng nể! Các đoàn sứ thần VN sang TQ, sau khi nộp cống phẩm xong đều được “lại quả”, loại “quả” thường được yêu cầu (và đáp ứng) nhiều nhất chính là… sách! Mà chẳng riêng gì VN, các nước đương thời như Nhật Bản, Hàn Quốc cũng thế: chẳng phải mọi phát minh tốt đẹp đều đến từ Trung Quốc đó sao, người Nhật Bản đương thời nói như vậy!

Mọi chuyện bắt đầu thay đổi khi kỹ thuật in ấn bắt đầu được phổ biến sang châu Âu! Chính vì kỹ thuật in có thể tạo ra được số lượng ấn phẩm lớn, đưa kiến thức đến với nhiều người hơn, nên dần dà, nó tạo thành một kiểu hiệu ứng đô-mi-nô, bắt đầu từ đó, châu Âu càng ngày càng đẻ ra thêm nhiều tựa sách, và bắt đầu vượt qua Trung Quốc. Số lượng đầu sách (tính trên tựa, không phải tính trên bản in) không còn ở mức số ngàn nữa mà bắt đầu tăng, đương nhiên khởi đầu chậm nhưng sau đó cứ nhanh dần theo cấp số nhân, bắt đầu đạt con số chục ngàn, trăm ngàn, rồi đến mức triệu… Quá trình này mất đến vài thế kỷ, dần dần đưa nhân loại bước vào “kỷ nguyên Ánh sáng”… Sang đến thế kỷ 21, ở cái xứ mọi rợ phương Nam kia cũng bày đặt nói chuyện sách, toàn những thứ như Thám tử Sherlock Holmes, Trở lại Eden, Những năm ảo tưởng, Cánh buồm đỏ thắm, .v.v… haiza, sách vở gì chúng nó!?

turbo button

Đã nói về nút Reset, nay nói về nút Turbo, chắc không mấy người còn nhớ, một thời phổ biến trên các dòng x86 nhưng dần biến mất kể từ Pentium 1, 2 trở đi! Cái nút Turbo này thực chất nó làm gì? Chính là overclock – ép xung để cho CPU chạy nhanh hơn! Đang có ý định làm lại cái nút Turbo này cho con Aquarium-PC! Chỉ cần nhấn nút một cái là CPU chuyển từ xung nhịp cơ sở 2.3 GHz lên xung nhịp tối đa 3.6 GHz ngay!

Trên một số dòng mainboard, CPU, thực hiện “Turbo” rất dễ, ép xung / hạ xung và tăng thế, hạ thế (undervolt) đối với các chip hoàn toàn làm được từ phần mềm một cách dễ dàng, có hiệu quả ngay lập tức, mà không cần bất kỳ can thiệp gì đến phần cứng! Tuy nhiên, và cũng có khi, cách tốt nhất để tăng tốc, gia tốc, turbo một cái máy tính, đó chính là… loại gia tốc có giá trị 9.8 mét trên giây bình phương ấy!

đệ quy

Ví dụ về đệ quy, như thế nào là đệ quy – recursive!? Đầu tiên từ Terminal, gõ lệnh VIM để sửa file. Từ trong VIM, gõ lệnh term để mở một cái Terminal mới bên trong VIM, cái này thường cần cho lập trình viên để vừa sửa code một bên, vừa chạy kiểm tra bên kia xem code có đúng hay không, mà không cần phải thoát ra ngoài!

Nhưng vì ta cắc cớ, nên bên trong cái Terminal chạy trong VIM chạy bên trong Terminal này, gõ thêm một lệnh VIM nữa, kết quả là VIM nằm trong Terminal, nằm trong VIM, nằm trong Terminal, nằm trong VIM, nằm trong Terminal, nằm trong VIM, nằm trong Terminal… và trên nguyên tắc có thể kéo dài… vô hạn cấp!

performance

Để làm con Aquarium-PC, tôi mua cái mainboard Huananzhi X99, đây được xem là loại mainboard chạy 2 CPU… rẻ nhất trên thị trường, một sản phẩm đáng ngạc nhiên của các “pháp sư” Trung Hoa, còn CPU là 2 con Xeon Haswell E5-V3, cũng là loại cũ, và khá rẻ. Đơn giản vì đây là lần đầu mạo hiểm, mua rẻ rẻ thôi, lỡ có thất bại, cháy nổ hay hỏng hóc ở đâu đó thì cũng không quá xót tiền! Hệ thống ráp xong chấm được 23K điểm Passmark, một điểm số không hề tệ, ngang ngửa với con MacMini đời 2022! Thế nhưng đến khi chạy thực tế, các bài toán thực, thì Aquarium-PC luôn thua MacMini một chút trong mọi vấn đề, mặc dù thua không nhiều! Đúng là bách nhục, một bên là hệ thống lớn, 2 CPU to cồng kềnh, lại dùng tản nhiệt dầu, còn bên kia người ta bé có chút xíu! Nhưng nghĩ kỹ thì cũng thấy hợp lý, Xeon Haswell là công nghệ của gần mười năm trước, không thể nào so sánh công bằng được!

Nhưng cũng như tôi dự đoán, có một số lớp bài toán mà Aquarium-PC hơn MacMini, nhìn vào 2 cái ảnh dưới đây bạn sẽ hiểu vì sao! Chạy chương trình phân tích dữ liệu tự viết bằng Python, nó tạo ra đến hơn một chục process và dùng hơn 30GB bộ nhớ SWAP. RAM là điểm yếu của MacMini, chương trình chạy đến một lúc lượng SWAP quá lớn, máy nó lì ra không chịu chạy nữa, thậm chí… tự khởi động lại do quá nhiệt! Nhưng con Aquarium-PC thì chạy được, tuy năng lực xử lý thua chút xíu, nhưng có đến 64GB RAM, và chạy vô cùng mát! Không chỉ về RAM, Aquarium-PC còn hơn về thời gian xử lý với những lập trình nhiều processes! Ngày xưa để xử lý dữ liệu lớn/phức tạp, người ta chia thành nhiều bước, lưu kết quả trung gian ra file/database và quay lại xử lý nhiều lần! Ngày nay, với một số lớp bài toán, cứ tận dụng tài nguyên, bỏ hết lên RAM chạy một lần, code vừa nhanh, vừa đơn giản!