Tentamen vid Institutionen för Datavetenskap, Linköpings universitet. TDDD82/TDDD36 Säkra mobila System (Systemprogramvara)

Relevanta dokument
Tentamen vid Institutionen för Datavetenskap, Linköpings universitet. TDDD36 Säkra mobila System (Systemprogramvara)

TDDD82 Säkra mobila System (Systemprogramvara)

TDDD36 Säkra mobila System (Systemprogramvara)

Tentamen vid Institutionen för Datavetenskap, Linköpings universitet. TDDD36 Säkra mobila System (Systemprogramvara)

Tentamen vid Institutionen för Datavetenskap, Linköpings universitet

Tentamen vid Institutionen för Datavetenskap, Linköpings universitet

1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p)

Materialplanering och styrning på grundnivå. 7,5 högskolepoäng

1. Varje bevissteg ska motiveras formellt (informella bevis ger 0 poang)

8 < x 1 + x 2 x 3 = 1, x 1 +2x 2 + x 4 = 0, x 1 +2x 3 + x 4 = 2. x 1 2x 12 1A är inverterbar, och bestäm i så fall dess invers.

Mekanismer. (implementation)

Lösenordsportalen Hosted by UNIT4 For instructions in English, see further down in this document

Webbregistrering pa kurs och termin

Support Manual HoistLocatel Electronic Locks

Styrteknik: Binära tal, talsystem och koder D3:1

denna del en poäng. 1. (Dugga 1.1) och v = (a) Beräkna u (2u 2u v) om u = . (1p) och som är parallell

Preschool Kindergarten

LUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik

Tentamen i Matematik 2: M0030M.

Webbreg öppen: 26/ /

Isolda Purchase - EDI

Viktig information för transmittrar med option /A1 Gold-Plated Diaphragm

Högskolan i Skövde (SK, JS) Svensk version Tentamen i matematik

Schenker Privpak AB Telefon VAT Nr. SE Schenker ABs ansvarsbestämmelser, identiska med Box 905 Faxnr Säte: Borås

State Examinations Commission

6. a) Visa att följande vektorer är egenvektorer till matrisen A = , och ange motsvarande

UTLYSNING AV UTBYTESPLATSER VT12 inom universitetsövergripande avtal

What Is Hyper-Threading and How Does It Improve Performance

Datasäkerhet och integritet

Michael Q. Jones & Matt B. Pedersen University of Nevada Las Vegas

District Application for Partnership

2.45GHz CF Card Reader User Manual. Version /09/15

SVENSK STANDARD SS-EN ISO 19108:2005/AC:2015

Schenker Privpak AB Telefon VAT Nr. SE Schenker ABs ansvarsbestämmelser, identiska med Box 905 Faxnr Säte: Borås

Measuring child participation in immunization registries: two national surveys, 2001

x 2 2(x + 2), f(x) = by utilizing the guidance given by asymptotes and stationary points. γ : 8xy x 2 y 3 = 12 x + 3

DVG C01 TENTAMEN I PROGRAMSPRÅK PROGRAMMING LANGUAGES EXAMINATION :15-13: 15

PORTSECURITY IN SÖLVESBORG

Kurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 15 August 2016, 8:00-12:00. English Version

1.1 Invoicing Requirements

Beijer Electronics AB 2000, MA00336A,

Application Note SW

Vässa kraven och förbättra samarbetet med hjälp av Behaviour Driven Development Anna Fallqvist Eriksson

Uttagning för D21E och H21E

Support for Artist Residencies

Make a speech. How to make the perfect speech. söndag 6 oktober 13

EXTERNAL ASSESSMENT SAMPLE TASKS SWEDISH BREAKTHROUGH LSPSWEB/0Y09

Kurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 17 August 2015, 8:00-12:00. English Version

Exam Concurrent and Real-Time Programming

Information technology Open Document Format for Office Applications (OpenDocument) v1.0 (ISO/IEC 26300:2006, IDT) SWEDISH STANDARDS INSTITUTE

Tentamen 12/ Medicinsk Teknik Fördjupningskurs Implantat och biomaterial, 7E1112 (KTH), MTF003 (KI)

SkillGuide. Bruksanvisning. Svenska

LARS. Ett e-bokningssystem för skoldatorer.

Authentication Context QC Statement. Stefan Santesson, 3xA Security AB

