User:Agebhard

Weekly Logs

Week 1 (6/1 - 6/5)

• Attended Data Science Bootcamp
• Met daily with Dr. Brylow, Alex R., John A., and Rade L. to discuss project ideas for this summer
• Read the following papers
  • Using Embedded Xinu and the Raspberry Pi 3 to Teach Operating Systems (not yet published)
  • Using Embedded Xinu and the Raspberry Pi 3 to Teach Parallel Computing in Assembly Programming
  • XinuPi3: Teaching Multicore Concepts Using Embedded Xinu
• Attended Dr. Brylow’s talk on good research practices
• Worked on fixing the mailbox system in Xinu for homework assignment #9

Week 2 (6/8 - 6/12)

• Completed 3 CITI Sessions for RCR
• Attended Dr. Brylow's RCR Training
• Attended Dr. Brylow's Technical Writing discussion
• Read most of the xv6 O/S book
  • Looked into how xv6 uses locks and synchronization primitives
• Read the following papers
  • Implementing Lock-Free Queues
  • A Lock-Free Multiprocessor OS Kernel
• Continued to work on fixing the mailbox system in Xinu for homework assignment #9
  • I would like to discuss this more with the team next week

Week 3 (6/15 - 6/19)

• Looked into core atomic operation we need in Xinu
• Submitted a PR for a race condition semalloc
• Audited the use of synchronization primitives in Xinu
• Read the following papers
  • Wait-Free Synchronization
  • Teaching Operating Systems Using Code Review
  • Xest: an automated framework for regression testing of embedded software
  • Hands-on networking labs with embedded routers
• Weekly Xinu Team Meetings
• Met with Dr. Brylow, John A, and Rade L to discuss the Wait-Free Synchronization paper

Week 4 (6/22 - 6/26)

• Attempted to implement a lock-free array-based queue in XINU
• Submitted a PR for general code cleanup in various areas of XINU
• Worked on draft of presentation to give next week to fellow REU students
• Read the following papers
  • Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
  • (Dis)Advantages of Lock-free Synchronization Mechanisms for Multicore Embedded Systems
  • Efficient agglomerative hierarchical clustering
• Weekly Xinu Team Meetings
• Weekly REU Meeting

Week 5 (6/29 - 5/3)

• Created presentation to give to fellow REU students and mentors regarding my current progress
  • Delivered this presentation on Wednesday 5/1
• Researched implementing a dynamic lock-free linked list based queue by Maged Michael and Michael Scott
  • Ran into issues with memory reclamation
• Read the following papers
  • Simple, fast, and practical non-blocking and blocking concurrent queue algorithms
  • Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects
  • Chapters 5 and 6 of xv6: a simple, Unix-like teaching operating system
• Weekly Xinu Team Meetings