Vi utökar Cyclone, ett typsäkert polymorphic språk på C nivå av abstraktion, med trådar och lås. Data races kan bryta typ säkerhet i Cyclone. Ett utvidgat typsystem garanterar statisk frånvaro genom att se till att tråddelade data skyddas genom låsning och att trådlokal data inte undgår den tråd som skapar den. Förlängningarna samverkar smidigt med parametrisk polymorfism och regionbaserad minneshantering. Vi presenterar en formell abstrakt maskin som modellerar behovet av att förhindra raser, ett polymorfiskt typsystem för maskinen som stöder gänglokal data, och ett motsvarande typ-säkerhetsresultat.
Grossman förlängd Cyclone med ett typsystem för att förhindra data races REF.
Type-safe multithreading in cyclone
{'venue': "TLDI '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}