HW & OS?

1. High level idea (like App)
2. OS
3. HW

virtualization, mapreduce

Sep 27th

Friday?

office hour 1h
seL4 2h
3810hw3 grading 5h

Sep 16th

Writing center
Teaching intro
Office hour

Talk to Anton about setuid() and confused deputy problem. (Good)

Korean mart.

CS 3810 HW #2 grading (6 students)


Condition is getting much better.
Hardwork on weekends make weekdays comfortable

Sep 15th

CS 3810 HW1 grading complete
CS 6810 Youtube lecture 
CS 5040 HW
CS 6040 HW

- Confused Deputy
setuid only handle 2 authorities, 
capability can handle multiple authorities.

- Ambient Authority
 name + operation --> get authority.
 name+opeartion+permission should come together.]

Why Xcap is ambient authority?

Sep 15th

Anton is my meal ticket now
Computer science is going to be my meal ticket

Sep 14th

CS 6810 HW3.
CS 3810 Grading 3/4, HW3
ESL 6040: HW

Confused Deputy 1h

Sep 11th

Writing Center
TA Meeting
Flux meeting
Office hour
ESL

Computer architecture video
12~17

Sep 8th

CS5040: HW#2
CS3810: HW#2 preview
ESL HW#3, #4

Market
Play soccer

Top priority school check.

Sep 6

12:45~1:45 TA Office hour
2:00~3:30 CSL Seminar
3:30~5:30 XCap meeting (Anton, Jithu)
5:30~6:20 Dinner
6:20~10:50 Read papers (seL4 abstraction + Paradigm regain video)
10:50~12:00 Buy flight ticket, Register SOSP, take shuttle to home

ACL vs Capability  looks like thing client vs thick client.
Not sure yet..

Get salary :)

Sep 4th

9:15~9:40 TA meeting
9:40~10:00 Teaching Intro class
10:00~11:00 Network setting
11:00~12:00 lunch
12:00~1:00 Flux Virtual group meeting
1:00~3:00 Office hours
3:00~5:00 go home and back to school
5:30~6:00 Dinner meeting with other CS Korean
6:00~7:20 ESL
7:30~8:30 Computer architecture: youtube (#8~#10) class
8:30~9:30 Take rest


9:30~10:30 XCap

Sep 2nd

Emulab Environment set-up
 - booting image on d710
 - install libraries
 - build Xcap--> Fail

Xcap proposal review
 - How about diff the code between pure Xen and Xcap???

CS 6810 Youtube Video (#4~#7)

Sep 1st

Computer architecture HW #1 Finish.
(With Pages and Latexit)

That's all

Aug 31st

Form Fest 5K Marathon

Computer Architecture HW. Talking to the TA a lot.

Computer Architecture Youtube #4

That's all. boy.

Aug 30th

TA office hour (1h)
CS 3810 HW#1, half.

Emulab, set a new experiment.

Discussion with jithu


1) 어디를 고쳤나?
Xen을? linux를?

2) 어디서 capability check를 하나?
어느 레벨에서? 명시적으로?

3)

CS 개강파티
- 조금 먹고 조금 마시고 (음료수)
- 배구하고 축구했음

Aug 29th

CS 3810
CS 6810

Lunch with Jitju

Xcap review


1. Where do the capacities exist?

a capability is a record in a hypervisor protected data structure.
We call this data structure the capability address space, or the CSpace.
each VM has a private CSpace, and all the code inside it has the same rights.

<Implementation>
struct capability
{
uint32_t magic;
};
struct cap_space
{
int num_caps;
struct capability *caps;
};
struct domain{
struct cap_space *cap_space; <-
}

2. what the "grant" really means and how is it implemented? --> OK
내가 어떤 capability를 가지고 있으면,
상대방에게도 그 capability를 준다.
(하나라도 못주면 fail?, fail이면 그동안 준건 어떻게 해? 그런 정보가 없네)

if ( (ret = cap_grant(to,list,size)) != 0 )
{
TT_ERR("cap_grant failed when called from xc_cap_grant().\n");
rcu_unlock_domain(to);
return ret;

spin_unlock 안하고 return한다.
--> 안톤에게 메일 씀

내일은 다시 XCap proposal로 돌아가서
big picture를 그릴 수 있도록 해보고,
모르는 개념이 있으면 관련 논문을 찾아보는 과정을 거친다.

August 28th

TA meeting, office hour set.
Emulab account open.
CS 6810 lecture youtube (3 video)

Xen-Cap paper finish.
Questions
1) where do the capabilities exist? one for each VM or in VMM?
2) what the "grant" really means and how is it implemented?
3) same question about binding?
4) NFS, I did not understand.

Start reading Xen Hypervisor book.
- Chap.1 The state of vitalization
   1.1.1 CPU Virtualization.
what is the privilege mode?
 1) mode of CPU
 2) controlled by OS using system call
 3) privilege mode allows any operation including I/O, memory access and global-state changing operations, which user mode can not do.

August 27th

20min * 4 or 5.

Xen-Cap: A Capability Framework for Xen

Except thread model, NFS, related work.

still, what is capability?? -.-;; want to see the implementation.

Starting to figure out the big picture.
Maybe tomorrow, I can finish this paper.