阿里,腾讯,字节等大厂Android面试必须掌握的知识点:从源码角度看Handler

先自我介绍一下,小编浙江大学毕业,去过华为、字节跳动等大厂,目前阿里P7

深知大多数程序员,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年最新Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。
img
img
img
img
img
img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上Android开发知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新

如果你需要这些资料,可以添加V获取:vip204888 (备注Android)
img

正文

for (;😉 {
// 获取操作实际上是从reponse队列中拿取的

if (result != 0) {
if (outFd != NULL) *outFd = 0;
if (outEvents != NULL) *outEvents = 0;
if (outData != NULL) *outData = NULL;
return result;
}

// 本质上在循环的调用pollInner方法,直到获取到了结果
result = pollInner(timeoutMillis);
}
}

int Looper::pollInner(int timeoutMillis) {

// Poll.
int result = POLL_WAKE;
// 清空response队列
mResponses.clear();
mResponseIndex = 0;

// We are about to idle.
mPolling = true;

// 初始化epoll_event
struct epoll_event eventItems[EPOLL_MAX_EVENTS];
// 使用epoll_wait调用的kernel去请求事件,kernel获取到事件后会通过mmap将epoll_event信息返回到native层
int eventCount = epoll_wait(mEpollFd, eventItems, EPOLL_MAX_EVENTS, timeoutMillis);

// No longer idling.
mPolling = false;

// Acquire lock.
mLock.lock();

// 获取到信息后,接下来就是读取了
for (int i = 0; i < eventCount; i++) {
int fd = eventItems[i].data.fd;
uint32_t epollEvents = eventItems[i].events;
if (fd == mWakeEventFd) {
if (epollEvents & EPOLLIN) {
awoken();
}
} else {
ssize_t requestIndex = mRequests.indexOfKey(fd);
if (requestIndex >= 0) {
int events = 0;
if (epollEvents & EPOLLIN) events |= EVENT_INPUT;
if (epollEvents & EPOLLOUT) events |= EVENT_OUTPUT;
if (epollEvents & EPOLLERR) events |= EVENT_ERROR;
if (epollEvents & EPOLLHUP) events |= EVENT_HANGUP;
// 插入到response队列中供后续获取
pushResponse(events, mRequests.valueAt(requestIndex));
}
}
}
Done: ;

mNextMessageUptime = LLONG_MAX;
while (mMessageEnvelopes.size() != 0) {
nsecs_t now = systemTime(SYSTEM_TIME_MONOTONIC);
const MessageEnvelope& messageEnvelope = mMessageEnvelopes.itemAt(0);
if (messageEnvelope.uptime <= now) {
{ // obtain handler
sp handler = messageEnvelope.handler;
Message message = messageEnvelope.message;
mMessageEnvelopes.removeAt(0);
mSendingMessage = true;
mLock.unlock();
// 首先处理native层的Message
handler->handleMessage(message);
} // release handler
}
}

// Release lock.
mLock.unlock();

return result;
}
native层Looper.pollInner()方法是获取Message的主要操作:

调用epoll_wait在kernel中获取设备事件,该方法后续会做分析
获取到事件后进行解析并插入到response队列中
处理native事件
可以看到,该方法会首先处理native层的Message,也就是说Handler这套框架对于native的消息是优先派发的

设置同步分割栏: MessageQueue.postSyncBarrier()
同步分割栏的原理其实很简单,本质上就是通过创建一个target成员为NULL的Message并插入到消息队列中,这样在这个特殊的Message之后的消息就不会被处理了,只有当这个Message被移除后才会继续执行之后的Message

最经典的实现就是ViewRootImpl调用scheduleTraversals方法进行视图更新时的使用:

frameworks/base/core/java/android/view/ViewRootImpl.java

void scheduleTraversals() {
if (!mTraversalScheduled) {
mTraversalScheduled = true;
// 执行分割操作后会获取到分割令牌,使用它可以移除分割栏
mTraversalBarrier = mHandler.getLooper().getQueue().postSyncBarrier();
// 发出一个有异步标志的Message,避免被分割
mChoreographer.postCallback(
Choreographer.CALLBACK_TRAVERSAL, mTraversalRunnable, null);

}
}
在执行doTraversal方法后,才会移出分割栏:

