WCET analysis considering contention on memory bus in COTS-based multicores

The usage of COTS-based multicores is becoming widespread in the field of embedded systems. Providing realtime guarantees at design-time is a pre-requisite to deploy real-time systems on these multicores. This necessitates the consideration of the impact of the contention due to shared low-level hardware resources on the Worst-Case Execution Time (WCET) of the tasks. As a step towards this aim, this paper first identifies the different factors that make the WCET analysis a challenging problem in a typical COTS-based multicore system. Then, we propose and prove, a mathematically correct method to determine tight upper bounds on the WCET of the tasks, when they are co-scheduled on different cores.

Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Voyage de Jean de Mandeville, Roman de Fauvel, par Gervais Du Bus, et pièces diverses.

Contient : « Le livre des parties d'Oultre mer, lequel fu fait, ordonné et compilé par honorable et vaillant seigneur Jehan de Mandeville... Escript (fol. 62) par moy, Ogier de Caumont, en la cité de Liege, et finy le penultieme jour de juillet l'an mil CCC IIIIxx??? et XVI. » Cf. R. Röhricht, Bibliotheca geographica Palestinae, p. 79 ; On lit : « Hunc librum acquisivit monasterio Sancti Victoris prope Parisius frater Johannes Lamasse, dum esset prior ejusdem ecclesie. Scriptum anno Domini 1424 » ; Prière à la Vierge ; « Dit de la rose », pièce en l'honneur de la Vierge ; Les peines de l'enfer ; « Scriptum quoddam super degradatione et combustione quorumdam fratrum ordinis Predicatorum, qui... opinionem suam ab ecclesia damnata de conceptione purissime Virginis matris Domini Jhesu deffendere nitebantur... Actum anno Domini millesimo quingentesimo nono. » Cf. Du Boulay, Historia Universitatis Parisiensis, t. VI, p. 45 ; Pater Noster et Ave Maria, en vers ; Vers sur le plaisir de boire. « Ad primum morsum, nisi potavero mort sum... » (15 vers) ; « Statutum sacre facultatis Theologie studii Parisiensis super materia conceptionis immaculate gloriosissime Virginis... » (1497) ; Paraphrase, en vers français, de l'Ave maris stella ; « Clericus sic ethimologizatur : Per c intelligitur quod sit clarus... » ; « Almalarius (sic), qui loquitur de duobus ebdomadis passionis Christi. Due ebdomade passionis Christi significant duo tempora ante legem et sub lege... » ; Explications, en latin, du Pater et du Credo. « Elegit Dominus Deus noster Jhesus Christus septem apostolos... » ; « Tabula fidei christiane. Septem virtutes principales : fides, spes... » ; Notes de comput. « Ad habendum ciclum solarem, secundum Gallandum, sive litteram dominicalem... » ; Prière à la Vierge ; « La deputaison » ou « le mireur du corps et de l'ame. Une grant vision est en ce livre escripte... » ; Prières à la Vierge ; I ; II ; III ; Note relative à « Jehan Le Mire, jadis trésorier des guerres » (1339) ; La maison de sapience ; Poème moral sur la mort du Christ ; Vers latins, en l'honneur de S. Jean-Baptiste ; « Missa pro evitanda mortalitate, quam dominus papa Clemens sextus constituit et fecit... » ; « Le Testament maistre Jehan de Meun. » Cf. Histoire littéraire, t. XXVIII (1880), p. 416 (art. de P. Paris) ; Roman de Fauvel, par Gervais Du Bus. Cf. Histoire littéraire, t. XXXII (1898), p. 108 (art. de M. G. Paris) ; Vers latins contre les femmes ; Autre pièce contre les femmes ; Autre pièce sur les femmes. « Se j'avoye une fame qui ne me mentist point... » ; Prière. « Doulx Diex, qui es sans fin et sans initium... » ; « Les heures de la Croiz [en vers], ausquellez le pape Jehan XXII donna i an ex xl jours de vray pardon à quelconque persone, qui par devocion dira ceste office du mistère de la Passion Jhesu Crist » ; Prière à la Vierge

Personal soundtracks on public transit : personal listening devices and socio-spatial negotiations of students' bus journeys

