در قسمت یازدهم از آموزش برنامه نویسی به زبان گو به بررسی روند و مراحل Go Compiler پرداختیم.
یکی از ابسترکشن‌‌های مهم در صنعت نرم‌افزار تعامل با سخت افزار به عنوان ریسورس است. یعنی به Cpu و مموری به مثابه منابع طبیعی و محدود نگاه کنیم که بایستی به صورت اشتراکی مصرف کنیم و بهینگی نرم‌افزار وابسته به چگونگی استفاده از این منابع است. برای اینکه بتوانیم کدهای بهتری بنویسیم بایستی مکانیزم کار منابعی که از آن استفاده می‌کنیم را بشناسیم. در این فصل در مورد CPU صحبت می‌کنیم
برنامه‌ای که ما می‌نویسیم به هرحال باید تبدیل به به دستورات ماشین شود. این کار را معمولا با کامپایلر انجام می دهیم. در این پروسه کد ما کامپایل و احتمالا به آبجکت‌ها لینک می شوند این کار را linker انجام می دهد. روش های مختلفی برای بیلد گو وجود دارد مثلا می‌توان از tinygo برای میکروکنترلرها، gopherjs برای تبدیل به js کرد.
خود کامپایلر گو به زبان گو نوشته شده است و این یک امتیاز برای یادگیری به حساب می‌آید. در بیلد گو می‌توان تمام وابستگی‌ها را به صورت استاتیک لینک کرد و باینری شامل همه چیز باشد و برای اجرا نیاز به چیزی نداشته باشد. دستور go build شامل پروسه بیلد و لینک است که در فاز لینک ممکن است بهینه‌سازی‌هایی نیز وجود داشته باشد. این دستور همچنین امکان ترکیب گو با زبان‌هایی مثل c++ می‌دهد اما به شکل کلی پیشنهاد نمی‌شود. نکته مهم در کامپایل گو این است که هر پکیج مستقلا بیلد می‌شود و این امکان کامپایل موازی را ارایه می‌کند. - ابتدا پارسر کد را توکنایز می‌کند و سینتکس چک می‌شود و خطاهایی احتمالی را نشان می‌دهد. درخت AST ساخته می‌شود. کدهای بیهوده حذف می‌شود و از طریق escape analysis استک و هیپ مدیریت می‌شود و سپس function inlining برای توابع کوچک و ساده اجرا می‌شود. - درخت AST تبدیل به Static Single Assignment می‌شود یکی از کمک‌های SSA این است که به راحتی می‌توان متغیرهای استفاده نشده را شناسایی کرد. - در این فاز بهینه‌سازی‌های مستقل از ماشین که مجموعه‌ای از رول‌هاست اجرا می‌شود. به عنوان مثال y:=0*x تبدیل به y:=0 می شود. - براساس GOARCH و GOOS کامپایلر از genssa برای تبدیل ssa به کدهای ماشین استفاده می‌کند - کدهایی که باقی مانده‌اند تبدیل به ابجکت فایل می‌شود و در نهایت لینکر این آبجکت فایل ها را تبدیل به باینری می‌کند. این باینری شامل اطلاعات و متادیتای مهمی است که توسط دیباگرها قابل استفاده است به عنوان مثال جدول DWARF به باینری اضافه می‌شود.
برای کامپایل و لینک می‌توان پارامترهای مختلفی تنظیم کرد. gcflags و ldflags این موارد را برای ما انجام می‌دهد.
کامپایلر گو نهایتا کد ماشین را تولید می‌کند و CPU توانایی اجرای آن را دارد. سیستم عامل اولین کد را به حافظه می‌آورد و اولین دستور را در رجیستر Program Counter یا PC می‌نویسد. و از اینجا به به بعد هسته cpu می‌تواند دستورات را خط به خط اجرا کند. شاید این کار ساده به نظر بیاید اما با وجود مموری وال باعث می‌شود همواره در حال ارایه خلاقیت در بهینه‌سازی سخت‌افزار باشند.
00:00 معماری کامپیوتر
06:18 کامپایل پروژه گو برای پلتفرم‌های مختلف
14:50 مراحل اجرای Go Compiler
22:39 کنترل کامپایلر از طریق gcflags و ldflags