DF
хотелось бы еще узнать почему если так
Size: a a a
2021 June 07
DF
пока приходит в головы что это механизм Акноледжмента такой для очереди в целом
BV
Ты все равно будешь делать send и receive в одном обращении
DF
да, но насколько нам нужна атомарность?
DF
мне вот эти вопросы в осдеве оч интересны - атомарность, транзакционность и т.п.
BV
клюквенный а ты читал теорию?
DF
если честно я читал )
DF
но не по микроядрам
BD
это один сискол вместо двух, внутри ядра оно делает send(); recv();
DF
аааа, вон чо
BD
принципиальной разницы вроде бы не было, в seL4 мануле написано чому они так сделали ксттаи
DF
спасибо понял!
BD
например
seL4_ReplyRecv() combines seL4_Reply() and seL4_Recv(). It exists mostly for efficiency reasons: the common case of replying to a request and waiting for the next can be performed in a single kernel system call instead of two. The transition from the reply to the receive phase is also atomic.
seL4_ReplyRecv() combines seL4_Reply() and seL4_Recv(). It exists mostly for efficiency reasons: the common case of replying to a request and waiting for the next can be performed in a single kernel system call instead of two. The transition from the reply to the receive phase is also atomic.
BD
второй такой это seL4_Call()
seL4_Call() combines seL4_Send() and seL4_Recv() with some important differ- ences. The call blocks the sending thread until its message is delivered and a reply message is received.
seL4_Call() combines seL4_Send() and seL4_Recv() with some important differ- ences. The call blocks the sending thread until its message is delivered and a reply message is received.
BD
олсо чуваки походу обновили манул инфой про MCS kernel
AR
"This kernel uses the VGA text mode buffer (located at 0xB8000) as the output device. It sets up a simple driver".
Что за simple driver ?
Что за simple driver ?
d
Просто какой-то драйвер простенький, просто почитай до конца, и думаю, ты всё поймёшь
BD
ну драйвер это штука которая заведует чем-то. этот драйвер “заведует” выводом на экран
AR
"Чем-то" то есть device'ом ?