Reference Variables for Dynamic, Reliable Packet Operations

Abstract : A classic ‘reference’ variable provides an indirect way to access a variable or aggregate. packetC, [1] a language for network packet processing, has specialized requirements for references that apply to aggregates, based on domain-specific, extended data types. The primary functional requirement is to defer selecting particular aggregates until runtime. In addition, requirements for high program reliability and security are paramount. Thus, packetC reference constructs must guarantee that a selected aggregate (i.e., the value of a runtime dereference) always constitutes a legal aggregate for the involved operation. Both reliability concerns and current domain implementation practice discourage references based on addresses (detailed below). A secondary requirement is to support chaining aggregate operations, where the aggregate used in an operation depends on the result of the previous operation. Our design and implementation of packetC references provides a useful case study in how secure, reliable references can meet these requirements by combining strong typing features (e.g., declaration rules), simple mechanics (encoded ordinal values) and appropriate technical attributes for references, such as reseatability and non-nullability.
Type de document :
Communication dans un congrès
James J. Park; Albert Zomaya; Sang-Soo Yeo; Sartaj Sahni. 9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. Springer, Lecture Notes in Computer Science, LNCS-7513, pp.48-60, 2012, Network and Parallel Computing. 〈10.1007/978-3-642-35606-3_6〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01551376
Contributeur : Hal Ifip <>
Soumis le : vendredi 30 juin 2017 - 10:36:21
Dernière modification le : vendredi 1 décembre 2017 - 01:09:55
Document(s) archivé(s) le : lundi 22 janvier 2018 - 21:52:45

Fichier

978-3-642-35606-3_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ralph Duncan, Peder Jungck, Kenneth Ross, Dwight Mulcahy. Reference Variables for Dynamic, Reliable Packet Operations. James J. Park; Albert Zomaya; Sang-Soo Yeo; Sartaj Sahni. 9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. Springer, Lecture Notes in Computer Science, LNCS-7513, pp.48-60, 2012, Network and Parallel Computing. 〈10.1007/978-3-642-35606-3_6〉. 〈hal-01551376〉

Partager

Métriques

Consultations de la notice

42

Téléchargements de fichiers

23