Love og regler i Sverige Richard Harlid Narkos- och Intensivvårdsläkare Aleris FysiologLab Stockholm

Libers språklåda i engelska Grab n go lessons

Sveriges internationella överenskommelser

Analys och bedömning av företag och förvaltning. Omtentamen. Ladokkod: SAN023. Tentamen ges för: Namn: (Ifylles av student.

Module 6: Integrals and applications

1. Förpackningsmaskin / Packaging machine

(D1.1) 1. (3p) Bestäm ekvationer i ett xyz-koordinatsystem för planet som innehåller punkterna

Adding active and blended learning to an introductory mechanics course

Chapter 1 : Who do you think you are?

Tentamen på kursen Distribuerade system. Lycka till!

Tentamen i Matematik 2: M0030M.

Pre-Test 1: M0030M - Linear Algebra.

2.1 Installation of driver using Internet Installation of driver from disk... 3

Unit course plan English class 8C

Boiler with heatpump / Värmepumpsberedare

ASIC TENTAMEN TSTE81. Tid: Lördag 24 april 2004 kl. 14:00 18:00. Ansvarig lärare: Oscar Gustafsson, ,

Workplan Food. Spring term 2016 Year 7. Name:

InstalationGuide. English. MODEL:150NHighGain/30NMiniUSBAdapter

Resurser. Visa sidan Hjälpguide. Menykarta. Phaser 4400 laserskrivare

PROFINET MELLAN EL6631 OCH EK9300

Manhour analys EASA STI #17214

FÖRBERED UNDERLAG FÖR BEDÖMNING SÅ HÄR

Aktivitetsschemaläggning för flerkärninga processorer

6 th Grade English October 6-10, 2014

Accomodations at Anfasteröd Gårdsvik, Ljungskile

Swedish adaptation of ISO TC 211 Quality principles. Erik Stenborg

SWESIAQ Swedish Chapter of International Society of Indoor Air Quality and Climate

Beslut om bolaget skall gå i likvidation eller driva verksamheten vidare.

Item 6 - Resolution for preferential rights issue.

Examensarbete Introduk)on - Slutsatser Anne Håkansson annehak@kth.se Studierektor Examensarbeten ICT-skolan, KTH

Health café. Self help groups. Learning café. Focus on support to people with chronic diseases and their families

and u = och x + y z 2w = 3 (a) Finn alla lösningar till ekvationssystemet

Övning 4 EITF25 & EITF Protokoll. October 29, 2016

Writing with context. Att skriva med sammanhang

Dokumentnamn Order and safety regulations for Hässleholms Kretsloppscenter. Godkänd/ansvarig Gunilla Holmberg. Kretsloppscenter

Studieteknik för universitetet 2. Books in English and annat på svenska

81152 TRANSFER CASE SHIFT HANDLE

1. Find the volume of the solid generated by rotating the circular disc. x 2 + (y 1) 2 1

Tentamen i TDIU16 Process- och operativsystemprogrammering

Alias 1.0 Rollbaserad inloggning

Team Captain s meeting for Intersport o Scandic Cup. Idre Fjäll 4-6 December 2015

Kursplan. NA3009 Ekonomi och ledarskap. 7,5 högskolepoäng, Avancerad nivå 1. Economics of Leadership

Installation av F13 Bråvalla

Rastercell. Digital Rastrering. AM & FM Raster. Rastercell. AM & FM Raster. Sasan Gooran (VT 2007) Rastrering. Rastercell. Konventionellt, AM

Förändrade förväntningar

Module 1: Functions, Limits, Continuity

Transkript:

TENTAMEN TDDD82/TDDD36 Säkra mobila System (Systemprogramvara) Datum: 2014-06-12 Tid: 14-18 Lokal: TER1 Jourhavande-lärare: Simin Nadjm-Tehrani (endast via telefon 0702 282412) Hjälpmedel: Behövs inte. Poängantal: 34p Betyg: 3, 4 and 5: U: - 16 p 3: 17-22 p 4: 23-28 p 5: 29-34 p INSTRUCTIONS: Write your anonymous ID number on each sheet of paper that you hand in. Further, pages should only contain one answer per page (answers to sub-questions can be on the same page). You are asked to only answer on the front page of the paper. Sort all the sheets that you hand in, ordered in question number. Your answers can be presented in Swedish or English. Make sure your answers include motivations and are presented precisely. A correct answer without any motivation will not be given any credits. Incorrect answers embedded in a partially correct one reduce the points given for that answer. Points will not be given to answers that cannot be read due to bad handwriting. Hints: Try to dispose of your time on each question in proportion of the assignment points. In those cases where you are in doubt about the question, write down your interpretation and your assumptions, and answer the question based on the interpretation. Figures can be of help when describing but should be accompanied by a text description. Results are reported no later than 3rd July, 2014. Good luck! Simin Nadjm-Tehrani Examiner TDDD82/TDDD36, Systems Software

