The SoftPHY abstraction: from packets to symbols in wireless network design

At ever-increasing rates, we are using wireless systems to communicate with others and retrieve content of interest to us. Current wireless technologies such as WiFi or Zigbee use forward error correction to drive bit error rates down when there are few interfering transmissions. However, as more of us use wireless networks to retrieve increasingly rich content, interference increases in unpredictable ways. This results in errored bits, degraded throughput, and eventually, an unusable network. We observe that this is the result of higher layers working at the packet granularity, whereas they would benefit from a shift in perspective from whole packets to individual symbols. From real-world experiments on a 31-node testbed of Zigbee and software-defined radios, we find that often, not all of the bits in corrupted packets share fate. Thus, today's wireless protocols retransmit packets where only a small number of the constituent bits in a packet are in error, wasting network resources. In this dissertation, we will describe a physical layer that passes information about its confidence in each decoded symbol up to higher layers. These SoftPHY hints have many applications, one of which, more efficient link-layer retransmissions, we will describe in detail. PP-ARQ is a link-layer reliable retransmission protocol that allows a receiver to compactly encode a request for retransmission of only the bits in a packet that are likely in error. Our experimental results show that PP-ARQ increases aggregate network throughput by a factor of approximately 2× under various conditions. Finally, we will place our contributions in the context of related work and discuss other uses of SoftPHY throughout the wireless networking stack. (Copies available exclusively from MIT Libraries, Rm. 14-0551, Cambridge, MA 02139-4307. Ph. 617-253-5668; Fax 617-253-1690.)

[1]  H. Bruneel,et al.  Carrier phase and frequency estimation for pilot-symbol assisted transmission: bounds and algorithms , 2005, IEEE Transactions on Signal Processing.

[2]  Paramvir Bahl,et al.  A rate-adaptive MAC protocol for multi-Hop wireless networks , 2001, MobiCom '01.

[3]  Donald C. Cox,et al.  Robust frequency and timing synchronization for OFDM , 1997, IEEE Trans. Commun..

[4]  Imrich Chlamtac,et al.  Making transmission schedules immune to topology changes in multi-hop packet radio networks , 1994, TNET.

[5]  Anthony Ephremides,et al.  Analysis of a Hybrid Access Scheme for Buffered Users-Probabilistic Time Division , 1982, IEEE Transactions on Software Engineering.

[6]  M.P. Fitz,et al.  Single frequency estimation with non-uniform sampling , 1996, Conference Record of The Thirtieth Asilomar Conference on Signals, Systems and Computers.

[7]  Chuck Thacker,et al.  Personal distributed computing: the Alto and Ethernet hardware , 1986, HPW '86.

[8]  Heinrich Meyr,et al.  Digital communication receivers - synchronization, channel estimation, and signal processing , 1997, Wiley series in telecommunications and signal processing.

[9]  J.E. Mazo,et al.  Digital communications , 1985, Proceedings of the IEEE.

[10]  John C. Bicket,et al.  Bit-rate selection in wireless networks , 2005 .

[11]  Nitin H. Vaidya,et al.  On physical carrier sensing in wireless ad hoc networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[12]  Hari Balakrishnan,et al.  PPR: partial packet recovery for wireless networks , 2007, SIGCOMM '07.

[13]  Jerome H. Saltzer,et al.  End-to-end arguments in system design , 1984, TOCS.

[14]  Rudi van Drunen,et al.  Localization of Random Pulse Point Sources Using Physically Implementable Search Algorithms , 2020, Optoelectronics, Instrumentation and Data Processing.

[15]  H. Vincent Poor,et al.  Iterative (turbo) soft interference cancellation and decoding for coded CDMA , 1999, IEEE Trans. Commun..

[16]  Emina Soljanin,et al.  Punctured vs Rateless Codes for Hybrid ARQ , 2006, 2006 IEEE Information Theory Workshop - ITW '06 Punta del Este.

[17]  G. R. Danesfahani,et al.  Optimisation of modified Mueller and Muller algorithm , 1995 .

[18]  Rajendra V. Boppana,et al.  On the impact of noise sensitivity on performance in 802.11 based ad hoc networks , 2004, 2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577).

