Hi Jakub,
I have some questions about nvptx:
1) you've said that alloca isn't supported, but it seems
to be wired up and uses the %alloca documented in the PTX
manual, what is the issue with that? %alloca not being actually
implemented by the current PTX assembler or translator?
Yes, it's unimplemented. There's an internal declaration for it but that
seems to be as far as it goes, and that declaration is 32-bit only anyway.
2) what is the reason why TLS isn't supported by the port (well,
__emutls is emitted, but I doubt pthread_[gs]etspecific is
implementable and thus it will not really do anything.
Can't the port just emit all DECL_THREAD_LOCAL_P variables
into .local instead of .global address space?
.local is stack frame memory, not TLS. The ptx docs mention the use of
.local at file-scope as occurring only in "legacy" ptx code and I get
the impression it's discouraged.
(As an aside, there's a question of how to represent a different
concept, gang-local memory, in gcc. That would be .shared memory. We're
currently going with just using an internal attribute)
3) in assembly emitted by the nvptx port, I've noticed:
.visible .func (.param.u32 %out_retval)foo(.param.u64 %in_ar1, .param.u32
%in_ar2)
{
.reg.u64 %ar1;
.reg.u32 %ar2;
.reg.u32 %retval;
.reg.u64 %hr10;
.reg.u32 %r22;
.reg.u64 %r25;
is the missing \t before the %retval line intentional?
No, I can fix that up.
4) I had a brief look at what it would take to port libgomp to PTX,
which is needed for OpenMP offloading. OpenMP offloaded kernels
should start with 1 team and 1 thread in it, if we ignore
GOMP_teams for now, I think the major things are:
- right now libgomp is heavily pthread_* based, which is a no-go
for nvptx I assume, I think we'll need some ifdefs in the sources
I haven't looked into whether libpthread is doable. I suspect it's a
poor match. I also haven't really looked into OpenMP, so I'm feeling a
bit uncertain about answering your further questions.
- the main thing is that I believe we just have to replace
gomp_team_start for nvptx; seems there are
cudaLaunchDevice (and cudaGetParameterBuffer) functions one can use
to spawn selected kernel in selected number of threads (and teams),
from the docs it isn't exactly clear what the calling thread will do,
if it is suspended and the HW core given to it is reused by something
else (e.g. one of the newly spawned threads), then I think it should
be usable. Not sure what happens with .local memory of the parent
task, if the children all have different .local memory, then
perhaps one could just copy over what is needed from the
invoking to the first invoked thread at start.
I'm a bit confused here, it sounds as if you want to call
cudaLaunchDevice from ptx code? These are called from the host. As
mentioned above, .local is probably not useful for what you want.
- is it worth to reuse cudaLaunchDevice "threads" or are they cheap
enough to start that any "thread" pooling should be removed for nvptx?
Sorry, I don't understand the question.
- we'll need some synchronization primitives, I see atomic support is
there, we need mutexes and semaphores I think, is that implementable
using bar instruction?
It's probably membar you need.
- the library uses __attribute__((constructor)) in 3 places or so,
initialize_team is pthread specific and can be probably ifdefed out,
we won't support dlclose in nvptx anyway, but at least we need some
way to initialize the nvptx libgomp; if the initialization is done
in global memory, would it persist in between different kernels,
so can the initialization as separate kernel be run once, something
else?
I think that it would persist, and this would be my scheme for
implementing constructors, but I haven't actually tried.
- is there any way to do any affinity management, or shall we just
ignore affinity strategies?
Not sure what they do in libgomp. It's probably not a match for GPU
architectures.
- any way how to query time?
There are %clock and %clock64 cycle counters.
Bernd