void doTraversal() {
if (mTraversalScheduled) {
mTraversalScheduled = false;
mHandler.getLooper().getQueue().removeSyncBarrier(mTraversalBarrier);

performTraversals();


}
}
这样做的原因是,doTraversal的操作是通过Handler进行处理的,然而这个消息队列却是整个主线程公用的,比如说四大组件的各个生命周期的调用,然而doTraversal的内容是更新视图UI,这个任务无疑是最高优先级的。所以在这之前,需要确保队列中其它同步消息不会影响到它的执行

这里继续跟一下MessageQueue.postSyncBarrier()的实现:

frameworks/base/core/java/android/os/MessageQueue.java

public int postSyncBarrier() {
return postSyncBarrier(SystemClock.uptimeMillis());
}

private int postSyncBarrier(long when) {
synchronized (this) {
final int token = mNextBarrierToken++;
final Message msg = Message.obtain();
msg.markInUse();
msg.when = when;
msg.arg1 = token;
// 注意这里,并没有为target成员进行初始化

Message prev = null;
Message p = mMessages;
// 插入到队列中
if (when != 0) {
while (p != null && p.when <= when) {
prev = p;
p = p.next;
}
}
if (prev != null) { // invariant: p == prev.next
msg.next = p;
prev.next = msg;
} else {
msg.next = p;
mMessages = msg;
}
return token;
}
}
可以看到,设置分割栏和普通的post Message是一样的,不同的是target是空的

下面接着来看看分割栏真正起作用的地方:

frameworks/base/core/java/android/os/MessageQueue.java

