خب WSL2 کلاً چطور کار می‌کنه که من گفتم ناممکنه؟

اول از همه باید ببینیم که اولین نسخش چطور کار می‌کرده.

در نسخه‌ی اول WSL، ویندوز به‌جای اجرای یک کرنل لینوکس واقعی، لایه‌ای از ترجمه‌ی syscall پیاده‌سازی کرده بود. وقتی یک برنامه‌ی لینوکسی فراخوان سیستمی مثل open() یا read() را صدا می‌زد، این فراخوان‌ها مستقیماً به توابع هسته‌ی ویندوز (NT API) مانند NtCreateFile یا NtReadFile ترجمه می‌شدن.


حالا WSL2 چه فرقی داره؟
توی این نسخه، مایکروسافت از یک ماشین مجازی بسیار سبک (Utility VM) مبتنی بر Hyper-V استفاده می‌کند که داخلش یک کرنل واقعی لینوکس بوت می‌شه. این کرنل برای ارتباط مستقیم با ویندوز پچ شده تا از طریق پروتکل‌هایی مانند 9p و virtio بتواند فایل‌سیستم، شبکه، حافظه و سایر منابع را با سیستم میزبان به اشتراک بذاره.
از اونجایی که این ماشین‌مجازی یک کرنل لینوکس واقعی رو اجرا می‌کند، تمام ABI و syscallها باید دقیقاً با لینوکس سازگار باشند. برای همین نمی‌شه سیستم‌عاملی مثل FreeBSD رو مستقیماً اجرا کرد.

چون با عکس محدودیت متن می‌خوریم فنی‌ترش رو میرم پست بعدی.

@SohrabContents

خب مگه FreeBSD و Linux هردو کرنلشون سازگار با پاسیکس نیستن؟

کرنل FreeBSD و لینوکس اگرچه هر دوشون شبه‌ یونیکس و تا حدی سازگار با POSIX هستن اما در سطح ABI تفاوت‌های جدی دارند.
شماره‌ها، رفتار و حتی وجود بسیاری از syscallها در آن‌ها یکسان نیست، برای مثال در لینوکس برای مدیریت I/O غیرهمزمان از epoll استفاده می‌شود در حالی که FreeBSD از kqueue و kevent استفاده می‌کنه.
خیلی از syscallهای لینوکس مانند futex یا io_uring در FreeBSD اصلاً وجود ندارن و برعکس. بنابراین باینری‌های FreeBSD روی کرنل لینوکس قابل اجرا نیستند، چون درخواست‌هایی که ارسال می‌کنند براش ناشناخته است.

از یک طرف دیگه، بخش Hyper-V در WSL2 طوری طراحی شده که فقط با کرنل لینوکس کار بکنه.
کرنل لینوکسی که در wsl2 استفاده میشه، شامل ماژول‌هایی هستش که مایکروسافت برای ارتباط مستقیم با ویندوز از طریق VMBus توسعه داده.
کرنل FreeBSD هم هرچند درایورهایی برای Hyper-V داره، اما این درایورها با ساختار خاص WSL2 که tightly integrated است سازگار نیستش. برای همین FreeBSD می‌تونه به‌عنوان یک سیستم‌عامل کامل روی Hyper-V بوت بشه، اما نمی‌تونه در قالب WSL2 با ویندوز تعامل سطح پایین داشته باشه.


حالا این یارو wsl for bsd چطور کار می‌کنه؟

تاجایی که من نگاهی به مخزن گیت‌هابش انداختم، میاد و بخش‌های اوپن سورس wsl2 که در یک توزیع لینوکسی بهینه شده برای wsl وجود داره رو روی یک RootFS فری بی‌اس‌دی نصب می‌کنه، و متاسفانه من نتونستم این رو راه بندازم ولی رودمپش می‌گه که همچنان در دست توسعه است.


@SohrabContents

اضافیات:

این 9p که من ذکر کردم، پیاده‌سازی از فایل‌سیستم و پروتکل های plan9 هستش.


بله مایکروسافت از پروژه Plan9 استفاده می‌کنه توی استک‌نتورک و سایر جاهای wsl.


https://lwn.net/Articles/918213/



و البته خود plan9 هم پست‌های جدایی می‌طلبه که چیه :))

https://9p.io/plan9/



@SohrabContents

