On Persistent and Reliable Streaming in Ada

Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/restoring is a very active research area. There are two application areas for such features we believe to be crucial: system fault tolerance and data persistence. Our analysis shows that the features used in these areas have a lot in common: they are to flatten data of different types and save them in a store which can be used later on. The recent revision of the Ada language standard, Ada 95, introduces a new mechanism called streams that allows structured data to be flattened. Streams are sequences of elements comprising values from possibly different types. Ada 95 allows programmers to develop their streams following the standard abstract class interface. In this paper we show how to use the stream concept for developing new features to provide internal program data saving suitable for fault tolerance and persistence. A hierarchy of different storage types, useful in different application domains, is introduced. The standard stream interface is extended, making it possible for programmers to have a better control of the way streams work by separating storage medium control from the actual stream type using the design patterns. The convenience of this new interface is demonstrated by developing a generic package allowing any non-limited object to be written into a storage device. It can be used for providing data persistence and as a state restoration feature in schemes used for tolerating software design faults

LightBox: Full-stack Protected Stateful Middlebox at Lightning Speed

Running off-site software middleboxes at third-party service providers has been a popular practice. However, routing large volumes of raw traffic, which may carry sensitive information, to a remote site for processing raises severe security concerns. Prior solutions often abstract away important factors pertinent to real-world deployment. In particular, they overlook the significance of metadata protection and stateful processing. Unprotected traffic metadata like low-level headers, size and count, can be exploited to learn supposedly encrypted application contents. Meanwhile, tracking the states of 100,000s of flows concurrently is often indispensable in production-level middleboxes deployed at real networks. We present LightBox, the first system that can drive off-site middleboxes at near-native speed with stateful processing and the most comprehensive protection to date. Built upon commodity trusted hardware, Intel SGX, LightBox is the product of our systematic investigation of how to overcome the inherent limitations of secure enclaves using domain knowledge and customization. First, we introduce an elegant virtual network interface that allows convenient access to fully protected packets at line rate without leaving the enclave, as if from the trusted source network. Second, we provide complete flow state management for efficient stateful processing, by tailoring a set of data structures and algorithms optimized for the highly constrained enclave space. Extensive evaluations demonstrate that LightBox, with all security benefits, can achieve 10Gbps packet I/O, and that with case studies on three stateful middleboxes, it can operate at near-native speed.Comment: Accepted at ACM CCS 201

A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages

This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By successively applying design patterns such as the Serializer, Factory Method, and Strategy patterns we develop an object-oriented framework for providing object persistence. The advantages of object-orientation are highlighted: structured classification through class-hierarchies, extensibility and promotion of reuse. The framework clearly separates persistence control from storage control. A hierarchy of different storage types, useful in different application domains, is introduced. The framework does not rely on any kind of special programming language features. It only uses basic object-oriented programming techniques, and is therefore implementable in any object-oriented programming language. An experimental implementation in Ada 95 is presented

A Framework Of High Mobility Routing For Video Transmission In Vehicular Ad Hoc Networks Using Relative Speed And Distance

Penghantaran video adalah satu isu yang kritikal bagi VANET. Masalah utama adalah bagaimana untuk meningkatkan sambungan rangkaian untuk aliran video, menangani kehilangan kerangka, ketaran, kelewatan hujung-ke-hujung dan memaksimumkan pemprosesan Video transmission is a critical issue in VANETs. The main problem is how to enhance the network connectivity for video streaming, overcome frame loss, jitter, end-to-end delay, and maximize throughpu

Automatic Serialization of Dynamic Structures in Ada

Serialization is the process that transforms the state of a software object into a sequence of bytes. Serialization is useful, for example, to store the value of an object in persistent memory or to send it through a network channel. Ada provides object serialization by means of the Streams package. However, default Ada serialization does not address the problem of serializing dynamic structures automatically. The streaming of an access variable in Ada flattens the value of the access variable itself and not the value of the object referenced by it. It is the responsibility of the programmer to write custom serialization routines for the lists, trees, stacks or any other dynamic structure requiring serialization. In this paper, we present an algorithm for the automatic generation of serialization subprograms for dynamic structures in Ada. We will use ASIS for analyzing the structure of the types to be serialized

Strategy of Fadhlul Fadhlan Pesantren in Developing Media Literacy

The use of internet media in the era of technological and communication advancement is a concern not only in the campus academic community, but in Pesantren, religious-based institutions are also significant. Fadhul Fadhlan is a life skill boarding school (pesantren) that has santri with various levels of education, especially santri as media users who are independently allowed to access online media for educational activities and means of communication. The pandemic demands that the life patterns of santri change, social interaction is limited and cannot be separated from the use of media. Increasingly sophisticated technology supports change and should make it easier for santri to access information, especially in the field of education. Media literacy at Fadhul Fadhlan Pesantren is an interesting study, considering the increasing condition of internet consumption among santri needs to be balanced with smart media skills, so that santri can think more critically in dealing with the flood of information in the media, especially online media.This study focuses on Fadhlul Fadhlan Pesantren strategies to develop media literacy for santri. The results of this study also found that strategies to develop media literacy in Pesantren include optimizing social media, forming media center and training programs to improve literacy skills