Reference Variables for Dynamic, Reliable Packet Operations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Reference Variables for Dynamic, Reliable Packet Operations

Ralph Duncan
  • Function : Author
  • PersonId : 1011319
Peder Jungck
  • Function : Author
Kenneth Ross
  • Function : Author
Dwight Mulcahy
  • Function : Author


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.
Fichier principal
Vignette du fichier
978-3-642-35606-3_6_Chapter.pdf (352.47 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01551376 , version 1 (30-06-2017)





Ralph Duncan, Peder Jungck, Kenneth Ross, Dwight Mulcahy. Reference Variables for Dynamic, Reliable Packet Operations. 9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.48-60, ⟨10.1007/978-3-642-35606-3_6⟩. ⟨hal-01551376⟩
51 View
65 Download



Gmail Facebook X LinkedIn More