20121028 seminar msr_marat-akhin

Trace-and-replay: Bringing Time Travel to TouchDevelopMSR Internsip Experience

Марат Ахин

Санкт-Петербургский государственный политехнический университет

2012

Марат Ахин (СПбГПУ) TouchDevelop 2012 1 / 37

Стажировка в MSR

Содержание

1 Стажировка в MSR

2 TouchDevelop

3 Time Travel

4 Applications

5 Резюме

6 Questions & Answers







В двух словах...Длительность: 12 недель

Достаточно для того, чтобы разработать законченный проектСлишком мало времени, чтобы успеть потерять интерес

Работа в одной из ведущих R&D лабораторий мираСтатус интерна ≈ статусу FTE (Full-Time Employee)Доступ ко всем ресурсам MSRПолный пакет всевозможных BenefitsСоответствующая доля ответственности

Возможность посмотреть на Microsoft изнутри«Империя зла» – правда или вымысел?Как работает крупнейшая компания по разработке ПО?




Research or Development?


TouchDevelop



2 TouchDevelopЧто?Зачем?Как?

3 Time Travel

4 Applications

5 Резюме



TouchDevelop Что?

Что?



Что?

IDE для вашего Windows PhoneЯзык программирования со строгой статической типизациейКонтекстно-зависимый редактор кодаДоступ практически ко всей периферии телефонаХранение всех ваших данных в облаке

IDE для вашего устройства......если оно поддерживает HTML5 + JS



Что?

IDE для вашего Windows PhoneЯзык программирования со строгой статической типизациейКонтекстно-зависимый редактор кодаДоступ практически ко всей периферии телефонаХранение всех ваших данных в облаке

IDE для вашего устройства......если оно поддерживает HTML5 + JS


TouchDevelop Зачем?

Зачем?

Обучение программированиюПростотаБолее тесное вовлечение студента/ученика в процессНезависимость от десктопа

Программирование-для-всехНужен dice roller – сделай его сам!


TouchDevelop Как?

Как?


Time Travel



2 TouchDevelop

3 Time TravelЧто?Зачем?Как?

4 Applications

5 Резюме



Time Travel Что?

Что?

В повседневной жизни


Time Travel Что?

Что?

В программной инженерии


Time Travel Что?

Time-traveling debugging

Возможность свободно перемещаться во времени при отладкеПО (команда «Step Back»)

В TouchDevelop нет отладчика...


Time Travel Что?

Trace-and-replay

Возможность записать трассу выполнения и проиграть ее позднее

В TouchDevelop нет записи трасс...


Time Travel Зачем?

Зачем?

Легковесная запись видеоУдаленная отладкаВыполнение кода «on-the-fly» во время редактированияДифференциальное тестирование

It’s just awesome! c©


Time Travel Как?

Трассировка

Необходимо трассировать недетерминированные событияПользовательский вводДанные с сенсоровСлучайные событияРазличное окружение

Необходимо сохранять информацию о тайминге событий


Time Travel Как?


Все – это вызовы определенного APIНекоторые API являются недетерминированными – их нужнотрассировать

Но есть одна проблема...


Time Travel Как?


Часть API являются асинхроннымиПриостанавливают выполнение скрипта и запускают его позднееВыполняются в отдельном потоке


Time Travel Как?

Проблемы

Интерпретатор TouchDevelop является многопоточнымСтрогой синхронизации нетНедостаточно просто упорядочить события по времени

РешениеОтдельные трассы для каждого потокаПри воспроизведении «привязываем» трассы к соответствующимпотокам


Time Travel Как?

Проблемы

У скриптов в TouchDevelop есть global mutable state (GMS)Что много хуже – GMS может влиять на выполнение скрипта

РешениеЗапись GMS при трассировкеПри воспроизведении заменяем текущее GMS на состояние изтрассы


Time Travel Как?

Воспроизведение


Applications



2 TouchDevelop

3 Time Travel

4 ApplicationsЗапись видеоУдаленная отладкаДифференциальное тестирование

5 Резюме



Applications Запись видео

Запись видео

Легковесная запись видеоПозволяет пользователям создавать демо своих приложенийДемо можно свободно обмениваться

It’s just awesome! c©


Applications Удаленная отладка

Удаленная отладка

Если у какого-либо пользователя TouchDevelop упал ваш скрипт,как воспроизвести ошибку наиболее простым способом?Записать трассу на одном устройстве и воспроизвести на другом

Один из немногих способов отладки в облаке ,


Applications Дифференциальное тестирование

Дифференциальное тестирование

Если вспомнить самое начало презентации...

Две версии TouchDevelop – для Windows Phone и для HTML5/JSОбе версии должны соответствовать одной и той жеспецификации

Можно взять трассу с одной версии и проиграть ее на другой ,

Все должно работать одинаково...


Applications Дифференциальное тестирование

Дифференциальное тестирование

На одной трассе было найдено 5 ошибок в реализацииспецификации для HTML5/JS версииДля анализа использовались текстовый редактор и дебаггер

Отличный способ регрессионного и дифференциального тестирования


Резюме



2 TouchDevelop

3 Time Travel

4 Applications

5 Резюме



Резюме

Резюме

Реализация Trace-and-replay для двух версий TouchDevelopМного потенциальных направлений дальнейшего развития


Questions & Answers



2 TouchDevelop

3 Time Travel

4 Applications

5 Резюме



Questions & Answers

Questions & Answers


Самые яркие впечатления




От MSR



От США



От ивентов



От ивентов



От удивления


Documents

20121028 seminar msr_marat-akhin