Abstract-A-minnesmodell baserad på avgränsade områden är en av de utmärkande dragen i Real-Time Specifikation för Java (RTSJ). Scoped Types säkerställer snabb återställning av minne och förutsägbar prestanda. Priset att betala för dessa fördelar är en obekant programmeringsmodell som samtidigt är komplex, kräver kontroll av alla minnesåtkomster, och belöningar design-tid fel med run-time krascher. Vi undersöker ett alternativt tillvägagångssätt, kallat Scoped Types, som förenklar uppgiften att hantera minne i realtidskoder. Det viktigaste inslaget i vårt förslag är att den run-time partition av minne som införts av avgränsade områden är enkelt speglas i programtexten. Således flyktig inspektion av ett program avslöjar vilka objekt som kommer att bebo de olika omfattningar, avsevärt förenkla uppgiften att förstå realtid Java-program. Dessutom inför vi ett typsystem som säkerställer att det inte uppstår några fel i körtiden på grund av kontroller av minnesåtkomst. En RTSJ-kompatibel virtuell maskin kräver alltså inga minneskontroller. Bidragen i detta dokument är begreppet Scoped Types, och en bevislig sundhet i typsystemet. Experimentella resultat kommer att beskrivas i det framtida arbetet.
I REF introducerar författarna begreppet scoped types som ett sätt att inkapsla scoped objekt.
Scoped types for real-time Java
{'venue': '25th IEEE International Real-Time Systems Symposium', 'journal': '25th IEEE International Real-Time Systems Symposium', 'mag_field_of_study': ['Computer Science']}