Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, June 30, 2017 - 10:36:21 AM
Last modification on : Thursday, March 5, 2020 - 5:40:42 PM
Long-term archiving on: : Monday, January 22, 2018 - 9:52:45 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads