Lower Bounds for Shared-Memory Leader Election Under Bounded Write Contention

This paper gives tight logarithmic lower bounds on the solo step complexity of leader election in an asynchronous shared-memory model with single-writer multi-reader (SWMR) registers, for both deterministic and randomized obstruction-free algorithms. The approach extends to lower bounds for deterministic and randomized obstruction-free algorithms using multi-writer registers under bounded write concurrency, showing a trade-off between the solo step complexity of a leader election algorithm, and the worst-case number of stalls incurred by a processor in an execution

Chapter One – An Overview of Architecture-Level Power- and Energy-Efficient Design Techniques

Power dissipation and energy consumption became the primary design constraint for almost all computer systems in the last 15 years. Both computer architects and circuit designers intent to reduce power and energy (without a performance degradation) at all design levels, as it is currently the main obstacle to continue with further scaling according to Moore's law. The aim of this survey is to provide a comprehensive overview of power- and energy-efficient “state-of-the-art” techniques. We classify techniques by component where they apply to, which is the most natural way from a designer point of view. We further divide the techniques by the component of power/energy they optimize (static or dynamic), covering in that way complete low-power design flow at the architectural level. At the end, we conclude that only a holistic approach that assumes optimizations at all design levels can lead to significant savings.Peer ReviewedPostprint (published version

Questions related to Bitcoin and other Informational Money

A collection of questions about Bitcoin and its hypothetical relatives Bitguilder and Bitpenny is formulated. These questions concern technical issues about protocols, security issues, issues about the formalizations of informational monies in various contexts, and issues about forms of use and misuse. Some questions are formulated in the more general setting of informational monies and near-monies. We also formulate questions about legal, psychological, and ethical aspects of informational money. Finally we formulate a number of questions concerning the economical merits of and outlooks for Bitcoin.Comment: 31 pages. In v2 the section on patterns for use and misuse has been improved and expanded with so-called contaminations. Other small improvements were made and 13 additional references have been include

Survey on Combinatorial Register Allocation and Instruction Scheduling

Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the last three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial optimization approaches can deliver optimal solutions according to a model, can precisely capture trade-offs between conflicting decisions, and are more flexible at the expense of increased compilation time. This paper provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling, with a focus on the techniques that are most applied in this context: integer programming, constraint programming, partitioned Boolean quadratic programming, and enumeration. Researchers in compilers and combinatorial optimization can benefit from identifying developments, trends, and challenges in the area; compiler practitioners may discern opportunities and grasp the potential benefit of applying combinatorial optimization

SATDBailiff- Mining and Tracking Self-Admitted Technical Debt

Self-Admitted Technical Debt (SATD) is a metaphorical concept to describe the self-documented addition of technical debt to a software project in the form of source code comments. SATD can linger in projects and degrade source-code quality, but it can also be more visible than unintentionally added or undocumented technical debt. Understanding the implications of adding SATD to a software project is important because developers can benefit from a better understanding of the quality trade-offs they are making. However, empirical studies, analyzing the survivability and removal of SATD comments, are challenged by potential code changes or SATD comment updates that may interfere with properly tracking their appearance, existence, and removal. In this paper, we propose SATDBailiff, a tool that uses an existing state-of-the-art SATD detection tool, to identify SATD in method comments, then properly track their lifespan. SATDBailiff is given as input links to open source projects, and its output is a list of all identified SATDs, and for each detected SATD, SATDBailiff reports all its associated changes, including any updates to its text, all the way to reporting its removal. The goal of SATDBailiff is to aid researchers and practitioners in better tracking SATDs instances, and providing them with a reliable tool that can be easily extended. SATDBailiff was validated using a dataset of previously detected and manually validated SATD instances. SATDBailiff is publicly available as an open source, along with the manual analysis of SATD instances associated with its validation, on the project website

Perceptive responses and familiar staff facilitate meaningful engagement of older adults and family/care partners in long-term care home implementation science research during COVID-19

A novel registered practical nurse-led video conferencing approach using PIECESTM for team-based care planning was developed to engage family/care partners in the care of older adults. The objectives were to: (a) explore the experiences of older adults and family/care partners in collaborating in implementation science research in long-term care (LTC); (b) identify facilitators and barriers to engaging older adults and family/care partners in implementation science research; and (c) share recommendations to support the engagement of older adults and family/care partners in research. A qualitative descriptive design was used. Two older adults and two family/care partners from two Canadian LTC homes were involved in the research. Data, comprised of interviews with older adults and family/care partners, and notes from research team meetings, were analyzed using thematic analysis. Older adults and family/care partners perceived they made valuable contributions to the research project. They expressed beliefs that care delivery required improvements for older adults with responsive behaviours in LTC, which served as motivation to participate in the research project. Facilitating factors included the support of familiar LTC staff for older adults to engage in research activities and understanding the value of PIECES. A barrier to engagement for older adults was research terminology and processes described during team meetings. This research highlighted taken-for-granted factors in a collaborative research endeavour with older adults and family/care partners. One-on-one interaction, follow-up \u27reporting\u27 and presence of familiar LTC staff are needed to support meaningful engagement of older adults and family/care partners in research. Experience Framework This article is associated with the Innovation & Technology lens of The Beryl Institute Experience Framework (https://theberylinstitute.org/experience-framework/). Access other PXJ articles related to this lens. Access other resources related to this lens

The Neptune Theatre: A Case Study

The Neptune Theatre, formerly known as the U-Neptune Theatre, was one of five neighborhood theaters constructed in the University District during the silent film era (1919 - 1921). This period, the 1920s, was “Seattle’s most active decade” of theater construction (Flom, 2001). Today, the Neptune remains as the last standing survivor of those venues still in operation a hundred years later. Still owned by descendants of the original family and now leased and operated by the Seattle Theatre Group (STG), this venue hosts artists and events ranging from David Crosby concerts to a Welcome to Nightvale live podcast performance; from a Macklemore guest appearance (Matson, 2012) to the annual Nights at the Neptune and Youth Speaks series. It remains one of Seattle’s premiere hot spots for concerts, film screenings, spoken word and dance showcases, and performances by touring musical legends and community youth alike. In our current environment of constrained resources, fiscal scrutiny, monotonous modern construction, and a movement towards historical stewardship and adaptive reuse, it is vital to develop a familiarity with exemplary facilities that embody long-term success by exploring and analyzing their leadership, design, operation, maintenance, and capitalization strategies, which have contributed to their ongoing survival and flourishment. By doing so, we can learn ways to extend the functional lifespan of well-maintained, unique, relevant, and community-engaged arts venues

Ordering the City : Revolution, Modernity and Road Renaming in Shanghai, 1949–1966

Between 1949 and 1966, the Chinese Communist Party (CCP)-led municipal government of Shanghai renamed more than one in seven of the city’s roads. Renaming was an important marker of revolutionary change in China’s largest and most foreign-influenced city. Road renaming in socialist China has been commonly understood to have been extensive. This article argues, however, that the nature and extent of renaming in socialist Shanghai was less dramatic than has been assumed. It demonstrates that renaming was not simply an iconoclastic process, but rather involved the pragmatic weighing of symbolic change against potential disruption. Further, it contends that renaming was driven by a desire to order the city, in line with the CCP’s modernist worldview