Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,

Slides:



Advertisements
Similar presentations
Last Class: Clock Synchronization
Advertisements

School of Computing Clemson University Mathematical Reasoning  Goal: To prove correctness  Method: Use a reasoning table  Prove correctness on all valid.
While,B:=,0,true while,B:=,1,true N:=,B:=,0,true P1 N:=,B:=,1,true P1 while,end,0,false end,end,0,false P1 N:=,end,0,false P2 while,end,1,false end,end,1,false.
תוכנה 1 סמסטר א ' תשע " ב תרגול מס ' 7 * מנשקים, דיאגרמות וביטים * לא בהכרח בסדר הזה.
Relaxed Consistency Models. Outline Lazy Release Consistency TreadMarks DSM system.
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets Tayfun Elmas 1, Shaz Qadeer 2, Serdar Tasiran 1 1 Koç University, İstanbul,
D u k e S y s t e m s Time, clocks, and consistency and the JMM Jeff Chase Duke University.
Previously… Processes –Process States –Context Switching –Process Queues Threads –Thread Mappings Scheduling –FCFS –SJF –Priority scheduling –Round Robin.
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
1 תוכנה 1 תרגול 14 – סיכום. 2 קצת על מנשקים מנשק יכול להרחיב יותר ממנשק אחד שירותים במנשק הם תמיד מופשטים וציבוריים public interface MyInterface { public.
Patterns of Research Collaboration in U.S. Universities, AAAS Meetings Denver, Colorado February 18, 2003 James D. Adams, University of Florida.
SOS: Saving Time in Dynamic Race Detection with Stationary Analysis Du Li, Witawas Srisa-an, Matthew B. Dwyer.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תיאום בין תהליכים : יסודות  דוגמאות לבעיות תיאום  הגדרות : קטע קריטי, מנעולים  אלגוריתם קופת - חולים.
ספר סקיצות ספר סקיצות קלאסי עם יכולות ממוחשבות. ספר סקיצות רגיל  יתרונות : נוח לנשיאה, מהיר ונוח לעבודה, עמיד.  חסרונות : הכול ידני, קשה לקבל דיוקים.
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
תורת היחסות 100 שנים למהפכה.
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
הקיבול איננו תלוי במטען ובפוטנציאל
Synchronization in Java Fawzi Emad Chau-Wen Tseng Department of Computer Science University of Maryland, College Park.
טיב פני שטח (טפ"ש) טיב פני שטח- רמת החלקות של המשטח.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
תיאום בין תהליכים : יסודות  דוגמאות לבעיות תיאום  הגדרות : קטע קריטי, מנעולים  אלגוריתם קופת - חולים.
מבוא למדעי המחשב תרגול 3 שעת קבלה : יום שני 11:00-12:00 דוא " ל :
GPU vs. CPU computations Árni Einarsson Jacek Kolodziej.
מבוא למדעי המחשב, סמסטר א ', תשע " א תרגול מס ' 1 נושאים  הכרת הקורס  פסאודו - קוד / אלגוריתם 1.
גיאולוגיה סטרוקטורלית מעגלי מוהר למעוות סופי (המשך...)
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
Safari On-line books. מה זה ספארי ספארי זו ספריה וירטואלית בנושא מחשבים היא כוללת יותר מ כותרים כל הספרים הם בטקסט מלא ניתן לחפש ספר בנושא מסוים.
מבוא לעיבוד מקבילי הרצאה מס ' 9 17/12/2001. נושא ההרצאה עיבוד תמונה מקבילי Parallel Image Processing.
/ PSWLAB Eraser: A Dynamic Data Race Detector for Multithreaded Programs By Stefan Savage et al 5 th Mar 2008 presented by Hong,Shin Eraser:
In a not gate, if the input is on(1) the output is off (0) and vice versa.
1 Advanced Computer Programming Concurrency Multithreaded Programs Copyright © Texas Education Agency, 2013.
1 Programming for Engineers in Python Autumn Lecture 2: More Basics.
LOGO OPERATING SYSTEM Dalia AL-Dabbagh
Peng Liu and Charles Zhang Prism Research Group Department of Computer Science and Engineering Hong Kong University of Science and Technology 1.
Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support Serdar Tasiran Koc University, Istanbul, Turkey.
Topic 1Topic 2Topic 3Topic 4Topic
Computer Science: A Structured Programming Approach Using C1 Objectives ❏ To understand how decisions are made in a computer ❏ To understand the logical.
תרגיל כיתה 7 מבוא לטכנולוגיות מחשב CPE. – 2 – ארכיטקטורה של מעבד מודרני Execution Functional Units Instruction Control Integer/ Branch FP Add FP Mult/Div.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 7. סברוטינות subroutines.
Comp. Genomics Recitation 12 Bayesian networks Taken from Artificial Intelligence course, MIT, 6.034
שיאון שחוריMilOSS-il מוטיבציה  python זה קל ו C זה מהיר. למה לא לשלב?  יש כבר קוד קיים ב C. אנחנו רוצים להשתמש בו, ולבסס מעליו קוד חדש ב python.
Detecting Atomicity Violations via Access Interleaving Invariants
תכנות מכוון עצמים ושפת ++C וויסאם חלילי. TODAY TOPICS: 1. Function Overloading & Default Parameters 2. Arguments By Reference 3. Multiple #include’s 4.
Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois
1 Ivan Marsic Rutgers University LECTURE 19: Concurrent Programming.
 Scientific Method Quiz. Question # 1  1. The scientific method has 8 steps.  TRUE OR FALSE.
Science is A carefully organized collection of knowledge about ANYTHING in the Universe.
WJEC Past Paper Questions (with Answers).
שיעור עשירי: מיונים, חיפושים, וקצת סיבוכיות חישוב
מבוא למדעי המחשב סיבוכיות.
Computer Science 5204 Operating Systems Fall, 2010
CS1550: Quiz #1 Quiz #1.
מבוא לתכנות בWINDOWS ב#C
X-STANDARD MATHEMATICS ONE MARK QUESTIONS
למה רמת פרמי צריכה להיות קבועה בחומר שנמצא בשווי משקל?
תוכנה 1 תרגול 13 – סיכום.
מבוא לתכנות ב- Java תרגול 10 - רשימות מקושרות.
Shared Memory Programming
Selection—Making Decisions
Topics discussed in this section:
Running Race Year 5NG.
Lecture 3 Pseudocode (S&G, §2.2)
Monitors and Inter-Process Communication
CMSC 202 Threads.
Presentation transcript:

Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology, Chemistry, Geology, etc. Output: the field of science where the longest word occurs (in all the articles)‏ –Nicotinamideadeninedinucleotidephosphate

Answer: First round –map(field,paper)‏ –reduce(field, {longest words in each paper})‏ Second round (distributed sort)‏ –map(field, longest word)‏ –reduce(word size, field)‏ Do nothing

מבוא נתונים 4 תהליכים בלתי תלויים שרוצים להריץ על מחשב עם מעבד אחד (שיכול להריץ רק חוט אחד בו-זמנית). ביצוע סדרתי מריץ את התהליכים אחד אחרי השני. ביצוע "מקבילי" מריץ את כל התהליכים בו-זמנית. ה-speedup של הביצוע "המקבילי" ביחס לביצוע סדרתי בהכרח: –גדול או שווה ל-1 –קטן או שווה ל-1 –אין שינוי בזמן ריצה –לא ניתן לדעת

Answer לא ניתן לדעת The reason is that the run can be faster ( because of better caching, for example)‏ And can be slower ( because of context switches)‏ And can be the same

Race Detection נתון הקוד הבא: B1 = FALSE, B2 = FALSE Thread 1 Thread 2 X++ IF (B2 == TRUE)‏ B1 = TRUEIF (B1 == TRUE)‏ B2 = TRUEX-- כמה Apparent data-races יש בקוד? 3 כמה Feasible data-races יש בו? 1

Answer Feasible data races are also apparent, but not vice versa So there is only one feasible (semantically possible) data race for B2 (written and read simultaneously by t1 and t2 There are 3 apparent data races (B2, B1, X), since they are not protected by any lock

Java Synchronization

Vector clocks תשובות נכונות: ג

Lockset תשובות נכונות: ב, ג

OpenMP + Lockset תשובות נכונות: א

BSPLib

Arithmetic Intensity תשובות נכונות: ג