Message next() {

for (;😉 {

// 进行队列遍历
Message msg = mMessages;
if (msg != null && msg.target == null) {
do {
prevMsg = msg;
msg = msg.next;
// 如果target为NULL,将会陷入这个循环,除非是有异步标志的消息才会跳出循环
} while (msg != null && !msg.isAsynchronous());
}

}
}
跨进程异步消息: Messenger
Messenger是Android开发中算是比较冷门的一种跨进程通信方式,它的实现是依托着Binder+Handler这两种技术的配合,使得跨进程调用后服务端任务能够在指定的线程中被执行

这种方式其实就类似于ActivityThread的binder call接收后,使用指定Handler去post消息是一样的,不同的在于Messenger的对其进行了封装,使得开发者可以轻松的实现而不需要更多的代码

原生有个典型实现的MessengerService,可以参考它的思路:

frameworks/base/core/tests/coretests/src/android/os/MessengerService.java

public class MessengerService extends Service {
private final Handler mHandler = new Handler() {
@Override
public void handleMessage(Message msg) {
Message reply = Message.obtain();
reply.copyFrom(msg);
try {
// 这里的replyTo的mTarget实际上是对端的binder proxy,用以实现回调的功能
msg.replyTo.send(reply);
} catch (RemoteException e) {
}
}
};

// 创建一个Messenger,mTarget将会创建一个binder stub,服务方法运行在mHandler所在线程
private final Messenger mMessenger = new Messenger(mHandler);

public MessengerService() {
}

@Override
public IBinder onBind(Intent intent) {
// 返回的是被创建的Messenger服务binder句柄
return mMessenger.getBinder();
}
}
服务端可以通过继承MessengerService,定义自己的业务
客户端通过bind该service,可以获取Messenger的binder proxy句柄,从而实现通信。调用到服务端后,操作将会运行在mHandler所在线程
replyTo是客户端指定的,用来接受服务端的回复
实现基础: epoll
epoll和select和poll一样都是I/O多路复用技术,和它们不同的是,epoll只关心"活跃"的链接,不需要遍历全部的描述符集合,能够处理大量的链接请求

以下是一个使用epoll的典型代码示例,主要分为三部:

使用epoll_create创建epoll的fd
使用epoll_ctl将需要监听的fd添加到epoll中
使用epoll_wait等待事件
struct epoll_event ev, events[10];
int listen_sock, conn_sock, nfds, epollfd;

// 创建epoll的文件描述符
epollfd = epoll_create1(0);
if (epollfd == -1) {
perror(“epoll_create1”);
exit(EXIT_FAILURE);
}

// 将我们需要监听的文件描述符和事件通过epoll_ctl加入到epoll描述符中
ev.events = EPOLLIN;
ev.data.fd = listen_sock;
if (epoll_ctl(epollfd, EPOLL_CTL_ADD, listen_sock, &ev) == -1) {
perror(“epoll_ctl: listen_sock”);
exit(EXIT_FAILURE);
}

for (;😉 {
// 等待事件的发生
nfds = epoll_wait(epollfd, events, MAX_EVENTS, -1);
if (nfds == -1) {
perror(“epoll_wait”);
exit(EXIT_FAILURE);
}

// 监听到事件,处理事件

}
epoll的实现很简单,简单到所有的主要逻辑都在单个文件中实现,文件路径在kernel/msm-3.18/fs/eventpoll.c

下面接着分析epoll各个重要函数的源码

epoll 初始化
在使用epoll之前,系统需要在启动期间对epoll的基础设施进行初始化

static int __init eventpoll_init(void)
{
struct sysinfo si;

// 获取系统内存状态
si_meminfo(&si);
// 根据系统内存配置设置单个用户可见监听的最大epoll个数
max_user_watches = (((si.totalram - si.totalhigh) / 25) << PAGE_SHIFT) / EP_ITEM_COST;

// 初始化调用队列,方便检查是否超过最大嵌套次数
ep_nested_calls_init(&poll_loop_ncalls);
ep_nested_calls_init(&poll_safewake_ncalls);
ep_nested_calls_init(&poll_readywalk_ncalls);

// 创建用于分配epitem数据结构的的SLAB缓存
epi_cache = kmem_cache_create(“eventpoll_epi”, sizeof(struct epitem),
0, SLAB_HWCACHE_ALIGN | SLAB_PANIC, NULL);

// 创建用于分配eppoll_entry数据结构的SLAB缓存
pwq_cache = kmem_cache_create(“eventpoll_pwq”,
sizeof(struct eppoll_entry), 0, SLAB_PANIC, NULL);

return 0;
}
// 在系统启动过程中,init进程设备初始化时对epoll进行初始化
fs_initcall(eventpoll_init);
epoll 初始化期间主要完成的三个工作:

根据内存配置,初始化单个用户最大可见听epoll个数
初始化调用队列,以此来判断嵌套调用是超过上限
初始化SLAB内存缓存,以此来提升epoll使用内存的效率
epoll_create
在native Looper.cpp的实现中,epoll_create的调用函数用以创建一个epoll,但是在内核源码中并没有直接发现epoll_create之类的函数

查阅资料后发现,内核将epoll系列的函数都使用了SYSCALL_DEFINE宏调用来实现了,SYSCALL_DEFINE后的数字x代表了该函数拥有x个参数,之所以使用这种方式来声明函数是为了修复64位Linux系统上的CVE-2009-2009漏洞

// 为了阅读源码的便捷性,可以直接将该宏调用看成 epoll_create(int flags);
SYSCALL_DEFINE1(epoll_create1, int, flags)
{
int error, fd;
struct eventpoll *ep = NULL;
struct file *file;

// 初始化eventpoll结构
error = ep_alloc(&ep);
// 获取一个没有使用过的fd
fd = get_unused_fd_flags(O_RDWR | (flags & O_CLOEXEC));

// 创建eventpoll文件,file_operations为eventpoll_fops
// 同时将ep设置到file->private_data中
file = anon_inode_getfile(“[eventpoll]”, &eventpoll_fops, ep,
O_RDWR | (flags & O_CLOEXEC));

ep->file = file;
// 将fd与文件进行关联
fd_install(fd, file);
return fd;

out_free_fd:
put_unused_fd(fd);
out_free_ep:
ep_free(ep);
return error;
}
epoll_create的主要做了两个工作:

新建并初始化一个epollpoll结构
创建eventpoll文件、获取一个空闲fd,并将两者进行关联
epoll_ctl
// epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);
SYSCALL_DEFINE4(epoll_ctl, int, epfd, int, op, int, fd,
struct epoll_event __user *, event)
{
int error;
int full_check = 0;
struct fd f, tf;
struct eventpoll *ep;
struct epitem *epi;
struct epoll_event epds;
struct eventpoll *tep = NULL;

error = -EFAULT;
if (ep_op_has_event(op) &&
// 将epoll_event信息使用mmap从native拷贝到kernel
copy_from_user(&epds, event, sizeof(struct epoll_event)))
goto error_return;

// 获取mEpollFd, mWakeEventFd对应文件
f = fdget(epfd);
tf = fdget(fd);

// 从文件的private_data中获取到eventpoll
ep = f.file->private_data;

mutex_lock_nested(&ep->mtx, 0);

// 通过file, fd在eventpoll的红黑树中进行查询,看是否存在已经保存的eventitem
epi = ep_find(ep, tf.file, fd);

error = -EINVAL;
// 进行op操作分流
switch (op) {
case EPOLL_CTL_ADD:
if (!epi) {
// 如果未查询到,则创建并插入新的eventitem
epds.events |= POLLERR | POLLHUP;
error = ep_insert(ep, &epds, tf.file, fd, full_check);
} else
error = -EEXIST;
break;
case EPOLL_CTL_DEL:
if (epi)
// 如果查询到,则移除该eventitem
error = ep_remove(ep, epi);
else
error = -ENOENT;
break;
case EPOLL_CTL_MOD:
if (epi) {
// 如果查询到,则进行替换
epds.events |= POLLERR | POLLHUP;
error = ep_modify(ep, epi, &epds);
} else
error = -ENOENT;
break;
}
if (tep != NULL)
mutex_unlock(&tep->mtx);
mutex_unlock(&ep->mtx);

error_tgt_fput:
if (full_check)
mutex_unlock(&epmutex);

fdput(tf);
error_fput:
fdput(f);
error_return:

return error;
}
epoll_ctl主要做了两个工作:

将epoll_event信息使用mmap拷贝到内核中
通过fd获取到对应的file文件,并通过private_data获取到eventpoll
通过file,fd在eventpoll中进行查询,看是否存在对应的eventitem
根据查询到的eventitem进行对应的操作
这里详细分析下ep_insert方法:

static int ep_insert(struct eventpoll *ep, struct epoll_event *event,
struct file *tfile, int fd, int full_check)
{
int error, revents, pwake = 0;
unsigned long flags;
long user_watches;
struct epitem *epi;
struct ep_pqueue epq;

// 使用SLAB内存分配器创建eventitem
if (!(epi = kmem_cache_alloc(epi_cache, GFP_KERNEL)))
return -ENOMEM;

// 初始化链表节点
INIT_LIST_HEAD(&epi->rdllink);
INIT_LIST_HEAD(&epi->fllink);
INIT_LIST_HEAD(&epi->pwqlist);
// 初始化基础属性
epi->ep = ep;
ep_set_ffd(&epi->ffd, tfile, fd);
epi->event = *event;
epi->nwait = 0;
epi->next = EP_UNACTIVE_PTR;

// 初始化poll表,并注册回调函数ep_ptable_queue_proc
epq.epi = epi;
init_poll_funcptr(&epq.pt, ep_ptable_queue_proc);

// 调用被插入文件的poll方法,最终会将当前epollitem放入到ready list并唤醒eventpoll中的等待进程
revents = ep_item_poll(epi, &epq.pt);

/* Add the current item to the list of active epoll hook for this file */
spin_lock(&tfile->f_lock);
// 将fllink加入到文件的f_ep_links列表中作为子项
list_add_tail_rcu(&epi->fllink, &tfile->f_ep_links);
spin_unlock(&tfile->f_lock);

// 将epollitem的rbn红黑树节点插入到eventpoll中的rbr红黑树中
// 注意一点的是,节点的是根据epoll_filefd来比对的
ep_rbtree_insert(ep, epi);

spin_lock_irqsave(&ep->lock, flags);

if ((revents & event->events) && !ep_is_linked(&epi->rdllink)) {
list_add_tail(&epi->rdllink, &ep->rdllist);
ep_pm_stay_awake(epi);

// 唤醒该队列
if (waitqueue_active(&ep->wq))
wake_up_locked(&ep->wq);
if (waitqueue_active(&ep->poll_wait))
pwake++;
}

spin_unlock_irqrestore(&ep->lock, flags);

atomic_long_inc(&ep->user->epoll_watches);

// 唤醒并调用该队列中的事件
if (pwake)
ep_poll_safewake(&ep->poll_wait);

return 0;

}
epoll_ctl主要做了三个工作:

创建并初始化eventitem
为poll_wait函数初始化,当设备唤醒时会执行回调函数
检查当前设备状态,如果已经就绪那么直接唤醒等待队列
epoll_wait
// epoll_wait(int epfd, epoll_event *events, int maxevents, int timeout)
SYSCALL_DEFINE4(epoll_wait, int, epfd, struct epoll_event __user *, events, int, maxevents, int, timeout)
{
int error;
struct fd f;
struct eventpoll *ep;

// 通过fd获取到文件信息
f = fdget(epfd);

// 通过private_data获取到eventpoll
ep = f.file->private_data;

// 调用ep_poll获取就绪的事件,并将它们派发到接收者的事件缓冲中
error = ep_poll(ep, events, maxevents, timeout);

error_fput:
fdput(f);
return error;
}
epoll_wait的操作很简单,通过fd检索到相关eventpoll后马上调用核心函数ep_poll,这里详细分析一下:

static int ep_poll(struct eventpoll *ep, struct epoll_event __user *events, int maxevents, long timeout)
{
int res = 0, eavail, timed_out = 0;
unsigned long flags;
long slack = 0;
wait_queue_t wait;
ktime_t expires, *to = NULL;

if (timeout > 0) {
struct timespec end_time = ep_set_mstimeout(timeout);

slack = select_estimate_accuracy(&end_time);
to = &expires;
*to = timespec_to_ktime(end_time);
} else if (timeout == 0) {
// 如果未设置超时事件,则直接获取事件,不进行阻塞
timed_out = 1;
spin_lock_irqsave(&ep->lock, flags);
goto check_events;
}

fetch_events:
spin_lock_irqsave(&ep->lock, flags);

if (!ep_events_available(ep)) {
// 使用队列进行睡眠,直到ep_poll_callback被调用,队列被唤醒,才会接着执行下去
init_waitqueue_entry(&wait, current);
__add_wait_queue_exclusive(&ep->wq, &wait);

for (;😉 {
set_current_state(TASK_INTERRUPTIBLE);
// 如果事件到来则退出循环
if (ep_events_available(ep) || timed_out)
break;
if (signal_pending(current)) {
res = -EINTR;
break;
}

spin_unlock_irqrestore(&ep->lock, flags);
if (!freezable_schedule_hrtimeout_range(to, slack,
HRTIMER_MODE_ABS))
timed_out = 1;

spin_lock_irqsave(&ep->lock, flags);
}
__remove_wait_queue(&ep->wq, &wait);

set_current_state(TASK_RUNNING);
}
check_events:
// 是否存在入队的事件
eavail = ep_events_available(ep);

spin_unlock_irqrestore(&ep->lock, flags);

// 取出事件并发送到客户端进程
if (!res && eavail &&
!(res = ep_send_events(ep, events, maxevents)) && !timed_out)
goto fetch_events;

return res;
}
ep_poll的主要操作在于从eventpoll中取出已经准备就绪的eventitem,随后调用ep_send_events,通过timeout参数判断是否需要阻塞以及需要阻塞的时间

static int ep_send_events(struct eventpoll *ep,
struct epoll_event __user *events, int maxevents)

总结:

面试是一个不断学习、不断自我提升的过程,有机会还是出去面面,至少能想到查漏补缺效果,而且有些知识点,可能你自以为知道,但让你说,并不一定能说得很好。

有些东西有压力才有动力,而学到的知识点,都是钱(因为技术人员大部分情况是根据你的能力来定级、来发薪水的),技多不压身。

附上我的面试各大专题整理: 面试指南,满满的都是干货,希望对大家有帮助!

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加V获取:vip204888 (备注Android)
img

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

需要阻塞的时间

static int ep_send_events(struct eventpoll *ep,
struct epoll_event __user *events, int maxevents)

总结:

面试是一个不断学习、不断自我提升的过程,有机会还是出去面面,至少能想到查漏补缺效果,而且有些知识点,可能你自以为知道,但让你说,并不一定能说得很好。

有些东西有压力才有动力,而学到的知识点,都是钱(因为技术人员大部分情况是根据你的能力来定级、来发薪水的),技多不压身。

附上我的面试各大专题整理: 面试指南,满满的都是干货,希望对大家有帮助!
[外链图片转存中…(img-MXE1fgzu-1713375214941)]

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加V获取:vip204888 (备注Android)
[外链图片转存中…(img-q2M2YnmC-1713375214942)]

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!

  • 23
    点赞
  • 9
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值