Analysis of Preemptively Scheduled Hard Real-time Systems

Idioma: inglés

Editorial: Epubli Mrz 2013, 2013

3844251618 / 9783844251616

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 11 de enero de 2012

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 14,54

Envío por EUR 23,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - it takes 3-4 days longer - Neuware -As timing is a major property of hard real-time, proving timing correctness is of utter importance. A static timing analysis derives upper bounds on the execution time of tasks, a scheduling analysis uses these bounds and checks if each task meets its timing constraints.In preemptively scheduled systems with caches, this interface between timing analysis and scheduling analysis must be considered outdated.On a context switch, a preempting task may evict cached data of a preempted task that need to be reloaded again after preemption.The additional execution time due to these reloads, called cache-related preemption delay (CRPD), may substantially prolong a task's execution time and strongly influence the system's performance.In this thesis, we present a formal definition of the cache-related preemption delay and determine the applicability and the limitations of a separate CRPD computation.To bound the CRPD based on the analysis of the preempted task, we introduce the concept of definitely cached useful cache blocks.This new concept eliminates substantial pessimism with respect to former analyses by considering the over-approximation of a preceding timing analysis.We consider the impact of the preempting task to further refine the CRPD bounds.To this end, we present the notion of resilience. The resilience of a cache block is a measure for the amount of disturbance of a preempting task a cache block of the preempted task may survive.Based on these CRPD bounds, we show how to correctly account for the CRPD in the schedulability analysis for fixed-priority preemptive systems and present new CRPD-aware response time analyses: ECB-Union and Multiset approaches. 176 pp. Englisch.

N° de ref. del artículo 9783844251616

Detalles bibliográficos

Título
Analysis of Preemptively Scheduled Hard Real-time Systems
Autor
Sebastian Altmeyer
Editorial
Epubli Mrz 2013
Año de publicación
2013
Estado
Neu
Encuadernación
Taschenbuch
Idioma
inglés
ISBN 10
3844251618
ISBN 13
9783844251616
Peso del artículo
234 gramos
Dimensiones
210x148x10 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 11 de enero de 2012

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 5 a 15 días hábilesDe 5 a 15 días hábiles
Primer artículoEUR 23,00EUR 23,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Información empresarial del vendedor

BuchWeltWeit Ludwig Meier e.K.

Alemania