One way of exploring the power of sound in the experience and constitution of space is through the phenomenon of personal listening devices (PLDs) in public environments. In this thesis, I draw from in-depth interviews with eleven Brock University students in S1. Catharines, Ontario, to show how PLDs (such as MP3 players like the iPod) are used to create personalized soundscapes and mediate their public transit journeys. I discuss how my interview participants experience the space-time of public transit, and show how PLDs are used to mediate these experiences in acoustic and non-acoustic ways. PLD use demonstrates that acoustic and environmental experiences are co-constitutive, which highlights a kinaesthetic quality of the transit-space. My empirical findings show that PLDs transform space, particularly by overlapping public and private appropriations of the bus. I use these empirical findings to discuss the PLD phenomenon in the theoretical context of spatiality, and more specifically, acoustic space. J develop the ontological notion of acoustic space, stating that space shares many of the properties of sound, and argue that sound is a rich epistemological tool for understanding and explaining our everyday experiences.

The berth allocation problem at port terminals : a column generation framework

Le problème d'allocation de postes d'amarrage (PAPA) est l'un des principaux problèmes de décision aux terminaux portuaires qui a été largement étudié. Dans des recherches antérieures, le PAPA a été reformulé comme étant un problème de partitionnement généralisé (PPG) et résolu en utilisant un solveur standard. Les affectations (colonnes) ont été générées a priori de manière statique et fournies comme entrée au modèle %d'optimisation. Cette méthode est capable de fournir une solution optimale au problème pour des instances de tailles moyennes. Cependant, son inconvénient principal est l'explosion du nombre d'affectations avec l'augmentation de la taille du problème, qui fait en sorte que le solveur d'optimisation se trouve à court de mémoire. Dans ce mémoire, nous nous intéressons aux limites de la reformulation PPG. Nous présentons un cadre de génération de colonnes où les affectations sont générées de manière dynamique pour résoudre les grandes instances du PAPA. Nous proposons un algorithme de génération de colonnes qui peut être facilement adapté pour résoudre toutes les variantes du PAPA en se basant sur différents attributs spatiaux et temporels. Nous avons testé notre méthode sur un modèle d'allocation dans lequel les postes d'amarrage sont considérés discrets, l'arrivée des navires est dynamique et finalement les temps de manutention dépendent des postes d'amarrage où les bateaux vont être amarrés. Les résultats expérimentaux des tests sur un ensemble d'instances artificielles indiquent que la méthode proposée permet de fournir une solution optimale ou proche de l'optimalité même pour des problème de très grandes tailles en seulement quelques minutes.

Studies Using Computer Simulation Models to Solve Problems Related to Logistics Terminals

This thesis deals with the use of simulation as a problem-solving tool to solve a few logistic system related problems. More specifically it relates to studies on transport terminals. Transport terminals are key elements in the supply chains of industrial systems. One of the problems related to use of simulation is that of the multiplicity of models needed to study different problems. There is a need for development of methodologies related to conceptual modelling which will help reduce the number of models needed. Three different logistic terminal systems Viz. a railway yard, container terminal of apart and airport terminal were selected as cases for this study. The standard methodology for simulation development consisting of system study and data collection, conceptual model design, detailed model design and development, model verification and validation, experimentation, and analysis of results, reporting of finding were carried out. We found that models could be classified into tightly pre-scheduled, moderately pre-scheduled and unscheduled systems. Three types simulation models( called TYPE 1, TYPE 2 and TYPE 3) of various terminal operations were developed in the simulation package Extend. All models were of the type discrete-event simulation. Simulation models were successfully used to help solve strategic, tactical and operational problems related to three important logistic terminals as set in our objectives. From the point of contribution to conceptual modelling we have demonstrated that clubbing problems into operational, tactical and strategic and matching them with tightly pre-scheduled, moderately pre-scheduled and unscheduled systems is a good workable approach which reduces the number of models needed to study different terminal related problems.

A la UdG en bus

Aquest curs la reducció en un 20% del preu que els estudiants de la UdG paguen per l'abonament del bus s'ha traduït en un augment de més del 600% en la venda de títols de transport

Cine Bus La Esperanza

El Cine Bus La Esperanza es un proyecto que, a través de una solución móvil, busca llevar un teatro de cine itinerante a 32 municipios del Valle del Cauca, para la exhibición gratuita de películas de cine en formato de video digital. Se trata de un bus adecuado con un teatro de cine en su interior, con capacidad para 30 personas y un mecanismo para ensamblar una pantalla en su parte exterior para funciones al aire libre. Al ser una estrategia de formación y sensibilización de públicos este proyecto lleva consigo una propuesta pedagógica con el fin de posicionar el teatro de cine como un espacio público estratégico entre la población de los municipios del Valle del Cauca.

Spanish version of Bus Drivers’ Job Demands Scale (BDJD-24)

Resumen tomado de la publicación