System support for distributed, reliable and personal computing

该研究计划的长期目标是改善系统软件对人们日常使用的应用程序和服务的支持，使系统更加可靠和安全，使系统更易于构建和维护，并简化和增强用户在管理其使用的系统和管理其存储的数据方面的角色。第一个目标是在拥塞的802.11无线网络中提高性能并确保公平性。我们将开发一个系统，在无线流量通过网络的有线部分的路由器时进行监控，并通过限制有线网络发送到共享重叠空域的节点的总带宽来缓解无线网络中的拥堵。第二个目标是继续开发一种新的程序理解和调试方法，其中用户通过检查执行历史来执行这些任务。该系统收集和存储大量高保真的系统执行痕迹，并提供一套基于语言语义的查询工具来检查和处理这些历史。第三个目标是为现代个人计算环境构建一种新型的存储系统，在这种环境中，用户可以访问从电话、计算机到网络服务等大量异类设备上的重叠数据集。该系统将为用户提供他们存储在任何设备上的每个对象的单一联合视图，并将使用该视图来确保在设备之间复制对象时保留对象的身份，并确保在修改对象时保持其一致性。

The long-term objective of this research program is to improve system-software support for applications and services that people use on a daily basis, to make systems more reliable and secure, to make them easier to build and maintain, and to simplify and empower the user's role in administering the systems they use and in managing the data they store.The first objective is to improve performance and ensure fairness in congested 802.11 wireless networks. We will develop a system that monitors wireless traffic as it traverses a router in the wired part of the network and that alleviates congestion in the wireless network by limiting the aggregate bandwidth the wired network sends to nodes that share overlapping airspace. The second objective is to continue to develop a novel approach to program understanding and debugging in which users perform these tasks by examining execution histories. The system collects and stores vast, high-fidelity traces of system execution and provides a set of language-semantic-based query tools for examining and manipulating this history.The third objective is to build a new type of storage system for modern, personal computing environments in which users access an overlapping set of data on a large number of heterogeneous devices ranging from phones, to computers, to network services. This system will provide users with a single, confederated view of every object they store on any device and will use this view to ensure that an object's identity is preserved when it is copied among devices and that its consistency is preserved when it is modified.