چرا از جاوا و پایتون برای نرم افزارهای سیستم های هوافضا نمیشه استفاده کرد؟
1-قطعیت (Determinism):
در زبان هایی مثل جاوا و پایتون به خاطر وجود garbage collection و مبتنی بر JVM بودن اجرای برنامه دقیقا قابل پیش بینی نیست. ممکنه برنامه یه لحظه به خاطر garbage collector متوقف بشه یا pause کنه. تو نرم افزارهای real time همچین چیزی قابل قبول نیست.
به عبارت دیگه یه حلقه توی جاوا یه بار ممکنه یک میلی ثانیه طول بکشه اما دفعه بعد 5 میلی ثانیه طول بکشه دلیل این امر اینه که JIT و gc معلوم نیست کی عمل می کنن و حافظه رو پس می گیرن. پایتون هم به همین دلیل که gc داره عملکردش این شکلیه.
2-زمانبندی سخت گیرانه(Hard real-time constraints): نرم افزارهای هوافضا باید مشخص، کوتاه و قطعی واکنش نشان دهند اما جاوا و پایتون همچین تضمینی نمی دهند.
3-ایمنی و استانداردها :
صنعت هوافضا از استانداردهایی مثل DO-178C پیروی می‌کند. Ada و C ابزارها و کتابخانه‌های تأییدشده‌ای برای این استاندارد دارند اما برای جاوا و پایتون چنین پشتیبانی و تأیید رسمی بسیار محدود یا تقریباً وجود ندارد.
4-کارایی (Performance & Footprint):
پایتون کنده چون مفسریه جاوا هم به خاطر JVM و مدیریت حافظه سربار زیادی داره که خب توی سیستم های هوافضا که سرعت مهمه و منابع سخت افزاری محدودی داریم نمیشه یه برنامه کند و برنامه ای که کلی منابع میخواد رو اجرا کنیم.
در نهایت باید بگم که زبان هایی که باهاشون نرم افزارهای سیستم های هوافضا، نظامی و حساس رو میسازن Ada-Spark ada - C و جدیدا Rust هستند.

@DevTwitter | <Mohsen Shojaei Yeganeh/>

خبر های PostgreSQL ای 😎
نسخه های جدید ابزار های :
✅ ابزار pgwatch v4: مانیتورینگ PostgreSQL برای جمع‌آوری و نمایش متریک‌های عملکرد دیتابیس.

✅ابزار Autobase 2.4.0: مدیریت خودکار نسخه‌بندی (schema migrations) و تغییرات ساختار

✅افزونه pg_stat_kcache 2.3.1:مشاهده آمار مصرف CPU و I/O کوئری‌ها از طریق kernel.

منتشر شد
#خبر

ایرانسل احتمالا داره با هوش مصنوعی پیام می‌فرسته، پیام ها کاملا کاستومایز شده هستن یعنی می‌دونه گوشی من سامسونگه و ورژن Ui گوشیم هم 7 هست با توجه به اون داره راهنمایی می‌کنه چطوری گوشیم رو 5G کنم.

عجب ایده خفنی، این دیتا دیتای معمولی و پابلیکه احتمالا توی وبسایتی چیزیشون کلیک کردم و مدل گوشیم رو در آوردن و با مدل های زبانی خودکار یه راهنمایی اختصاصی برام ساختن !


@Linuxor

می‌دونستین می‌تونید SVG هارو به صورت انیمیشنی توی سایتتون نشون بدید ؟ کافیه از این لایبری جاوااسکریپت استفاده کنید، سایتتون رو از حالت خشک در می‌آره و زنده می‌کنه:

github.com/maxwellito/vivus

@Linuxor

