An official website of the United States government
Go is a young programming language invented to build safe and efficient concurrent programs. It provides goroutines as lightweight threads and channels for inter-goroutine communication. Programmers are encouraged to explicitly pass messages through channels to connect goroutines, with the purpose of reducing the chance of making programming mistakes and introducing concurrency bugs. Go is one of the most beloved programming languages and has already been used to build many critical infrastructure software systems in the data-center environment. However, a recent study shows that channel-related concurrency bugs are still common in Go programs, severely hurting the reliability of the programs. This paper presents GFuzz, a dynamic detector that can effectively pinpoint channel-related concurrency bugs by mutating the processing orders of concurrent messages. We build GFuzz in three steps. We first adopt an effective approach to identify concurrent messages and transform a program to process those messages in any given order. We then take a fuzzing approach to generate new processing orders by mutating exercised ones and rely on execution feedback to prioritize orders close to triggering bugs. Finally, we design a runtime sanitizer to capture triggered bugs that are missed by the Go runtime. We evaluate GFuzz on seven popular Go software systems, including Docker, Kubernetes, and gRPC. GFuzz finds 184 previously unknown bugs and reports a negligible number of false positives. Programmers have already confirmed 124 reports as real bugs and fixed 67 of them based on our reporting. A careful inspection of the detected concurrency bugs from gRPC shows the effectiveness of each component of GFuzz and confirms the components' rationality.
more »
« less
Gatekeepers to broadening participation in engineering: Investigating variation across high schools comparing who could go versus who does go into engineering
- Award ID(s):
- 1647928
- PAR ID:
- 10081756
- Date Published:
- Journal Name:
- Proceedings of the 125th Annual Conference of the American Society for Engineering Education
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Does emphasizing the role of people in engineering influence the memorability of engineering content? This study is part of a larger project through which our team developed a new undergraduate energy course to better reflect students’ cultures and lived experiences through asset-based pedagogies to help students develop a sociotechnical mindset in engineering problem solving. In this study, students in the class were invited to participate in semi-structured interviews (n=5) to explore our effectiveness in helping them develop a sociotechnical mindset around energy issues and conceptualize engineering as a sociotechnical endeavor. This study focuses on an activity during the interview where the participants were asked to sort a variety of images associated with class learning experiences along a spectrum of least to most memorable. Emergent themes from students’ responses revolved around learning experiences that included global perspectives and emphasized a “who” (i.e., whose problems, who is impacted by engineering, and what type of engineers the students will choose to become) as the most memorable. Our results indicate that students found the sociotechnical aspects of the course more memorable than the traditional canonical engineering content. These findings suggest that framing engineering content as sociotechnical can be one strategy to increase student engagement, increase memorability of lessons, and help students to think more deeply about their own goals as future engineers.more » « less
-
Abstract Background Opioid-related overdose death is a public health epidemic in much of the USA, yet little is known about how people who use opioids (PWUO) experience overdose deaths in their social networks. We explore these experiences through a qualitative study of opioid-related overdose death bereavement among PWUO. Methods We recruited 30 adults who inject opioids from a syringe service program in the Midwestern USA and interviewed them using a semi-structured guide that addressed experiences of opioid use, opioid-related overdose, and overdose reversal via the medication naloxone. Interviews were transcribed verbatim and analyzed thematically. Findings Participants described overdose death as ever-present in their social worlds. Most (approximately 75%) reported at least one overdose death in their social network, and many came to consider death an inevitable end of opioid use. Participants described grief shaped by complex social relations and mourning that was interrupted due to involvement with social services and criminal legal systems. They also reported several ways that overdose deaths influenced their drug use, with some increasing their use and others adopting safer drug use practices. Despite the high prevalence of overdose deaths in their social networks, only one participant reported receiving grief support services. Discussion Findings underscore the need for interventions that not only maintain life, such as naloxone distribution, but also improve quality of life by attending to grief related to overdose death bereavement. We discuss policies and practices with the potential to address the unique psychological, social, and structural challenges of grief for this population.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- The DOI is not currently available.
