Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Bacchus and Civic Order: The Culture of Drink in Early Modern Germany / Bacchus und die bürgerliche Ordnung. Die Kultur des Trinkens im frühneuzeitlichen Augsburg

Lining the streets inside the city's gates, clustered in its center, and thinly scattered among its back quarters were Augsburg's taverns and drinking rooms. These institutions ranged from the poorly lit rooms of backstreet wine sellers to the elaborate marble halls frequented by society's most privileged members. Urban drinking rooms provided more than food, drink, and lodging for their guests. They also conferred upon their visitors a sense of social identity commensurate with their status. Like all German cities, Augsburg during the sixteenth and seventeenth centuries had a history shaped by the political events attending the Reformation, the post-Reformation, and the Thirty Years' War; its social and political character was also reflected and supported by its public and private drinking rooms. In Bacchus and Civic Order: The Culture of Drink in Early Modern Germany, Ann Tlusty examines the social and cultural functions served by drinking and tavern life in Germany between 1500 and 1700, and challenges existing theories about urban identity, sociability, and power. Through her reconstruction of the social history of Augsburg, from beggars to council members, Tlusty also sheds light on such diverse topics as social ritual, gender and household relations, medical practice, and the concerns of civic leaders with public health and poverty. Drunkenness, dueling, and other forms of tavern comportment that may appear "disorderly" to us today turn out to be the inevitable, even desirable result of a society functioning according to its own rules.