More Like this

1. Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations

   https://doi.org/10.1145/3453483.3454072  

   Renner, John; Sanchez-Stern, Alex; Brown, Fraser; Lerner, Sorin; Stefan, Deian (June 2021, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation)

   null (Ed.)

   Web applications often handle large amounts of sensitive user data. Modern secure web frameworks protect this data by (1) using declarative languages to specify security policies alongside database schemas and (2) automatically enforcing these policies at runtime. Unfortunately, these frameworks do not handle the very common situation in which the schemas or the policies need to evolve over time—and updates to schemas and policies need to be performed in a carefully coordinated way. Mistakes during schema or policy migrations can unintentionally leak sensitive data or introduce privilege escalation bugs. In this work, we present a domain-specific language (Scooter) for expressing schema and policy migrations, and an associated SMT-based verifier (Sidecar) which ensures that migrations are secure as the application evolves. We describe the design of Scooter and Sidecar and show that our framework can be used to express realistic schemas, policies, and migrations, without giving up on runtime or verification performance. 

   more » « less
2. Dynamically Adapting Page Migration Policies Based on Applications’ Memory Access Behaviors

   https://doi.org/10.1145/3444750  

   Adavally, Shashank; Islam, Mahzabeen; Kavi, Krishna (April 2021, ACM Journal on Emerging Technologies in Computing Systems)

   There have been numerous studies on heterogeneous memory systems comprised of faster DRAM (e.g., 3D stacked HBM or HMC) and slower non-volatile memories (e.g., PCM, STT-RAM). However, most of these studies focused on static policies for managing data placement and migration among the different memory devices. These policies are based on the average behavior across a range of applications. Results show that these techniques do not always result in higher performance when compared to systems that do not migrate data across the devices: some applications show performance gains, but other applications show performance losses. It is possible to utilize offline analyses to identify which applications benefit from page migration (migration friendly) and use page migration only with those applications. However, we observed that several applications exhibit both migration friendly and migration unfriendly behaviors during different phases of execution supporting a need for adaptive page migration techniques. We introduce and evaluate techniques that dynamically adapt to the behavior of applications and either reduce or increase migrations, or even halt migrations. Our adaptive techniques show performance gains for both migration friendly (on average of 81% over no migrations) and unfriendly workloads (by an average of 3%): it should be remembered that previous migration techniques resulted in performance losses for unfriendly workloads. 

   more » « less
3. A Preliminary Study of Compiler Transformations for Graph Applications on the Emu System

   Chatarasi, Prasanth; Sarkar, Vivek (January 2018, MCHPC'18: Proceedings of the Workshop on Memory Centric High Performance Computing)

   Unlike dense linear algebra applications, graph applications typically suffer from poor performance because of 1) inefficient utilization of memory systems through random memory accesses to graph data, and 2) overhead of executing atomic operations. Hence, there is a rapid growth in improving both software and hardware platforms to address the above challenges. One such improvement in the hardware platform is a realization of the Emu system, a thread migratory and near-memory processor. In the Emu system, a thread responsible for computation on a datum is automatically migrated over to a node where the data resides without any intervention from the programmer. The idea of thread migrations is very well suited to graph applications as memory accesses of the applications are irregular. However, thread migrations can hurt the performance of graph applications if overhead from the migrations dominates benefits achieved through the migrations. In this preliminary study, we explore two high-level compiler optimizations, i.e., loop fusion and edge flipping, and one low-level compiler transformation leveraging hardware support for remote atomic updates to address overheads arising from thread migration, creation, synchronization, and atomic operations. We performed a preliminary evaluation of these compiler transformations by manually applying them on three graph applications over a set of RMAT graphs from Graph500.---Conductance, Bellman-Ford's algorithm for the single-source shortest path problem, and Triangle Counting. Our evaluation targeted a single node of the Emu hardware prototype, and has shown an overall geometric mean reduction of 22.08% in thread migrations. 

   more » « less
4. Mechanistic movement models identify continuously updated autumn migration cues in Arctic caribou

   https://doi.org/10.1186/s40462-021-00288-0  

   Cameron, Matthew D.; Eisaguirre, Joseph M.; Breed, Greg A.; Joly, Kyle; Kielland, Knut (December 2021, Movement Ecology)

   Abstract Background Migrations in temperate systems typically have two migratory phases, spring and autumn, and many migratory ungulates track the pulse of spring vegetation growth during a synchronized spring migration. In contrast, autumn migrations are generally less synchronous and the cues driving them remain understudied. Our goal was to identify the cues that migrants use in deciding when to initiate migration and how this is updated while en route . Methods We analyzed autumn migrations of Arctic barren-ground caribou ( Rangifer tarandus ) as a series of persistent and directional movements and assessed the influence of a suite of environmental factors. We fitted a dynamic-parameter movement model at the individual-level and estimated annual population-level parameters for weather covariates on 389 individual-seasons across 9 years. Results Our results revealed strong, consistent effects of decreasing temperature and increasing snow depth on migratory movements, indicating that caribou continuously update their migratory decision based on dynamic environmental conditions. This suggests that individuals pace migration along gradients of these environmental variables. Whereas temperature and snow appeared to be the most consistent cues for migration, we also found interannual variability in the effect of wind, NDVI, and barometric pressure. The dispersed distribution of individuals in autumn resulted in diverse environmental conditions experienced by individual caribou and thus pronounced variability in migratory patterns. Conclusions By analyzing autumn migration as a continuous process across the entire migration period, we found that caribou migration was largely related to temperature and snow conditions experienced throughout the journey. This mechanism of pacing autumn migration based on indicators of the approaching winter is analogous to the more widely researched mechanism of spring migration, when many migrants pace migration with a resource wave. Such a similarity in mechanisms highlights the different environmental stimuli to which migrants have adapted their movements throughout their annual cycle. These insights have implications for how long-distance migratory patterns may change as the Arctic climate continues to warm. 

   more » « less
5. Primed and cued: long-term acoustic telemetry links interannual and seasonal variations in freshwater flows to the spawning migrations of Common Snook in the Florida Everglades

   https://doi.org/10.1186/s40462-022-00350-5  

   Massie, Jordan A.; Santos, Rolando O.; Rezek, Ryan J.; James, W. Ryan; Viadero, Natasha M.; Boucek, Ross E.; Blewett, David A.; Trotter, Alexis A.; Stevens, Philip W.; Rehage, Jennifer S. (December 2022, Movement Ecology)

   Abstract Background Spawning migrations are a widespread phenomenon among fishes, often occurring in response to environmental conditions prompting movement into reproductive habitats (migratory cues). However, for many species, individual fish may choose not to migrate, and research suggests that conditions preceding the spawning season (migratory primers) may influence this decision. Few studies have provided empirical descriptions of these prior conditions, partly due to a lack of long-term data allowing for robust multi-year comparisons. To investigate how primers and cues interact to shape the spawning migrations of coastal fishes, we use acoustic telemetry data from Common Snook ( Centropomus undecimalis ) in Everglades National Park, Florida, USA. A contingent of Snook migrate between rivers and coastal spawning sites, varying annually in both the proportion of the population that migrates and the timing of migration within the spawning season. However, the specific environmental factors that serve as migratory primers and cues remain unknown. Methods We used eight years of acoustic telemetry data (2012–2019) from 173 tagged Common Snook to investigate how primers and cues influence migratory patterns at different temporal scales. We hypothesize that (1) interannual differences in hydrologic conditions preceding the spawning season contribute to the number of individuals migrating each year, and (2) specific environmental cues trigger the timing of migrations during the spawning season. We used GLMMs to model both the annual and seasonal migratory response in relation to flow characteristics (water level, rate of change in water level), other hydrologic/abiotic conditions (temperature, salinity), fish size, and phenological cues independent of riverine conditions (photoperiod, lunar cycle). Results We found that the extent of minimum marsh water level prior to migration and fish size influence the proportion of Snook migrating each year, and that high river water level and daily rates of change serve as primary cues triggering migration timing. Conclusion Our findings illustrate how spawning migrations are shaped by environmental factors acting at different temporal scales and emphasize the importance of long-term movement data in understanding these patterns. Research providing mechanistic descriptions of conditions that promote migration and reproduction can help inform management decisions aimed at conserving ecologically and economically important species. 

   more » « less