Q1: a) Följande pseudokod beskriver en algoritm som ska implementera ömsesidig uteslutning för två processer som delar en gemensam resurs via den kritiska sektionen. Process P1 Process P2 while (true) { while (true) { flag1 = down flag2 = down turn = 1 turn = 2 while (flag2 == down while (flag1 == down and turn == 2) { and turn == 1){ do nothing do nothing } } critical-section critical-section flag1 = up flag2 = up non-critical-section non-critical-section } } Avgöra om algoritmen garanterar uteslutning av samtidiga tillgång till kritiska sektionen. Ange dina antaganden och motivera ditt svar! b) A system is composed of three parallel processes that share three resource types R1,, R3. The following table describes the current Allocation of resource instances to processes in the system, while running the Banker s algorithm. R 1 R 2 R 3 P A 0 3 2 P B 4 1 5 P C 3 2 3 The remaining Need of the three processes is described by the table below. R 1 R 2 R 3 P A 3 0 1 P B 0 2 0 P C 0 1 0 Assume that there were 10 resource instances of each type available at the initial state. 1) Compute the currently Available resources in the system 2) If process P A requests one instance of resource R 1, two instances of R 2, and one instance of R 3, should Request A be granted? 3) If process P B comes up with Request B = (0, 1, 0), should the request be granted?

c) The following code that uses semaphores has been constructed by a student to print the word TACK repeatedly. Is this a correct solution to the problem? Motivate your answer! (The student was told that it is allowed to print a substring of TACK in the beginning of a trace, but after that only sequences of TACK are required to be printed. ) Semaphore: letter_ak (initially 1), letter_tc (initially 0); Process A Process B while (true) { while (true) { wait(letter_tc); wait(letter_ak); print(a); print(t); signal(letter_ak); signal(letter_tc); wait(letter_tc); wait(letter_ak); print(k); print(c); signal(letter_ak) signal(letter_tc) } } (2 poäng) d) Anta att klient processer K 1,, K n ska skicka sina anrop till en server genom att utnyttja en gemensam kanal med tillhörande sänd kö. Vi använder monitorn som mekanism för att varje process ska kunna få tillgång till kanalen med ömsesidig uteslutning. Monitorn har därmed operationen access() som kan skriva till sänd kön atomiskt. Packet kan skickas endast om kanalen inte redan är upptagen. Alla klienter som vill skicka medan en annan klient sänder måste köa tills kanalen är ledig. För detta anropas operationerna acquire()och release()för att hantera väntandet mellan processerna. Koden för access() ser så här ut: access() { acquire (); /* send packets that make up the call on server */ release() } Skriv pseudokod för operationerna acquire() och release() och använd villkorsvariabler för att kunna automathantera köandet när en klient redan använder kanalen.

e) Describe two methods for communication between processes running concurrently on a single processor. Which method is suitable for implementing the same process set on a distributed system running on multiple processors? Q2: a) Ta ställning om följande utsagor (sant eller falsk), och motivera ditt svar med hänvisning till definitioner av termer. 1) Jitter och per-paket-latens (per packet latency) är orelaterade koncept i QoS sammanhang. 2) Intserv har tre tjänstekategorier varav två är likvärdiga under överbelastning. b) Consider a server that stores and distributes the latest messages delivered by satellite communication from a nuclear reactor disaster area. The clients that are outside the area are thereby connected to the clients in the area via the server. Decide which of the following properties is a functional property and which is an extra-functional property that relates to quality of service. Motivate your answer! Q3: 1) An actor outside the area can ask for the messages received in the past 30 minutes to be dispatched at one go by the server. 2) The messages can be sorted in length and the actor outside the area may ask for the shorter messages to be delivered by the server if there are bandwidth limitations. 3) The system should provide a throughput of at least 2kb/s between any two clients connected with the lowest bandwidth. 4) To avoid a single point of failure the server should be replicated with a cold-passive failover mechanism. a) Vilka huvudsakliga modeller för arkitekturen i ett distribuerat system existerar? Förklara de särskiljande egenskaperna i respektive modell. b) Explain the need for the concept of fault model in distributed systems, and give two examples of fault models that apply to: 1) Nodes in a distributed system 2) Communication channels between nodes (one example for each).

