Fil-C: Garbage In, Memory Safety Out! - Filip Pizlo | SSW 2026

Video özeti

Fil-C talk’ı, C/C++’ta yaygın kabul gören “bellek güvensizliği” problemini yeniden ele alıyor ve bu dillerin güvenlik hedeflerine uygun şekilde uygulanabileceğini gösteren Fil-C projesinin teknik detaylarını sunuyor. Konuşma bellek güvenliği tanımıyla başlıyor, önceki yaklaşımları ve sınırlılıklarını gözden geçiriyor; Fil-C’nin hedefleri, kapsamı ve uygulamada kullanılan “teknik hile” (implementation trick) ile derleyici ve runtime tasarımına, garbage collection ve runtime entegrasyonuna kadar ilerliyor; sunumda ayrıca Fil-C ile port edilen yazılımlardan demolar ve Q&A bölümü yer alıyor. Bu videoyu sistem programlama, dil tasarımı veya güvenlik odaklı geliştiriciler izlemeli; C/C++ bilgisi ve bellek güvenliği kavramlarına aşinalık izleyiciye avantaj sağlar. İzleyici Fil-C’nin hangi mimari kararlarla bellek güvenliğini artırdığını, derleyici/runtime iş bölüşümünü, garbage collection stratejilerini ve gerçek dünya geçişlerinde karşılaşılan zorlukları somut olarak öğrenmiş olacak.

Bölümler

1. 0:00Introduction to Fil-C
2. 7:15Review of prior art
3. 12:13The technical trick
4. 18:10Compiler and runtime details
5. 22:40Garbage collection and runtime
6. 30:14Demo of Fil-C in action

Öne çıkan fikirler

• Dil ve runtime tasarımında doğru mekanizmalar kullanılarak C/C++ seviyesinde performansı koruyup bellek güvenliğini önemli ölçüde artırmak mümkündür.
• Fil-C, derleyici ve runtime arasında sorumlulukları net ayırarak geleneksel C programlarını daha güvenli biçimde çalıştırmayı hedefler.
• Gerçek dünya geçişleri (porting) hem teknik uyumluluk hem de araç zinciri (tooling) desteği gerektirir; demo ve vaka çalışmaları bu gereksinimleri somutlaştırır.

Özet ve bölüm başlıkları Opendart editörlüğünde hazırlanmıştır; videonun içeriği ve hakları kanal sahibine aittir.