Higher levels of process synchronisation

Four new synchronisation primitives (SEMAPHOREs, RESOURCEs, EVENTs and BUCKETs) were introduced in the KRoC 0.8beta release of occam for SPARC (SunOS/Solaris) and Alpha (OSF/1) UNIX workstations [1][2][3]. This paper reports on the rationale, application and implementation of two of these (SEMAPHOREs and EVENTs). Details on the other two may be found on the web [4]. The new primitives are designed to support higher-level mechanisms of SHARING between parallel processes and give us greater powers of expression. They will also let greater levels of concurrency be safely exploited from future parallel architectures, such as those providing (virtual) shared-memory. They demonstrate that occam is neutral in any debate between the merits of message-passing versus shared-memory parallelism, enabling applications to take advantage of whichever paradigm (or mixture of paradigms) is the most appropriate. The new primitives could be (but are not) implemented in terms of traditional channels, but only at the expense of increased complexity and computational overhead. The primitives are immediately useful even for uni-processors - for example, the cost of a fair ALT can be reduced from O(n) to O(1). In fact, all the operations associated with new primitives have constant space and time complexities; and the constants are very low. The KRoC release provides an Abstract Data Type interface to the primitives. However, direct use of such mechanisms still allows the user to misuse them. They must be used in the ways prescribed (in this paper and in [4]) else their semantics become unpredictable. No tool is provided to check correct usage at this level. The intention is to bind those primitives found to be useful into higher level versions of occam. Some of the primitives (e.g. SEMAPHOREs) may never themselves be made visible in the language, but may be used to implement bindings of higher-level paradigms (such as SHARED channels and BLACKBOARDs). The compiler will perform the relevant usage checking on all new language bindings, closing the security loopholes opened by raw use of the primitives. The paper closes by relating this work with the notions of virtual transputers, microcoded schedulers, object orientation and Java threads

Application of the finite element method to problems in fracture mechanics

Numerical techniques have been finding increasing use in all aspects of fracture mechanics, and often provide the only means for analyzing fracture problems. The work presented here, is concerned with the application of the finite element method to cracked structures. The present work was directed towards the establishment of a comprehensive two-dimensional finite element, linear elastic, fracture analysis package. Significant progress has been made to this end, and features which can now be studied include multi-crack tip mixed-mode problems, involving partial crack closure. The crack tip core element was refined and special local crack tip elements were employed to reduce the element density in the neighbourhood of the core region. The work builds upon experience gained by previous research workers and, as part of the general development, the program was modified to incorporate the eight-node isoparametric quadrilateral element. Also. a more flexible solving routine was developed, and provided a very compact method of solving large sets of simultaneous equations, stored in a segmented form. To complement the finite element analysis programs, an automatic mesh generation program has been developed, which enables complex problems. involving fine element detail, to be investigated with a minimum of input data. The scheme has proven to be versati Ie and reasonably easy to implement. Numerous examples are given to demonstrate the accuracy and flexibility of the finite element technique

COVID-19 and the difficulty of inferring epidemiological parameters from clinical data

Knowing the infection fatality ratio (IFR) is of crucial importance for evidence-based epidemic management: for immediate planning; for balancing the life years saved against the life years lost due to the consequences of management; and for evaluating the ethical issues associated with the tacit willingness to pay substantially more for life years lost to the epidemic, than for those to other diseases. Against this background Verity et al. (2020, Lancet Infections Diseases) have rapidly assembled case data and used statistical modelling to infer the IFR for COVID-19. We have attempted an in-depth statistical review of their approach, to identify to what extent the data are sufficiently informative about the IFR to play a greater role than the modelling assumptions, and have tried to identify those assumptions that appear to play a key role. Given the difficulties with other data sources, we provide a crude alternative analysis based on the Diamond Princess Cruise ship data and case data from China, and argue that, given the data problems, modelling of clinical data to obtain the IFR can only be a stop-gap measure. What is needed is near direct measurement of epidemic size by PCR and/or antibody testing of random samples of the at risk population.Comment: Version accepted by the Lancet Infectious Diseases. See previous version for less terse presentatio

Basin bifurcations, oscillatory instability and rate-induced thresholds for AMOC in a global oceanic box model

The Atlantic Meridional Overturning Circulation (AMOC) transports substantial amounts of heat into the North Atlantic sector, and hence is of very high importance in regional climate projections. The AMOC has been observed to show multi-stability across a range of models of different complexity. The simplest models find a bifurcation associated with the AMOC `on' state losing stability that is a saddle node. Here we study a physically derived global oceanic model of Wood {\em et al} with five boxes, that is calibrated to runs of the FAMOUS coupled atmosphere-ocean general circulation model. We find the loss of stability of the `on' state is due to a subcritical Hopf for parameters from both pre-industrial and doubled CO${}_2$ atmospheres. This loss of stability via subcritical Hopf bifurcation has important consequences for the behaviour of the basin of attraction close to bifurcation. We consider various time-dependent profiles of freshwater forcing to the system, and find that rate-induced thresholds for tipping can appear, even for perturbations that do not cross the bifurcation. Understanding how such state transitions occur is important in determining allowable safe climate change mitigation pathways to avoid collapse of the AMOC.Comment: 18 figure

How the Cervical Microbiota Contributes to Cervical Cancer Risk in Sub-Saharan Africa

Despite ongoing efforts, sub-Saharan Africa faces a higher cervical cancer burden than anywhere else in the world. Besides HPV infection, definitive factors of cervical cancer are still unclear. Particular states of the cervicovaginal microbiota and viral infections are associated with increased cervical cancer risk. Notably, HIV infection, which is prevalent in sub-Saharan Africa, greatly increases risk of cervicovaginal dysbiosis and cervical cancer. To better understand and address cervical cancer in sub-Saharan Africa, a better knowledge of the regional cervicovaginal microbiome is required This review establishes current knowledge of HPV, HIV, cervicovaginal infections, and the cervicovaginal microbiota in sub-Saharan Africa. Because population statistics are not available for the region, estimates are derived from smaller cohort studies. Microbiota associated with cervical inflammation have been found to be especially prevalent in sub-Saharan Africa, and to associate with increased cervical cancer risk. In addition to high prevalence and diversity of HIV and HPV, intracellular bacterial infections such as Chlamydia, Gonorrhea, and Mycoplasma hominis are much more common than in regions with a low burden of cervical cancer. This suggests the prevalence of cervical cancer in sub-Saharan Africa may be partially attributed to increased cervical inflammation resulting from higher likelihood of cervical infection and/or microbial dysbiosis

Report of the panel on volcanology, section 4

Two primary goals are identified as focal to NASA's research efforts in volcanology during the 1990s: to understand the eruption of lavas, gases, and aerosols from volcanoes, the dispersal of these materials on the Earth's surface and through the atmosphere, and the effects of these eruptions on the climate and environment; and to understand the physical processes that lead to the initiation of volcanic activity, that influence the styles of volcanic eruptions, and that dictate the morphology and evolution of volcanic landforms. Strategy and data requirements as well as research efforts are discussed

Be stars in and around young clusters in the Magellanic Clouds

We present the results of a search for Be stars in six fields centered on the young clusters NGC 330 and NGC 346 in the SMC, and NGC 1818, NGC 1948, NGC 2004 and NGC 2100 in the LMC. Be stars were identified by differencing R band and narrow-band Hα CCD images. Our comparatively large images provide substantial Be star populations both within the clusters and in their surrounding fields. Magnitudes, positions and finding charts are given for the 224 Be stars found. The fraction of Be stars to normal B stars within each cluster is found to vary significantly although the average ratio is similar to the average Be to B star ratio found in the Galaxy. In some clusters, the Be star population is weighted to magnitudes near the main sequence turn-off. The Be stars are redder in V-I than normal main-sequence stars of similar magnitude and the redness increases with increasing Hα emission strength

Comparative study of hormonal counterregulation during GCIIS-guided hypoglycemia tests using human Proinsulin and Human Insulin (recombinant DNA)

Schlechte Scanvorlage