[19]  J. J. Garcia-Luna-Aceves,et al.  FAMA-PJ: a channel access protocol for wireless LANs , 1995, MobiCom '95.

[20]  John M. Shea,et al.  Iterative decoding in a two-node distributed array , 2002, MILCOM 2002. Proceedings.

[21]  Robert G. Gallager,et al.  A perspective on multiaccess channels , 1984, IEEE Trans. Inf. Theory.

[22]  Stephen B. Wicker,et al.  Applications of Error-Control Coding , 1998, IEEE Trans. Inf. Theory.

[23]  H. Meyr,et al.  A fully digital feedforward MSK demodulator with joint frequency offset and symbol timing estimation for burst mode mobile radio , 1993 .

[24]  John Cocke,et al.  Optimal decoding of linear codes for minimizing symbol error rate (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[25]  Barbara Zurer Pearson Complementary Code Keying Made Simple , 2000 .

[26]  P. Levis,et al.  RSSI is Under Appreciated , 2006 .

[27]  Haiyun Luo,et al.  Datalink streaming in wireless sensor networks , 2006, SenSys '06.

[28]  Floyd M. Gardner,et al.  Interpolation in digital modems. I. Fundamentals , 1993, IEEE Trans. Commun..

[29]  S. Pasupathy,et al.  Minimum shift keying: A spectrally efficient modulation , 1979, IEEE Communications Magazine.

[30]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[31]  Chieh-Yih Wan,et al.  CODA: congestion detection and avoidance in sensor networks , 2003, SenSys '03.

[32]  Deborah Estrin,et al.  Packet combining in sensor networks , 2005, SenSys '05.

[33]  Lili Qiu,et al.  Estimation of link interference in static multi-hop wireless networks , 2005, IMC '05.

[34]  A.T. Campbell,et al.  Structuring contention-based channel access in wireless sensor networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[35]  Fouad A. Tobagi,et al.  Multiaccess Protocols in Packet Communication Systems , 1980, IEEE Trans. Commun..

[36]  Peter Steenkiste,et al.  Using physical layer emulation to understand and improve wireless networks , 2006 .

[37]  A. Glavieux,et al.  Near Shannon limit error-correcting coding and decoding: Turbo-codes. 1 , 1993, Proceedings of ICC '93 - IEEE International Conference on Communications.

[38]  Norman M. Abramson,et al.  THE ALOHA SYSTEM: another alternative for computer communications , 1899, AFIPS '70 (Fall).

[39]  James S. Lehnert,et al.  Acquisition of packets with a short preamble for direct-sequence spread-spectrum multiple-access packet communications , 2003, IEEE Military Communications Conference, 2003. MILCOM 2003..

[40]  Panganamala Ramana Kumar,et al.  RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN , 2001 .

[41]  Mario Gerla,et al.  Interference aware (IA) MAC: an enhancement to IEEE802.11b DCF , 2003, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484).

[42]  H. Bruneel,et al.  A maximum-likelihood based feedback carrier synchronizer for turbo-coded systems , 2005, 2005 IEEE 61st Vehicular Technology Conference.

[43]  Theodore S. Rappaport,et al.  Wireless communications - principles and practice , 1996 .

[44]  Hari Balakrishnan,et al.  Improving loss resilience with multi-radio diversity in wireless networks , 2005, MobiCom '05.

[45]  Jing Zhu,et al.  Adapting physical carrier sensing to maximize spatial reuse in 802.11 mesh networks , 2004, Wirel. Commun. Mob. Comput..

[46]  Bodhi Priyantha,et al.  The Cricket indoor location system , 2005 .

[47]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[48]  David Chase,et al.  Code Combining - A Maximum-Likelihood Decoding Approach for Combining an Arbitrary Number of Noisy Packets , 1985, IEEE Transactions on Communications.

[49]  Nitin H. Vaidya,et al.  Selecting transmit powers and carrier sense thresholds for CSMA protocols , 2004 .

[50]  L. Kleinrock,et al.  Packet Switching in Radio Channels: Part III - Polling and (Dynamic) Split-Channel Reservation Multiple Access , 1976, IEEE Transactions on Communications.