Q4: Tidningen NyTeknik rapporterade den 5:e maj 2014 resultatet av utredningen av Statens haverikommission efter tågolyckan i saltsjöbanan i Stockholm i januari 2013: Det enda städerskan gjorde var att stänga tågdörren. Då körde tåget åkte i väg och det slutade med kraschen in i ett bostadshus i Saltsjöbaden förra vintern, visar haverirapporten. I Statens haverikommissions utredning framgår att den manöver som stängde tågdörren var kopplad så att motorn drog igång. Eftersom tågets bromsar inte var i och spårets bromsanläggning var ur funktion kunde tåget rulla ut på Saltsjöbanan. Städerskan visste inte hur förarreglagen fungerade och hade inte en chans att stoppa tåget. Till slut tog hon skydd i ett säte bakom förarhytten. Där hittades hon svårt skadad av räddningspersonal efter kraschen. Använd begreppen från IFIP WG 10.4 för att analysera felkälla-felyttring-haveri i detta sammanhang, och klassifiera felet som permanent eller intermittent.

Glossary: English to Swedish atomic atomisk (oavbrytbar) request begäran availability tillgänglighet response time responstid avoid undvika safety säkerhet bandwidth bandbredd scheduler schemaläggare broker medlare security säkerhet clock drift klockdrift serialisable - serialiserbar concurrency samtidighet shaping - formning consistency konsistens shared memory gemensamt minne deadlock låsning (baklås) starvation svält delay fördröjning sufficient condition- tillräckligt villkor deliberate avsiktlig synchronisation synkronisering dependability pålitlighet system call systemanrop diversity mångfald thread - tråd error felyttring throughput genomströmning event händelse trace spår failure haveri transparency transparens fault felkälla trust tillit fault tolerance feltolerans validation validering forecast förutse verification - verifiering inheritance arv vulnerability - sårbarhet integrity dataintegritet interleavings sammanflätningar interoperability interoperabilitet intrusion intrång latency - latens maintainability reparerbarhet malicious - illvillig middleware - mellanvara mutual exclusion ömsesidig uteslutning necessary condition nödvändigt villkor non-functional property ickefunktionell egenskap omission utelämnande performance prestanda preemptible avbrytbar prevent förebygga quality of service tjänstekvalitet race condition kapplöpningstillstånd release - släppning reliability tillförlitlighet rendundancy redundans replica kopia replication replikering

Swedish English arv - inheritance atomisk (oavbrytbar) atomic avbrytbar - preemptible avsiktlig - deliberate bandbredd - bandwidth begäran - request dataintegritet - integrity felkälla - fault feltolerans - fault tolerance felyttring - error fördröjning - delay förebygga - prevent formning - shaping förutse - forecast gemensamt minne - shared memory genomströmning - throughput händelse - event haveri - failure ickefunktionell egenskap - non-functional property illvillig - malicious interoperabilitet - interoperability intrång intrusion kapplöpningstillstånd race condition klockdrift - clock drift konsistens - consistency kopia - replica låsning (baklås) - deadlock latens - latency mångfald - diversity medlare - broker mellanvara - middleware nödvändigt villkor - necessary condition ömsesidig uteslutning - mutual exclusion pålitlighet - dependability prestanda - performance redundans - rendundancy reparerbarhet - maintainability replikering - replication responstid - response time säkerhet - safety säkerhet - security sammanflätningar - interleavings samtidighet - concurrency sårbarhet - vulnerability schemaläggare - scheduler serialiserbar - serialisable släppning release spår - trace svält - starvation synkronisering - synchronisation systemanrop - system call tillförlitlighet - reliability tillgänglighet - availability tillit - trust tillräckligt villkor - sufficient condition tjänstekvalitet - quality of service tråd - thread transparens - transparency undvika - avoid utelämnande - omission validering - validation verifiering - verification