Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architecture poses new design challenges in programming models, languages, compilers,

ProgrammingAd-hocNetworksofMobileand

Resource-ConstrainedDevices

YangNiUlrichKremerAdrianStereLiviuIftode

DepartmentofComputerScience

RutgersUniversity

Piscataway,NJ08854

{yangni,uli,adrianst,iftode}@cs.rutgers.edu

Abstract

Ad-hocnetworksofmobiledevicessuchassmartphonesand

PDAsrepresentanewandexcitingdistributedsystemarchitec-

ture.Buildingdistributedapplicationsonsuchanarchitectureposes

newdesignchallengesinprogrammingmodels,languages,com-

pilers,andruntimesystems.ThispaperdiscussesSpatialViews,

ahigh-levellanguagedesignedforprogrammingmobiledevices

connectedthroughawirelessad-hocnetwork.SpatialViewsallows

speci cationofvirtualnetworkswithnodesprovidingdesiredser-

vicesandresidingininterestingspaces.Thesenodesarediscovered

dynamicallywithuser-speci edtimeconstraintsandqualityofre-

sult(QoR).Theprogrammingmodelsupports“best-effort”seman-

tics,i.e.,differentexecutionsofthesameprogrammayresultin

“correct”answersofdifferentquality.Itistheresponsibilityofthe

compilerandruntimesystemtoproduceahigh-qualityanswerfor

theparticularnetworkandresourceconditionsencounteredduring

programexecution.Fourapplications,whichexercisedifferentfea-

turesoftheSpatialViewslanguage,arepresentedtodemonstrate

theexpressivenessofthelanguageandtheef ciencyofthecom-

pilergeneratedcode.Theapplicationsareanapplicationthatcol-

lectsandaggregatessensordatainnetwork,anapplicationthat

performsdynamicserviceinstallation,amobilecameraapplica-

tionthatsupportscomputationof oadingforimageunderstanding,

andanaugmented-reality(AR)Pacmangame.Theef ciencyofthe

compilergeneratedcodeisveri edthroughsimulationandphysi-

calmeasurements.ThereportedresultsshowthatSpatialViewsis

anexpressiveandeffectivelanguageforad-hocnetworks.Inad-

dition,compileroptimizationscansigni cantlyimproveresponse

timesandenergyconsumption.

CategoriesandSubjectDescriptors

LANGUAGES]:General

GeneralTermsDesign,LanguagesD.3.0[PROGRAMMING