[51]  David Tse,et al.  Fundamentals of Wireless Communication , 2005 .

[52]  Bruce S. Davie,et al.  Computer Networks: A Systems Approach , 1996 .

[53]  J.R. Barry,et al.  Iterative timing recovery , 2004, IEEE Signal Processing Magazine.

[54]  Peter M. Asbeck,et al.  Multifunctional RF Transmitters for Next Generation Wireless Transceivers , 2007, 2007 IEEE International Symposium on Circuits and Systems.

[55]  Dina Katabi,et al.  Beyond the bits: cooperative packet recovery using physical layer information , 2007, MobiCom '07.

[56]  S. Kay Fundamentals of statistical signal processing: estimation theory , 1993 .

[57]  Robert Tappan Morris,et al.  ExOR: opportunistic multi-hop routing for wireless networks , 2005, SIGCOMM '05.

[58]  Floyd M. Gardner,et al.  Phaselock techniques , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[59]  Sergio Verdú,et al.  Minimum probability of error for asynchronous Gaussian multiple-access channels , 1986, IEEE Trans. Inf. Theory.

[60]  Roger Martinsen Koteng Evaluation of SDR-implementation of IEEE 802.15.4 Physical Layer , 2006 .

[61]  J. J. Garcia-Luna-Aceves,et al.  A near-optimum channel access protocol based on incremental collision resolution and distributed transmission queues , 1998, Proceedings. IEEE INFOCOM '98, the Conference on Computer Communications. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Gateway to the 21st Century (Cat. No.98.

[62]  Dipak L. Sengupta,et al.  History of Wireless , 2006 .

[63]  J. J. Garcia-Luna-Aceves,et al.  Solutions to hidden terminal problems in wireless networks , 1997, SIGCOMM '97.

[64]  Matt Welsh,et al.  MoteLab: a wireless sensor network testbed , 2005, IPSN '05.

[65]  Kyle Jamieson,et al.  Understanding the real-world performance of carrier sense , 2005, E-WIND '05.

[66]  Vaduvur Bharghavan,et al.  Robust rate adaptation for 802.11 wireless networks , 2006, MobiCom '06.

[67]  Jack K. Wolf,et al.  Efficient maximum likelihood decoding of linear block codes using a trellis , 1978, IEEE Trans. Inf. Theory.

[68]  Robert Tappan Morris,et al.  Link-level measurements from an 802.11b mesh network , 2004, SIGCOMM '04.

[69]  L. Litwin,et al.  Error control coding , 2001 .

[70]  Harry L. Van Trees,et al.  Detection, Estimation, and Modulation Theory, Part I , 1968 .

[71]  Luc Vandendorpe,et al.  Code-Aided Turbo Synchronization , 2007, Proceedings of the IEEE.

[72]  Edward W. Knightly,et al.  Opportunistic media access for multirate ad hoc networks , 2002, MobiCom '02.

[73]  T. J. Shepard Decentralized Channel Management in Scalable Multihop Spread-Spectrum Packet Radio Networks , 1995 .

[74]  Abbas Jamalipour,et al.  Wireless communications , 2005, GLOBECOM '05. IEEE Global Telecommunications Conference, 2005..

[75]  G. C.,et al.  Electricity and Magnetism , 1888, Nature.

[76]  J. J. Garcia-Luna-Aceves,et al.  Floor acquisition multiple access with collision resolution , 1996, MobiCom '96.

[77]  Leo Monteban,et al.  WaveLAN®-II: A high-performance wireless LAN for the unlicensed band , 1997, Bell Labs Technical Journal.

[78]  Vaduvur Bharghavan,et al.  MACAW: a media access protocol for wireless LAN's , 1994, SIGCOMM 1994.

[79]  Robert Tappan Morris,et al.  a high-throughput path metric for multi-hop wireless routing , 2003, MobiCom '03.

[80]  F. Jiang,et al.  Exploiting the capture effect for collision detection and recovery , 2005, The Second IEEE Workshop on Embedded Networked Sensors, 2005. EmNetS-II..