چرا از جاوا و پایتون برای نرم افزارهای سیستم های هوافضا نمیشه استفاده کرد؟
1-قطعیت (Determinism):
در زبان هایی مثل جاوا و پایتون به خاطر وجود garbage collection و مبتنی بر JVM بودن اجرای برنامه دقیقا قابل پیش بینی نیست. ممکنه برنامه یه لحظه به خاطر garbage collector متوقف بشه یا pause کنه. تو نرم افزارهای real time همچین چیزی قابل قبول نیست.
به عبارت دیگه یه حلقه توی جاوا یه بار ممکنه یک میلی ثانیه طول بکشه اما دفعه بعد 5 میلی ثانیه طول بکشه دلیل این امر اینه که JIT و gc معلوم نیست کی عمل می کنن و حافظه رو پس می گیرن. پایتون هم به همین دلیل که gc داره عملکردش این شکلیه.
2-زمانبندی سخت گیرانه(Hard real-time constraints): نرم افزارهای هوافضا باید مشخص، کوتاه و قطعی واکنش نشان دهند اما جاوا و پایتون همچین تضمینی نمی دهند.
3-ایمنی و استانداردها :
صنعت هوافضا از استانداردهایی مثل DO-178C پیروی می‌کند. Ada و C ابزارها و کتابخانه‌های تأییدشده‌ای برای این استاندارد دارند اما برای جاوا و پایتون چنین پشتیبانی و تأیید رسمی بسیار محدود یا تقریباً وجود ندارد.
4-کارایی (Performance & Footprint):
پایتون کنده چون مفسریه جاوا هم به خاطر JVM و مدیریت حافظه سربار زیادی داره که خب توی سیستم های هوافضا که سرعت مهمه و منابع سخت افزاری محدودی داریم نمیشه یه برنامه کند و برنامه ای که کلی منابع میخواد رو اجرا کنیم.
در نهایت باید بگم که زبان هایی که باهاشون نرم افزارهای سیستم های هوافضا، نظامی و حساس رو میسازن Ada-Spark ada - C  و جدیدا Rust هستند.

<Mohsen Shojaei Yeganeh/>

👇👇👇👇👇👇👇
@software_Labdon

باید یه قانونی بزارن که شرکتا و سایتا حق احراز هویت دیجیتال با چهره و کارت ملی و... نداشته باشن. چون از یه طرفی توان حفاظت از دیتا وجود نداره از یه طرفی هم کار کاربرا راحت می‌شه فقط یه جا یه احراز هویت جامع انجام میدیم شبیه OAuth به هر اپلیکیشنی اثبات های لازم (نه عکس و فیلم از خودمون اثبات یعنی فقط تاییدش) رو می‌دیم.


(این قانون حتی توی اروپا و کشور های مدرن هم وجود نداره ولی جایگزین های حدودی داره)

@Linuxor

#فیلترنت

⁩🔍 ircf.space
@ircfspace

🔶 به درخواست دکتر پیامک, پنل پیامکی آن در افزونه ورود موبایلی Authora اضافه می شود.

https://drpayamak.com

#وردپرس

@TheRaymondDev

خب در فرصت پیش آمده هم وبسایتم رو آپدیت کردم هم صفحه گیت‌هابم رو که از پارسال به‌روز نشده بود و من توش هنوز ۱۹ ساله بودم.


sohrabbehdani.ir
github.com/behdanisohrab


@SohrabContents

آقا Srinidhi از AMD آفر گرفته و تا یه ماه دیگه میره. از طرفی خیلی خوشحالم براش که بالاخره تو مسیر پیشرفتش داره پیش میره و از طرفی شدیدا پنیک کردم که اگر Srinidhi بره من خیلی تنها میشم. خوبیه بودنش این بود که خیالم از ساید پیاده‌سازی خیلی راحت بود و آسوده خاطر روی تئوری کار میکردم. با رفتنش دوباره کل لود پیاده‌سازی میاد روی من و منم اصلا تجربه و مهارت اونو ندارم :( آه از آن رفتگان بی برگشت

کاش AMD خراب بشه امشب :(

Software Engineer Intern @ Snowflake, Berlin
—————————————————————

یه فرصت خیلی عالی برای دوستان ارشد و دکتری که توی اروپا تحصیل میکنند و بکگراند سیستمی و دیتابیسی دارن.
If you’re looking for an internship at the cutting edge of AI and Data, Snowflake Berlin has just opened its 2026 Internship Program! 🎉
We’re on the lookout for multiple talented interns to join us on this journey, so if this sounds like you (or your friends), now’s the time to apply!
Don’t miss the chance to work on real challenges, learn from world-class engineers, and shape the future of data. 💡✨
Link

🔶 قسمت جدید طراحی سایت شرکتی با لاراول ۱۲ منتشر شد.

۱۱- ایجاد دسته بندی (آیتم) برای نمونه کارها

قیمت دوره با تخفیف ۴۰ درصد : ۹۰۰,۰۰۰ تومان

https://rayium.ir/course/?p=1613

#لاراول

@TheRaymondDev