[81]  L. Kleinrock,et al.  Packet Switching in Radio Channels: Part I - Carrier Sense Multiple-Access Modes and Their Throughput-Delay Characteristics , 1975, IEEE Transactions on Communications.

[82]  Joachim Hagenauer,et al.  A Viterbi algorithm with soft-decision outputs and its applications , 1989, IEEE Global Telecommunications Conference, 1989, and Exhibition. 'Communications Technology for the 1990s and Beyond.

[83]  T. Hughes,et al.  Signals and systems , 2006, Genome Biology.

[84]  Umberto Mengali,et al.  Synchronization Techniques for Digital Receivers , 1997, Applications of Communications Theory.

[85]  Michael H. Perrott Techniques for high data rate modulation and low power operation of fractional-N frequency synthesizers , 1997 .

[86]  J. Metzner Improvements in Block-Retransmission Schemes , 1979, IEEE Trans. Commun..

[87]  Andrew T. Campbell,et al.  E-CSMA: Supporting Enhanced CSMA Performance in Experimental Sensor Networks Using Per-Neighbor Transmission Probability Thresholds , 2007, IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications.

[88]  P. Karn,et al.  MACA-a New Channel Access Method for Packet Radio , 1990 .

[89]  J. Heidemann,et al.  Experimental Analysis of Concurrent Packet Transmissions in Low-Power Wireless Networks , 2005 .

[90]  F. Gardner Interpolation in Digital Modems-Part I: Fundamentals , 2000 .

[91]  Joachim Hagenauer,et al.  Rate-compatible punctured convolutional codes (RCPC codes) and their applications , 1988, IEEE Trans. Commun..

[92]  J. J. Garcia-Luna-Aceves,et al.  Floor acquisition multiple access (FAMA) for packet-radio networks , 1995, SIGCOMM '95.

[93]  Andreas Polydoros,et al.  A Unified Approach to Serial Search Spread-Spectrum Code Acquisition - Part I: General Theory , 1984, IEEE Transactions on Communications.

[94]  Gerd Ascheid,et al.  On the Influence of Pilot Symbol and Data Symbol Positioning on Turbo Synchronization , 2007, 2007 IEEE 65th Vehicular Technology Conference - VTC2007-Spring.

[95]  David M. Mandelbaum,et al.  An adaptive-feedback coding scheme using incremental redundancy (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[96]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1988, CACM.

[97]  Hari Balakrishnan,et al.  Harnessing Exposed Terminals in Wireless Networks , 2008, NSDI.

[98]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[99]  Philip S. Yu,et al.  A Hybrid ARQ Scheme with Parity Retransmission for Error Control of Satellite Channels , 1982, IEEE Trans. Commun..

[100]  Ian F. Akyildiz,et al.  Wireless sensor networks , 2007 .

[101]  John S. Heidemann,et al.  An adaptive FEC code control algorithm for mobile wireless sensor networks , 2005, Journal of Communications and Networks.

[102]  Marco Conti,et al.  Dynamic tuning of the IEEE 802.11 protocol to achieve a theoretical throughput limit , 2000, TNET.

[103]  K. Mueller,et al.  Timing Recovery in Digital Synchronous Data Receivers , 1976, IEEE Trans. Commun..

[104]  Robert Tappan Morris,et al.  Capacity of Ad Hoc wireless networks , 2001, MobiCom '01.

[105]  Muriel Médard,et al.  Symbol-level network coding for wireless mesh networks , 2008, SIGCOMM '08.

[106]  Injong Rhee,et al.  Z-MAC: a hybrid MAC for wireless sensor networks , 2005, SenSys '05.

[107]  H. Balakrishnan,et al.  Mitigating congestion in wireless sensor networks , 2004, SenSys '04.

[108]  Xin Li,et al.  Reliability exchange schemes for iterative packet combining in distributed arrays , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[109]  Philip Levis,et al.  Understanding the causes of packet delivery success and failure in dense wireless sensor networks , 2006, SenSys '06.

[110]  M. Melamed Detection , 2021, SETI: Astronomy as a Contact Sport.

[111]  Joseph Mitola,et al.  The software radio architecture , 1995, IEEE Commun. Mag..